mrk
  • Member for 9 years, 5 months
  • Last seen more than a month ago
3 answers
23 votes
6k views
8 bookmarks
How to show two models of computation are equivalent?
2 answers
12 votes
545 views
1 bookmarks
Infinite chain of big $O's$
4 answers
11 votes
6k views
7 bookmarks
NFA with exponential number of states when determinized
1 answers
11 votes
4k views
2 bookmarks
Graphs that cause DFS and BFS to process nodes in the exact same order
3 answers
10 votes
4k views
3 bookmarks
Is there an algorithm for checking if a string is a catenation of palindromes?
1 answers
7 votes
5k views
2 bookmarks
Maximum sub-matrix sum
2 answers
7 votes
2k views
1 bookmarks
Weak and strong completeness
1 answers
6 votes
3k views
3 bookmarks
Find longest common substring using a rolling hash
3 answers
6 votes
390 views
3 bookmarks
Acquiring the necessary background for research
1 answers
4 votes
206 views
2 bookmarks
Creating artificial NP-Complete problems
1 answers
4 votes
700 views
Proof of equivalence of parse-trees and derivations
1 answers
4 votes
3k views
How does a single-track Turing machine simulate a multi-track Turing machine?
1 answers
3 votes
397 views
Polynomially related lengths under two different encodings
1 answers
2 votes
170 views
1 bookmarks
Context free grammar for $1^k0^{2k}$
0 answers
0 votes
56 views
2 bookmarks
How to generate inputs to evaluate the performance of an implementation?