Skip to main content

Top Questions

4 votes
7 answers
4k views

Arguments for 128-bit processors now (or even a 96-bit)

1 vote
1 answer
64 views

is every non-trivial language in RE reducible to every language not in (RE union co-RE)?

4 votes
1 answer
59 views

Determinize History-Deterministic Automaton By Pruning

1 vote
1 answer
43 views

Help understanding how to reduce to a symmetry-based coloring problem (NP-completeness)

2 votes
0 answers
43 views

What algorithm can be used to implement code folding for the C programming language?

1 vote
0 answers
43 views

Has a Torus data structure been constructed?

0 votes
1 answer
29 views

What's the time complexity of splitting an array into 2 equal halfs?

1 vote
0 answers
32 views
+50

Basic question about parallel repetition in IP protocol

-1 votes
0 answers
24 views

Gödel sentences for Turing machines

1 vote
0 answers
18 views

Algorithm to compute a non-uniform rectangular grid on a domain based on a function defined on that domain

-1 votes
0 answers
17 views

Was computing technology advanced enough to achieve a nearly fully automated economy in the mid-20th century? [closed]

0 votes
0 answers
16 views

Seeing AM and MA in terms of "overwhelming majority" quantifier

1 vote
0 answers
14 views

Two pseudo-perfect bipartite matchings

3 votes
1 answer
13 views

How can I think about one statement that $TM_1$ uses $TM_2$ to compute $TM_3$?


Looking for more? Browse the complete list of questions, or popular tags. Help us answer unanswered questions.