Skip to main content
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 13 years, 8 months
  • Last seen this week
Profile Activity
Stats
23,090
reputation
473k
reached
267
answers
41
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
58
silver badges
128
bronze badges
Top tags
View all tags
533
Score
97
Posts
31
Posts %
247
Score
53
Posts
17
Posts %
240
Score
57
Posts
19
Posts %
211
Score
26
Posts
8
Posts %
175
Score
29
Posts
9
Posts %
154
Score
36
Posts
12
Posts %
Top posts
View all questions and answers
answer
46
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
What is the "nearest" problem to the Collatz conjecture that has been successfully resolved?
Jun 2, 2012
answer
27
Techniques for showing that problem is in hardness "limbo"
Feb 6, 2014
answer
25
How much time to recognize palindromes in logarithmic space?
Mar 3, 2014
question
22
Languages that we cannot (dis)prove to be Context-Free
Apr 5, 2019
answer
21
Dark Integers: General Purpose Computations on Internet Routers
May 25, 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