Theoretical Computer Science Stack Exchange is a question and answer site for theoretical computer scientists and researchers in related fields. It only takes a minute to sign up.

Sign up to join this community
Anybody can ask a question
Anybody can answer
The best answers are voted up and rise to the top

Top Questions

5 votes
2 answers
350 views

Error in Robson's proof about separting strings?

5 votes
1 answer
135 views

What can we do with a generic oracle (as opposed to a random one)?

2 votes
1 answer
116 views

Can CDCL Algorithm Derived Conflict Clauses Always Be Obtained Through Resolution from an Unsatisfiable CNF Formula?

4 votes
0 answers
102 views

Convex optimization: is it possible to find solutions that are exactly feasible and approximately optimal in polynomial time?

-1 votes
0 answers
70 views

Proof for Upper Bound on the Size of the Sum of Rational Numbers

2 votes
0 answers
53 views

Enforcing general position in $2d$ linear programming

2 votes
0 answers
48 views

Many-one equivalence of sets that differ finitely

0 votes
0 answers
39 views

Approximation ratio of randomized rounding for integral multi-commodity flow

1 vote
0 answers
38 views

Is the Category of $(* \to)^n *$-kinded types freely generated from the discrete graph with $n$ nodes?

-1 votes
0 answers
16 views

corresponding resoving and arbitary resolving


Looking for more? Browse the complete list of questions, or popular tags. Help us answer unanswered questions.