文件名称：reduction-to-CNF-SAT:将单色三角形问题减少到CNF
文件大小：4KB
文件格式：ZIP
更新时间：2024-04-27 02:35:56
Python
CS3600项目2021年冬季，第0056-科洛科洛娃博士 作者：约翰·亚历山大·阿科斯·门德斯（Johan Alexander Arcos Mendez） 使用的SAT解算器：PySAT 随机实例生成器模块 以邻接形式创建随机的UNDIRECTED GRAPH。 例如{{1“：[2,3,4]，” 2“：[3,4] ...，} 注意：键是str，值数组是ints GraphGenerator.py返回随机创建的邻接矩阵•其中[i] [j] = 1 v 0指示是否存在连接顶点i和j的边。 笔记 逻辑设置矩阵，以便不允许循环。 单色三角模块 •解决问题。 主模块 控制程序流程。 怎么跑？ python RamdonGraphGenerator.py
【文件预览】：
reduction-to-CNF-SAT-master
----randomInstance.json(83B)
----RandomGraphGenerator.py(2KB)
----README.md(673B)
----MonochromaticTriangle.py(4KB)
----Main.py(570B)
----instance.cnf(78B)