2014年4月 - 2017年3月
データ圧縮が発見する結び目理論の新定理
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 挑戦的萌芽研究
ミルナー不変量は,絡み目の分類を与える重要な概念であるが,計算が困難であるため他の不変量解析と比較して研究が進んでいない.本研究は,アルゴリズムによって絡み目の理論やその周辺領域を発展させる解析ツールを提供し,学術上の新発見を支援する.本研究では,データを少しずつ読み込みながらデータを圧縮することで省スペースで圧縮が可能なオンライン文法圧縮を応用して,これまでは計算できなかった深さの展開式まで実行可能なミルナー不変量解析ツールを開発し,専門家のコミュニティに提供した.
- リンク情報
- ID情報
-
- 課題番号 : 26540119
- 体系的課題番号 : JP26540119