過小代数制約問題における矛盾の簡易検出法
スポンサーリンク
概要
- 論文の詳細を見る
過小制約問題とは, 変数の数に比べて制約条件の数が足りないために解が一意に決定しない問題のことを指す。本稿では, 過小代数制約問題において, 制約の相互関係を表現するグラフを構成することによって, 与えられた代数制約集合に存在する矛盾を検出する方法を提案する。
- 一般社団法人情報処理学会の論文
- 1997-09-24
著者
関連論文
- IMACS-ACA'98
- 新たな条件式の導入による多変数連立代数方程式の解法
- 制約ベース型初期設計支援システム
- 制約ベース型初期設計支援システム (数式処理における理論と応用の研究)
- 3ZC-8 汎用的過少制約評価技術に基づく機械設計支援システム(曲面と設計,一般講演,インタフェース)
- 数式処理的手法に基づく過少代数制約問題の数値解法
- 制約評価技術に基づく初期設計支援システムの開発 (数式処理における理論と応用の研究)
- 初期設計支援システムの機能概要と課題
- 過小代数制約評価系とその機械設計への応用(数式処理における理論と応用の研究)
- 過小代数制約問題における矛盾の簡易検出法
- 代数不等式制約評価アルゴリズム
- 一変数方程式導出計算の効率向上に関する考察
- 多変数連立代数不等式の解法
- 不等式制約をともなう多変数連立代数方程式のグレブナ基底による解法