Skip to main content

Explore our questions

31 votes
2 answers
2k views

Hierarchies in NP (under the assumption that P != NP)

0 votes
0 answers
22 views

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

0 votes
0 answers
67 views

How can we solve Hitting Set instance in time $O(2^k)$ using Dynamic programming, where $k$ is the number of sets?

5 votes
1 answer
88 views

Laying out pages for a “choose your own adventure” book?

5 votes
1 answer
216 views

How many bits are required to sample an almost pairwise independent hash function?

1 vote
0 answers
19 views

Do Approximate Equilibria Algorithms for Transit Frequency Games Exhibit Strong Logarithmic Efficiency in Large Networks?

1 vote
1 answer
52 views

Does consistency + poly-time + finite VC-dimension imply PAC learning?

-1 votes
0 answers
40 views

Is maximum (unweighted) independent set on EPT graphs solvable in polynomial time?

2 votes
1 answer
226 views

How to Classify Memory Access Pattern by LLVM or Other Tools?

0 votes
0 answers
37 views

Can equivalence queries be replaced by random examples in PAC learning?

13 votes
3 answers
4k views

Complexity of Finding the Eigendecomposition of a *Symmetric* Matrix

1 vote
1 answer
123 views

Is coprimality known to be outside $AC^0[p]$?

5 votes
2 answers
846 views

Pagerank in directed *acyclic* graphs (DAG)

10 votes
1 answer
654 views

What's the difference between Moggi's computational metalanguage and Moggi's lambda calculus?

Browse more Questions