Skip to main content
Kurt's user avatar
Kurt's user avatar
Kurt's user avatar
  • Member for 13 years, 10 months
  • Last seen more than 13 years ago
30 votes

What is the difference between non-determinism and randomness?

22 votes

Algorithms from the Book

21 votes

Advice on good research practices

8 votes

What is the theoretical basis of imperative programming?

7 votes

Many-one reductions vs. Turing reductions to define NPC

5 votes

Shouldn't relativisation contain consistency proof ?

5 votes

What is the quantum computational model?

5 votes

Are there Conservation Laws in Complexity Theory?

4 votes

What does it mean that there are differing views on how computations are represented on the Turing Machine?

3 votes

Which results in complexity theory make essential use of uniformity?

2 votes

Human intelligence and algorithms

1 vote

Well known classes of boolean formulas that require exponentially long resolution proofs

0 votes

Semantic distance between excerpts of text.