机构名称：
¥ 1.0
大量具有重大社会、经济和科学意义的现实问题都可以表示为组合优化任务。组合优化方面的进步使得运输系统、供应链、资源管理等更加高效 [1、2、3、4、5]。在本文中，我们考虑经典的最大 2-可满足性（MAX-2-SAT）问题 [6]，该问题在调度或资源分配任务中普遍存在，这只是其中的一些应用 [7]。假设给定一组 N 个二进制变量 x = (x1, x2, ..., xN) 和一组 C 个约束（或子句），每个子句有两个变量，它们形成布尔公式 F(x)。我们的目标是为每个变量 xi 分配一个二进制值，使得最大数量的子句得到满足。我们考虑的布尔公式 F(x) 采用合取范式，由子句的合取（逻辑与）组成，其中每个子句都是文字的析取（逻辑或）。例如，公式
Lightsolver 挑战领先的深度学习求解器来解决 Max-2-SAT 问题
主要关键词
相关文件推荐
