Theoretical Computer Science Stack Exchange

3 votes

1 answer

29 views

Maintaining dynamic set of intervals and detect when two intervals intersect

Antoine Amarilli 'a3nm'

11k

modified 36 mins ago

0 votes

0 answers

5 views

Pruning predicates for substitution redundancy

Jogenara

277

asked 2 hours ago

6 votes

1 answer

218 views

Upper bound on number of 3-colorings as function of independence number

Louis

151

modified 4 hours ago

2 votes

0 answers

77 views

Is there rigorous analysis of design patterns?

Louis

151

modified 12 hours ago

5 votes

0 answers

43 views

Is partial integer factorization NP-Complete?

Colman Koivisto

51

modified 12 hours ago

1 vote

1 answer

243 views

How to calculate processor throughput boundary in CSAPP?

CommunityBot

1

modified 20 hours ago

4 votes

1 answer

227 views

Construct an orthogonal simple polygon from a set of N midpoints

Mohammad Al-Turkistany

21.5k

modified yesterday

2 votes

1 answer

885 views

Constructive proof of the Halting Problem

polcott

43

modified yesterday

2 votes

1 answer

140 views

Intermediate problems in $Logspace$

Eric Allender

2,556

modified 2 days ago

7 votes

1 answer

392 views

Is putting articles on arXiv or alternatives, before peer review, generally acceptable?

Antoine Amarilli 'a3nm'

11k

answered 2 days ago

0 votes

1 answer

104 views

Bounded Resolution Property

Jan Johannsen

4,933

modified Dec 9 at 10:39

3 votes

2 answers

96 views

Combining different length epsilon-ADU hash function families

CommunityBot

1

modified Dec 8 at 16:08

1 vote

1 answer

190 views

Is path relation $P_n$, length of path n between x and y, definable by $P_3$ and $P_4$ in first order logic, with no edge relation

Neal Young

12.2k

modified Dec 7 at 21:16

1 vote

1 answer

87 views

Interpretation of P2C invariant in Paxos Made Simple?

CommunityBot

1

modified Dec 7 at 20:05

Stack Exchange Network

Explore our questions

Maintaining dynamic set of intervals and detect when two intervals intersect

Pruning predicates for substitution redundancy

Upper bound on number of 3-colorings as function of independence number

Is there rigorous analysis of design patterns?

Is partial integer factorization NP-Complete?

How to calculate processor throughput boundary in CSAPP?

Construct an orthogonal simple polygon from a set of N midpoints

Constructive proof of the Halting Problem

Intermediate problems in $Logspace$

Is putting articles on arXiv or alternatives, before peer review, generally acceptable?

Bounded Resolution Property

Combining different length epsilon-ADU hash function families

Is path relation $P_n$, length of path n between x and y, definable by $P_3$ and $P_4$ in first order logic, with no edge relation

Interpretation of P2C invariant in Paxos Made Simple?

Hot Network Questions