[論文レビュー] Relational Width of First-Order Expansions of Homogeneous Graphs with Bounded Strict Width.

Michał Wrona|arXiv (Cornell University)|Jan 1, 2020

Advanced Topology and Set Theory被引用数 3

ひとこと要約

本稿では、厳密な幅が有界な可算無限の均一グラフの1階拡張Sについて、それが関係的幅がちょうど(2, L)であることを確立している。ここでL ≥ 3は、最大の禁止部分グラフのサイズを表す。この結果は、先行する上界を改善し、有限構造とは異なり、無限の設定において関係的幅階層が(2,3)に崩壊しないことを示している。

ABSTRACT

Solving the algebraic dichotomy conjecture for constraint satisfaction problems over structures first-order definable in countably infinite finitely bounded homogeneous structures requires understanding the applicability of local-consistency methods in this setting. We study the amount of consistency (measured by relational width) needed to solve CSP for first-order expansions S of countably infinite homogeneous graphs that additionally have bounded strict width, i.e., for which establishing local consistency of an instance of the CSP not only decides if there is a solution but also ensures that every solution may be obtained from a locally consistent instance by greedily assigning values to variables, without backtracking. Our main result is that the structures S under consideration have relational width exactly (2, L) where L is the maximal size of a forbidden subgraph of a homogeneous graph under consideration, but not smaller than 3. It beats the upper bound (2m, 3m) where m = max(arity(S)+1, L, 3) and arity(S) is the largest arity of a relation in S, which follows from a sufficient condition implying bounded relational width from the literature. Since L may be arbitrarily large, our result contrasts the collapse of the relational bounded width hierarchy for finite structures , whose relational width, if finite, is always at most (2,3).

研究の動機と目的

• 厳密な幅が有界である可算無限の均一グラフの1階拡張Sの関係的幅を特定すること。
• 有限の場合と同様に、無限の設定において関係的幅階層が(2,3)に崩壊するかどうかを調査すること。
• この無限の設定において、局所的整合性手法が制約充足問題(CSP)を解くために必要な整合性レベルのタイトな境界を確立すること。
• 1階で定義可能な無限の均一グラフに含まれる構造における局所的整合性手法の適用可能性を解明すること。
• これらの無限構造の関係的幅が、文献で知られている上界（特にm = max(arity(S)+1, L, 3)のときの(2m, 3m)）とどのように比較されるかを検討すること。

提案手法

• Lを禁止部分グラフの最大サイズとするとき、可算無限の均一グラフの構造を、その禁止有限部分グラフの特徴付けによって分析すること。
• これらのグラフの1階拡張Sの制約充足性を研究するために、モデル理論的技法を適用すること。
• 厳密な幅が有界であることの性質を用いて、バックトラッキングなしに局所的整合性が全域的可解性を保証することを保証すること。
• 関係的幅(2, L)が、これらの構造におけるCSPを解くために必要かつ十分であることを、Lの最大性を活用して確立すること。
• Lが大きい場合に、無限の場合と有限構造とを対比させ、関係的幅階層が(2,3)に崩壊しないことを示すこと。
• 臨界的部分構造の存在に基づき、k < Lであるような(2, k)が十分でないことを証明することで、(2, L)のタイトさを導出すること。

実験結果

リサーチクエスチョン

• RQ1 厳密な幅が有界である可算無限の均一グラフの1階拡張Sの正確な関係的幅は何か？
• RQ2 有限構造と同様に、無限の設定において関係的幅階層が(2,3)に崩壊するのか？
• RQ3 最大禁止部分グラフのサイズLが、このような構造の関係的幅にどのように影響するか？
• RQ4 局所的整合性手法は、バックトラッキングなしに、これらの構造におけるCSPを完全に解くことができるか？ また、どの程度の整合性レベルが必要か？
• RQ5 関係的幅(2, L)は、既存の十分条件から導かれる一般上界(2m, 3m)と比べてどう異なるか？

主な発見

• 厳密な幅が有界である可算無限の均一グラフの1階拡張Sの関係的幅は、正確に(2, L)である。ここでL ≥ 3は最大の禁止部分グラフのサイズを表す。
• この正確な幅(2, L)は、m = max(arity(S)+1, L, 3)のときの一般上界(2m, 3m)よりも厳密に小さいことを示しており、顕著な改善を示している。
• この結果により、無限の設定において関係的幅階層が(2,3)に崩壊しないことが示されている。これは、構造が厳密な幅が有界であっても同様に成り立つ。
• Lは任意に大きく取りうるため、無限の場合には関係的幅が無限に成長しうることを示している。
• 禁止部分グラフの構造が、局所的整合性によるCSPの解法に必要な最小の整合性レベルを直接決定している。
• 証明により、k < Lであるような(2, k)が十分でないことが確認され、(2, L)の境界のタイトさが裏付けられている。