Raphael's user avatar
Raphael's user avatar
Raphael's user avatar
Raphael
Moderator
  • Member for 11 years, 11 months
  • Last seen this week
195 votes
3 answers
26k views

Is there a system behind the magic of algorithm analysis?

146 votes
3 answers
19k views

How can it be decidable whether $\pi$ has some sequence of digits?

140 votes
4 answers
205k views

How to convert finite automata to regular expressions?

106 votes
5 answers
18k views

How not to solve P=NP?

98 votes
5 answers
104k views

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

97 votes
10 answers
179k views

How to prove that a language is not regular?

96 votes
11 answers
29k views

Solving or approximating recurrence relations for sequences of numbers

76 votes
1 answer
16k views

Language theoretic comparison of LL and LR grammars

71 votes
4 answers
17k views

What is the novelty in MapReduce?

57 votes
11 answers
34k views

Why would anyone want CISC?

45 votes
4 answers
19k views

What are common techniques for reducing problems to each other?

31 votes
1 answer
10k views

Which combinations of pre-, post- and in-order sequentialisation are unique?

30 votes
2 answers
6k views

Why are the total functions not enumerable?

29 votes
4 answers
2k views

How to find a superstar in linear time?

28 votes
3 answers
4k views

What are staged functions (conceptually)?

26 votes
1 answer
9k views

How to show that L = L(G)?

25 votes
4 answers
3k views

How to fool the plot inspection heuristic?

21 votes
1 answer
1k views

Generating inputs for random-testing graph algorithms?

20 votes
1 answer
1k views

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

20 votes
2 answers
557 views

How to scale down parallel complexity results to constantly many cores?

20 votes
5 answers
625 views

Efficient compression of unlabeled trees

20 votes
5 answers
2k views

A Case Distinction on Dynamic Programming: Example Needed!

19 votes
3 answers
1k views

Problems Implementing Closures in Non-functional Settings

19 votes
1 answer
276 views

Natural occurrences of monads that make use of the category-theoretical framework

19 votes
1 answer
253 views

Decision problem such that any algorithm admits an exponentially faster algorithm

19 votes
2 answers
2k views

Compute a max-flow from a min-cut

19 votes
3 answers
448 views

How many cookies in the cookie box? -- Tiling stars

15 votes
2 answers
1k views

Are there established complexity classes with real numbers?

15 votes
4 answers
989 views

Is every linear-time algorithm a streaming algorithm?

14 votes
3 answers
1k views

What goes wrong with sums of Landau terms?