研究課題
結び目・絡み目理論では結び目や絡み目の分類,特徴付けのために多くの不変量が定義され,研究されている.本研究は結び目理論と計算量理論との融合問題を解決することが研究目的であり,その2年目として,ある種の不変量を絡み目の重要なクラスについて,コンピュータにより実際に大量に計算し,そこから不変量の性質を見出すことを試みた.それにより,興味深い性質に気がつき,現在それを理論的に精査している.