---
格式版本: 2
标题: "Quantifying over Optimal MSO-Definable Sets on Graphs of Bounded Clique-Width"
原文链接: "https://arxiv.org/abs/2608.20175"
发布日期: "2026-08-20"
发布时间校准状态: "found"
发布时间需复核: "否"
发布时间来源: "rule:local:strict_original_body"
发布时间证据: "**\\[v1\\]** Thu, 20 Aug 2026 15:28:11 UTC (115 KB)"
发布时间校准原因: "规则确认唯一严格发布时间，来源 local:strict_original_body"
发布时间校准置信度: "high"
发布时间候选数量: 18
发布时间严格候选数量: 6
发布时间原页读取状态: "source template page reused from URL open"
发布时间未找到原因: ""
发布时间校准时间: "2026-08-21T16:17:04+08:00"
发布时间仲裁状态: "skipped"
发布时间仲裁尝试次数: 0
发布时间仲裁耗时毫秒: 0
发现时间: "2026-08-21T16:16:43+08:00"
入库时间: "2026-08-21T08:17:04.781Z"
来源平台: "arXiv 学术论文搜索"
搜索渠道: "source_template"
搜索词: "https://arxiv.org/search/?query=Meta&searchtype=all"
匹配关键词:
  - "AI"
相关厂家:
  - "Meta"
相关专家:
  []
内容类型: "网页"
抓取工具: "Free Fetch + Defuddle"
清洗工具: "Defuddle Markdown + Defuddle/Readability 正文提取"
原始附件:
  []
AI优质: "否"
AI打分: 10
AI分档: "非优质"
AI质检状态: "不通过"
AI打分理由: "论文主题为图论与逻辑（MSO、clique-width），与超节点、AI Rack、GPU、液冷、互连等完全无关，且无任何商业或部署信息，属于明显无关内容。"
AI质检模型: "ali-deepseek-v4-flash"
AI质检时间: "2026-08-21T16:17:11+08:00"
AI主题相关性: 0
AI来源权威性: 5
AI新颖性: 0
AI技术细节: 0
AI商业部署信号: 0
AI完整性: 5
AI摘要: "作者提出扩展计数二阶逻辑AmCMSO，允许引用最优满足赋值谓词，并证明在bounded clique-width图上的AmCMSO_1和bounded treewidth图上的AmCMSO_2模型检验均为固定参数可处理；"
AI摘要模型: "ali-deepseek-v4-flash"
AI摘要时间: "2026-09-07T02:12:19.386Z"
采集批次: "2026年8月21日13点55分53秒"
采集批次ID: "20260821-135553-743"
去重键: "https://arxiv.org/abs/2608.20175"
---

## Computer Science > Data Structures and Algorithms

**arXiv:2608.20175** (cs)

## Title:Quantifying over Optimal MSO-Definable Sets on Graphs of Bounded Clique-Width

Authors:[Tatsuya Gima](https://arxiv.org/search/cs?searchtype=author&query=Gima,+T)

[View PDF](https://arxiv.org/pdf/2608.20175) [HTML (experimental)](https://arxiv.org/html/2608.20175v1)

> Abstract:We introduce $\mathsf{AmCMSO}$, an extension of counting monadic second-order logic ($\mathsf{CMSO}$) with predicates that refer to minimum- and maximum-value satisfying assignments. We establish fixed-parameter tractable model-checking meta-theorems for $\mathsf{AmCMSO}_1$ on graphs of bounded clique-width and for $\mathsf{AmCMSO}_2$ on graphs of bounded treewidth. These meta-theorems yield fixed-parameter tractable algorithms for several bilevel graph optimization problems, including interdiction and preassignment problems for solution uniquification, as well as algorithms for maximizing the diversity of optimal solutions without parameterizing by the optimum value. In contrast, allowing an optimality predicate to depend on an external set variable makes model checking hard for every level of the polynomial hierarchy, even on trees of fixed depth.

| Comments: | 27pages, 1 figures |
| --- | --- |
| Subjects: | Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO) |
| Cite as: | [arXiv:2608.20175](https://arxiv.org/abs/2608.20175) \[cs.DS\] |
|  | (or [arXiv:2608.20175v1](https://arxiv.org/abs/2608.20175v1) \[cs.DS\] for this version) |
|  | [https://doi.org/10.48550/arXiv.2608.20175](https://doi.org/10.48550/arXiv.2608.20175) Focus to learn more  arXiv-issued DOI via DataCite (pending registration) |

## Submission history

From: Tatsuya Gima \[[view email](https://arxiv.org/show-email/9b46d626/2608.20175)\]  
**\[v1\]** Thu, 20 Aug 2026 15:28:11 UTC (115 KB)

## Bibliographic and Citation Tools

Bibliographic Explorer *([What is the Explorer?](https://info.arxiv.org/labs/showcase.html#arxiv-bibliographic-explorer))*

Connected Papers *([What is Connected Papers?](https://www.connectedpapers.com/about))*

Litmaps *([What is Litmaps?](https://www.litmaps.co/))*

scite Smart Citations *([What are Smart Citations?](https://www.scite.ai/))*

## Code, Data and Media Associated with this Article

alphaXiv *([What is alphaXiv?](https://alphaxiv.org/))*

CatalyzeX Code Finder for Papers *([What is CatalyzeX?](https://www.catalyzex.com/))*

DagsHub *([What is DagsHub?](https://dagshub.com/))*

Gotit.pub *([What is GotitPub?](http://gotit.pub/faq))*

Hugging Face *([What is Huggingface?](https://huggingface.co/huggingface))*

ScienceCast *([What is ScienceCast?](https://sciencecast.org/welcome))*

## Demos

Replicate *([What is Replicate?](https://replicate.com/docs/arxiv/about))*

Hugging Face Spaces *([What is Spaces?](https://huggingface.co/docs/hub/spaces))*

TXYZ.AI *([What is TXYZ.AI?](https://txyz.ai/))*

## Recommenders and Search Tools

Influence Flower *([What are Influence Flowers?](https://influencemap.cmlab.dev/))*

CORE Recommender *([What is CORE?](https://core.ac.uk/services/recommender))*

## arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? [**Learn more about arXivLabs**](https://info.arxiv.org/labs/index.html).

[Which authors of this paper are endorsers?](https://arxiv.org/auth/show-endorsers/2608.20175) | Disable MathJax ([What is MathJax?](https://info.arxiv.org/help/mathjax.html))