Raphael
Moderator
  • Member for 9 years, 10 months
  • Last seen this week
3 answers
187 votes
23k views
201 bookmarks
Is there a system behind the magic of algorithm analysis?
3 answers
145 votes
17k views
45 bookmarks
How can it be decidable whether $\pi$ has some sequence of digits?
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
4 answers
69 votes
16k views
33 bookmarks
What is the novelty in MapReduce?
11 answers
53 votes
32k views
24 bookmarks
Why would anyone want CISC?
4 answers
43 votes
16k views
35 bookmarks
What are common techniques for reducing problems to each other?
1 answers
31 votes
9k views
18 bookmarks
Which combinations of pre-, post- and in-order sequentialisation are unique?
2 answers
30 votes
5k views
8 bookmarks
Why are the total functions not enumerable?
4 answers
28 votes
2k views
4 bookmarks
How to find a superstar in linear time?
3 answers
26 votes
4k views
5 bookmarks
What are staged functions (conceptually)?
4 answers
25 votes
2k views
10 bookmarks
How to fool the plot inspection heuristic?
1 answers
24 votes
8k views
23 bookmarks
How to show that L = L(G)?
1 answers
21 votes
1k views
4 bookmarks
Generating inputs for random-testing graph algorithms?
1 answers
20 votes
980 views
5 bookmarks
Rigorous proof for validity of assumption $n=b^k$ when using the Master theorem
2 answers
20 votes
500 views
How to scale down parallel complexity results to constantly many cores?
5 answers
20 votes
2k views
3 bookmarks
A Case Distinction on Dynamic Programming: Example Needed!
5 answers
20 votes
581 views
2 bookmarks
Efficient compression of unlabeled trees
3 answers
19 votes
432 views
5 bookmarks
How many cookies in the cookie box? -- Tiling stars
1 answers
19 votes
239 views
4 bookmarks
Decision problem such that any algorithm admits an exponentially faster algorithm
2 answers
18 votes
1k views
4 bookmarks
Compute a max-flow from a min-cut
3 answers
18 votes
981 views
3 bookmarks
Problems Implementing Closures in Non-functional Settings
1 answers
18 votes
256 views
1 bookmarks
Natural occurrences of monads that make use of the category-theoretical framework
2 answers
15 votes
890 views
1 bookmarks
Are there established complexity classes with real numbers?
4 answers
14 votes
893 views
1 bookmarks
Is every linear-time algorithm a streaming algorithm?
3 answers
14 votes
892 views
1 bookmarks
What goes wrong with sums of Landau terms?