Skip to main content
e_noether's user avatar
e_noether's user avatar
e_noether's user avatar
e_noether
  • Member for 11 years, 7 months
  • Last seen more than a month ago
2 votes
1 answer
494 views

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

2 votes
1 answer
809 views

Halting problem for polynomial space bounded Turing machines

4 votes
1 answer
334 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

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?

3 votes
1 answer
97 views

How to use convex hull for this problem

1 vote
0 answers
788 views

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

2 votes
1 answer
118 views

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

15 votes
2 answers
15k views

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

48 votes
4 answers
67k views

Longest path in an undirected tree with only one traversal

2 votes
1 answer
3k views

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

8 votes
1 answer
334 views

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

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?

7 votes
2 answers
760 views

is determinism = non determinism for one counter automata?