可满足性问题的充分必要条件.pdfVIP

· 中 西娜科技 可 足 题的 分必要 件 满 性问 充 条 部 成 , 淮 海工 学 院 数理科 毕 系 江 苏 连云 港 。。 , 。 , 摘 , , 可 漪足性 问越足计葬机和人工 智 能硕城 内的一个 妥 的 闷题 足 第一个被证 明足 的 问越 本 丈主要把子 句泉进行分类 给 、 。 出翻转 定 义 两单集定义 , 翻 转 同构 定 义 , 并且证 明翻转 同构不改 变子 句集 的可 润足性 论文证 明 了可 漪足子 句集 的三个 充共 条件 。 并且这 些 充要 条件可 以 用于利 断可 润足问题 的完全搜索和 不完 全搜 索算法 关 询 子 句集 从值 模 简单集 翻 转 翻 转 同构