next up previous
Next: 参考文献 Up: 「集合制約ソルバー」に関する成果概要 Previous: 実際の計算

研究の成果

理論上は、旧版よりもはるかに高速なものが得られることはわかっていたのであるが、 今回のプログラムの作成によって、体の直積構造を利用したアルゴリズムの方が、従来のアルゴリズムよりも はるかに高速であることおよび並列計算が有効であることが実際の実験結果によっても確かめられた. 詳しいデータは、公開されるソフトウェアのドキュメントを参照されたい.



next up previous
Next: 参考文献 Up: 「集合制約ソルバー」に関する成果概要 Previous: 実際の計算



www-admin@icot.or.jp