Explore our questions

1 vote
0 answers
93 views

What is the relevance of Real Analysis in TCS?

-1 votes
0 answers
14 views

Contextual equivalence for System F

11 votes
4 answers
1k views

Explaining monad transformers in categorical terms

-3 votes
0 answers
72 views

The range of Busy Beaver Function is immune set?

2 votes
0 answers
37 views

Hardness of Orthogonal Vectors in the Average-Case

4 votes
0 answers
49 views

Uniform lower bounds in terms of the matrix multiplication exponent $\omega$?

1 vote
0 answers
24 views

Placing a circle in a point cloud

-3 votes
0 answers
42 views

Pfaffian orientation in Logspace?

9 votes
1 answer
524 views

Problems that are NP-Complete when restricted to graphs of treewidth 2 but polynomial on trees

2 votes
0 answers
26 views

Affine point matching in general dimensions

user avatar
4 votes
0 answers
36 views

Complexity of solving random underdetermined polynomial equations over finite fields

3 votes
0 answers
34 views

Hardness of Approximation for Three Matroid Intersection

0 votes
0 answers
55 views

Is there a Hidden subgroup problem in BQP but suspected not to be in NP?

1 vote
0 answers
460 views

Is it known that P $\neq$ NP implies BQP $\neq$ NP?

Browse more Questions