恩德雷·博罗斯;弗拉基米尔·古尔维奇;列奥尼德·哈奇扬;牧野和久 对偶有界生成问题:超图的部分横截和多重横截。 (英语) Zbl 0980.68077号 SIAM J.计算。 30,第6号,2036-2050(2001). 摘要:我们考虑横截概念对有限超图的两个推广,即所谓的多重横截和部分横截。0-1编程中自然会出现多个横切,而部分横切与数据挖掘和机器学习有关。我们证明了对于任意超图,在相应的对偶超图的大小由输入超图的基数和描述长度的多项式所限定的意义上,多重横截族和部分横截族都是对偶的。我们的边界是基于极值集理论和阈值布尔逻辑的新不等式,它们可能是独立的。我们还证明了一个给定超图的所有多重横截和所有部分横截的生成问题在多项式时间上可以简化为另一个超图的全部普通横截的产生问题,即众所周知的超图的对偶问题。作为推论,我们获得了上述两个问题的增量拟多项式时间算法,以及任意单调线性不等式组的所有最小二元解的生成。 引用于1审查引用于19文件 MSC公司: 68卢比 计算机科学中的组合数学 68问题32 计算学习理论 65年第68季度 算法和问题复杂性分析 关键词:横向的;独立集;超图;二元化;单调布尔函数;增量多项式时间;阈值函数;数据挖掘;最大频繁集;最小不频繁集 PDF格式BibTeX公司 XML格式引用 \textit{E.Boros}等人,SIAM J.Compute。30,编号62036-2050(2001年;Zbl 0980.68077) 全文: 内政部