結び目理論研究支援ソフトウェアにおける自明な結び目判定アルゴリズム
スポンサーリンク
概要
- 論文の詳細を見る
結び目が自明であるか否かを判定するアルゴリズムは, 3橋結び目などの特別な結び目においてしか知られていない. 本講演では, 3種類の変形パターンからなるライドマイスター変形, 有限個のライドマイスター変形を組み合わせて得られるウェーブ変形, 更にこれらとは別のブロック移動, 逆ケーブル操作という曖昧な変形を導入した非決定性のアルゴリズムについて紹介する. このアルゴリズムは, 我々が開発した「結ぴ目理論研究支援ソフトウェア」において既に実現されている. また, 結ぴ目を区別するために用いられる多項式不変量は, ミュータントな2つの結び目の区別が不可能であるが, このソフトウェアに移植された3平行化不変量はそれを可能にしている.
- 一般社団法人情報処理学会の論文
- 1998-01-23
著者
関連論文
- 結び目と平面グラフの最適埋蔵
- 結び目理論研究支援システムの設計
- 平面的ヘーガード図式の接着同相写像の計算機による分解 II ― （f-circleに沿ったデーンツイスト） ―
- 平面的ヘーガード図式の接着同相写像の計算機による分解
- 5-ブレイドの3-並行化不変量のための行列表現のコンピュータによる構成
- 結び目とコンピュータ(9)デーン写像と分解アルゴリズム
- 種数2の2次元閉多様体の平面的自己同相写像の分解過程の可視化 : Javaを使って
- 種数 2 の平面的ヘーガード分解の写像の分解
- Non-iterative行列演算による3次元空間における曲面の最適埋蔵法
- Knot theory by computer : Mathematica, Mathlinkによる結び目理論研究支援ソフトウェア
- 3次元空間における三角形分割によるパンツ体の描画
- 結び目理論研究支援ソフトウェアにおける自明な結び目判定アルゴリズム
- 2-ストリング・タングルの分解木について
- 結び目とコンピュータ(8)結び目と3次元多様体
- 平面的ヘーガード図式の接着同相写像の計算機による分解(2)f-circleに沿ったデーンツイスト
- 平面的ヘーガード図式の接着同相写像の計算機による分解
- 結び目とコンピュータ(7)結び目の並行化不変量
- 結び目とコンピュータ(6)ヘッケ環の線形表現
- 結び目とコンピュータ(5)結び目とタングル
- 結び目とコンピュータ(4)結び目の不変量
- 結び目とコンピュータ(3)結び目とブレイド
- 結び目とコンピュータ(2)結び目の描画
- 結び目とコンピュータ(1)結び目の入力
- Computational construction of W-graphs associated with Hecke algebras(Computational Geometry and Discrete Geometry)