paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Point-width and Max-CSPs

点宽度与 Max-CSP
LICS 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)2019匹配度 1/10 · 该论文研究超图分解与 Max-CSP 的结构化易解性,属于参数化复杂性与约束满足的理论工作,与用户关注的 LLM/Agent 程序分析、静态分析、浮点程序分析及贝叶斯程序分析没有直接关联。引用 4 inbox
Clement Carbonnel, Miguel Romero, Stanislav Zivny
crossref: 2026-09-12

AI 速览

一句话:提出超图点分解框架,给出统一 β-无环性与有界 MIM-width 的 Max-CSP 易解性条件。

(无界元数)Max-CSP 在结构限制下的复杂性仍缺乏理解;已知的两个最一般易解超图性质——β-无环性与有界(关联)MIM-width——互不可比且对应不同算法。本文引入超图的点分解(point decomposition)框架,由此得到一类结构限制下 Max-CSP 易解的新充分条件,并证明该条件同时推广有界 MIM-width 与 β-无环性。作为副产品,作者给出有界 MIM-width 的新刻画,并讨论与 Max-CSP 复杂性相关的其他超图性质,如 β-超树宽。

问题
无界元数 Max-CSP 在结构限制下的可解性边界尚不清楚,β-无环性与有界 MIM-width 这两个最一般的易解性质互不可比,缺乏统一框架。
方法
引入超图的点分解和点宽度概念,据此推导 Max-CSP 易解的新充分条件,并重新刻画有界 MIM-width。
评估
以理论复杂度分析为主:证明新条件同时推广 β-无环性与有界 MIM-width,并讨论 β-超树宽等相关超图性质。
原文摘要(Abstract)

The complexity of (unbounded-arity) Max-CSPs under structural restrictions is poorly understood. The two most general hypergraph properties known to ensure tractability of Max-CSPs, β -acyclicity and bounded (incidence) MIM-width, are incomparable and lead to very different algorithms. We introduce the framework of point decompositions for hypergraphs and use it to derive a new sufficient condition for the tractability of (structurally restricted) Max-CSPs, which generalises both bounded MIM-width and β -acyclicity. On the way, we give a new characterisation of bounded MIM-width and discuss other hypergraph properties which are relevant to the complexity of Max-CSPs, such as β -hypertreewidth.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot5009,
  title = {Point-width and Max-CSPs},
  author = {Clement Carbonnel and Miguel Romero and Stanislav Zivny},
  booktitle = {LICS},
  year = {2019},
  doi = {10.1109/lics.2019.8785660}
}