Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Denis's user avatar
Denis's user avatar
Denis's user avatar
Denis
  • Member for 12 years, 1 month
  • Last seen this week
31 votes
4 answers
5k views

Consequences of NP=PSPACE

23 votes
5 answers
5k views

EXPSPACE-complete problems

37 votes
8 answers
3k views

Problems with big open complexity gaps

29 votes
7 answers
2k views

Nontrivial membership in NP

14 votes
1 answer
2k views

Distance between regular languages

11 votes
3 answers
924 views

Implementation of surreal numbers for games

14 votes
2 answers
912 views

Büchi automata with acceptance strategy

5 votes
2 answers
595 views

graph isomorphism given a partial isomorphism

17 votes
0 answers
387 views

Intermediate problems between PSPACE and EXPTIME

9 votes
2 answers
293 views

Understanding graph minor theorem

9 votes
1 answer
281 views

Directed multigraphs as minimal automata

6 votes
3 answers
261 views

Solving problems by deciding a logic

10 votes
1 answer
253 views

Succinctness of regular expressions with empty word

13 votes
1 answer
229 views

Combinatorics of a badminton tournament

3 votes
0 answers
229 views

PSPACE-complete under NP reduction

6 votes
1 answer
203 views

On bandwidth of graphs

8 votes
1 answer
185 views

Word equations with integer parameters

3 votes
0 answers
105 views

Advances in complexity by studying particular problems

2 votes
0 answers
101 views

What kind of solver should I use for this hypergraph problem?

5 votes
0 answers
95 views

Complexity of inclusion of transfinite expressions

1 vote
0 answers
91 views

Induced subgraphs with interface

4 votes
0 answers
57 views

Reference for cost of translating between regular language formalisms