計算する場合
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/29 09:27 UTC 版)
ブレイド関係式の語の問題（英語版）(word problem)は、有効に解くことができ、Bn の元を生成子 σ1, ..., σn−1 の項として正規化して表す表現方法が存在する。（本質的には、ブレイドの正規化形式を計算することは、上の図の第二の図式で説明されているように、糸の引っ張ることの代数的な類似物である。）GAP (数式処理システム)は、元がこれらの生成子の項で与えられれば、Bn の計算を実行することができる。 また、GAP3 の CHEVIE と呼ばれるシステムでは、特別な種類のブレイド群をサポートしている。語の問題は、ローレンス・クラマー表現（英語版）(Lawrence-Krammer representation)を通した有効に解くことができるかという問題でもある。 それにもかかわらず、ブレイド群についての計算問題は非常に困難な問題があるため、暗号理論への応用が提案されている。
※この「計算する場合」の解説は、「ブレイド群」の解説の一部です。
「計算する場合」を含む「ブレイド群」の記事については、「ブレイド群」の概要を参照ください。
ウィキペディア小見出し辞書の「計算する場合」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 計算する場合のページへのリンク
