Raphael
Moderator
  • Member for 9 years, 10 months
  • Last seen this week
12 answers
368 votes
335k views
245 bookmarks
Why is quicksort better than other sorting algorithms in practice?
3 answers
187 votes
23k views
201 bookmarks
Is there a system behind the magic of algorithm analysis?
4 answers
135 votes
193k views
124 bookmarks
How to convert finite automata to regular expressions?
5 answers
104 votes
17k views
54 bookmarks
How not to solve P=NP?
5 answers
96 votes
89k views
53 bookmarks
How to prove that a language is not context-free?
11 answers
93 votes
24k views
94 bookmarks
Solving or approximating recurrence relations for sequences of numbers
10 answers
91 votes
156k views
75 bookmarks
How to prove that a language is not regular?
1 answers
74 votes
13k views
44 bookmarks
Language theoretic comparison of LL and LR grammars
2 answers
44 votes
2k views
4 bookmarks
Determining capabilities of a min-heap (or other exotic) state machines
6 answers
40 votes
6k views
34 bookmarks
How does a computer work?
6 answers
39 votes
16k views
30 bookmarks
Sorting functions by asymptotic growth
5 answers
38 votes
118k views
42 bookmarks
How to come up with the runtime of algorithms?
1 answers
20 votes
980 views
5 bookmarks
Rigorous proof for validity of assumption $n=b^k$ when using the Master theorem
5 answers
20 votes
6k views
11 bookmarks
Fixed point, what does it mean in the world of computer science
1 answers
14 votes
387 views
2 bookmarks
Research on evaluating the performance of cache-obliviousness in practice
7 answers
11 votes
1k views
6 bookmarks
List of intro TCS books for those who don't know much about TCS
2 answers
10 votes
368 views
1 bookmarks
How do I classify my emulator input optimization problem, and with which algorithm should I approach it?
1 answers
9 votes
500 views
5 bookmarks
How can ws with |w| = |s| and w ≠ s be context-free while w#s is not?
1 answers
7 votes
131 views
4 bookmarks
Subsequence of one string but not of others
2 answers
5 votes
669 views
2 bookmarks
Problems showing the constraint of master theorem case three holds
0 answers
4 votes
106 views
1 bookmarks
Computational power of nondeterministic type-2 min-heap automata