文件名称: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
本网站为编程资源及源代码搜集、介绍的搜索网站,版权归原作者所有! 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.