Questions tagged [machine-models]
The machine-models tag has no usage guidance.
6
questions
39
votes
7answers
6k views
Applicability of Church-Turing thesis to interactive models of computation
Paul Wegner and Dina Goldin have for over a decade been publishing papers and books arguing primarily that the Church-Turing thesis is often misrepresented in the CS Theory community and elsewhere. ...
41
votes
6answers
2k views
Which model of computation is “the best”?
In 1937 Turing described a Turing machine. Since then many models of computation have been decribed in attempt to find a model which is like a real computer but still simple enough to design and ...
16
votes
2answers
4k views
Time complexity of Bellman-Held-Karp algorithm for TSP, take 2
A recent question discussed the now-classical dynamic programming algorithm for TSP, due independently to Bellman and Held-Karp. The algorithm is universally reported to run in $O(2^n n^2)$ time. ...
8
votes
0answers
342 views
Are there any models of computation currently being studied with the possibility of being more powerful than Turing Machines? [duplicate]
Possible Duplicate:
What would it mean to disprove Church-Turing thesis?
Are there any models of computation currently being studied with the possibility of being more powerful than Turing ...
13
votes
2answers
588 views
Provable gaps between decision tree complexity and “true” complexity
The title is a little misleading: but hopefully the question isn't:
Grønlund and Pettie's new result showing that 3SUM has only $O(n^{3/2})$ decision tree complexity got me wondering:
Is there a ...
14
votes
6answers
468 views
What is known about the effectiveness of reliable computing?
How well has the following problem been investigated in TCS?
(I apologize if the problem statement sounds vague!)
Given a Model of Computation MC (Turing Machine, Cellular Automata, Kolmogorov-...