- 博客(0)
- 资源 (11)
- 收藏
- 关注
局部搜索源代码
运用局部搜索算法求解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);
2012-12-05
最完美的OpenGL
最新、最全的OpenGL库,利用OpenGL可绘制三维图形,二维图形就更不在话下。它是一个标准的计算机图形学所使用的数学模型到显示的接口,并独立于硬件设备和操作系统。
2011-03-05
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人