文件名称：Boolean-Satisfiability
文件大小：9KB
文件格式：ZIP
更新时间：2024-05-26 16:09:38
Java
布尔可满足性 该程序的价值是正常金额（6％）的两倍，并且您无需实施固定的算法。 您的工作是考虑问题，考虑一些策略并提出最佳解决方案。 有许多相当不错的已知方法（Davis和Putnam，Chaff，Grasp等）。 NP-Complete是您在现实世界中会遇到的许多问题。 您将需要使用启发式。 您将需要变得聪明。 您将需要开发自己的解决方案。 并非生活中的所有内容都只是谷歌搜索以获取源代码，还是让朋友为您编写它。 输入文件将是3-CNF可满足性问题。 第一行将告诉您变量的数量和子句的数量。 其余各行将告诉您每个子句中的变量。 变量从1到n编号（注意-我们从1开始）。 变量的“ true”值为正，“ false”版本为负。 例如，如果我们有一个子句和三个变量（我们将分别称为A，B和C）的问题，则问题可能是“（A +！B +！C）”。 如果A为true，或者B或C为false，则该方程式的计算
【文件预览】：
Boolean-Satisfiability-master
----README.md(3KB)
----sat6.txt(10KB)
----sat1.txt(12B)
----sat4.txt(162B)
----sat3.txt(76B)
----sat2.txt(64B)
----sat5.txt(1013B)
----p09.java(3KB)