結び目の非自明性判定問題に対する対話型証明系について

• 原 正雄

• 谷 聖一

• 山本 慎

Bibliographic Information

Other Title

• ムスビメ ノ ヒジメイセイ ハンテイ モンダイ ニ タイスル タイワガタ ショウメイケイ ニ ツイテ

Journal

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 102 (593), 67-72, 2003-01-24

  東京 : 電子情報通信学会

Keywords

• 計算結び目理論
• 結び目自明性判定問題
• NP-完全
• AM
• 多項式時間階層
• Computational Knot Theory
• Unknotting Problem
• NP-complete
• Interactive Proof Systems
• Polynomial-Time Hierarchy

Details

• CRID: 1520290882027117824
• NII Article ID: 110003178737
• NII Book ID: AA1123312X
• ISSN: 09135685
• NDL BIB ID: 6467974
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I6467974
• Text Lang: ja
• NDL Source Classification:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• Data Source:
  • NDL
  • CiNii Articles