- 背包问题:连通性、路径和最短路径
我们研究了具有图论约束的背包问题,证明了该问题是 NP 完全问题,并提出了一个在多项式时间内运行的算法以及一个近似算法。
- AAAI优化 AUC 是否划算?
通过提出一种高效的算法 AUC-opt 来寻找证明最优 AUC 的线性分类器,并且证明问题在一定条件下是 NP 完全的;此算法在实验中证明相较于其他方法有所改善,但在大多数测试数据中表现并不如标准分类器。
- AISYN: 基于强化学习的人工智能逻辑综合框架
通过应用强化学习算法,可以更好地解决逻辑综合中的局部最小值问题,从而实现对细胞面积等重要指标的显著优化。
- 超越计算复杂度的试错动态行为与智能
本文旨在探讨计算机科学中的计算复杂性问题,提出了智能科学的思路和方法,运用试错和动态搜索的框架将 NP 完备问题 Number Partition Problem 作为案例进行讨论。
- 逐步语义的攻击关系推断
本文研究了用加权论证框架实现逐步语义分析,并考虑了攻击推断问题。我们发现,在加权 h-categoriser 模型和 基于基数的模型中,判断攻击方案是否存在的决策问题是 NP 完全的,而在加权最大值模型中是多项式的。我们还研究了如何找到攻击 - AAAI关于幸福多样性博弈中个体稳定性的研究
本文研究了群体合作中的多样性、冲突和联盟选择问题,在研究中使用了 hedonic diversity games 模型,并探讨了该模型在不同情况下的稳定性及计算复杂度,并且将该模型拓展至 k>2 的情况下
- IJCAI肾脏交换中的手术框架与俱乐部
研究旨在通过在肾脏捐献中引入非指定捐献者和器官俱乐部的概念,从而改善社会福利。作者还提出了运营框架的概念,用于这些新型器官交易的市场清算问题,并证明了这种模型的不可计算性质。
- CSP 二分猜想的证明
该论文研究了基于约束满足问题的自然组合问题如何表达的问题,分类了可在多项式时间内解决和 NP 完全的子类,并从约束语言的角度提出了一个算法来解决约束满足问题。
- 列子集选择是 NP 完备问题
本研究探讨了矩阵 CSSP 问题在数字线性代数中的应用和算法复杂度,并证明了其为 NP 完全问题。
- 关于使得寻找获胜者困难的确实遗漏信息量
论文考虑了具有不完整信息的选举情景,研究了在该情境下如何确定一名可能赢家,发现了有些评选规则下,即使每个选民只有至多一个未决定的选择,也存在最小未决对数使得可能赢家问题为 NP 难题。
- 顺序分配操作的复杂性
该研究通过一个示例,证明了 Bouveret 和 Lang(2014)提出的计算最佳响应的算法在某些情况下无法正确找到最佳响应,并证明了计算最佳响应是一个 NP 完全问题。然而,对于两个 agent 的情况,Bouveret 和 Lang( - 系统发育约束满足问题的复杂性
本文系统研究了系统地计算计算群体重建的广泛范围复杂性问题。研究的问题可以描述为约束满足问题,其中约束对根三元组关系具有一阶定义。作者证明了每个此类计算群体重建问题可以在多项式时间内解决或为 NP 完全问题,并提出了通用的多项式时间算法解决根 - 许多 NP 问题的 Ising 形式
本研究提供了 Ising 公式,可应用于许多 NP 完全问题和 NP 困难问题,包括 Karp 的 21 个 NP 完全问题,每种情况下,所需自旋数最多是问题大小的立方量级,该研究对于设计绝热量子优化算法可能会有帮助。
- MAP 复杂性结果和近似方法
本文研究了贝叶斯网络中最可信赖实例化的计算问题,证明在多种情形下该问题为 NP 完全问题,在多叉树限制下也难以有效近似,采用置信传播的局部搜索方法可提供较准确的估计。
- 计算非负矩阵分解 - 可证明的
该研究论文旨在研究非负矩阵分解问题,提出适用于每个常数 r 的精确和近似 NMF 的多项式时间算法,同时在 3-SAT 子指数时间算法假设下展示了精确 NMF 的难度证明,并提供了一个可以运行在 n,m 和 r 的多项式时间内的算法,该算法 - 具有简单因果图的规划问题的复杂性
本研究针对具有简单因果图的规划问题进行了三个新的复杂度结果研究。其中,针对具有二元状态变量和有向无环因果图的 3S 问题,我们提出了可用宏实现多项式时间复杂度的规划算法;同时,我们证明了具有多值变量和链式因果图的规划问题的方案存在问题为 N - 在纯计分规则下实现可能获胜方问题的完全分离
本研究探讨了在选民偏好只有局部指定的选举中,给定一位指定候选人是否能通过合适地扩展所有选票成为赢家的可能赢家问题,并证明了对于未加权选民和无限数量候选人的纯计分规则,在除多数派、否决票和表示为向量(2,1,...,1,0)的计分规则外,所有 - 基于记分规则的选举中可能获胜者问题的二分研究
本文探讨了得票规则定义的广泛类别下的可能获胜者问题的计算复杂度,发现对于除了多数制、否决制和得分向量为(2,1,...,1,0)的所有纯得分规则外,所有但一个规则在无限数量的候选人和未加权投票者情况下是 NP 完全的,而他们可以通过多数制和 - 硬优化问题的统计物理学
通过采用玻璃体系的空腔方法,我们在随机可满足性和随机图着色问题中,探讨困难问题的算法性质以及所谓的冻结变量的存在与问题的难度之间的关系,从而引入一个新的 “锁定” 约束满足问题的类别。
- 论决策 STIT 理论的替代公理化方法与复杂性
本文提出了两种对 Chellas STIT 理论中 Xu 公理化方法的替代方案,并建议可以通过代理模式的操作来消除历史必然性运算符,从而得到更简化的公理化方法,最后证明了单一和多智能体情况下,STIT 公式的可满足性判定问题分别属于 NP