Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta User
Network Profile
9,927
reputation
1
20
52

Vor

Basically I'm a programmer :-)
I enjoy reading papers about the complexity of puzzle games, and I'm writing (amateur) proofs on the complexity of a few puzzle games.

My blog on Computational Complexity, Puzzles, and Machines: www.nearly42.org

157
answers
29
questions
~338k
people reached
  • nearly42.org
  • Member for 7 years
  • 801 profile views
  • Last seen yesterday

Communities (10)

Top Network Posts

Top Tags (126)

Score 226
Posts 49
Posts % 26
Score 167
Posts 41
Score 138
Posts 31
Score 87
Posts 18
Score 75
Posts 21
Score 70
Posts 18
View all tags →

Top Posts (186) All Questions Answers | Votes Newest

20 Is rejection sampling the only way to get a truly uniform distribution of random numbers? Jul 4 '12
20 Classification of intractable/tractable satisfiability problem variants Apr 12 '12
16 Why is this true: “There are countably many Turing Machines” Mar 25 '13
14 How to prove that a language is not context-free? Jul 3 '13
14 Planarity conditions for Planar 1-in-3 SAT Oct 1 '12
13 Using logic to prove non-regularity of a language Jan 18 '16
13 Decidable restrictions of the Post Correspondence Problem Mar 23 '12
13 Boolean search explained May 3 '16
13 If $L_1L_2$ is regular language then $L_2L_1$ is regular to? Dec 4 '15
13 How to prove 2-EXP != EXP Jun 20 '12
View all questions and answers →

Badges (73)

Gold

1

Rarest

Silver

20

Rarest

Bronze

52

Rarest

View all badges →