高级检索

    关于简表的并的等价性判定算法研究

    RESEARCH ON AN ALGORITHM TO DECIDE THE EQUIVALENCE OF THE UNION SET OF A SIMPLE TABLE

    • 摘要: 文中提出了简表的概念,详细讨论了容度映射、γ类行、γ-原子变量等的意义和有关理论.在此基础上给出了简表的并的多项式级的等价性判定算法

       

      Abstract: The concept of simple table is presented, and the significance and related theory about the capacity mapping, γ class line, and γ atomic variable are discussed. And then a polynomial time algorithm to decide the equivalence of the union set of a simple table is given.

       

    /

    返回文章
    返回