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,234
reputation
2
41
110

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

239
answers
34
questions
~280k
people reached
  • nearly42.org
  • Member for 7 years, 11 months
  • 2,443 profile views
  • Last seen 1 hour ago

Communities (10)

Top Meta Posts
3
1

Top Network Posts

Top Tags (160)

Score 461
Posts 92
Posts % 34
Score 216
Posts 50
Score 206
Posts 46
Score 183
Posts 24
Score 147
Posts 24
Score 137
Posts 34
View all tags →

Top Posts (273) 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 (153)

Gold

2

Rarest

Silver

41

Rarest

Bronze

110

Rarest

View all badges →