Skip to main content

Explore our questions

6 votes
2 answers
381 views

Why not solve s-sparse recovery on a stream by tracking moments?

0 votes
1 answer
117 views

How does the proof of the Immerman Vardi theorem capture the computation of a turing machine?

2 votes
2 answers
146 views

What is the complexity of Quantified SAT with only Positive Literals?

2 votes
1 answer
108 views

A question regarding vector discrepancy, more like a reference request

0 votes
1 answer
263 views

How to properly learn when there is random classification noise?

7 votes
1 answer
439 views

How often can a clause cause a conflict?

2 votes
1 answer
165 views

Lower-bound for size of set of vertices in a DAG Markov chain

6 votes
2 answers
564 views

Are all NP-complete problems NP-complete under local reductions?

1 vote
1 answer
96 views

How to specify if an encoding is valid?

28 votes
1 answer
1k views

Languages recognized by polynomial-size DFAs

0 votes
0 answers
38 views

What are possible parameters for the Sudoku Puzzle Completion problem?

1 vote
0 answers
192 views

How do PCP systems interact with oracles?

-2 votes
0 answers
25 views

How can I can write the Closure Conversion for the LetRec case in miniML interpreter

-1 votes
0 answers
92 views

Witness regions for lattice problems and at most one output $CVP$ algorithms

Browse more Questions