Cyclic Antibandwidth Labeling

新的基于SAT的框架解决了图标记问题

研究人员引入了一个新的框架来解决最小跨度反带宽和循环反带宽标记（MSABL/MSCABL）问题。这些问题是图标记任务的变体，侧重于最小化标记的跨度同时保持相邻顶点之间的最小距离。提出的方法利用基于布尔可满足性（SAT）的方法，将问题分解为一系列决策问题，并利用单调性来加速搜索。该研究还探讨了并行和增量SAT求解策略，证明了它们在基准实例上相对于CPLEXCP、CPLEXMIP和Gurobi等成熟求解器的有效性和竞争力。