Skip to main content

Explore our questions

1 vote
0 answers
10 views

Are locally decodable codes proven not able to achieve Shannon Capacity on BSC?

6 votes
1 answer
214 views

Is partial integer factorization NP-complete?

-2 votes
0 answers
43 views

Functions with asymmetric compute requirements

3 votes
2 answers
953 views

Constructive proof of the Halting Problem

0 votes
0 answers
19 views

What literature is there for Algorithmical approaches that use swapping to calculate the cost for TSP?

1 vote
1 answer
104 views

pullbacks and cartesian arrows

6 votes
2 answers
318 views

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

3 votes
3 answers
270 views

Sequential repetition in an IP protocol

2 votes
1 answer
189 views

Supermodular set cover (a variant of submodular set cover) with bounded curvature

3 votes
1 answer
339 views

Ignore side effect in monadic code

4 votes
1 answer
124 views

Maintaining dynamic set of intervals and detect when two intervals intersect

0 votes
0 answers
28 views

Pruning predicates for substitution redundancy

2 votes
0 answers
98 views

Is there rigorous analysis of design patterns?

1 vote
1 answer
244 views

How to calculate processor throughput boundary in CSAPP?

Browse more Questions