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 Hot Week Month
2 votes
0 answers
54 views

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

Johan Thiborg-Ericson's user avatar
Johan Thiborg-Ericson
  • 121
-1 votes
0 answers
82 views

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

Arcade_TryHard's user avatar
Arcade_TryHard
  • 1
16 votes
2 answers
1k views

Is there a SETH (Strong Exponential Time Hypothesis) for CSP (Constraint Satisfaction Problem)?

Michael Lampis's user avatar
Michael Lampis
  • 3,416
1 vote
1 answer
78 views

Learning arithmetic series

Aryeh's user avatar
Aryeh
  • 10.3k
102 votes
41 answers
15k views

What are the recent TCS books whose drafts are available online?

Clement C.'s user avatar
Clement C.
  • 4,451
4 votes
2 answers
522 views

Do we currently know a polynomial-size Frege proof for Tseitin formulas?

Emil Jeřábek's user avatar
Emil Jeřábek
  • 16.9k
0 votes
1 answer
124 views

Finding deepest intersection

Emil Jeřábek's user avatar
Emil Jeřábek
  • 16.9k
-1 votes
1 answer
75 views

Representation of binary strings by graphs and hypergraphs

JimN's user avatar
JimN
  • 1,276
16 votes
3 answers
1k views

Is the 3-sphere recognition problem NP-complete?

Adele Jackson's user avatar
Adele Jackson
  • 3
1 vote
0 answers
36 views

First-order linear mu-calculus?

Nicola Gigante's user avatar
Nicola Gigante
  • 1,588
0 votes
0 answers
46 views

Amplifying success probability for PTMs with $poly(n) / \exp(n)$ gap?

hedgehog0's user avatar
hedgehog0
  • 3
2 votes
0 answers
53 views

Approximately sampling from a discrete unimodal distribution with large support

user2316602's user avatar
user2316602
  • 630
6 votes
0 answers
274 views

Techniques for solving huge linear programs

Erel Segal-Halevi's user avatar
Erel Segal-Halevi
  • 2,078
3 votes
0 answers
103 views

How does NP-completess of decision problems relate to NP-completeness of search problems?

J..y B..y's user avatar
J..y B..y
  • 2,733
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.