3-正則3-連結2部グラフがすべてハミルトングラフであるとするバーネット予想に取り組んでいます。