Stack Exchange Network

Stack Exchange network consists of 174 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
Theoretical Computer Science
Meta User
Network Profile
18,391
reputation
2
42
111

Marzio De Biasi

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

242
answers
35
questions
~286k
people reached
  • nearly42.org
  • Member for 8 years, 1 month
  • 2,478 profile views
  • Last seen 7 mins ago

Communities (10)

Top Meta Posts
3
1

Top Network Posts

Top Tags (160)

Score 462
Posts 93
Posts % 34
Score 218
Posts 50
Score 208
Posts 47
Score 183
Posts 24
Score 148
Posts 24
Score 139
Posts 34
View all tags →

Top Posts (277) All Questions Answers | Votes Newest

37 What is the smallest Turing machine where it is unknown if it halts or not? Feb 11 '14
31 Turing Machine restrictions that render halting decidable May 12 '16
30 Is this variation of TQBF still PSPACE-complete? Sep 3 '14
28 Natural NP-complete problems with “large” witnesses Oct 26 '14
24 How much time to recognize palindromes in logarithmic space? Mar 3 '14
23 A simple problem whose decidability is not known Sep 4 '13
22 What is the “nearest” problem to the Collatz conjecture that has been successfully resolved? Jun 2 '12
22 Techniques for showing that problem is in hardness “limbo” Feb 6 '14
21 Dark Integers: General Purpose Computations on Internet Routers May 25 '11
20 Is the longest trail problem easier than the longest path problem? Jan 22 '14
View all questions and answers →

Badges (155)

Gold

2

Rarest

Silver

42

Rarest

Bronze

111

Rarest

View all badges →