[論文レビュー] Rainbow Coloring Hardness via Low Sensitivity Polymorphisms

Austrin, Per, Bhangale, Amey+1 more|arXiv (Cornell University)|Jan 1, 2019

Complexity and Algorithms in Graphs参考文献 24被引用数 3

ひとこと要約

本稿は、[q]^nにおけるt一致族の極端な組合せ論を活用することで、超グラフ彩色の準NP困難性を統一的に証明する枠組みを提示する。Frankl-Tokushige、Ahlswede-Khachatrian、およびFranklの結果に基づく、このような族の最大サイズに関する境界を用いて、3-および4-一様超グラフの彩色に関する既存の困難性結果を再証明・簡略化する。3-彩色可能な4-一様超グラフの彩色においては、(log n)^δ色で準NP困難性を達成し、3-彩色可能な3-一様超グラフの彩色においては、Õ(√log log n)色で同様の結果を得る。その他の例も含む。

ABSTRACT

A k-uniform hypergraph is said to be r-rainbow colorable if there is an r-coloring of its vertices such that every hyperedge intersects all r color classes. Given as input such a hypergraph, finding a r-rainbow coloring of it is NP-hard for all k >= 3 and r >= 2. Therefore, one settles for finding a rainbow coloring with fewer colors (which is an easier task). When r=k (the maximum possible value), i.e., the hypergraph is k-partite, one can efficiently 2-rainbow color the hypergraph, i.e., 2-color its vertices so that there are no monochromatic edges. In this work we consider the next smaller value of r=k-1, and prove that in this case it is NP-hard to rainbow color the hypergraph with q := ceil[(k-2)/2] colors. In particular, for k <=6, it is NP-hard to 2-color (k-1)-rainbow colorable k-uniform hypergraphs. Our proof follows the algebraic approach to promise constraint satisfaction problems. It proceeds by characterizing the polymorphisms associated with the approximate rainbow coloring problem, which are rainbow colorings of some product hypergraphs on vertex set [r]^n. We prove that any such polymorphism f: [r]^n -> [q] must be C-fixing, i.e., there is a small subset S of C coordinates and a setting a in [q]^S such that fixing x_{|S} = a determines the value of f(x). The key step in our proof is bounding the sensitivity of certain rainbow colorings, thereby arguing that they must be juntas. Armed with the C-fixing characterization, our NP-hardness is obtained via a reduction from smooth Label Cover.

研究の動機と目的

• 超グラフ彩色問題における準NP困難性の既存証明を統一的かつ簡略化すること。
• 同一の組合せ的枠組みを用いて、定数彩色数をもつ3-一様および4-一様超グラフの彩色に関する新たな困難性結果を確立すること。
• 極端な境界が、困難性還元における複雑な確率的または符号理論的構成の代わりに、[q]^nにおけるt一致族に適用可能であることを示すこと。
• 異なる一様性および完全性保証を有する超グラフ彩色に一般化可能な手法を提供すること。

提案手法

• Frankl-Tokushige、Ahlswede-Khachatrian、およびFranklの結果に基づき、[q]^nにおけるt一致族のサイズに関する極端な境界を用いて、ラベルカバーインスタンスにおけるラベル整合性を分析する。
• 音声サイズ 2^{O(ℓr)} および妥当性 2^{-Ω(r)} を持つ段階的なラベルカバー構成を用いて、超グラフ彩色インスタンスを符号化する。
• ラベルカバーに対して確率的ラベル付け手順を適用し、得られる超グラフにおける独立集合を導出する。この際、t一致族構造を用いてラベル衝突の上限を求める。
• ラベルカバーから(k+1)-一様超グラフを構築することで、問題を超グラフ彩色に還元する。ここで、ハイパーエッジは一貫性のないラベル付けに対応する。
• 大きなt一致族は、一致度が小さいペアを含む必要があるという性質を用いて、妥当性境界を導出する。
• 確率的技法を適用し、確率的ラベル付けが定数割合の制約を満たすことを示す。これにより、超グラフに大きな独立集合が存在することが示される。

実験結果

リサーチクエスチョン

• RQ1 極端な組合せ論を用いて、[q]^nにおけるt一致族の性質を統一的かつ簡略化された証明に応用できるか。
• RQ2 t一致族の最小サイズは何か。このサイズが、彩色の困難性とどのように関係するか。
• RQ3 t一致族に基づく枠組みは、短コードやロングコードのような複雑な内部検証器を代替できるか。
• RQ4 q ≥3 に対して、サイズが qpoly(log n) であるような F ⊂[q]^n が存在し、P(t, t^ω(1)) を満たすか。そのような族が存在する場合、彩色の困難性にどのような意味を持つのか。
• RQ5 t一致族の使用は、従来の手法と比較して、超グラフ彩色還元における独立集合の保証をどのように向上させるか。

主な発見

• 本稿は、t一致族の境界を用いて、3-彩色可能な4-一様超グラフの彩色が、(log n)^δ色で準NP困難であることを証明する。
• 3-彩色可能な3-一様超グラフの彩色が、Õ(√log log n)色で準NP困難であることを確立し、既存の結果を改善する。
• 2-彩色可能な6-一様超グラフに対しては、(log n)^Ω(1)色での彩色が準NP困難であることを示す。
• 2-彩色可能な4-一様超グラフに対しても、Õ(√log log n)色での彩色が準NP困難であることを証明し、既存で最も良い境界と一致する。
• この枠組みは、極端なt一致族に基づく単一の組合せ的原理によって、複数の困難性結果を統一的に扱う。
• 短コードのような複雑な符号に依存せず、超グラフ彩色の困難性証明に向けたよりシンプルでモジュラーなアプローチを提供する。