《グレブナー基底》 - 版の履歴

2007年8月6日 (月) 16:58にKuwashimaによる

2007-08-06T16:58:58Z

2007年7月24日 (火) 01:39にOrsjwikiによる

2007-07-24T01:39:07Z

Orsjwiki: "《グレブナー基底》" を保護しました。 [edit=sysop:move=sysop]

2007-07-19T13:04:37Z

"《グレブナー基底》" を保護しました。 [edit=sysop:move=sysop]

2007年7月6日 (金) 06:38に122.26.167.76による

2007-07-06T06:38:48Z

2007年7月6日 (金) 06:30に122.26.167.76による

2007-07-06T06:30:13Z

2007年7月6日 (金) 06:20に122.26.167.76による

2007-07-06T06:20:10Z

2007年7月4日 (水) 02:01に122.26.167.76による

2007-07-04T02:01:29Z

122.26.167.76: 新しいページ: ''''【ぐれぶなーきてい (Gröbner basis) 】''' 　グレブナー基底}{グレブナー基底}(Gröbner basis) は，体上の多変数多項式環の上で...'

2007-07-03T09:59:19Z

新しいページ: ''''【ぐれぶなーきてい (Gröbner basis) 】''' 　グレブナー基底}{グレブナー基底}(Gröbner basis) は，体上の多変数多項式環の上で...'

新規ページ

'''【ぐれぶなーきてい (Gröbner basis) 】'''

　グレブナー基底}{グレブナー基底}(Gröbner basis) は，体上の多変数多項式環の上で定義される「性質の良い」多項式の集合で，多変数からなる連立代数方程式の求解等に適用される．多項式環のイデアルのグレブナー基底の概念は，1960年代，オーストリアの大学院生であった[[ブッフバーガー]] (Bruno Buchberger) によって発表された．ブッフバーガーは指導教官のグレブナー(Wolfgang Gröbner) に敬意を表しグレブナー基底と名付けている．

　ブッフバーガーは，学位論文で多項式環の剰余類環を計算する未解決問題に対し，グレブナー基底の概念とグレブナー基底を求める算法である[[ブッフバーガー算法]] (Buchberger's algorithm) を示して解決を図った．なお，同時期に広中平祐が，局所環のイデアルに対して同様の概念 (標準基底) を独立に導入している．

　グレブナー基底に関する研究は，コンピュータの飛躍的な進歩と計算代数の研究の発展と共に盛んになり今日に至る．現在，グレブナー基底は可換代数，代数幾何，微分方程式等の純粋数学のみならず，組合せ論，凸多面体の三角形分割，符号，統計，整数計画等の情報科学や応用分野にも影響を及ぼしている．Mathematica, Maple, Risa/Asir, Singular, Macaulay 2 等の数式処理システムには，標準でグレブナー基底を計算するパッケージが組み込まれており，さらに，複数の研究者グループがグレブナー基底計算を含む計算機代数システムの開発を手掛けている．

　多変数の連立代数方程式を解くには，等価でかつ解きやすい形の別の連立方程式を求める必要があり，そこに表れる多項式がグレブナー基底である．多変数代数方程式の解の存在の判定には，多項式イデアル (以後イデアルと呼ぶ) という多項式集合が用いられる．

　イデアルは，多変数多項式の連立代数方程式の一般化で，多項式環の任意のイデアルに対してグレブナー基底が存在する事が知られている．

　グレブナー基底を計算する際には，多項式中の各単項式の「全順序」を考慮する必要があるため，ここで単項式順序について触れる．$1$変数多項式内の各単項式の全順序は,変数の次数を用いて順序付け出来る．しかし,$2$変数以上の多項式で各単項式に全順序を定義するには,順序規則を導入しなければならない．この規則は[[単項式順序]] (monomial order)，項順序(term order)等と呼ばれる．（グレブナー基底に関する用語や記号は，統一されていないものが多いことに注意されたい．）

　一般に, 単項式順序は以下の二つの条件を満たすものと定義される．すなわち，

　「(1）任意の単項式$u（\neq 1)$は$1<u$を満たす」，

　「(2）単項式$u$と$v$が$u<v$であるならば，任意の単項式$w$について，$uw<vw$である」というものである．

　単項式順序には，辞書式順序，次数付き辞書式順序，次数付き逆辞書式順序等がある．

　ブッフバーガー算法は，任意のイデアルの生成系のグレブナー基底を計算するアルゴリズムで，ユークリッドの互除法の一般化のような算法である．入力として「イデアルの基底」と呼ばれる多項式の集合と，多項式中の各単項式に対する「単項式順序」が与えられると，単項式順序に関するグレブナー基底が出力されるのである．

　ブッフバーガー算法を説明する前に,算法中で用いる操作等を定義する．多項式$f$を多項式$g$で簡約するとは,「$f$中の単項式」から「$g$中の単項式順序の一番大きな項で割り切れるもの」を消すことである．多項式$f$を多項式の集合$G$で簡約するとは,$G$の各元を前出の$g$として$f$に適用することである．$f$を$G$のどの元でも簡約出来ない時,$f$は正規形であるといい,簡約を繰り返して正規形を得ることを正規化という．以下にブッフバーガー算法の概略を述べる．

\noindent
{\bf ブッフバーガー算法 (Buchberger's Algorithm)} \\
\hrulefill \\
{\bf 入力：}イデアル$I$の基底$F=\{g_1,g_2,\ldots,g_s\}$,単項式順序$<$ \\
{\bf 出力：}単項式順序$<$に関する,イデアル$I$のグレブナー基底$G$ \\
\hrulefill \\
\hspace{0.5cm} $ G \; \leftarrow \; F$ \\
\hspace{0.5cm}{\bf repeat} \\
\hspace{1.0cm}$ G' \; \leftarrow \; G$ \\
\hspace{1.0cm}{\bf for} 各$u,v \; (u \neq v) \in G' \; $ {\bf do} \\
\hspace{1.5cm}$ \mbox{S-poly} \; \leftarrow \; u$と$v$から順序の一番大きな項を打ち消して作られる多項式 \\
\hspace{1.5cm}$ r \; \leftarrow \; \mbox{S-poly} $を$G$で正規化して得られた正規形\\
\hspace{1.5cm} {\bf if} $\; r \neq 0 \;$ {\bf then} $\; G \leftarrow G \cup \{r\}$ \\
\hspace{0.5cm} {\bf until} $G=G'$ \\
\hspace{0.5cm} {\bf return} $G$ \\
\hrulefill \\

　算法中の$\mbox{S-poly}$の正確な定義は紙面の都合割愛する．詳細は参考文献を参照されたい．グレブナー基底は単項式順序に依存し，単項式順序が異なると,求まるグレブナー基底も異なるかもしれない．

　一般に，多項式$f$を複数の多項式$G=\{g_1,\dots,g_s\}$で正規化する場合，$g_i$を選ぶ順序によって正規形が異なるが，$G$がグレブナー基底であれば$g_i$を選ぶ順序によらず正規形の一意性が保証される．

　ブッフバーガー算法では，計算途中で生成元が膨れ上がり，最終的にグレブナー基底として選ばれる元は，計算途中で求めた生成元の一部である．ブッフバーガー算法で求まるグレブナー基底には一意性がなく，冗長な元が含まれているが，不要な元を取り除く等の操作を施すことにより[[被約グレブナー基底]] (reduced Gr\"{o}bner basis)と呼ばれる一意なグレブナー基底を求めることが出来る．

　ブッフバーガー算法によるグレブナー基底の計算時間は，単項式順序に依存する．例えば，辞書式順序のグレブナー基底を求める場合，他の単項式順序のグレブナー基底を計算してから，「基底変換」操作を行って，辞書式順序のグレブナー基底を求める方が，直接辞書式順序のグレブナー基底を計算するよりも効率が良い場合があることが経験的に知られている．そのため，近年，基底変換に関する算法研究が注目されている．

　ここで，グレブナー基底を用いた整数計画問題の求解の概要について触れる．まず問題を標準化し，等式制約から多変数多項式系を生成する．次に，目的関数のコストベクトルから単項式順序$<$を決定する．この多変数多項式系と単項式順序$<$を入力とし，グレブナー基底$G$を計算する．すると，整数計画問題の制約式の右辺項ベクトルから生成される単項式を$G$で正規化して得られた正規形から,容易に最適解を導くことが出来る．

　グレブナー基底は，列挙やサンプリングとも密接な関係がある．グレブナー基底を利用して，逆探索法の枠組みで整数計画問題の実行可能領域中の実行可能解 (整数点) の列挙や，マルコフ連鎖構築による整数点のサンプリングが実現出来ることが知られている\cite{A-C-08+STURMFELS1995}．そのため，今後，グレブナー基底と凸多面体との関連研究の発展が期待される．

　グレブナー基底に関する文献は代数の予備知識を仮定したものが多いが，文献\cite{A-C-08+HIRABAYASHI2006}は非数学者向けにグレブナー基底とその周辺知識が記述され，初学者に適している．実際に計算機でグレブナー基底を計算する際には，文献\cite{A-C-08+NORO_YOKOYAMA2003}が参考になる．

----

'''参考文献'''

[1]
W. Adams and P. Loustaunau,
{\it An Introduction to Gr\"{o}bner Bases},
Graduate Studies in Mathematics, {\bf 3},
American Mathematical Society,
Providence, RI, 1994.

[2]
P. Conti and C. Traverso,
``Buchberger algorithm and integer progamming,''
in {\it Applied Algebra, Algebraic Algorithms and
Error-correcting codes(AAECC-9)},
H. Mattson, T. Mora and T. Rao, eds.,
Lecture Notes inComputer Science {\bf 539},
Springer-Verlag, New York, 130--139, 1991.

[3]
D. Cox, J. Little and D. O'Shea,
``Ideals,Varieties, and Algorithms,''
Springer-Verlag, New York, 1992.
落合啓之,示野信一,西山享,室政和,山本敦子共訳,
『グレブナー基底と代数多様体入門上，下』,
シュプリンガー・フェアラーク東京, 2000.

[4]
D. Cox, J. Little and D. O'Shea,
``Using Algebraic Geometry,''
Springer-Verlag, New York, 1998.
大杉英史,北村知徳,日比孝之共訳,
『グレブナー基底１，２』,
シュプリンガー・フェアラーク東京, 2000.

[5]
日比孝之,
『グレブナー基底』,
野海正俊・日比孝之編, すうがくの風景 8, 朝倉書店, 2003.

[6]
平林隆一,
『工学基礎　代数系とその応用』,
数理工学社, 2006.

[7]
S. Hosten and R. R. Thomas,
``Gr\"{o}bner Bases and Integer Programming,''
in {\it Gr\"{o}bner Bases and Applications},
Proc. of 33 Years of Groebner Bases Conference,
B. Buchberger and F. Winkler, eds.,
London Mathematical Society Lecture Note Series {\bf 251},
Cambridge University Press, Cambridge, 144--158, 1998.

[8]
野呂正行，横山和弘,
『グレブナー基底の計算　基礎篇　計算代数入門』,
東京大学出版会, 2003.

[9]
B. Sturmfels,
{\it Gr\"{o}bner Bases and Convex Polytopes},
University Lecture Notes Series, 8,
American Mathematical Society,
Providence, RI, 1995.

[10]
R. R. Thomas,
``Gr\"{o}bner Bases in Integer Programming,''
in {\it Handbook of Combinatorial Optimization Vol.1},
D. -Z. Du and P. M. Pardalos, eds.,
Kluer Academic Publishers, 1998.

← 古い版		2007年8月6日 (月) 16:58時点における版
73行目:		73行目:

	[10] R. R. Thomas, "Gröbner Bases in Integer Programming," in ''Handbook of Combinatorial Optimization Vol.1'', D. -Z. Du and P. M. Pardalos, eds., Kluer Academic Publishers, 1998.		[10] R. R. Thomas, "Gröbner Bases in Integer Programming," in ''Handbook of Combinatorial Optimization Vol.1'', D. -Z. Du and P. M. Pardalos, eds., Kluer Academic Publishers, 1998.
		+
		+
		+	[[Category:組合せ最適化\|ぐれぶなーきてい]]

@@ 1行目: / 1行目: @@
 '''【ぐれぶなーきてい (Gr&ouml;bner basis) 】'''
-　[[グレブナー基底]] (Gr&ouml;bner basis) は，体上の多変数多項式環の上で定義される「性質の良い」多項式の集合で，多変数からなる連立代数方程式の求解等に適用される．多項式環のイデアルのグレブナー基底の概念は，1960年代，オーストリアの大学院生であった[[ブッフバーガー]] (Bruno Buchberger) によって発表された．ブッフバーガーは指導教官のグレブナー(Wolfgang Gr&ouml;bner) に敬意を表しグレブナー基底と名付けている．
+　[[グレブナー基底]] (Gr&ouml;bner basis) は，体上の多変数多項式環の上で定義される「性質の良い」多項式の集合で，多変数からなる連立代数方程式の求解等に適用される．多項式環のイデアルのグレブナー基底の概念は，1960年代，オーストリアの大学院生であった[[ブッフバーガー]] (Bruno Buchberger) によって発表された．ブッフバーガーは指導教官のグレブナー(Wolfgang Gr&ouml;bner) に敬意を表しグレブナー基底と名付けている．ブッフバーガーは，学位論文で多項式環の剰余類環を計算する未解決問題に対し，グレブナー基底の概念とグレブナー基底を求める算法である[[ブッフバーガー算法]] (Buchberger's algorithm) を示して解決を図った．なお，同時期に広中平祐が，局所環のイデアルに対して同様の概念 (標準基底) を独立に導入している．
 　グレブナー基底に関する研究は，コンピュータの飛躍的な進歩と計算代数の研究の発展と共に盛んになり今日に至る．現在，グレブナー基底は可換代数，代数幾何，微分方程式等の純粋数学のみならず，組合せ論，凸多面体の三角形分割，符号，統計，整数計画等の情報科学や応用分野にも影響を及ぼしている．Mathematica, Maple, Risa/Asir, Singular, Macaulay 2 等の数式処理システムには，標準でグレブナー基底を計算するパッケージが組み込まれており，さらに，複数の研究者グループがグレブナー基底計算を含む計算機代数システムの開発を手掛けている．
-　多変数の連立代数方程式を解くには，等価でかつ解きやすい形の別の連立方程式を求める必要があり，そこに表れる多項式がグレブナー基底である．多変数代数方程式の解の存在の判定には，多項式イデアル (以後イデアルと呼ぶ) という多項式集合が用いられる．
+　多変数の連立代数方程式を解くには，等価でかつ解きやすい形の別の連立方程式を求める必要があり，そこに表れる多項式がグレブナー基底である．多変数代数方程式の解の存在の判定には，多項式イデアル (以後イデアルと呼ぶ) という多項式集合が用いられる．イデアルは，多変数多項式の連立代数方程式の一般化で，多項式環の任意のイデアルに対してグレブナー基底が存在する事が知られている．グレブナー基底を計算する際には，多項式中の各単項式の「全順序」を考慮する必要があるため，ここで単項式順序について触れる．<math>1\, </math>変数多項式内の各単項式の全順序は,変数の次数を用いて順序付け出来る．しかし,<math>2\, </math>変数以上の多項式で各単項式に全順序を定義するには,順序規則を導入しなければならない．この規則は[[単項式順序]] (monomial order)，項順序(term order)等と呼ばれる．（グレブナー基底に関する用語や記号は，統一されていないものが多いことに注意されたい．）一般に, 単項式順序は以下の二つの条件を満たすものと定義される．すなわち，「(1)  任意の単項式<math>u (\neq 1)\, </math>は<math>1<u\, </math>を満たす」，「(2) 単項式<math>u\, </math>と<math>v\, </math>が<math>u<v\, </math>であるならば，任意の単項式<math>w\, </math>について，<math>uw<vw\, </math>である」というものである．単項式順序には，辞書式順序，次数付き辞書式順序，次数付き逆辞書式順序等がある．
-　イデアルは，多変数多項式の連立代数方程式の一般化で，多項式環の任意のイデアルに対してグレブナー基底が存在する事が知られている．
+　ブッフバーガー算法は，任意のイデアルの生成系のグレブナー基底を計算するアルゴリズムで，ユークリッドの互除法の一般化のような算法である．入力として「イデアルの基底」と呼ばれる多項式の集合と，多項式中の各単項式に対する「単項式順序」が与えられると，単項式順序に関するグレブナー基底が出力されるのである．
-　一般に, 単項式順序は以下の二つの条件を満たすものと定義される．すなわち，「(1)  任意の単項式<math>u (\neq 1)\, </math>は<math>1<u\, </math>を満たす」，「(2) 単項式<math>u\, </math>と<math>v\, </math>が<math>u<v\, </math>であるならば，任意の単項式<math>w\, </math>について，<math>uw<vw\, </math>である」というものである．
+　ブッフバーガー算法を説明する前に,算法中で用いる操作等を定義する．多項式<math>f\, </math>を多項式<math>g\, </math>で簡約するとは,「<math>f\, </math>中の単項式」から「<math>g\, </math>中の単項式順序の一番大きな項で割り切れるもの」を消すことである．多項式<math>f\, </math>を多項式の集合<math>G\, </math>で簡約するとは,<math>G\, </math>の各元を前出の<math>g\, </math>として<math>f\, </math>に適用することである．<math>f\, </math>を<math>G\, </math>のどの元でも簡約出来ない時,<math>f\, </math>は正規形であるといい, 簡約を繰り返して正規形を得ることを正規化という．
-　単項式順序には，辞書式順序，次数付き辞書式順序，次数付き逆辞書式順序等がある．
+　以下にブッフバーガー算法の概略を述べる．
@@ 34行目: / 26行目: @@
 :<math>\mathbf {repeat}\, </math>
 ::<math>G' \; \leftarrow \; G\, </math>
-::<math>\mathbf {for}\, \, </math>各<math>u,v \; (u \neq v) \in G' \;  \mathbf {do}\, </math>
+::<math>\mathbf {for}\, \, </math> 各 <math>u,v \; (u \neq v) \in G' \;  \mathbf {do}\, </math>
 :::<math>\mbox{S-poly} \; \leftarrow  \; u\, </math>と<math>v\, </math>から順序の一番大きな項を打ち消して作られる多項式
 :::<math>r  \;  \leftarrow  \;  \mbox{S-poly}\, \, </math>を<math>G\, </math>で正規化して得られた正規形
 :::<math>\mathbf {if} \; r \neq 0 \; \mathbf {then} \; G \leftarrow G \cup \{r\} \, </math>
-:::<math>\mathbf {until} \; G=G' \, </math>
+:<math>\mathbf {until} \; G=G' \, </math>
-:::<math>\mathbf {return} \; G\, </math>
+:<math>\mathbf {return} \; G\, </math>
 ----
-　算法中の<math>\mbox{S-poly}\, </math>の正確な定義は紙面の都合割愛する．詳細は参考文献を参照されたい．グレブナー基底は単項式順序に依存し，単項式順序が異なると,求まるグレブナー基底も異なるかもしれない．
+　算法中の<math>\mbox{S-poly}\, </math>の正確な定義は紙面の都合割愛する．詳細は参考文献を参照されたい．グレブナー基底は単項式順序に依存し，単項式順序が異なると,求まるグレブナー基底も異なるかもしれない．一般に，多項式<math>f\, </math>を複数の多項式<math>G=\{g_1,\dots,g_s\}\, </math>で正規化する場合，<math>g_i\, </math>を選ぶ順序によって正規形が異なるが，<math>G\, </math>がグレブナー基底であれば<math>g_i\, </math>を選ぶ順序によらず正規形の一意性が保証される．
 　ブッフバーガー算法では，計算途中で生成元が膨れ上がり，最終的にグレブナー基底として選ばれる元は，計算途中で求めた生成元の一部である．ブッフバーガー算法で求まるグレブナー基底には一意性がなく，冗長な元が含まれているが，不要な元を取り除く等の操作を施すことにより[[被約グレブナー基底]] (reduced Gr&ouml;bner basis)と呼ばれる一意なグレブナー基底を求めることが出来る．

@@ 13行目: / 13行目: @@
 　グレブナー基底を計算する際には，多項式中の各単項式の「全順序」を考慮する必要があるため，ここで単項式順序について触れる．<math>1\, </math>変数多項式内の各単項式の全順序は,変数の次数を用いて順序付け出来る．しかし,<math>2\, </math>変数以上の多項式で各単項式に全順序を定義するには,順序規則を導入しなければならない．この規則は[[単項式順序]] (monomial order)，項順序(term order)等と呼ばれる．（グレブナー基底に関する用語や記号は，統一されていないものが多いことに注意されたい．）
-　一般に, 単項式順序は以下の二つの条件を満たすものと定義される．すなわち，
+　一般に, 単項式順序は以下の二つの条件を満たすものと定義される．すなわち，「(1)  任意の単項式<math>u (\neq 1)\, </math>は<math>1<u\, </math>を満たす」，「(2) 単項式<math>u\, </math>と<math>v\, </math>が<math>u<v\, </math>であるならば，任意の単項式<math>w\, </math>について，<math>uw<vw\, </math>である」というものである．
 　単項式順序には，辞書式順序，次数付き辞書式順序，次数付き逆辞書式順序等がある．
@@ 35行目: / 31行目: @@
 ----
-:<math> G \; \leftarrow \; F\, \, \, </math>\\
+:<math> G \; \leftarrow \; F\, \, \, </math>
 :<math>\mathbf {repeat}\, </math>
 ::<math>G' \; \leftarrow \; G\, </math>
@@ 41行目: / 37行目: @@
 :::<math>\mbox{S-poly} \; \leftarrow  \; u\, </math>と<math>v\, </math>から順序の一番大きな項を打ち消して作られる多項式
 :::<math>r  \;  \leftarrow  \;  \mbox{S-poly}\, \, </math>を<math>G\, </math>で正規化して得られた正規形
-:::<math>\mathbf {if} \; r \neq 0 \; {\bf then} \; G \leftarrow G \cup \{r\} \\
+:::<math>\mathbf {if} \; r \neq 0 \; \mathbf {then} \; G \leftarrow G \cup \{r\} \, </math>
-\mathbf {until} G=G' \\
+:::<math>\mathbf {until} \; G=G' \, </math>
-\mathbf {return} G \\
+:::<math>\mathbf {return} \; G\, </math>
 ----
@@ 71行目: / 66行目: @@
 [1] W. Adams and P. Loustaunau, ''An Introduction to Gr&ouml;bner Bases'', Graduate Studies in Mathematics, '''3''', American Mathematical Society, Providence, RI, 1994.
-[2] P. Conti and C. Traverso, "Buchberger algorithm and integer progamming," in ''Applied Algebra, Algebraic Algorithms and Error-correcting codes''(AAECC-9)}, H. Mattson, T. Mora and T. Rao, eds., Lecture Notes inComputer Science '''539''', Springer-Verlag, New York, 130-139, 1991.
+[2] P. Conti and C. Traverso, "Buchberger algorithm and integer progamming," in ''Applied Algebra, Algebraic Algorithms and Error-correcting codes(AAECC-9)'', H. Mattson, T. Mora and T. Rao, eds., Lecture Notes inComputer Science '''539''', Springer-Verlag, New York, 130-139, 1991.
 [3] D. Cox, J. Little and D. O'Shea, "Ideals,Varieties, and Algorithms," Springer-Verlag, New York, 1992. 落合啓之, 示野信一, 西山享, 室政和, 山本敦子共訳,『グレブナー基底と代数多様体入門 上，下』, シュプリンガー・フェアラーク東京, 2000.

@@ 11行目: / 11行目: @@
 　イデアルは，多変数多項式の連立代数方程式の一般化で，多項式環の任意のイデアルに対してグレブナー基底が存在する事が知られている．
-　グレブナー基底を計算する際には，多項式中の各単項式の「全順序」を考慮する必要があるため，ここで単項式順序について触れる．$<math>1</math>$変数多項式内の各単項式の全順序は,変数の次数を用いて順序付け出来る．しかし,$<math>2</math>$変数以上の多項式で各単項式に全順序を定義するには,順序規則を導入しなければならない．この規則は[[単項式順序]] (monomial order)，項順序(term order)等と呼ばれる．（グレブナー基底に関する用語や記号は，統一されていないものが多いことに注意されたい．）
+　グレブナー基底を計算する際には，多項式中の各単項式の「全順序」を考慮する必要があるため，ここで単項式順序について触れる．<math>1\, </math>変数多項式内の各単項式の全順序は,変数の次数を用いて順序付け出来る．しかし,<math>2\, </math>変数以上の多項式で各単項式に全順序を定義するには,順序規則を導入しなければならない．この規則は[[単項式順序]] (monomial order)，項順序(term order)等と呼ばれる．（グレブナー基底に関する用語や記号は，統一されていないものが多いことに注意されたい．）
 　一般に, 単項式順序は以下の二つの条件を満たすものと定義される．すなわち，
-　「(1） 任意の単項式$<math>u（\neq 1)</math>$は$<math>1<u</math>$を満たす」，
+　「(1） 任意の単項式<math>u（\neq 1)\, </math>は<math>1<u\, </math>を満たす」，
-　「(2） 単項式$<math>u</math>$と$<math>v</math>$が$<math>u<v</math>$であるならば，任意の単項式$<math>w</math>$について，$<math>uw<vw</math>$である」というものである．
+　「(2） 単項式<math>u\, </math>と<math>v\, </math>が<math>u<v\, </math>であるならば，任意の単項式<math>w\, </math>について，<math>uw<vw\, </math>である」というものである．
 　単項式順序には，辞書式順序，次数付き辞書式順序，次数付き逆辞書式順序等がある．
@@ 23行目: / 23行目: @@
 　ブッフバーガー算法は，任意のイデアルの生成系のグレブナー基底を計算するアルゴリズムで，ユークリッドの互除法の一般化のような算法である．入力として「イデアルの基底」と呼ばれる多項式の集合と，多項式中の各単項式に対する「単項式順序」が与えられると，単項式順序に関するグレブナー基底が出力されるのである．
-　ブッフバーガー算法を説明する前に,算法中で用いる操作等を定義する．多項式$<math>f</math>$を多項式$<math>g</math>$で簡約するとは,「$<math>f</math>$中の単項式」から「$<math>g</math>$中の単項式順序の一番大きな項で割り切れるもの」を消すことである．多項式$<math>f</math>$を多項式の集合$<math>G</math>$で簡約するとは,$<math>G</math>$の各元を前出の$<math>g</math>$として$<math>f</math>$に適用することである．$<math>f</math>$を$<math>G</math>$のどの元でも簡約出来ない時,$<math>f</math>$は正規形であるといい, 簡約を繰り返して正規形を得ることを正規化という．以下にブッフバーガー算法の概略を述べる．
+　ブッフバーガー算法を説明する前に,算法中で用いる操作等を定義する．多項式<math>f\, </math>を多項式<math>g\, </math>で簡約するとは,「<math>f\, </math>中の単項式」から「<math>g\, </math>中の単項式順序の一番大きな項で割り切れるもの」を消すことである．多項式<math>f\, </math>を多項式の集合<math>G\, </math>で簡約するとは,<math>G\, </math>の各元を前出の<math>g\, </math>として<math>f\, </math>に適用することである．<math>f\, </math>を<math>G\, </math>のどの元でも簡約出来ない時,<math>f\, </math>は正規形であるといい, 簡約を繰り返して正規形を得ることを正規化という．以下にブッフバーガー算法の概略を述べる．
@@ 29行目: / 29行目: @@
 ----
-'''入力：'''イデアル$<math>I</math>$の基底$<math>F=\{g_1,g_2,\ldots,g_s\}</math>$,単項式順序$<math><</math>$
+'''入力：'''イデアル<math>I\, </math>の基底<math>F=\{g_1,g_2,\ldots,g_s\}\, </math>,単項式順序<math><\, \, </math>
-'''出力：'''単項式順序$<math><</math>$に関する,イデアル$<math>I</math>$のグレブナー基底$<math>G</math>$
+'''出力：'''単項式順序<math><\, </math>に関する,イデアル<math>I\, </math>のグレブナー基底<math>G\, \, </math>
 ----
-:$<math> G \; \leftarrow \; F</math>$ \\
+:<math> G \; \leftarrow \; F\, \, \, </math>\\
-:<math>\mathbf {repeat}</math>
+:<math>\mathbf {repeat}\, </math>
-::<math>G' \; \leftarrow \; G</math>$
+::<math>G' \; \leftarrow \; G\, </math>
-::<math>\mathbf {for}</math> 各$<math>u,v \; (u \neq v) \in G' \; $ \mathbf {do}</math>
+::<math>\mathbf {for}\, \, </math>各<math>u,v \; (u \neq v) \in G' \;  \mathbf {do}\, </math>
-:::<math>\mbox{S-poly} \; \leftarrow  \; u</math>$と$<math>v</math>$から順序の一番大きな項を打ち消して作られる多項式
+:::<math>\mbox{S-poly} \; \leftarrow  \; u\, </math>と<math>v\, </math>から順序の一番大きな項を打ち消して作られる多項式
-:::<math>r  \;  \leftarrow  \;  \mbox{S-poly}</math> $を$<math>G</math>$で正規化して得られた正規形
+:::<math>r  \;  \leftarrow  \;  \mbox{S-poly}\, \, </math>を<math>G\, </math>で正規化して得られた正規形
-:::<math>\mathbf {if} $\; r \neq 0 \;$ {\bf then} $\; G \leftarrow G \cup \{r\}$ \\
+:::<math>\mathbf {if} \; r \neq 0 \; {\bf then} \; G \leftarrow G \cup \{r\} \\
-\mathbf {until} $G=G'$ \\
+\mathbf {until} G=G' \\
-\mathbf {return} $G$ \\
+\mathbf {return} G \\
-</math>
+\, </math>
 ----
-　算法中の$<math>\mbox{S-poly}</math>$の正確な定義は紙面の都合割愛する．詳細は参考文献を参照されたい．グレブナー基底は単項式順序に依存し，単項式順序が異なると,求まるグレブナー基底も異なるかもしれない．
+　算法中の<math>\mbox{S-poly}\, </math>の正確な定義は紙面の都合割愛する．詳細は参考文献を参照されたい．グレブナー基底は単項式順序に依存し，単項式順序が異なると,求まるグレブナー基底も異なるかもしれない．
-　一般に，多項式$<math>f</math>$を複数の多項式$<math>G=\{g_1,\dots,g_s\}</math>$で正規化する場合，$<math>g_i</math>$を選ぶ順序によって正規形が異なるが，$<math>G</math>$がグレブナー基底であれば$<math>g_i$</math>を選ぶ順序によらず正規形の一意性が保証される．
+　一般に，多項式<math>f\, </math>を複数の多項式<math>G=\{g_1,\dots,g_s\}\, </math>で正規化する場合，<math>g_i\, </math>を選ぶ順序によって正規形が異なるが，<math>G\, </math>がグレブナー基底であれば<math>g_i\, </math>を選ぶ順序によらず正規形の一意性が保証される．
 　ブッフバーガー算法では，計算途中で生成元が膨れ上がり，最終的にグレブナー基底として選ばれる元は，計算途中で求めた生成元の一部である．ブッフバーガー算法で求まるグレブナー基底には一意性がなく，冗長な元が含まれているが，不要な元を取り除く等の操作を施すことにより[[被約グレブナー基底]] (reduced Gr&ouml;bner basis)と呼ばれる一意なグレブナー基底を求めることが出来る．
@@ 57行目: / 57行目: @@
 　ブッフバーガー算法によるグレブナー基底の計算時間は，単項式順序に依存する．例えば，辞書式順序のグレブナー基底を求める場合，他の単項式順序のグレブナー基底を計算してから，「基底変換」操作を行って，辞書式順序のグレブナー基底を求める方が，直接辞書式順序のグレブナー基底を計算するよりも効率が良い場合があることが経験的に知られている．そのため，近年，基底変換に関する算法研究が注目されている．
-　ここで，グレブナー基底を用いた整数計画問題の求解の概要について触れる．まず問題を標準化し，等式制約から多変数多項式系を生成する．次に，目的関数のコストベクトルから単項式順序$<math><</math>$を決定する．この多変数多項式系と単項式順序$<math><</math>$を入力とし，グレブナー基底$<math>G$</math>を計算する．すると，整数計画問題の制約式の右辺項ベクトルから生成される単項式を$<math>G</math>$で正規化して得られた正規形から,容易に最適解を導くことが出来る．
+　ここで，グレブナー基底を用いた整数計画問題の求解の概要について触れる．まず問題を標準化し，等式制約から多変数多項式系を生成する．次に，目的関数のコストベクトルから単項式順序<math><\, </math>を決定する．この多変数多項式系と単項式順序<math><\, </math>を入力とし，グレブナー基底<math>G\, </math>を計算する．すると，整数計画問題の制約式の右辺項ベクトルから生成される単項式を<math>G\, </math>で正規化して得られた正規形から,容易に最適解を導くことが出来る．
-　グレブナー基底は，列挙やサンプリングとも密接な関係がある．グレブナー基底を利用して，逆探索法の枠組みで整数計画問題の実行可能領域中の実行可能解 (整数点) の列挙や，マルコフ連鎖構築による整数点のサンプリングが実現出来ることが知られている\cite{A-C-08+STURMFELS1995}．そのため，今後，グレブナー基底と凸多面体との関連研究の発展が期待される．
+　グレブナー基底は，列挙やサンプリングとも密接な関係がある．グレブナー基底を利用して，逆探索法の枠組みで整数計画問題の実行可能領域中の実行可能解 (整数点) の列挙や，マルコフ連鎖構築による整数点のサンプリングが実現出来ることが知られている[9]．そのため，今後，グレブナー基底と凸多面体との関連研究の発展が期待される．
-　グレブナー基底に関する文献は代数の予備知識を仮定したものが多いが，文献\cite{A-C-08+HIRABAYASHI2006}は非数学者向けにグレブナー基底とその周辺知識が記述され，初学者に適している．実際に計算機でグレブナー基底を計算する際には，文献\cite{A-C-08+NORO_YOKOYAMA2003}が参考になる．
+　グレブナー基底に関する文献は代数の予備知識を仮定したものが多いが，文献 [6] は非数学者向けにグレブナー基底とその周辺知識が記述され，初学者に適している．実際に計算機でグレブナー基底を計算する際には，文献 [8] が参考になる．

@@ 1行目: / 1行目: @@
 '''【ぐれぶなーきてい (Gr&ouml;bner basis) 】'''
-　グレブナー基底}{グレブナー基底}(Gr&ouml;bner basis) は，体上の多変数多項式環の上で定義される「性質の良い」多項式の集合で，多変数からなる連立代数方程式の求解等に適用される．多項式環のイデアルのグレブナー基底の概念は，1960年代，オーストリアの大学院生であった[[ブッフバーガー]] (Bruno Buchberger) によって発表された．ブッフバーガーは指導教官のグレブナー(Wolfgang Gr&ouml;bner) に敬意を表しグレブナー基底と名付けている．
+　[[グレブナー基底]] (Gr&ouml;bner basis) は，体上の多変数多項式環の上で定義される「性質の良い」多項式の集合で，多変数からなる連立代数方程式の求解等に適用される．多項式環のイデアルのグレブナー基底の概念は，1960年代，オーストリアの大学院生であった[[ブッフバーガー]] (Bruno Buchberger) によって発表された．ブッフバーガーは指導教官のグレブナー(Wolfgang Gr&ouml;bner) に敬意を表しグレブナー基底と名付けている．
 　ブッフバーガーは，学位論文で多項式環の剰余類環を計算する未解決問題に対し，グレブナー基底の概念とグレブナー基底を求める算法である[[ブッフバーガー算法]] (Buchberger's algorithm) を示して解決を図った．なお，同時期に広中平祐が，局所環のイデアルに対して同様の概念 (標準基底) を独立に導入している．
@@ 48行目: / 48行目: @@
 　一般に，多項式$f$を複数の多項式$G=\{g_1,\dots,g_s\}$で正規化する場合，$g_i$を選ぶ順序によって正規形が異なるが，$G$がグレブナー基底であれば$g_i$を選ぶ順序によらず正規形の一意性が保証される．
-　ブッフバーガー算法では，計算途中で生成元が膨れ上がり，最終的にグレブナー基底として選ばれる元は，計算途中で求めた生成元の一部である．ブッフバーガー算法で求まるグレブナー基底には一意性がなく，冗長な元が含まれているが，不要な元を取り除く等の操作を施すことにより[[被約グレブナー基底]] (reduced Gr\"{o}bner basis)と呼ばれる一意なグレブナー基底を求めることが出来る．
+　ブッフバーガー算法では，計算途中で生成元が膨れ上がり，最終的にグレブナー基底として選ばれる元は，計算途中で求めた生成元の一部である．ブッフバーガー算法で求まるグレブナー基底には一意性がなく，冗長な元が含まれているが，不要な元を取り除く等の操作を施すことにより[[被約グレブナー基底]] (reduced Gr&ouml;bner basis)と呼ばれる一意なグレブナー基底を求めることが出来る．
 　ブッフバーガー算法によるグレブナー基底の計算時間は，単項式順序に依存する．例えば，辞書式順序のグレブナー基底を求める場合，他の単項式順序のグレブナー基底を計算してから，「基底変換」操作を行って，辞書式順序のグレブナー基底を求める方が，直接辞書式順序のグレブナー基底を計算するよりも効率が良い場合があることが経験的に知られている．そのため，近年，基底変換に関する算法研究が注目されている．
@@ 64行目: / 64行目: @@
 '''参考文献'''
-[1]
+[1] W. Adams and P. Loustaunau, ''An Introduction to Gr&ouml;bner Bases'', Graduate Studies in Mathematics, '''3''', American Mathematical Society, Providence, RI, 1994.
-[2]
+[2] P. Conti and C. Traverso, "Buchberger algorithm and integer progamming," in ''Applied Algebra, Algebraic Algorithms and Error-correcting codes''(AAECC-9)}, H. Mattson, T. Mora and T. Rao, eds., Lecture Notes inComputer Science '''539''', Springer-Verlag, New York, 130-139, 1991.
-[3]
+[3] D. Cox, J. Little and D. O'Shea, "Ideals,Varieties, and Algorithms," Springer-Verlag, New York, 1992. 落合啓之, 示野信一, 西山享, 室政和, 山本敦子共訳,『グレブナー基底と代数多様体入門 上，下』, シュプリンガー・フェアラーク東京, 2000.
-[4]
+[4] D. Cox, J. Little and D. O'Shea, "Using Algebraic Geometry," Springer-Verlag, New York, 1998. 大杉英史, 北村知徳,日比孝之共訳,『グレブナー基底 １，２』, シュプリンガー・フェアラーク東京, 2000.
-[5]
+[5] 日比孝之,『グレブナー基底』, 野海正俊・日比孝之編, すうがくの風景 8, 朝倉書店, 2003.
-[6]
+[6] 平林隆一,『工学基礎　代数系とその応用』, 数理工学社, 2006.
-[7]
+[7] S. Hosten and R. R. Thomas, "Gr&ouml;bner Bases and Integer Programming, in ''Gr&ouml;bner Bases and Applications'', Proc. of 33 Years of Groebner Bases Conference, B. Buchberger and F. Winkler, eds., London Mathematical Society Lecture Note Series '''251''', Cambridge University Press, Cambridge, 144-158, 1998.
-[8]
+[8] 野呂正行，横山和弘,『グレブナー基底の計算　基礎篇　計算代数入門』, 東京大学出版会, 2003.
-[9]
+[9] B. Sturmfels, ''Gr&ouml;bner Bases and Convex Polytopes'', University Lecture Notes Series, 8, American Mathematical Society, Providence, RI, 1995.
-[10]
+[10] R. R. Thomas, "Gr&ouml;bner Bases in Integer Programming," in ''Handbook of Combinatorial Optimization Vol.1'', D. -Z. Du and P. M. Pardalos, eds., Kluer Academic Publishers, 1998.

← 古い版	2007年7月19日 (木) 13:04時点における版
(相違点なし)