在全互连 CMOS 伊辛求解芯片上求解 3SAT
新兴技术
2026-03-31 v1
摘要
本工作在一款具有全互连的基于 CMOS 的伊辛硬件芯片上求解经典 NP 完全问题 3SAT。本文探讨了从算法到硬件的实际问题。考虑了将 3SAT 问题映射到芯片上的若干自由度——对 3SAT 使用多种伊辛表述;探索将大问题分解为可容纳于伊辛芯片的子问题的多种策略;并在 CMOS 硬件上执行这些子问题序列以获得更大问题的解。这些在软件框架内进行了评估,结果用于确定最有前景的表述与分解技术。随后将这些最佳方法映射到全互连硬件,并在芯片上评估 3SAT 的性能。实验数据显示,所部署的分解与映射策略影响 SAT 解质量:若无我们的方法,该 CMOS 硬件无法在 SATLIB 基准上求得 3SAT 解。
引用
@article{arxiv.2309.11017,
title = {3SAT on an All-to-All-Connected CMOS Ising Solver Chip},
author = {Hüsrev Cılasun and Ziqing Zeng and Ramprasath S and Abhimanyu Kumar and Hao Lo and William Cho and Chris H. Kim and Ulya R. Karpuzcu and Sachin S. Sapatnekar},
journal= {arXiv preprint arXiv:2309.11017},
year = {2026}
}