局部搜索源代码

运用局部搜索算法求解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);