user avatar
user avatar
user avatar
Raphael
Moderator
  • Member for 10 years, 5 months
  • Last seen this week
368 votes
12 answers
339k views

Why is quicksort better than other sorting algorithms in practice?

  • 5,325
191 votes
3 answers
24k views

Is there a system behind the magic of algorithm analysis?

  • 71.1k
136 votes
4 answers
197k views

How to convert finite automata to regular expressions?

  • 71.1k
104 votes
5 answers
17k views

How not to solve P=NP?

  • 71.1k
96 votes
5 answers
94k views

How to prove that a language is not context-free?

  • 71.1k
94 votes
10 answers
162k views

How to prove that a language is not regular?

  • 71.1k
93 votes
11 answers
25k views

Solving or approximating recurrence relations for sequences of numbers

  • 71.1k
74 votes
1 answer
14k views

Language theoretic comparison of LL and LR grammars

  • 71.1k
44 votes
2 answers
2k views

Determining capabilities of a min-heap (or other exotic) state machines

  • 12.6k
42 votes
6 answers
6k views

How does a computer work?

  • 529
41 votes
6 answers
17k views

Sorting functions by asymptotic growth

  • 619
39 votes
5 answers
119k views

How to come up with the runtime of algorithms? [duplicate]

  • 513
20 votes
1 answer
1k views

Rigorous proof for validity of assumption $n=b^k$ when using the Master theorem

  • 71.1k
20 votes
5 answers
6k views

Fixed point, what does it mean in the world of computer science

  • 5,032
14 votes
1 answer
396 views

Research on evaluating the performance of cache-obliviousness in practice

  • 22.1k
11 votes
7 answers
1k views

List of intro TCS books for those who don't know much about TCS [closed]

  • 3,008
10 votes
2 answers
371 views

How do I classify my emulator input optimization problem, and with which algorithm should I approach it?

  • 268
9 votes
1 answer
552 views

How can ws with |w| = |s| and w ≠ s be context-free while w#s is not?

  • 246
7 votes
1 answer
133 views

Subsequence of one string but not of others

  • 143k
5 votes
2 answers
700 views

Problems showing the constraint of master theorem case three holds

  • 339
4 votes
0 answers
107 views

Computational power of nondeterministic type-2 min-heap automata

  • 12.6k