＜研究概要＞
与えられた結び目をデータベースの中から同定するプログラムをMathematicaで作った。

＜結び目とは＞
結び目とは、3次元空間内の、自分自身とは交わらないような閉曲線のことである。

＜結び目の型が同じとは＞
結び目を、切ったりそれ自身と交わったりすることなく、空間内で連続的に変形することを考える。
このような変形で移りあう二つの結び目は同じ型であるという。

＜結び目を表現する為のデータ構造＞



linkDiagram = {{自分の交点番号,相手の交点番号,交差符合,上下},{・・・・},・・・}

図１の場合、
linkDiagram = {{1,4,-1,1},{2,5,-1,-1},{3,6,-1,1},{4,1,-1,-1},{5,2,-1,1},{6,3,-1,-1}}

＜同定する方法＞
与えられた結び目のlinkDiagramから計算されたジョーンズ多項式の値と、データベースの中にある
結び目のジョーンズ多項式の値とが一致した場合、その二つの結び目は同じ型である。
ただし、これは９交点以下の結び目にいえることで、もっとたくさんの交点をもつ結び目は
ジョーンズ多項式の値が同じであっても同じ型であるとは限らない。

次へ

---