reduction-to-CNF-SAT:将单色三角形问题减少到CNF

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