1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 外语学习
  5. 雅思

2-SAT问题及其在网络流与匹配中应用.pdfVIP

  • 1
  • 0
  • 约5.19千字
  • 约 3页
  • 2026-03-31 发布于北京
  • 举报

2-SAT问题及其在网络流与匹配中应用.pdf

    SAT问题

    什么是SAT问题？

    设有X,X,…,X共n个逻辑变量，每个变量X有1和0两种取值。

    12ni

    给定m个约束条件Ci，每个约束条件为有限个逻辑变量（或其非¬）的或（∨）式。

    例如：CX∨X∨¬X∨X是一个合法的约束条件。

    11345

    判断是否存在一种对X,X,…,X的取值，满足所有的约束条件。

    12n

    即：C∧C∧…∧C=1

    12m

    这个问题称为可满足性问题（SATISFIBILITY），简称SAT问题。

    若令|Ci|表示第i个约束条件中的逻辑变量个数，K=max{|Ci|,i=1,2,…,m}。则此

    问题又可以称为

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >