Profile Activity

galah92

Meta user

Network profile

Reputation

197

Top tag

complexity-theory

Next privilege

250 Rep.

View close votes

Badges

Newest

Tumbleweed

Next badge

0/1

Impact

0 posts edited

0 helpful flags

12 votes cast

Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

14 Questions

Views Newest Activity Votes

votes

answer

130

views

Non-existence of PSPACE-hard unary language

complexity-theory space-complexity

Apr 4 at 11:02 David Richerby 74.7k

votes

answer

126

views

Between every two MST's there's a series of “nearby” MST's

graph-theory minimum-spanning-tree

Feb 15 '18 at 21:35 Willard Zhan 1,118

votes

answer

146

views

Vertex Cover of size at most $\log n$

complexity-theory vertex-cover

Jun 8 at 10:07 Oren Milman 103

votes

answer

views

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

formal-languages context-free formal-grammars

Feb 9 '18 at 11:12 Raphael♦ 58.9k

vote

answer

views

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

complexity-theory space-complexity

Jun 20 at 13:13 Yuval Filmus 206k

vote

answer

views

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

randomness max-cut

Jun 18 at 11:44 Yuval Filmus 206k

vote

answer

views

Prove $EXP \subset E^E$

complexity-theory time-complexity

Aug 1 '18 at 13:11 Yuval Filmus 206k

vote

answers

views

STCON in L using matrix multipication algorithm?

space-complexity

Jul 12 '18 at 13:13 David Richerby 74.7k

vote

answers

426

views

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

turing-machines pushdown-automata simulation

Dec 19 '17 at 10:23 Raphael♦ 58.9k

vote

answer

761

views

How to find the equivalence classes of a regular language

regular-languages

Nov 25 '17 at 14:45 Yuval Filmus 206k

votes

answers

views

Dominating Set Gap Problem Reduction

reductions vertex-cover

Jun 7 at 5:30 galah92 197

votes

answers

views

Proving $BPP[\frac{1}{3},\frac{2}{3}] = BPP[a,a+\gamma]$ where $0<a<a+\gamma<1$

complexity-theory randomness

May 21 at 14:35 galah92 197

votes

answer

views

Space complexity for connectivity problem with given graph diameter

graph-theory space-complexity

Mar 22 '18 at 11:11 quicksort 3,882

-1

votes

answer

452

views

Binary search trees: multiple `Successor()` calls

time-complexity binary-search-trees

May 14 '17 at 17:09 Yuval Filmus 206k

Stack Exchange Network

current community

your communities

more stack exchange communities

Next privilege

Next badge

14 Questions

Non-existence of PSPACE-hard unary language

Between every two MST's there's a series of “nearby” MST's

Vertex Cover of size at most $\log n$

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

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

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

Prove $EXP \subset E^E$

STCON in L using matrix multipication algorithm?

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

How to find the equivalence classes of a regular language

Dominating Set Gap Problem Reduction

Proving $BPP[\frac{1}{3},\frac{2}{3}] = BPP[a,a+\gamma]$ where $0<a<a+\gamma<1$

Space complexity for connectivity problem with given graph diameter

Binary search trees: multiple `Successor()` calls