论文看的比较杂，但是好像也不算特别多，这里按照大主题进行分类：

组合优化#

组合优化是运筹学的一个核心分支，其目标是：从一个有限的候选对象集合中，找出一个满足给定条件且使某个目标函数达到最优（最大或最小）的解。

我主要阅读的基本都是图论上的组合优化问题，例如最大团，最大割，最小支配集等等，但在这个分类中我没有把阅读笔记放上来，可以参考 我在讨论班的 Slides

约束求解#

约束求解问题就是在一组给定的约束条件下，为一个或多个变量寻找一个赋值，使得所有约束条件同时被满足。

约束求解的主题很多，我主要阅读的文章领域为：

SAT#

Satisfiability（布尔可满足性问题），简称 SAT，是计算机科学中的一个基本问题，属于 NP 完全问题。其核心是判断一个给定的布尔逻辑公式是否存在一组变量赋值，使得整个公式的值为真。

简单来说，就是给定一系列由“与”、“或”、“非”连接的条件（子句），判断是否存在一种方式给所有变量赋值（真或假），让所有条件同时成立。如果存在，则该公式是可满足的；否则，是不可满足的。

由于其 NP 完全性，SAT 问题在理论上是计算困难的，但现代高效的 SAT 求解器 已经能够处理包含数百万变量的实际问题。

SAT 相关内容可以通过 #研究/SAT 查找；教程收在 SAT 笔记，论文阅读笔记也按 #研究/ 标签归档。

PB 与 ILP#

ILP（整数线性规划）问题是线性规划（LP）的一个特例。在 LP 中，目标函数和约束条件都是线性的，但决策变量可以取连续值。而在 ILP 中，要求所有决策变量必须取整数值（如 0, 1, 2...）。

而 Pseudo Boolean（伪布尔）问题是一个特殊的 ILP 问题，其所有的决策变量只能为 0/1，因此也被称为 0-1 整数规划问题

我对于 PB 问题（及其优化版本 PBO 问题）阅读的文章可能更多一点，可以参考 #研究/PB 与 #研究/PBO

SMT#

SMT 问题，即可满足性模理论，SMT 不仅判断一个由逻辑符号（如 AND, OR, NOT）组成的逻辑公式是否可满足，还允许公式包含来自特定背景理论的谓词。这些理论包括实数/整数算术、数组、位向量、未解释函数等。例如，一个 SMT 求解器可以判断公式 (x + y > 5) AND (x < 3) 是否存在实数解。

我对 SMT 的求解技术并不了解，只阅读过几篇文章，可以在 #研究/SMT 中找到

LLM#

这两年的 LLM 开始火起来之后也读过一些文章，但由于发展的太快，我目前的知识结构感觉以及有一些跟不上了（

具体可以参考 #研究/LLM

量子#

量子这里其实我也还没有入门，只是简单的看了看两篇量子+组合优化的论文，可以在 #研究/量子算法 中找到对应的论文

其他#

还有一些不算是现在看的文章，不过也写了一些笔记，就放在这里吧

• #研究/ML-Sys