Stack Exchange

hengxin

Nanjing, China

http://www.bigoh.net/wiki/index.php/%E7%94%A8%E6%88%B7:Hengfeng-Wei

I am interested in distributed computing and formal methods.

top accounts reputation activity bookmarks subscriptions
Top Questions
31 votes

Why is the "topologist's sine curve" not locally connected?

general-topology connectedness asked Feb 7, 2014 at 8:07
math.stackexchange.com

24 votes

Curious about computer-assisted NP-completeness proofs

cc.complexity-theory reference-request soft-question reductions proof-assistants asked Jan 31, 2015 at 5:37
cstheory.stackexchange.com

23 votes

How to enforce the left-to-right node ordering in GraphViz rank layout?

layout graphviz graph-visualization asked Jan 2, 2013 at 13:49
stackoverflow.com

20 votes

Why is the consensus problem so important in distributed computing?

reference-request big-picture dc.distributed-comp asked Dec 5, 2012 at 11:37
cstheory.stackexchange.com

19 votes

How to center an `itemize` in beamer, together with its headline?

beamer horizontal-alignment lists itemize asked Apr 16, 2015 at 4:10
tex.stackexchange.com

17 votes

What are the components and path components of $\mathbb{R}^{\omega}$ in the product, uniform, and box topologies?

general-topology connectedness product-space box-product asked Feb 9, 2014 at 4:30
math.stackexchange.com

13 votes

Correctness proofs of classic Paxos and Fast Paxos

ds.algorithms dc.distributed-comp proofs asked Sep 24, 2014 at 9:00
cstheory.stackexchange.com

12 votes

Is there algorithmic mathematical analysis?

cc.complexity-theory reference-request soft-question computability asked May 30, 2015 at 3:43
cstheory.stackexchange.com

12 votes

Uncovered footnote appears too early in beamer presentation

beamer footnotes overlays asked Nov 20, 2016 at 9:12
tex.stackexchange.com

12 votes

How to overlay tikz matrix in beamer?

tikz-pgf beamer overlays tikz-matrix asked Jan 13, 2014 at 6:27
tex.stackexchange.com

1 2 3 4 5 … 9

Top Answers
21
Projection map being a closed map
math.stackexchange.com

19
How do I find my wife in a supermarket?
cs.stackexchange.com

19
log(n) complexity. Difficulty understanding example
cs.stackexchange.com

18
Formal program verification in practice
cs.stackexchange.com

16
If the two generals problem is unsolvable how can we human beings agree on things?
cs.stackexchange.com

12
What is the best solution to find whether the sum of an array is even or odd
cs.stackexchange.com

11
Does Deadlock imply Starvation
cs.stackexchange.com

10
When did polynomial-time algorithm become of interest?
cs.stackexchange.com

9
Product of a Transition System and a Finite Automaton
cs.stackexchange.com

8
Is projection of a closed set $F\subseteq X\times Y$ always closed?
math.stackexchange.com

8
Why is the lower bound of element uniqueness in $\Omega(n\log n)$?
cs.stackexchange.com

7
How can I make sense of amortized accounting method?
cs.stackexchange.com

7
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}|$
cstheory.stackexchange.com

7
Determine whether a point lies in a convex hull of points in O(logn)
cs.stackexchange.com

7
Happened-before and Causal order
cs.stackexchange.com

7
Major unsolved problems in distributed systems?
cstheory.stackexchange.com

7
Minimum spanning tree and its connected subgraph
cs.stackexchange.com

7
Finding shortest paths in undirected graphs with possibly negative edge weights
cs.stackexchange.com

6
Sequential Consistency in Distributed Systems
stackoverflow.com

6
Linearizability and Serializability in context of Software Transactional Memory
cs.stackexchange.com

6
Consensus problem of distributed systems
cs.stackexchange.com

6
Implementing wait-free consensus with queues
cs.stackexchange.com

6
Shared legend below a group of horizontally aligned figures in pgfplots
tex.stackexchange.com

6
Maximal difference of height between two leaves in an AVL tree
cs.stackexchange.com

6
Why are Complexity Notations Called Asymptotic?
cs.stackexchange.com

6
When the heapsort worst case occurs?
cs.stackexchange.com

6
how to draw a line segment bounded by ticks at end points
tex.stackexchange.com

5
What is the difference between a Transition System and a Program Graph? (model checking)
cs.stackexchange.com

5
CTL vs LTL - when a formula satisfy a model
cs.stackexchange.com

5
4-color to 3-color polynomial reduction
cs.stackexchange.com

1 2