| 研究課題/領域番号 |
17540135
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 東海大学 |
|---|
研究代表者 |
原 正雄 東海大学, 理学部, 准教授 (10238165)
|
|---|
| 研究分担者 |
大西 建輔 東海大学, 理学部, 講師 (00303024)
松本 哲志 東海大学, 理学部, 准教授 (30307235)
谷 聖一 日本大学, 文理学部, 教授 (70266708)
山本 慎 中央大学, 理工学部, 教授 (10158305)
|
|---|
| 研究期間 (年度) |
2005 – 2007
|
| 研究課題ステータス |
完了 (2007年度)
|
| 配分額 *注記 |
3,180千円 (直接経費: 3,000千円、間接経費: 180千円)
2007年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2006年度: 1,000千円 (直接経費: 1,000千円)
2005年度: 1,400千円 (直接経費: 1,400千円)
|
|---|
| キーワード | 結び目理論 / 計算位相幾何 / Jones多項式 / 2-bridge link / 3-braid link / Montesinos link / Montesinos 絡み目 / 計算量 / 計算位相幾何学 / 組合せアルゴリズム |
|---|
| 研究概要 |
結び目の不変量を計算するアルゴリズムの研究を行った.古典的不変量であるAlexander多項式はダイアグラムから多項式時間で計算出来るのに対し,Jones多項式をはじめとするスケイン型多項式の計算は#P-困難であることが知られている.したがってダイアグラムからJones多項式を多項式時間で計算することは出来ないと予想される。入力するダイアグラムに制限を与えたときJones多項式を多項式時間で計算出来るが示されていた.本研究では2橋型絡み目ダイアグラムと閉3組紐型ダイアグラムについてKauffmanブラケット多項式を高速に計算するアルゴリズムを考案した,Jones多項式はブラケット多項式とライズから線形時間で求めることが出来る.我々のアルゴリズムでは交点数nの絡み目ダイアグラムから0(n)回の多項式演算でブラケット多項式が求まる.さらに計算の過程で現れる多項式の次数は0(n)であり,それらの係数のサイズも0(n)であり,全計算量は0(n^2logn)である.さらに本研究においてMontesinos絡み目ダイアグラムでも同様の結果が得られた.2橋型絡み目やMontesinos絡み目で分岐する3次元球面の2重分岐被覆空間はいずれも底空間が球面のSeifertファイバー空間であり,前者の特異ファイバーが2本,後者が3本以上であることを考えるとMontesinos絡み目に関する研究は2橋結び目に関する結果の自然な拡張になっている.Montesinos型ダイアグラムに関するアルゴリズムは,Montesinos型ダイアグラムを認識しブラケット多項式の計算に必要なパラメータを求める過程とパラメータからブラケット多項式を求める過程に分けられる.
|
