局部搜索源代码

【文件属性】：

文件名称：局部搜索源代码

文件大小：4KB

文件格式：DOC

更新时间：2015-12-26 14:36:06

局部搜索

运用局部搜索算法求解SAT问题 int **arr; //描述SAT问题的二维数组 int Var_Num; //变元个数 int Clause_Num; //子句个数 ifstream fin; ofstream fout; void Random(int *v, int *s); int Proper_Num(int *s); void Reverse(int *v,int *s, int num); void Local_Search(double &duration;); void Read_And_Save(int it);