[論文レビュー] Strong subalgebras and the Constraint Satisfaction Problem

Dmitriy Zhuk|arXiv (Cornell University)|May 1, 2020

Advanced Graph Theory Research参考文献 23被引用数 5

ひとこと要約

本稿は、強い部分代数を核とする自己完備な代数的枠組みを提示し、制約充足問題（CSP）を分析する。CSPの tractability（ tractability）が、制約言語が弱近傍合同（WNU）演算によって保存されることと同値であることを示している。主たる貢献は、強い部分代数を用いて変数の定義域を反復的に縮小することで、CSPの二分岐予想を新たな形で証明したことである。WNU演算が存在しない場合にはNP困難性が確立され、また、局所的整合性がCSPインスタンスを解くのに十分である条件も特定している。

ABSTRACT

In 2007 it was conjectured that the Constraint Satisfaction Problem (CSP) over a constraint language $Γ$ is tractable if and only if $Γ$ is preserved by a weak near-unanimity (WNU) operation. After many efforts and partial results, this conjecture was independently proved by Andrei Bulatov and the author in 2017. In this paper we consider one of two main ingredients of my proof, that is, strong subalgebras that allow us to reduce domains of the variables iteratively. To explain how this idea works we show the algebraic properties of strong subalgebras and provide self-contained proof of two important facts about the complexity of the CSP. First, we prove that if a constraint language is not preserved by a WNU operation then the corresponding CSP is NP-hard. Second, we characterize all constraint languages that can be solved by local consistency checking. Additionally, we characterize all idempotent algebras not having a WNU term of a concrete arity $n$, not having a WNU term, having WNU terms of all arities greater than 2. Most of the results presented in the paper are not new, but I believe this paper can help to understand my approach to CSP and the new self-contained proof of known facts will be also useful.

研究の動機と目的

• 強い部分代数を核とする自己完備で代数的根拠に基づくCSP二分岐予想の証明を提供すること。
• 先行結果に依存しない形で、局所的整合性チェックによって解けるすべての制約言語を特徴づけること。
• WNU演算および関連する代数的構造の有無に基づいて、有限の冪等代数を完全に分類すること。
• 強い部分代数が反復的定義域縮小において果たす役割を明確にし、WNU演算が存在する場合のCSP解法に向けた構成的アプローチを提示すること。

提案手法

• 本稿では、特定の演算および吸収性の性質に関して閉じた部分代数として強い部分代数を定義し、CSPインスタンスにおける反復的定義域縮小を可能としている。
• 主な代数的構造として、二項吸収、中心的、射影的、およびPC部分代数を導入し、それぞれが特徴的な閉包性および不変性の性質を持つ。
• 本手法は、クラオンと関係的クラオンの間のガロア接続に依存し、pp定義可能性および演算による関係の不変性を導出している。
• WNUブロッカーと定数タプルの概念を用いて、いかなるWNU演算によっても保存されない制約言語を同定し、これによりNP困難性が示唆される。
• 非自明な合同関係、中心的関係、p-アフィン構造といった代数的条件の階層を用いて、冪等代数の分類を行い、tractability（ tractability）を決定している。
• 代数のサイズに関する帰納法に従い、最大の合同関係および完全射影的関係を活用して、問題を既知の代数的ケースに還元している。

実験結果

リサーチクエスチョン

• RQ1 どのような代数的条件下で、制約言語が弱近傍合同（WNU）演算によって保存されるか？
• RQ2 与えられた制約言語におけるCSPがいつNP困難となり、その性質を代数的にどのように特徴づけられるか？
• RQ3 どのような制約言語が局所的整合性チェックによって解けるか？ その背後にある代数的構造は何か？
• RQ4 強い部分代数は、CSPインスタンスにおける変数の定義域を反復的に縮小するためにどのように機能するか？
• RQ5 WNU演算および関連する代数的不変量の有無に基づいて、有限の冪等代数を完全に分類することは可能か？

主な発見

• 制約言語がいかなるWNU演算によっても保存されない場合、WNUブロッカー解析により、対応するCSPはNP困難であることが示された。
• CSPが局所的整合性チェックによって解けるのは、かつてその制約言語が3以上のアリティのWNU演算によって保存されるときである。
• 任意のサイズ≥2の有限冪等代数は、以下の5つの構造的特徴のうち少なくとも1つを備えている：非自明な二項吸収部分代数、非自明な中心的部分代数、非自明なPC部分代数、商がp-アフィンとなる合同関係、非自明な射影的部分代数。
• 制約言語がWNU演算によって保存されるのは、かつてそのWNUとすべての定数演算によって生成されるクラオンの演算に関して閉じているときである。
• 不変関係ラティス内にアリティ≥3の完全射影的で一意に定まる関係が存在する場合、中心的関係または非自明な合同関係が存在することを示し、代数の構造的分類が可能になる。
• 本稿では、任意のアリティ>2のWNU項をもたない冪等代数を完全に特徴づけ、それらが非自明な合同関係を備えるか、p-アフィンである必要があることを示している。