在二次对数空间中判定单调对偶性与识别频繁项集

Georg Gottlob

在二次对数空间中判定单调对偶性与识别频繁项集

数据结构与算法 2013-08-23 v3 人工智能计算复杂性数据库

作者: Georg Gottlob

摘要

单调对偶问题定义如下：给定两个以无冗余析取范式表示的单调公式 f 和 g，判定 f 和 g 是否对偶。该问题等同于超图的对偶性测试，即检查一个超图 H 是否恰好由一个简单超图 G 的所有极小横贯组成。通过利用 Boros 和 Makino（ICALP 2009）最近提出的问题分解方法，我们证明超图的对偶性测试，从而单调析取范式的对偶性测试，可在 DSPACE[log^2 n] 即二次对数空间中实现。由于单调对偶问题等价于数据库、数据挖掘和知识发现领域中的若干问题，本文给出的结果也为这些问题带来了新的复杂性结果。例如，从我们的结果可以推出，只要对于一个布尔值关系（其属性代表项），已知若干极大频繁项集和若干极小非频繁项集，就可以在二次对数空间中判定是否存在额外的频繁或非频繁项集。

关键词

单调对偶性超图对偶性测试二次对数空间频繁项集析取范式公式极小横贯数据挖掘复杂性

引用

@article{arxiv.1212.1881,
  title  = {Deciding Monotone Duality and Identifying Frequent Itemsets in Quadratic Logspace},
  author = {Georg Gottlob},
  journal= {arXiv preprint arXiv:1212.1881},
  year   = {2013}
}

备注

Preprint of a paper which appeared in: Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013, New York, NY,USA, June 22-27,2013, pp.25-36

在二次对数空间中判定单调对偶性与识别频繁项集

摘要

关键词

引用

备注

相关论文