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
1 vote
0 answers
41 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
  • 111
1 vote
0 answers
17 views

Find the SVM kernel in detecting if a substring in a given string

Tran Khanh's user avatar
Tran Khanh
  • 131
-1 votes
0 answers
20 views

corresponding resoving and arbitary resolving

Jxb's user avatar
Jxb
  • 283
5 votes
1 answer
176 views

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

Emil Jeřábek's user avatar
Emil Jeřábek
  • 16.8k
54 votes
7 answers
4k views

Good examples for how to write well in TCS

Joshua Grochow's user avatar
Joshua Grochow
  • 36.9k
3 votes
1 answer
302 views

Online TCS Seminars

Joshua Grochow's user avatar
Joshua Grochow
  • 36.9k
2 votes
1 answer
119 views

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

holf's user avatar
holf
  • 2,119
0 votes
2 answers
57 views

Representing/Modelling fields and methods in the context of programming as automata

Community's user avatar
CommunityBot
  • 1
-1 votes
0 answers
71 views

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

Arcade_TryHard's user avatar
Arcade_TryHard
  • 1
0 votes
1 answer
88 views

Confusion about lower bounds and upper bounds in learning theory

Aryeh's user avatar
Aryeh
  • 10.3k
5 votes
2 answers
350 views

Error in Robson's proof about separting strings?

Tassle's user avatar
Tassle
  • 681
6 votes
3 answers
419 views

Finding a minimal context free grammar that recognizes a finite set of strings of bounded length

Hermann Gruber's user avatar
Hermann Gruber
  • 5,840
2 votes
0 answers
54 views

Enforcing general position in $2d$ linear programming

user3508551's user avatar
user3508551
  • 1,078
4 votes
0 answers
107 views

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

Erel Segal-Halevi's user avatar
Erel Segal-Halevi
  • 2,086
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.