On ultrafilters and NP

Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory Pub Date : 1994-06-28 DOI:10.1109/SCT.1994.315813

S. Ben-David, M. Karchmer, E. Kushilevitz

引用次数: 2

Abstract

The fusion method (A. Wigderson, 1993) is developed by exploring its similarities with the ultraproduct construction in model theory. We use this analogy to re-prove a result of M. Sipser (1984) regarding countable circuits, in a simpler way. In the finite case this analogy allows us to give a new characterization of co-NP in terms of the CLIQUE function. This gives a natural interpretation to the NP-completeness of the CLIQUE function.<>

查看原文本刊更多论文

关于超滤和NP

融合方法(A. Wigderson, 1993)是通过探索其与模型理论中的超积构造的相似性而发展起来的。我们用这个类比以一种更简单的方式来重新证明M. Sipser(1984)关于可数电路的一个结果。在有限的情况下，这个类比允许我们用CLIQUE函数给出co-NP的一个新的表征。这就对CLIQUE函数的np完备性给出了一个自然的解释

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory

自引率

0.00%

发文量