Tour
About Us
Meta
Loading…
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Log in
Stack Exchange
All Sites
Top Users
Digests
Denis
ENS Lyon, Lyon, France
http://perso.ens-lyon.fr/denis.kuperberg
top
accounts
reputation
activity
subscriptions
Top Questions
37
votes
Problems with big open complexity gaps
cc.complexity-theory
complexity-classes
big-list
asked Feb 26, 2015 at 12:11
cstheory.stackexchange.com
36
votes
Probabilities in a riddle involving axiom of choice
pr.probability
sequences-and-series
axiom-of-choice
asked Dec 9, 2013 at 16:16
mathoverflow.net
31
votes
Consequences of NP=PSPACE
cc.complexity-theory
complexity-classes
conditional-results
asked Feb 13, 2014 at 17:11
cstheory.stackexchange.com
29
votes
Nontrivial membership in NP
reductions
np
asked Feb 17, 2014 at 14:08
cstheory.stackexchange.com
23
votes
EXPSPACE-complete problems
cc.complexity-theory
reference-request
big-list
expspace
asked Oct 22, 2014 at 15:49
cstheory.stackexchange.com
22
votes
Circular track riddle
nt.number-theory
puzzle
asked Jul 19, 2020 at 15:10
mathoverflow.net
17
votes
Intermediate problems between PSPACE and EXPTIME
cc.complexity-theory
complexity-classes
exp-time-algorithms
pspace
asked Jun 9, 2017 at 13:50
cstheory.stackexchange.com
14
votes
Distance between regular languages
reference-request
fl.formal-languages
regular-language
asked Jun 3, 2013 at 13:24
cstheory.stackexchange.com
14
votes
Büchi automata with acceptance strategy
fl.formal-languages
automata-theory
regular-language
nondeterminism
omega-language
asked May 9, 2012 at 13:05
cstheory.stackexchange.com
14
votes
Faulty computers
logic-puzzle
strategy
liars
asked Oct 6, 2014 at 23:58
puzzling.stackexchange.com
1
2
3
next
Top Answers
110
Interview riddle
math.stackexchange.com
45
Real computers have only a finite number of states, so what is the relevance of Turing machines to real computers?
cstheory.stackexchange.com
43
What is a limit point
math.stackexchange.com
43
Are there any examples of non-computable real numbers?
math.stackexchange.com
34
What is the smallest Turing machine where it is unknown if it halts or not?
cstheory.stackexchange.com
29
Most important new papers in computational complexity
cstheory.stackexchange.com
25
rescue operation - where is your partner?
puzzling.stackexchange.com
25
Essays and thoughts on mathematics
mathoverflow.net
23
Linear span of the empty set
math.stackexchange.com
18
Theoretical Computer Science vs other Sciences?
cstheory.stackexchange.com
15
Parameterized complexity of inclusion of regular languages
cstheory.stackexchange.com
14
What notable automaton models have polynomially-decidable containment?
cstheory.stackexchange.com
14
Are all mathematical statements true or false?
math.stackexchange.com
13
A simple decision problem whose decidability is not known
cstheory.stackexchange.com
13
Counterintuitive results for undergraduates
cstheory.stackexchange.com
12
Are Boolean circuits 'universal'
cstheory.stackexchange.com
12
Caterpillar decomposition of trees
cstheory.stackexchange.com
12
On the realisation of monoids as syntactic monoids of languages
cstheory.stackexchange.com
12
Combinatorics of a badminton tournament
cstheory.stackexchange.com
11
The paradox with the first uncountable ordinal
mathoverflow.net
10
Deterministic Büchi + its complement covers LTL?
cstheory.stackexchange.com
10
How to acknowledge answers of TCS in the paper?
cstheory.stackexchange.com
9
Useless math that became useful
mathoverflow.net
9
A quine in pure lambda calculus
cs.stackexchange.com
9
Complexity of Unknotting problems
cstheory.stackexchange.com
9
Proof and computational complexity
cstheory.stackexchange.com
9
For a specific unbounded Turing machine, is its Halting problem undecidable?
cstheory.stackexchange.com
9
What exactly are equivalence classes
math.stackexchange.com
8
Constraints on sliding windows
cstheory.stackexchange.com
8
Is coRE closed under concatenation?
cstheory.stackexchange.com
1
2
3
next
Stack Exchange works best with JavaScript enabled