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

Explore our questions

3 votes
0 answers
15 views

Enumerating finite set of words with Hamming distance $1$

5 votes
1 answer
228 views

Deciding if all matrix multiplication entries have at least two witnesses

0 votes
0 answers
26 views

Has there already been research done on how data(e.g. runtime) can improve the development environment of a language?

10 votes
2 answers
513 views

Quadratic lower bound

0 votes
0 answers
21 views

Given a sequence, how can we define its information content?

0 votes
0 answers
14 views

Strong/weak Fourier sampling for abelian hidden subgroup in non-abelian ambient group?

1 vote
0 answers
44 views

Consequences of efficient algorithm for search problem unique 3SAT

1 vote
0 answers
27 views

What is known about simultaneous protocol set disjointness?

24 votes
1 answer
267 views

How many multiplications are needed to compute the determinant of a 3×3 matrix?

10 votes
1 answer
386 views

Recent progress on the next-to-shortest-path problem for directed graphs?

3 votes
0 answers
56 views

Sparsity Bounds for Probabilistic Polynomials

0 votes
1 answer
238 views

formal definition of "flowcharts"

0 votes
1 answer
31 views

where to read about PSO (partial store order) memory model

-1 votes
0 answers
62 views

How to give a polynomial-time reduction from 3SAT to the Conjunctive Query Evaluation Problem?

Browse more Questions