Results from the 2022 Developer Survey are now available
Theoretical Computer Science
user avatar
user avatar
user avatar
Denis
  • Member for 10 years, 3 months
  • Last seen this week
Profile Activity
Stats
7,653
reputation
213k
reached
89
answers
18
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
27
silver badges
49
bronze badges
Top tags
View all tags
169
Score
29
Posts
27
Posts %
139
Score
26
Posts
24
Posts %
88
Score
17
Posts
16
Posts %
72
Score
25
Posts
23
Posts %
48
Score
10
Posts
9
Posts %
47
Score
17
Posts
16
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
44
Real computers have only a finite number of states, so what is the relevance of Turing machines to real computers?
Apr 19, 2016
question
36
Problems with big open complexity gaps
Feb 26, 2015
answer
32
What is the smallest Turing machine where it is unknown if it halts or not?
Feb 11, 2014
question
31
Consequences of NP=PSPACE
Feb 13, 2014
answer
29
Most important new papers in computational complexity
Jun 24, 2019
question
28
Nontrivial membership in NP
Feb 17, 2014
question
23
EXPSPACE-complete problems
Oct 22, 2014
question
17
Intermediate problems between PSPACE and EXPTIME
Jun 9, 2017
question
14
Büchi automata with acceptance strategy
May 9, 2012
answer
14
What notable automaton models have polynomially-decidable containment?
Jun 17, 2014
Top network posts
View all network posts
110
Interview riddle
41
Are there any examples of non-computable real numbers?
35
What is a limit point
26
Probabilities in a riddle involving axiom of choice
25
rescue operation - where is your partner?

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.