Theoretical Computer Science
Marzio De Biasi's user avatar
Marzio De Biasi's user avatar
Marzio De Biasi's user avatar
Marzio De Biasi
  • Member for 12 years, 10 months
  • Last seen this week
Profile Activity
Stats
22,620
reputation
446k
reached
261
answers
40
questions
Communities
View all
About

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

Badges
View all badges
2
gold badges
57
silver badges
126
bronze badges
Top tags
View all tags
528
Score
97
Posts
32
Posts %
243
Score
53
Posts
18
Posts %
236
Score
55
Posts
18
Posts %
209
Score
26
Posts
9
Posts %
173
Score
29
Posts
10
Posts %
154
Score
30
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
45
What is the smallest Turing machine where it is unknown if it halts or not?
Feb 11, 2014
answer
37
Is this variation of TQBF still PSPACE-complete?
Sep 3, 2014
answer
31
Turing Machine restrictions that render halting decidable
May 12, 2016
answer
29
A simple decision problem whose decidability is not known
Sep 4, 2013
question
28
Natural NP-complete problems with "large" witnesses
Oct 26, 2014
answer
27
Techniques for showing that problem is in hardness "limbo"
Feb 6, 2014
answer
26
What is the "nearest" problem to the Collatz conjecture that has been successfully resolved?
Jun 2, 2012
answer
25
How much time to recognize palindromes in logarithmic space?
Mar 3, 2014
answer
21
Is the longest trail problem easier than the longest path problem?
Jan 22, 2014
answer
21
Direct SAT to 3-SAT reduction
Jul 3, 2011
Top Meta posts
4
1
8
Limiting non research level questions
7
How to signal users that probably are bots?
Top network posts
View all network posts
35
Can I express any odd number with a power of two minus a prime?
33
Kolmogorov-mania
24
Is rejection sampling the only way to get a truly uniform distribution of random numbers?
22
Classification of intractable/tractable satisfiability problem variants
22
Tikz and directed graph

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.