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
Theoretical Computer Science

Explore our Questions

Ask Question
more tags
Active 1 Bountied Hot Week Month
6votes
0answers
160views
Examples of simulations in proof complexity that are not p-simulations
Emre Yolcu
  • 161
0votes
0answers
19views
Is there a way to define dependent types without explicit substitutions internally within agda?
Kaa1el
  • 101
1vote
1answer
71views
What type of Problems (Class and types) Can Be Solved Effectively with Quantum Computers?
Jonas Kübler
  • 1
4votes
1answer
108views
Complexity of Yao's tiling number?
Hermann Gruber
  • 5,414
0votes
0answers
58views
+50
Maximize the mutual information between 2 discrete random variables
wanderer
  • 59
0votes
0answers
44views
Complexity of projected model counting
David Monniaux
  • 1,002
3votes
0answers
39views
Extremal Ellipsoids
Andrea
  • 181
0votes
0answers
53views
Alternating hamilton cycles problem in 2-edge-colored graphs
zhukui bai
  • 27
2votes
1answer
73views
Proof of SPFA's worst-case complexity?
Neal Young
  • 7,737
-1votes
0answers
28views
Is there an efficient way to generate a psuedo-boolean function from a linear constraint?
JoeBass
  • 99
1vote
0answers
53views
Is finding a very large clique NP-hard?
Dmitry
  • 159
-1votes
0answers
24views
$K_t-Hitting$ is FPT?
DaniTo
  • 9
3votes
1answer
252views
Distinguishing permanent from false value
Community Bot
  • 1
Browse more Questions

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.