For the subclasses MAX and MARG of minimal unsatisfiable formulas, we show that the variable and literal renaming problems are equivalent to the graph isomorphism problem GI.

  • 对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI。

  • 互联网摘选 2025-01-19 22:15:41

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句