---
格式版本: 2
标题: "Exact SAT Solving for the Two-Dimensional Bandwidth Minimization Problem"
原文链接: "https://arxiv.org/abs/2608.18514"
发布日期: "2026-08-19"
发布时间校准状态: "found"
发布时间需复核: "否"
发布时间来源: "rule:local:strict_original_body"
发布时间证据: "**\\[v1\\]** Wed, 19 Aug 2026 04:03:04 UTC (336 KB)"
发布时间校准原因: "规则确认唯一严格发布时间，来源 local:strict_original_body"
发布时间校准置信度: "high"
发布时间候选数量: 18
发布时间严格候选数量: 6
发布时间原页读取状态: "source template page reused from URL open"
发布时间未找到原因: ""
发布时间校准时间: "2026-08-20T15:40:59+08:00"
发布时间仲裁状态: "skipped"
发布时间仲裁尝试次数: 0
发布时间仲裁耗时毫秒: 0
发现时间: "2026-08-20T15:39:49+08:00"
入库时间: "2026-08-20T07:40:59.587Z"
来源平台: "arXiv 学术论文搜索"
搜索渠道: "source_template"
搜索词: "https://arxiv.org/search/?query=bandwidth&searchtype=all"
匹配关键词:
  - "bandwidth"
相关厂家:
  []
相关专家:
  []
内容类型: "网页"
抓取工具: "Free Fetch + Defuddle"
清洗工具: "Defuddle Markdown + Defuddle/Readability 正文提取"
原始附件:
  []
AI优质: "否"
AI打分: 5
AI分档: "非优质"
AI质检状态: "不通过"
AI打分理由: "论文主题为两维带宽最小化问题的SAT求解，属于计算机科学离散数学方向，与超节点/AI Rack/AI基础设施及核心关键词完全无关，亦无任何商业部署信号。"
AI质检模型: "ali-deepseek-v4-flash"
AI质检时间: "2026-08-20T15:46:16+08:00"
AI主题相关性: 0
AI来源权威性: 5
AI新颖性: 0
AI技术细节: 0
AI商业部署信号: 0
AI完整性: 0
AI摘要: "针对二维带宽最小化问题，作者提出一种基于SAT的精确求解方法，通过递增搜索最小可行带宽并以可满足性和不可满足性结果证明最优性。"
AI摘要模型: "ali-deepseek-v4-flash"
AI摘要时间: "2026-09-07T03:19:34.521Z"
采集批次: "2026年8月20日14点19分32秒"
采集批次ID: "20260820-141932-079"
去重键: "https://arxiv.org/abs/2608.18514"
---

## Computer Science > Logic in Computer Science

## Title:Exact SAT Solving for the Two-Dimensional Bandwidth Minimization Problem

Authors:[Pham Quang Minh](https://arxiv.org/search/cs?searchtype=author&query=Minh,+P+Q), [Dao Xuan Nghia](https://arxiv.org/search/cs?searchtype=author&query=Nghia,+D+X), [To Van Khanh](https://arxiv.org/search/cs?searchtype=author&query=Van+Khanh,+T)

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

> Abstract:The two-dimensional bandwidth minimization problem (2DBMP) seeks an injective embedding of a guest graph into a square grid that minimizes the maximum Manhattan distance over its edges. Heuristic methods can provide strong upper bounds, but these bounds do not by themselves certify optimality. We present an efficient exact SAT-based approach for 2DBMP that incrementally searches for the minimum feasible bandwidth and certifies optimality through satisfiability and unsatisfiability results. On the standard $\lceil\sqrt n\rceil \times \lceil\sqrt n\rceil$ host grid, under a 3600 s time limit, the proposed SAT approach certifies optimal bandwidths for 41 of 43 Regular instances and 42 of 93 Harwell--Boeing instances, achieving substantially broader optimality certification within the 3600 s time limit than a previous exact approach evaluated with a 72-hour time limit. In addition, it certifies three bandwidth values that improve all previously published comparison values considered in this study and establishes all three as optimal. We further evaluate the approach on alternative host geometries, namely $2\times\lceil n/2\rceil$ and $n\times n$ grids, to assess its effectiveness beyond the standard host. Overall, the results demonstrate that the proposed SAT approach provides an effective exact method for the small- and medium-sized benchmark instances considered in this study, with fewer than 400 vertices, while heuristic methods remain important for larger and more challenging instances.

| Comments: |  |
| --- | --- |
| Subjects: | Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO) |
| Cite as: | [arXiv:2608.18514](https://arxiv.org/abs/2608.18514) \[cs.LO\] |
|  | (or [arXiv:2608.18514v1](https://arxiv.org/abs/2608.18514v1) \[cs.LO\] for this version) |
|  | [https://doi.org/10.48550/arXiv.2608.18514](https://doi.org/10.48550/arXiv.2608.18514) |

## Submission history

From: Nghia Dao Xuan \[[view email](https://arxiv.org/show-email/a2e41951/2608.18514)\]  
**\[v1\]** Wed, 19 Aug 2026 04:03:04 UTC (336 KB)

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