Skip to main content
hengxin's user avatar
hengxin's user avatar
hengxin's user avatar
hengxin
  • Member for 11 years, 4 months
  • Last seen more than a month ago
7 votes
Accepted

Finding a permutation $p$ of $x_1, x_2, \dots, x_n$ which maximises $\sum_{i=1}^{n-1}|x_{p_{i+1}}-x_{p_i}|$

7 votes

Major unsolved problems in distributed systems?

4 votes

Applications for set theory, ordinal theory, infinite combinatorics and general topology in computer science?

3 votes

Applications of Game theory in computer science?

3 votes
Accepted

Lower bounds and impossibility results for distributed transactions

3 votes

Why does the Fibonacci sequence produce a worst-case Huffman encoding?

2 votes

How to understand the "Availability" of the CAP theorem?

2 votes

Paxos made simple, invariant P2c

2 votes

What are some interesting applications of homotopical algebra in theoretical computer science?

2 votes

Examples/Textbooks on amortized analysis of algorithms

2 votes

Looking for reference on NP-Completeness of proofs of length n

1 vote
Accepted

Probabilistic protocols

1 vote
Accepted

Concurrent transactions satisfying "serializability" but not "snapshot isolation"

1 vote
Accepted

The proof of P2b in Paxos made simple

1 vote

Proof of causal multicast algorithm?

0 votes
Accepted

How to simulate sequential registers from causal ones?

0 votes
Accepted

Finding upper and lower bounds of a problem

0 votes

What does it mean for CvRDT replicas to transmit their state "infinitely often"?