Skip to main content
user308485's user avatar
user308485's user avatar
user308485's user avatar
user308485
  • Member for 6 years, 8 months
  • Last seen more than a month ago
0 votes
1 answer
39 views

Proof techniques and correctness proof of minimum cost to make string equal

1 vote
0 answers
85 views

Difference between Hadlock's algorithm and A* search

0 votes
1 answer
118 views

Why is this code for dining philosophers deadlock free?

1 vote
1 answer
189 views

Acceptance problem for CFGs is not regular

1 vote
1 answer
81 views

Turing recognizable language between languages that aren't recognizable?

2 votes
0 answers
36 views

Bug in wikipedia page for Van Emde Boas tree?

3 votes
3 answers
2k views

Asymptotic time complexity for finding maximum element in an array

0 votes
1 answer
745 views

Finding recurrence relations for dynamic programming algorithms

0 votes
1 answer
291 views

$U = \{ \langle M, x, \#^{t} \rangle \vert M $ is a NTM that accepts $x$ within $t$ steps on some branch$\}$ is NP complete

1 vote
1 answer
59 views

Given grammar, a nonterminal, and a string, does there exist a parse tree that uses the nonterminal?