关于简表的并的等价性判定算法研究
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.
下载: