Computing the genus defect in Hopf arborescent links is decidable.
Hopf arborescent linksの4次元不変量の決定可能性を証明する。