user avatar
user avatar
user avatar
Raphael
Moderator
  • Member for 10 years, 3 months
  • Last seen this week
191 votes
3 answers
24k views

Is there a system behind the magic of algorithm analysis?

145 votes
3 answers
18k views

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

136 votes
4 answers
197k views

How to convert finite automata to regular expressions?

104 votes
5 answers
17k views

How not to solve P=NP?

96 votes
5 answers
93k views

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

93 votes
10 answers
162k views

How to prove that a language is not regular?

93 votes
11 answers
25k views

Solving or approximating recurrence relations for sequences of numbers

74 votes
1 answer
14k views

Language theoretic comparison of LL and LR grammars

70 votes
4 answers
16k views

What is the novelty in MapReduce?

55 votes
11 answers
33k views

Why would anyone want CISC?

43 votes
4 answers
17k 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
5k views

Why are the total functions not enumerable?

28 votes
4 answers
2k views

How to find a superstar in linear time?

26 votes
3 answers
4k views

What are staged functions (conceptually)?

25 votes
4 answers
3k views

How to fool the plot inspection heuristic?

24 votes
1 answer
8k views

How to show that L = L(G)?

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
512 views

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

20 votes
5 answers
588 views

Efficient compression of unlabeled trees

20 votes
5 answers
2k views

A Case Distinction on Dynamic Programming: Example Needed!

19 votes
1 answer
244 views

Decision problem such that any algorithm admits an exponentially faster algorithm

19 votes
3 answers
437 views

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

18 votes
2 answers
1k views

Compute a max-flow from a min-cut

18 votes
3 answers
995 views

Problems Implementing Closures in Non-functional Settings

18 votes
1 answer
262 views

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

15 votes
2 answers
912 views

Are there established complexity classes with real numbers?

14 votes
3 answers
934 views

What goes wrong with sums of Landau terms?

14 votes
4 answers
908 views

Is every linear-time algorithm a streaming algorithm?