文件名称: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
(系统自动生成,下载前可以参看下载内容)
下载文件列表
sat.cpp