• 大小: 1.76MB
    文件类型: .zip
    金币: 1
    下载: 4 次
    发布日期: 2021-01-04
  • 语言: 其他
  • 标签: sat问题  2进制  

资源简介

华中科技大学计算机学院,程序设计综合课程,基于sat的二进制数独游戏求解程序,包括实验报告,源代码,部分求解结果,程序简单操作手册。

资源截图

代码片段和文件信息

#include 
#include 
#include 
#include 

#define TRUE 1
#define FALSE 0
#define OK 1
#define ERROR 0
#define INFEASTABLE -1
#define OVERFLOW -2

typedef struct lNode{
int l;         //存储文字 
int mark;      //标记该文字是否被删除,初始值为1             
struct lNode *next;         
}lNode*plNode;               //存储一个文字节点
typedef struct cNode{
int l_count;        //存储一个子句的文字个数
int flag;           //记录该子句因为flag而被删除,初始值为0 
int mark;            //标记该子句是否被删除 ,初始值为1 
lNode *firstl;          //指向第一个文字节点 
struct cNode *next;        //指向下一条子句 
}cNode*pcNode;     //子句头节点 
typedef struct cnf{
int varinum;       //变元个数 
int claunum;        //子句个数
cNode *firstc;      //指向第一个子句节点 
}cnf*pcnf;          //一个cnf公式
typedef struct SqList{
int *e

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----
     文件        8192  2020-01-22 23:10  创建子句3main.suo
     目录           0  2020-03-30 09:52  测试结果\
     目录           0  2020-03-30 09:52  测试结果\puzzle\
     文件       87762  2020-03-22 21:17  测试结果\puzzle\BinaryPuzzle10.cnf
     文件        4900  2019-11-28 17:11  测试结果\puzzle\BinaryPuzzle10.pdf
     文件         458  2020-03-22 21:17  测试结果\puzzle\BinaryPuzzle10.res
     文件       87746  2020-03-22 20:42  测试结果\puzzle\BinaryPuzzle2.cnf
     文件        4947  2019-11-28 17:08  测试结果\puzzle\BinaryPuzzle2.pdf
     文件         458  2020-03-22 20:43  测试结果\puzzle\BinaryPuzzle2.res
     文件       87737  2020-03-22 20:44  测试结果\puzzle\BinaryPuzzle3.cnf
     文件        4694  2019-11-28 17:08  测试结果\puzzle\BinaryPuzzle3.pdf
     文件         458  2020-03-22 20:45  测试结果\puzzle\BinaryPuzzle3.res
     文件       87776  2020-03-22 20:53  测试结果\puzzle\BinaryPuzzle4.cnf
     文件        5038  2019-11-28 17:09  测试结果\puzzle\BinaryPuzzle4.pdf
     文件         458  2020-03-22 20:53  测试结果\puzzle\BinaryPuzzle4.res
     文件       87773  2020-03-22 20:55  测试结果\puzzle\BinaryPuzzle5.cnf
     文件        5076  2019-11-28 17:09  测试结果\puzzle\BinaryPuzzle5.pdf
     文件         458  2020-03-22 20:55  测试结果\puzzle\BinaryPuzzle5.res
     文件       87762  2020-03-22 20:58  测试结果\puzzle\BinaryPuzzle6.cnf
     文件        5479  2019-11-28 09:48  测试结果\puzzle\BinaryPuzzle6.pdf
     文件         458  2020-03-22 20:58  测试结果\puzzle\BinaryPuzzle6.res
     文件       87759  2020-03-22 21:00  测试结果\puzzle\BinaryPuzzle7.cnf
     文件        4994  2019-11-28 17:10  测试结果\puzzle\BinaryPuzzle7.pdf
     文件         458  2020-03-22 21:01  测试结果\puzzle\BinaryPuzzle7.res
     文件       87764  2020-03-22 21:03  测试结果\puzzle\BinaryPuzzle8.cnf
     文件        5001  2019-11-28 17:10  测试结果\puzzle\BinaryPuzzle8.pdf
     文件         458  2020-03-22 21:03  测试结果\puzzle\BinaryPuzzle8.res
     文件       87738  2020-03-22 21:15  测试结果\puzzle\BinaryPuzzle9.cnf
     文件        4860  2019-11-28 17:11  测试结果\puzzle\BinaryPuzzle9.pdf
     文件         458  2020-03-22 21:15  测试结果\puzzle\BinaryPuzzle9.res
     文件       87715  2020-03-22 20:40  测试结果\puzzle\BinaryPuzzlev1.cnf
............此处省略82个文件信息

评论

共有 条评论

相关资源