一种高效的启发式方法，结合最大项集和面积测量压缩庞大表约束

Mar, 2022

一种高效的启发式方法，结合最大项集和面积测量压缩庞大表约束

An efficient heuristic approach combining maximal itemsets and area measure for compressing voluminous table constraints

PDF

Soufia Bennai, Kamala Amroun, Samir Loudni, Abdelkader Ouali

TL;DR本研究提出了一种基于极大频繁项目集技术和面积测量的新方法，用于枚举对压缩表约束相关的最大频繁项集，结果显示该方法在压缩和解决压缩表约束上具有有效性和高效性。

Abstract

constraint programming is a powerful paradigm to model and solve combinatorial problems. While there are many kinds of constraints, the table constraint is perhaps the most significant-being the most well-studied and has the ability to encode any other constraints defined on finite var

constraint programming table constraint compression maximal frequent itemsets efficiency

发现论文，激发创造

约束模型中的自动制表

该论文研究 Constraint Model 的性能如何通过将子问题转换为单个表约束来提高，提出了识别有前途的候选子问题的启发式方法，并自动将它们转换为表约束。在 Savile Row 约束建模工具中，完全自动地发现有前途的子问题并将其制表以避免多次制表。通过表述约束表达式的简单算法，我们对早期的制表工作中使用的基准问题表现出良好的表现，对于一些新的问题类别也表现出良好的效果。在某些情况下，完全自动的过程导致求解器性能增长数个数量级。

Feb, 2022

使用约束编程的高效频繁序列挖掘算法

通过数据挖掘和约束编程技术，改进了序列模式挖掘中计算问题的模块，使用可通用的约束求解器，加快了计算速度并提高了挖掘效率。

Apr, 2016

通过弱约束的基数优化解决集合优化问题 -- 以论辩为例

这篇论文提出了一种在人工智能领域中常见的、寻找子集最优解的方法，该方法利用基数最优解和子集最优解之间的关系，结合最大可满足性 (MaxSAT) 或答案集编程 (ASP) 等语言特定的限制构造来迭代计算。作者还以抽象论证框架的优先扩展计算为例来演示该方法的应用。

Dec, 2016

分而治之：约束满足问题的通用方法

介绍一种用几何模型来解决多约束条件优化问题的方法，并在布尔可满足性问题和球体堆积问题两个基准测试中说明了其有效性和竞争性。

Dec, 2007

样本压缩的几何方法

本文通过对有限最大概念类的压缩的几何系统性研究，证明了 Piecewise-Linear 超平面排列能够通过等高线法压缩任意有限最大类，从而证明了 Kuzmin 和 Warmuth 的猜想，并说明了一些 d - 最大化类无法嵌入到 VC 维度为 d+k 的任何最大类中。