e_noether's user avatar
e_noether's user avatar
e_noether's user avatar
e_noether
  • Member for 11 years, 4 months
  • Last seen more than a month ago
48 votes
4 answers
66k views

Longest path in an undirected tree with only one traversal

15 votes
2 answers
15k views

Correctness-Proof of a greedy-algorithm for minimum vertex cover of a tree

8 votes
1 answer
334 views

Is there a strictly non-deterministic one-counter language whose complement is one-counter?

6 votes
2 answers
756 views

is determinism = non determinism for one counter automata?

6 votes
1 answer
1k views

Single machine job scheduling to minimize weighted sum of completion time

5 votes
2 answers
5k views

why are deterministic PDAs not closed under concatenation?

4 votes
1 answer
318 views

Does the circuit value problem require only log space in alternating Turing machines

3 votes
1 answer
107 views

Validity of this formula in WS1S logic

3 votes
1 answer
97 views

How to use convex hull for this problem

2 votes
1 answer
781 views

Halting problem for polynomial space bounded Turing machines

2 votes
1 answer
3k views

Is $L= \{ a^ib^j \mid j\neq i \ and \ j\neq2i \ \} $ context free?

2 votes
1 answer
118 views

No of ways in which n indistinguishable items can be placed in m indistinguishable boxes [closed]

1 vote
0 answers
788 views

given two vertices in an undirected graph find if there are two vertex disjoint paths connecting them

1 vote
1 answer
466 views

Can BPP be bounded around any constant other than 1/2?

1 vote
0 answers
36 views

how to use the solution of mean payoff game to arrive at winning regions of parity game?

0 votes
1 answer
113 views

Why is $\mu$ finite looping?