galah92's user avatar
galah92's user avatar
galah92's user avatar
galah92
  • Member for 6 years, 9 months
  • Last seen more than a month ago
  • Tel Aviv, Israel
4 votes
1 answer
329 views

Between every two MST's there's a series of "nearby" MST's

4 votes
1 answer
248 views

Non-existence of PSPACE-hard unary language

4 votes
1 answer
559 views

Vertex Cover of size at most $\log n$

3 votes
1 answer
99 views

Proving $L = \{ w : w \neq w^R \}$ over $\Sigma = \{0,1\}$ is CFL

1 vote
0 answers
851 views

Constructing a turing machine from a PDA - dealing with non-determinism

1 vote
1 answer
1k views

How to find the equivalence classes of a regular language

1 vote
2 answers
104 views

STCON in L using matrix multipication algorithm?

1 vote
1 answer
72 views

Prove $EXP \subset E^E$

1 vote
1 answer
175 views

Derandomize MAX-CUT problem using $\log n$ bits

1 vote
1 answer
44 views

$NL^2 = NDSPACE(\log^2n)$ is closed under complement

0 votes
1 answer
159 views

Space complexity for connectivity problem with given graph diameter

-1 votes
1 answer
687 views

Binary search trees: multiple `Successor()` calls