如何读取 CNF 文件？
How to read a CNF file?
我正在研究 Dung 制作的论证系统
如何读取这个文件内容？
这是一个 cnf 文件，描述了一个抽象的论证框架
enter image description here
该文件定义了以合取范式编写的布尔表达式。基本上它是由 AND 连接的子句，子句中的每个变量用或运算连接在一起。
文件格式 (.cnf) 的第一行以
开头
p cnf num_variables num_clauses
所以在你的例子中7是变量的数量，12是子句的数量。
然后每行定义一个子句。例如：
(A v B v C) ^ (A v D v E) ^ (B v C v D)
变量个数为5（ABCDE），子句个数为3（AND分隔）
变量索引从 1 开始，每个子句单独一行。每行以 0 结尾，表示子句结束。要表示否定，请在变量前添加“-”（负号）。
p cnf 5 3
1 2 3 0
1 4 5 0
2 3 4 0
我不知道第一行的e是什么
我正在研究 Dung 制作的论证系统 如何读取这个文件内容？ 这是一个 cnf 文件，描述了一个抽象的论证框架
enter image description here
该文件定义了以合取范式编写的布尔表达式。基本上它是由 AND 连接的子句，子句中的每个变量用或运算连接在一起。
文件格式 (.cnf) 的第一行以
开头p cnf num_variables num_clauses
所以在你的例子中7是变量的数量，12是子句的数量。
然后每行定义一个子句。例如：
(A v B v C) ^ (A v D v E) ^ (B v C v D)
变量个数为5（ABCDE），子句个数为3（AND分隔） 变量索引从 1 开始，每个子句单独一行。每行以 0 结尾，表示子句结束。要表示否定，请在变量前添加“-”（负号）。
p cnf 5 3
1 2 3 0
1 4 5 0
2 3 4 0
我不知道第一行的e是什么