[論文レビュー] Constructive Graph Theory: Generation Methods, Structure and Dynamic Characterization of Closed Classes of Graphs -- A survey

Mikhail A. Iordanski|arXiv (Cornell University)|Nov 22, 2020

Model-Driven Software Engineering Techniques参考文献 1被引用数 5

ひとこと要約

本稿は、結合操作（被覆付き結合）に基づく構成的グラフ理論フレームワークを導入し、グラフの閉じたクラスの生成と特徴付けを可能にする。このフレームワークは、そのようなクラスの要素的および操作的基底を確立し、各閉じたクラスが一意の要素的基底と少なくとも一つの操作的基底を有することを証明する。応用例としてハミルトニアン、二部、平面グラフが取り上げられ、制限付き結合操作を用いた動的特徴付けと最適なグラフ合成が可能となる。

ABSTRACT

The processes of constructing some graphs from others using binary operations of union with intersection (gluing) are studied. For graph classes closed with respect to gluing operations the elemental and operational bases are introduced. The generating bases together with the system of restrictions on the gluing operation that preserves the characteristic properties of graphs form constructive descriptions of the closed classes of graphs. It is shown that each closed class of graphs has a unique elemental basis and at least one operational basis. A constructive description of a closed class of all graphs and all bases precompletion closed sub-classes of it are considered. For each of them its characteristic properties and a diagram of the inclusion of sub-classes in super classes is given. Constructive descriptions are obtained for some classes of graphs with classical properties. In conclusion, some possible applications of constructive graph theory are discussed.

研究の動機と目的

• 二項結合操作を用いて閉じたグラフクラスを体系的に生成・特徴付けるフレームワークの構築。
• 任意の閉じたグラフクラスに対して一意の要素的基底と操作的基底が存在することを定義し、証明すること。
• 結合操作中に特性グラフ性質（例：ハミルトニアン性、二部性）が保存される動的特徴付け条件の確立。
• 大規模なグラフモデリングのための標準的スーパーポジションおよびクローン操作を用いた最適なグラフ合成の実現。
• グラフ符号化、線形配置、複雑なグラフの物理的・数学的モデリングにおける実用的応用の提示。

提案手法

• 二項的集合論的結合操作（互いに同型な部分グラフの不交和からの結合）を用いる。
• 繰り返し結合を用いて基本集合からグラフを生成するためのスーパーポジションおよび標準的スーパーポジション操作を定義する。
• 閉じたクラス全体を生成する最小完全なグラフ系として要素的基底 $B_e$ を導入する。
• 閉じた性質を保つ最小完全な結合部分グラフ型（同型類）の集合として操作的基底 $B_o$ を導入する。
• ハミルトニアン性や二部性などの性質の保存を保証するため、結合部分グラフ（例：$H_g$, $H_b$）に制限を設ける。
• 結合操作の結果が特定のグラフ性質を保持するかどうかを判断するための動的特徴付け補題を用いる。

実験結果

リサーチクエスチョン

• RQ1 結合操作にどのような条件を課すと、ハミルトニアン性、二部性、平面性などの特性が保持されるか？
• RQ2 任意の閉じたグラフクラスは、一意の要素的基底と少なくとも一つの操作的基底で記述可能か？
• RQ3 標準的スーパーポジションを用いることで、基本グラフから効率的かつ構造的なグラフ構成がどのように可能か？
• RQ4 ハミルトニアンや二部グラフといった古典的グラフクラスの最小操作的基底は何か？
• RQ5 構成的記述は、ラベルなしグラフ表現におけるコード長の短縮とデコードの簡略化をどのように可能にするか？

主な発見

• すべての閉じたグラフクラスは一意の要素的基底を有し、クラスを生成する最小生成集合が保証される。
• 各閉じたクラスは少なくとも一つの操作的基底を有し、複数の操作的基底が存在可能である（例：ハミルトニアングラフクラスでは3つ）。
• ハミルトニアングラフのクラスは標準的 $\prec H_g\succ$-閉じており、要素的基底 $\{C_1, C_2, \ldots\}$ と2つの異なる操作的基底 $\{O_1, K_2, L_3, L_4, \ldots\}$ および $\{O_1, K_2, (L_{n'} \circ L_{n''}) O_0\}$（$n', n'' \geq 2$）を有する。
• 二部グラフのクラスは $H_b$-閉じており、要素的基底 $\{O_1, K_2\}$ と操作的基底 $\{O_0, O_2\}$ を有し、結合部分グラフにおける鎖の偶奇性に関する動的特徴付け条件が成立する。
• 平面グラフに関しては3つの操作的基底が存在し、同じクラスに対し生成基底の構造的多様性が裏付けられる。
• 構成的記述はグラフ表現における冗長性を低減し、特にスーパーコンピュータによる大規模グラフモデリングにおいてクローン操作を用いた最適な合成を可能にする。