ブーリアン・グレブナー基底のSyzygy基底による特徴付け

• Item type: Journal(1)
• 公開日: 1993-07-15
• タイトル: ブーリアン・グレブナー基底のSyzygy基底による特徴付け
• タイトル / 言語: en
• タイトル: Characterization of Boolean Grobner Bases by Syzygy Bases
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: 数式処理、制約処理
• 著者所属: 立命館大学理工学部情報工学科
• 著者所属: 日本電気（株）C&Cシステム研究所システム基礎研究部
• 著者所属: （財）新世代コンピュータ技術開発機構
• 著者所属(英): en
• 著者所属(英): Department of Computer Science and System Engineering, Ritsumeikan University
• 著者所属(英): en
• 著者所属(英): NEC C&C System Laboratory
• 著者所属(英): en
• 著者所属(英): Institute for New Generation Computer Technology
• 著者名: 佐藤洋祐; 毛受哲; 相場, 亮
• 著者名(英): Yosuke, Sato; Satoshi, Menju; Akira, Aiba
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ブール多項式環すなわちブール環上の多項式環におけるグレブナー基底を構成するため、文献 6)では多項式によるリダクションをブール環固有の性質を用いて定義し、これに基づいて定義されたグレブナー基底(ブーリアン・グレブナー基底)を求めるアルゴリズムを与えた。このアルゴリズムでは通常のグレブナー基底を求めるときに必要なS多項式の計算の他に、自己C多項式と呼ばれる独自の多項式の計算が必要である。本稿ではブーリアン・グレブナー基底がsyzygy基底を用いて特徴付けられることを示す。これにより自己C多項式の果たす役割が明らかになるとともに、ブーリアン・グレブナー基底の計算における不要なS多項式の除去の方法が与えられる。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A special polynomial reduction is induced in Ref.6) using the own properties of Boolean ring. It enables us to define and construct Grobner bases in Boolean polynomial ring(Boolean Grobner bases). The algorithm presented there requires calculation of so-called self-cirtical-polynomials in addition to standard s-polynomials. In this paper, we show that Boolean Grobner bases are characterized in terms of syzygy bases. It enables us to show that self-cirtical-polynomials are s-polynomials of special kinds. We also give a criterion to detect redundant s-polynomials in the algoithm of construction of Boolean Grobner bases.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 34, 号 7, p. 1549-1554, 発行日 1993-07-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764