[論文レビュー] Construct Graph Logic

Yong Kiam Tan|arXiv (Cornell University)|Dec 8, 2013

VLSI and FPGA Design Techniques参考文献 2被引用数 4

ひとこと要約

本稿では、二項関係と分割を用いて抽象的グラフ関係をモデル化する集合論的枠組みである構築グラフ論理（Construct Graph Logic）を紹介する。グラフ走査と彩色のための2つの論理体系と、正確な走査（BOTS/OBOTS）および彩色（BOGPC/BOERC）を含む6つのアルゴリズムを提案しており、エッジ重みに依存せず、一般でデータ指向の計算を実現する。実行時間の複雑さはそれぞれO(mn²B)およびO(m²n²)である。

ABSTRACT

In this paper, author uses set theory to construct a logic model of abstract figure from binary relation. Based on the uniform quantified structure, author gives two logic system for graph traversal and graph coloring respectively, moreover shows a new method of cutting graph. Around this model, there are six algorithms in this paper including exact graph traversal, Algebra calculation of natural number, graph partition and graph coloring.

研究の動機と目的

• 集合論と二項関係に基づいて、抽象的グラフ関係の一般でデータ指向の論理的モデルを構築すること。
• 同値類の分割と均一なデータ構造を用いて、グラフ走査と彩色を量化的で単調なプロセスとして形式化すること。
• グラフの分割や彩色におけるエッジ重みへの依存性を排除し、人工知能、ネットワークフロー、物理的問題への広範な適用性を高めること。
• 連結グラフおよび混合グラフに対する正確で再帰を含まないアルゴリズムを提供し、並列および分散計算を支援すること。
• 代数的集合演算と同値類を通じて、グラフ構造に関する抽象的推論の基盤を確立すること。

提案手法

• 二項関係τ ⊆ V²を用いて、τが走査行動を表すことで、普遍的なグラフモデルを集合論的に定義する。
• 同値訪問戦略を用いて、単調で減少する走査プロセスを同値類の分割によってモデル化する。
• カルテシアン積と集合の分割を用いて、グラフのクラスやエッジ重みに依存しない均一なデータ構造を構築する。
• エッジ部分グラフの分割が成分内での頂点の順列変更に対して不変であることを分析するための「エッジ部分グラフの分割不変定理」を導入する。
• 再帰を避ける動的計画法の代替手法を用いて、O(mn²B)の複雑さで正確な走査を実現するBOTSおよびOBOTSのアルゴリズムを開発する。
• 頂点を2つの非同値領域に分割することに基づき、それぞれO(mn³)およびO(m²n²)の複雑さを持つBOGPCおよびBOERCのアルゴリズムを提案する。

実験結果

リサーチクエスチョン

• RQ1 集合論と二項関係のみを用いて、抽象的グラフ関係の一般な論理モデルを構築可能か？
• RQ2 グラフ走査を、グラフのクラスやエッジ重みに依存しない、単調で量化可能なプロセスとして形式化できるか？
• RQ3 走査順序における頂点の再配置に対して、エッジ部分グラフの分割が不変であるための条件は何か？
• RQ4 グラフ彩色をラベリング問題ではなく論理的分割問題に還元可能か？その計算の上限は何か？
• RQ5 自己循環や同値類における構造的矛盾を引き起こす、反射的走査関係と対称的エッジ関係の共存に、パラドキシカルな振る舞いが生じるか？

主な発見

• BOTSおよびOBOTSアルゴリズムは、連結グラフ、混合グラフを含む任意のグラフに対して、O(mn²B)の時間複雑さで正確な走査を実現し、再帰を用いない。
• エッジ重みに依存せずグラフの分割が達成可能であり、任意のノード選択により人工知能、ネットワークフロー、物理的モデリングへの応用が可能である。
• グラフ彩色のためのBOGPCおよびBOERCアルゴリズムは、それぞれO(mn³)およびO(m²n²)の時間で実行され、任意のインスタンスにおいて定数で境界づけられた精度を持つ。
• 正確な彩色の組み合わせの数はX^{m-1} = (∑x_i(k))^{m-1}で上限づけられ、近似∑x_i(k) ≈ nのもとで、全体の複雑さはO(n^{m+2})となる。
• エッジ部分グラフの分割は、Δの構造を保持する場合に限り、成分内での頂点の順列変更に対して不変である。これは「エッジ部分グラフの分割不変定理」で形式化されている。
• ラッセルのパラドックスと反射的走査関係と対称的エッジ関係の共存を結びつける予想を提示し、自己循環と同値類における構造的矛盾を強調している。