貪欲な

コンテンツへジャンプ
フリー百科事典『ウィキペディア』より

組合せ論においてグリードイドは集合系の一種です。これはマトロイドの概念に由来します。マトロイドは、1935年にホイットニーによって平面グラフの研究のために最初に導入され、後にエドモンズによって、貪欲アルゴリズムによって解ける最適化問題のクラスを特徴付けるために使用されました。1980年頃、コルテロヴァースは、この貪欲アルゴリズムの特徴付けをさらに一般化するためにグリードイドを導入しました。そのため、グリードイドという名前が付けられました。数理最適化に加えて、グリードイドはグラフ理論、言語理論、順序理論、その他の数学の分野にも関連付けられています

定義

[編集]

集合 ( F , E )は、基底集合Eの部分集合F集合です(つまり、FはE冪集合の部分集合です)。グリードイドを考える場合、Fの要素は実行可能集合と呼ばれますマトロイドを考える場合、実行可能集合は独立集合とも呼ばれます

アクセス可能な集合 ( F , E )とは、空でない実行可能集合X のすべてが、実行可能であるようなxを含む集合系である。これは、空でない有限のアクセス可能な集合系は必ず空集合∅ を含むことを意味する[ 1 ]

グリードイドFE)は 交換特性を満たす有限アクセス可能な集合システムです

  • すべてに対して

(注:交換特性という用語を貪欲に基づく条件のために留保し、上記の条件を「増加特性」と呼ぶことを好む人もいます。)

グリードイドの基底は最大実行可能集合であり、これは実行可能集合であるが、他のどの実行可能集合にも含まれないことを意味します。E の部分集合 X の基底は、X含まれる最大実行可能集合です

グリードイドのランク基底の大きさである。交換特性により、すべての基底の大きさは同じである。したがって、ランク関数は明確に定義される。Eの部分集合XのランクはXの基底の大きさである。マトロイドと同様に、グリードイドはランク関数に関して暗号同型性を持つ。 [ 2 ]関数が基底集合E上のグリードイドのランク関数であるための必要条件は、 rがサブカーディナル単調、局所半モジュラである場合、つまり任意の および任意の に対して次が成り立つ場合である。

  • サブカーディナリティ:
  • 単調性いつでも
  • 局所的半モジュラ性:いつでも

クラス

[編集]

グリードイドのほとんどのクラスは、集合体系、言語、半集合、単体複体などにおいて、同等の定義が多数存在します。以下では、よりよく知られている特徴付けをいくつか挙げるという伝統的な方法を用います。

区間グリードイド FE)は区間プロパティを満たすグリードイドです

  • とすれ、すべてに対して

同様に、区間グリードイドは、任意の 2 つの実行可能集合の結合が別の実行可能集合に含まれている場合に実行可能であるようなグリードイドです。

マトロイド ( F , E )は、上限のない区間特性を満たすグリードイドです

  • の場合、すべての ⁠に対して ⁠が成り立ちます

同様に、反マトロイドとは、(i) 唯一の基底を持つグリードイド、または (ii) 和集合に関して閉じたアクセス可能な集合系のいずれかです。反マトロイドが区間グリードイドでもあることは容易に分かります。

マトロイド( F , E )は 下限のない区間特性を満たす空でないグリードイドです

  • の場合、すべての ⁠に対して ⁠が成り立ちます

マトロイドが区間グリードイドでもあることは容易にわかります。

[編集]
頂点探索グリードイド
  • 無向グラフ Gを考えてみましょう。基底集合をGの辺とし、実行可能集合をGの各フォレスト(つまり、サイクルを含まないサブグラフ)の辺集合とします。この集合系はサイクルマトロイドと呼ばれます。あるグラフのサイクルマトロイドである集合系は、グラフィックマトロイドと呼ばれます。(サイクルマトロイドは元々、回路、つまり最小従属集合上で定義されていました。そのため、サイクルという名前が付けられています。)
  • 頂点rを根とする有限無向グラフG を考える。基底集合をGの頂点とし、 rを含む頂点部分集合のうちGの連結部分グラフを誘導するものを可能集合とする。これは頂点探索グリードイドと呼ばれ、反マトロイドの一種である。
  • rを根とする有限有向グラフ D を考えます。基底集合を D の(有向)辺とし、実行可能集合をrを根とする各有向部分木の辺集合とし、すべての辺がrから離れる方向を向いているものとします。これは直線探索グリードイド、または有向分岐グリードイドと呼ばれます。これは区間グリードイドですが、反マトロイドでもマトロイドでもありません。
  • m × n 行列 Mを考えます。基底集合E を1 からnまでの列のインデックスとし、実行可能集合をとします。これはガウス消去法のアルゴリズムの基礎となる構造であるため、ガウス消去法グリードイドと呼ばれますこれグリードイドですが、区間グリードイドではありません。

貪欲アルゴリズム

[編集]

一般的に、貪欲アルゴリズムとは、局所的に最良の選択肢(通常は最大重みの入力)を、利用可能な選択肢がすべて尽きるまで各ラウンドで選択する反復プロセスです。貪欲アルゴリズムが最適となる(つまり、最大値の基底を得る)という貪欲に基づく条件を記述するためには、貪欲理論におけるより一般的な用語が必要になります。一般性を損なうことなく、 Eが有限である貪欲関数G = ( F , E )を考えます

E部分集合Xがランク実行可能とは、Xと任意の実行可能集合との最大の交差の大きさがXのランクに等しい場合を言う。マトロイドにおいては、Eのすべての部分集合はランク実行可能である。しかし、この等式は一般のグリードイドでは成立しない。

関数がR互換であるとは、すべての実数cに対してランク実行可能である場合です

目的関数集合上で線形であるのは、ある重み関数に対して

命題。貪欲アルゴリズムは、貪欲な関数上の すべてのR互換線形目的関数に最適です。

この命題の背後にある直感は、反復プロセスにおいて、最小重みの最適な交換は交換特性によって可能となり、基礎となる貪欲アルゴリズム内の実行可能集合から最適な結果が得られるというものである。この結果は、多くのよく知られたアルゴリズムの最適性を保証する。例えば、重み付きグラフ最小全域木は、サイクルマトロイドに対する貪欲アルゴリズムであるクラスカルのアルゴリズムを用いて得られる。プリムのアルゴリズムは、代わりに直線探索貪欲アルゴリズムを用いることで説明できる。

参照

[編集]

参考文献

[編集]
  1. ^ アクセス可能性の特性は、独立集合のすべての部分集合が独立であることを要求するマトロイド遺伝的特性よりも厳密に弱いことに注意してください。
  2. ^ Björner, Anders ; Ziegler, Günter M. (1992)、「8. グリードイド入門」、White, Neil (ed.)、『マトロイド応用』、Encyclopedia of Mathematics and its Applications、第40巻、ケンブリッジ:ケンブリッジ大学出版局、pp.  284–357doi : 10.1017/CBO9780511662041.009ISBN 0-521-38165-7MR  1165537Zbl  0772.05026
[編集]

    組合せ論においてグリードイドは集合系の一種です。これはマトロイドの概念に由来します。マトロイドは、1935年にホイットニーによって平面グラフの研究のために最初に導入され、後にエドモンズによって、貪欲アルゴリズムによって解ける最適化問題のクラスを特徴付けるために使用されました。1980年頃、コルテロヴァースは、この貪欲アルゴリズムの特徴付けをさらに一般化するためにグリードイドを導入しました。そのため、グリードイドという名前が付けられました。数理最適化に加えて、グリードイドはグラフ理論、言語理論、順序理論、その他の数学の分野にも関連付けられています

    定義

    集合 ( F , E )は、基底集合Eの部分集合F集合です(つまり、FはE冪集合の部分集合です)。グリードイドを考える場合、Fの要素は実行可能集合と呼ばれますマトロイドを考える場合、実行可能集合は独立集合とも呼ばれます

    アクセス可能な集合 ( F , E )とは、空でない実行可能集合Xのすべてが、実行可能であるxを含む集合系である。これは、空でない有限のアクセス可能な集合系は必ず空集合∅ を含むことを意味する[1]

    グリードイドFE)は 交換特性を満たす有限アクセス可能な集合システムです

    • すべてに対して

    (注:交換特性という用語を貪欲に基づく条件のために留保し、上記の条件を「増加特性」と呼ぶことを好む人もいます。)

    グリードイドの基底は最大実行可能集合であり、これは実行可能集合であるが、他のどの実行可能集合にも含まれないことを意味します。E の部分集合 X の基底は、X含まれる最大実行可能集合です

    グリードイドのランク基底の大きさである。交換特性により、すべての基底の大きさは同じである。したがって、ランク関数は明確に定義される。Eの部分集合XのランクはXの基底の大きさである。マトロイドと同様に、グリードイドはランク関数に関して暗号同型性を持つ。 [2]関数が基底集合E上のグリードイドのランク関数である場合、かつその場合に限り、rは部分基数単調、かつ局所的に半モジュラである。つまり、任意のおよび任意の に対して、次が成り立つ

    • サブカーディナリティ:
    • 単調性いつでも
    • 局所的半モジュラ性:いつでも

    クラス

    グリードイドのほとんどのクラスは、集合体系、言語、半集合、単体複体などにおいて、同等の定義が多数存在します。以下では、よりよく知られている特徴付けをいくつか挙げるという伝統的な方法を用います。

    区間グリードイド FE)は区間プロパティを満たすグリードイドです

    • とすれ、すべてに対して

    同様に、区間グリードイドは、任意の 2 つの実行可能集合の結合が別の実行可能集合に含まれている場合に実行可能であるようなグリードイドです。

    マトロイド ( F , E )は、上限のない区間特性を満たすグリードイドです

    • の場合、すべての ⁠に対して ⁠が成り立ちます

    同様に、反マトロイドとは、(i) 唯一の基底を持つグリードイド、または (ii) 和集合に関して閉じたアクセス可能な集合系のいずれかです。反マトロイドが区間グリードイドでもあることは容易に分かります。

    マトロイド( F , E )は 下限のない区間特性を満たす空でないグリードイドです

    • の場合、すべての ⁠に対して ⁠が成り立ちます

    マトロイドが区間グリードイドでもあることは容易にわかります。

    頂点探索グリードイド
    • 無向グラフ Gを考えてみましょう。基底集合をGの辺とし、実行可能集合をGの各フォレスト(つまり、サイクルを含まないサブグラフ)の辺集合とします。この集合系はサイクルマトロイドと呼ばれます。あるグラフのサイクルマトロイドである集合系は、グラフィックマトロイドと呼ばれます。(サイクルマトロイドは元々、回路、つまり最小従属集合上で定義されていました。そのため、サイクルという名前が付けられています。)
    • 頂点rを根とする有限無向グラフG を考える。基底集合をGの頂点とし、 rを含む頂点部分集合のうちGの連結部分グラフを誘導するものを可能集合とする。これは頂点探索グリードイドと呼ばれ、反マトロイドの一種である。
    • rを根とする有限有向グラフ D を考えます。基底集合を D の(有向)辺とし、実行可能集合をrを根とする各有向部分木の辺集合とし、すべての辺がrから離れる方向を向いているものとします。これは直線探索グリードイド、または有向分岐グリードイドと呼ばれます。これは区間グリードイドですが、反マトロイドでもマトロイドでもありません。
    • m × n 行列 Mを考えます。基底集合E を1 からnまでの列のインデックスとし、実行可能集合をとします。これはガウス消去法のアルゴリズムの基礎となる構造であるため、ガウス消去法グリードイドと呼ばれますこれグリードイドですが、区間グリードイドではありません。

    貪欲アルゴリズム

    一般的に、貪欲アルゴリズムとは、局所的に最良の選択肢(通常は最大重みの入力)を、利用可能な選択肢がすべて尽きるまで各ラウンドで選択する反復プロセスです。貪欲アルゴリズムが最適となる(つまり、最大値の基底を得る)という貪欲に基づく条件を記述するためには、貪欲理論におけるより一般的な用語が必要になります。一般性を損なうことなく、 Eが有限である貪欲関数G = ( F , E )を考えます

    E部分集合Xがランク実行可能とは、Xと任意の実行可能集合との最大の交差の大きさがXのランクに等しい場合を言う。マトロイドにおいては、Eのすべての部分集合はランク実行可能である。しかし、この等式は一般のグリードイドでは成立しない。

    関数がR互換であるとは、すべての実数cに対してランク実行可能である場合です

    目的関数集合上で線形であるのは、ある重み関数に対して

    命題。貪欲アルゴリズムは、貪欲な関数上の すべてのR互換線形目的関数に最適です。

    この命題の背後にある直感は、反復プロセスにおいて、最小重みの最適な交換は交換特性によって可能となり、基礎となる貪欲アルゴリズム内の実行可能集合から最適な結果が得られるというものである。この結果は、多くのよく知られたアルゴリズムの最適性を保証する。例えば、重み付きグラフ最小全域木は、サイクルマトロイドに対する貪欲アルゴリズムであるクラスカルのアルゴリズムを用いて得られる。プリムのアルゴリズムは、代わりに直線探索貪欲アルゴリズムを用いることで説明できる。

    参照

    参考文献

    1. ^ アクセス可能性の特性は、独立集合のすべての部分集合が独立であることを要求するマトロイド遺伝的特性よりも厳密に弱いことに注意してください。
    2. ^ Björner, Anders ; Ziegler, Günter M. (1992)、「8. グリードイド入門」、White, Neil (編)、『マトロイド応用』、Encyclopedia of Mathematics and its Applications、第40巻、ケンブリッジ:ケンブリッジ大学出版局、pp. 284–357、doi :10.1017/CBO9780511662041.009、ISBN 0-521-38165-7MR  1165537、Zbl  0772.05026
    • グリードイドの紹介
    • 貪欲アルゴリズムの理論 2016年3月4日アーカイブ - Wayback Machine
    • 劣モジュラ関数と最適化
    • マッチング、マトロイド、劣モジュラー関数
    Retrieved from "https://en.wikipedia.org/w/index.php?title=Greedoid&oldid=1289693578"
    Original text
    Rate this translation
    Your feedback will be used to help improve Google Translate