目录
相关
  1. 压缩是消除子句中文字冗余的一种重要类型,除对这种类型的问题的可判定性以及复杂性结果进行讨论外,本文还给出了压缩问题的一个子问题的多项式算法