电路SAT
SAT
最大SAT
整数线性规划ILP
0-1整数规划
吝啬SAT
3-SAT
K-SAT
顶点覆盖
独立集
分团问题Clique
稀疏子图
稠密子图
Set packing
最小顶点覆盖问题
集合覆盖问题
Feedback node set
Feedback arc set
有向哈密顿环
无向哈密顿环
碰撞集
图着色问题
分团覆盖问题
精确覆盖问题
背包问题
斯坦纳树问题
划分问题
工作定序
最大割
3D匹配问题
ZOE
子集和
Rudrata环路搜索问题
Rudrata(s,t)-路径问题
旅行商问题
子图同构
最长路径问题
K生成树问题
可靠网络问题