ブーリアン・グレブナー基底の Syzygy 基底による特徴付け
スポンサーリンク
概要
- 論文の詳細を見る
ブール多項式環すなわちブール環上の多項式環におけるグレブナー基底を構成するため,文献6)では多項式によるリダクションをブール環固有の性質を用いて定義し,これに基づいて定義されたグレブナー基底(ブーリアン・グレブナー基底)を求めるアルゴリズムを与えた.このアルゴリズムでは通常のグレブナー基底を求めるときに必要なS多項式の計算の他に,自己C多項式と呼ばれる独自の多項式の計算が必要である.本稿ではブーリアン・グレブナー基底がsyzygy基底を用いて特徴付けられることを示す.これにより自己C多項式の果たす役割が明らかになるとともに,ブーリアン・グレブナー基底の計算における不要なS多項式の除去の方法が与えられる.
- 一般社団法人情報処理学会の論文
- 1993-07-15
著者
-
佐藤 洋祐
東京理科大学理学部
-
相場 亮
(財)新世代コンピュータ技術開発機構
-
相場 亮
ICOT
-
相場 亮
新世代コンピュータ技術開発機構
-
佐藤 洋祐
立命館大学理工学部
-
毛受 哲
日本電気(株)C&Cシステム研究所システム基礎研究部
-
毛受 哲
日本電気(株)c&cシステム研究所システム基礎研究部
関連論文
- ソフトウェア科学会第5回大会
- 多項式剰余環における逆元の計算と準素イデアル分解 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ブール多項式環における消去イデアルの計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 制約プログラミングについて : 制約ロジックプログラミングを中心として
- 制約論理プログラミングによるロボット構造設計支援システムの構築
- ブーリアングレブナ基底を使った数独の解法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ネゴシエーションによる制約緩和の並列実装
- ネゴシエーションに基づくアブダクション
- ISSAC2002参加報告
- 制約ロジック・プログラミング : 知識処理への新しいパラダイム
- パラメーターを含む多項式剰余環における逆元の計算について
- Generalized Discrete Comprehensive Grobner Bases (Computer Algebra : Algorithms, Implementations and Applications)
- Discrete Comprehensive Grobner Basesの改良版について
- 媒介変数を係数に含む多項式に対するGrobner basesについて (Computer Algebra : Algorithms, Implementations and Applications)
- Comprehensive Grobner basesとVon Neumann regular ring上の多項式環におけるGrobner basesの関係について
- 89-34 制約の階層と論理プログラミング
- ブーリアン・グレブナー基底の Syzygy 基底による特徴付け
- 制約論理プログラミングシステム (制約論理プログラミング)
- 視覚的制約プログラミングについて
- 制約論理プログラミング言語CALについて (「第五世代コンピュータ」)
- 制約論理プログラミング言語(Constraint Logic Programming)
- Discrete Comprehensive Grobner Basesと計算比較 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Discrete Comprehensive Grobner Bases の Risa/Asir による実装
- 剰余環の逆元と準素イデアル分解
- Comprehensive グレブナー基底系の分散計算について
- Comprehensive グレブナー基底の分散計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 包括的グレブナー基底(系)入門
- 特集 Comprehensive Grobner Bases
- GBによるCGSの計算アルゴリズムとその分散計算について
- 第15回日本数式処理学会大会報告
- 包括的ブーリアングレブナ基底の構成について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ブール多項式環における Comprehensive グレブナー基底について
- Stability of Grobner bases and ACGB (Computer Algebra : Design of Algorithms, Implementations and Applications)
- ACA 2003、CASC 2003、ASCM 2003 の報告
- グレブナー基底を使った数独の難易度判定と問題作成 (数式処理 : その研究と目指すもの)
- グレブナー基底の安定性に関する研究の最近の進展について
- 体の直積構造を利用したBoolean Grobner Basisの並列計算アルゴリズムについて (数式処理における理論と応用の研究)
- ブール多項式環における一変数最小多項式の計算について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- QEの計算アルゴリズムとその応用-数式処理による最適化, 穴井宏和・横山和弘著, 東京大学出版会, 2011年
- ASCM'00報告
- ブーリアン・グレブナー基底の並列計算アルゴリズム : KLICによる実装
- ISSAC'98の報告
- Von Neumann regular ring上の多項式環のGrobner basesの応用 : 特別な場合のcomprehensive Grobner bases (数式処理における理論と応用の研究)
- Von Neumann regular ring上の多項式環におけるグレブナー基底について(数式処理における理論と応用の研究)
- ISSAC'97
- ブール多項式環上のグレブナー基底の諸性質について(数式処理における理論とその応用の研究)