User hengxin

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}|$

answered Dec 13, 2014 at 13:51

7 votes

Major unsolved problems in distributed systems?

answered Apr 4, 2015 at 6:22

4 votes

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

answered May 24, 2015 at 2:34

3 votes

Applications of Game theory in computer science?

answered Jan 8, 2016 at 14:18

3 votes

Accepted

Lower bounds and impossibility results for distributed transactions

answered Jan 13, 2015 at 3:07

3 votes

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

answered Dec 8, 2012 at 14:30

2 votes

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

answered Dec 17, 2012 at 13:44

2 votes

Paxos made simple, invariant P2c

answered Jan 9, 2016 at 6:11

2 votes

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

answered Jul 22, 2016 at 1:50

2 votes

Examples/Textbooks on amortized analysis of algorithms

answered Oct 8, 2018 at 13:05

2 votes

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

answered May 26, 2019 at 5:47

1 vote

Accepted

Probabilistic protocols

answered May 31, 2015 at 7:05

1 vote

Accepted

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

answered Oct 16, 2014 at 6:31

1 vote

Accepted

The proof of P2b in Paxos made simple

answered Nov 10, 2014 at 5:47

1 vote

Proof of causal multicast algorithm?

answered Jan 18, 2015 at 12:58

0 votes

Accepted

How to simulate sequential registers from causal ones?

answered Apr 4, 2015 at 6:53

0 votes

Accepted

Finding upper and lower bounds of a problem

answered Jun 26, 2018 at 2:24

0 votes

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

answered Aug 21, 2018 at 4:13

Stack Exchange Network

18 Answers

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}|$

Major unsolved problems in distributed systems?

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

Applications of Game theory in computer science?

Lower bounds and impossibility results for distributed transactions

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

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

Paxos made simple, invariant P2c

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

Examples/Textbooks on amortized analysis of algorithms

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

Probabilistic protocols

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

The proof of P2b in Paxos made simple

Proof of causal multicast algorithm?

How to simulate sequential registers from causal ones?

Finding upper and lower bounds of a problem

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