Michal Dvořák's user avatar
Michal Dvořák's user avatar
Michal Dvořák's user avatar
Michal Dvořák
  • Member for 3 years
  • Last seen this week
12 votes
1 answer
1k views

How to find a "short" walk that visits all vertices of a strongly connected directed graph

6 votes
1 answer
118 views

Equivallent characterization of trees?

3 votes
3 answers
162 views

Find a unit square containing most of the points

2 votes
1 answer
56 views

How to express that a graph has Independent set of size at least $n/2$ in $\exists SO$

2 votes
1 answer
207 views

Prove that up to isomorphism there are exactly two graphs s.t. there at most two vertices with same degree

1 vote
1 answer
33 views

Rigorously show that this program outputs $2n-$ #number of ones in binary representation of $n$ stars

1 vote
1 answer
115 views

Polynomial kernelization for Set Splitting

1 vote
1 answer
89 views

Polynomial time algorithm to find an induced cycle in non-chordal graph

1 vote
1 answer
50 views

Why do we care about computable functions in parametrized complexity definitions?

0 votes
0 answers
45 views

vertex-deletion and edge-deletion parameters

0 votes
1 answer
46 views

Structural parametrization for weighted vertex cover

0 votes
1 answer
387 views

Size of minimal DFA