2022 Developer Survey is open! Take survey.

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

0 votes
0 answers
5 views

"Operations" in category theory that are not defined for arrows

1 vote
0 answers
18 views

Question about algorithm for enumerating minimal AB-separators

0 votes
0 answers
20 views

Can we describe any context-sensitive language by a grammar without left recursion?

1 vote
0 answers
56 views

Are there more learnable but undecidable cases except the halting problem

5 votes
0 answers
39 views

Relationship between natural deduction refutation and tableaux for propositional logic

4 votes
1 answer
348 views

Space complexity of integer programming

0 votes
0 answers
40 views

The Complexity of Multi-Objective Optimization

1 vote
0 answers
33 views

Is there an FPT or XP algorithm known for this version of $k$-edge disjoint paths problem?

0 votes
0 answers
30 views

If two functions are close apart can I prove the difference of their empirical loss is also small?

0 votes
0 answers
14 views

Determine number of possible formal languages with a nerode-index of k (k number of equivalence classes)

0 votes
0 answers
46 views
+50

Direct fpt reduction from Weighted 3SAT to Weighted 2SAT

0 votes
0 answers
36 views

Solving sampling problems with circuits?

3 votes
0 answers
55 views

Is there a standard way to "point" at subterms in a lambda expression?

-1 votes
0 answers
52 views

How to prove a problem does not have an approximation algorithm?

Browse more Questions