高级检索

    表的等价性的NP完全性的讨论

    DISCUSSION OF NP-COMPLETENESS OF TABLE EQUIVALENCE

    • 摘要: 本文给出了表的等价性判定的一些结果:三元可满足性问题、表达式的NP完全性、表的NP完全性,还给出了函数依赖对表的影响、强等价性的复杂性的一些讨论。为对表的进一步研究指出了方向。

       

      Abstract: In this paper, several results of table equivalence decision are given:3-satisfiability problem, expression NP-completeness, and table NP-completeness. Also given and discussed are an effect of functional dependency on the table and strong equivalence complexity, thus providing the condition for the further study of tables.

       

    /

    返回文章
    返回