Skip to main content
The 2024 Developer Survey results are live! See the results

Explore our questions

0 votes
1 answer
1k views

Finding all unique paths from a source to a sink in a specially-formed DAG

1 vote
1 answer
63 views

Getting something wrong while building parse table for the grammar

0 votes
0 answers
10 views

Relationship between $\omega$ and o

1 vote
2 answers
4k views

If A is polynomial-time reducible to B and B is NP-Complete, can I say that A is NP-Complete as well?

0 votes
1 answer
13 views

To show that, nlogn + nloglogn is \Theta{logn} ? Is the question even correct?

1 vote
1 answer
13 views

Number of leaves in complete binary tree

0 votes
1 answer
109 views

How to calculate error bounds for the function behind the following algorithm?

0 votes
1 answer
7 views

Deciding whether a linear combination of logarithm of primes is positive

1 vote
0 answers
17 views

DLOGTIME sequential access (uniformity conditions for circuits)

22 votes
3 answers
1k views

Basis sets for combinator calculus

2 votes
1 answer
34 views

Prove that $\Sigma_{i}\text{SAT}$ is a complete problem for $\Sigma_{i}^{p}$

3 votes
1 answer
109 views

Evaluating predicate on binary strings

2 votes
2 answers
62 views

Is there any way to program a chess bot which never loses?

10 votes
1 answer
200 views

Using naturality to prove $f: \forall\alpha. \alpha\times\alpha\to\alpha$ must be a projection

Browse more Questions