Let $\Sigma$ be a genus $g$ closed orientable surface and let $\alpha = \{ \alpha\_1,...,\alpha\_g\}$ and $\beta = \{ \beta\_1 ,..., \beta\_g \}$ be two cut systems (i.e. nonintersecting homologically linearly independent sets of $g$ curves) on $\Sigma$. Is there an algorithm to tell if $\alpha$ is handleslide equivalent to $\beta$? Or said another way, is there an algorithm to tell if $\alpha$ and $\beta$ describe the same handlebody attached to $\Sigma$? 



An algorithm to tell if two cut systems are handle slide equivalent?
Yes, here is a sketch of one such proof. Let $V = V\_\alpha$ be the genus $g$ handlebody determined by $\alpha$. The curves $\beta$ now give conjugacy classes in $\pi\_1(V)$. Any one of the $\beta\_i$ bounds a disk if and only if its class is trivial. (Strictly speaking, this requires the disk theorem, but there is a easy proof when the ambient three-manifold is a handlebody.) If all of the $\beta\_i$ bound disks in $V$, then an innermost disk argument proves that the $\beta\_i$ bound disjointly. Now an outermost bigon argument gives the desired sequence of handleslides from $\beta$ to $\alpha$. 


There are also indirect proofs. See Theorem 1.4 of a paper of [Carvalho and Oertel](https://arxiv.org/abs/math/0510610) or Lemma 2.2 of a paper of [Casson and Long](https://eudml.org/doc/143256). 


