搜索资源列表
Project
- C 语言开发的日历（课程设计很不错的） Month:123/1 --- --- --- Sun Mon Tue Wed Thu Fri Sat 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
用c++实现2cnf-sat问题的图形解决方法
- 2cnf-sat问题用c++实现的图形解决方法,2cnf-sat problems using c++ Achieve graphical solution
sat
- 对于给定的带权 3-CNF，设计一个蒙特卡罗算法，使其权值之和尽可能大。此程序可以解决这个问题-For a given weighted 3-CNF, a Monte Carlo algorithm designed to make the right value, and as large as possible. This program can solve this problem
Paradox
- SAT-2 solution by Tarjan Algorithm / problem from spoj
test2
- 福尔摩斯到某古堡探险，看到门上写着一个奇怪的算式： ABCDE * ? = EDCBA 他对华生说：“ABCDE应该代表不同的数字，问号也代表某个数字！” 华生：“我猜也是！” 于是，两人沉默了好久，还是没有算出合适的结果来。 请你利用计算机的优势，找到破解的答案。 把 ABCDE 所代表的数字写出来。 答案写在“解答.txt”中，不要写在这里！-Sherlock Holmes adventure to a ca
minisat
- SAT Solver. Accepts CNF file as input and returns SATISFIABLE and the respective answer, or UNSATISFIABLE
3SAT(SA)
- 使用模拟退火算法（SA）解决3-SAT问题，程序中有详细注释，采用文件方式输入输出，数据规模可在程序中修改。-Using simulated annealing algorithm (SA) to solve the 3-SAT problem, the program has detailed notes, the use of input and output files, data scale can be modified in the program.