人工智能课程设计报告n皇后问题解读.docx
《人工智能课程设计报告n皇后问题解读.docx》由会员分享,可在线阅读,更多相关《人工智能课程设计报告n皇后问题解读.docx(26页珍藏版)》请在冰豆网上搜索。
人工智能课程设计报告n皇后问题解读
人工智能课程设计报告
课
班
姓
学
程:
人工智能课程设计报告级:
名:
号:
指导教师:
赵曼
2015年11月
人工智能课程设计报告
人工智能课程设计报告
课程背景
人工智能(ArtificialIntelligence),英文缩写为AI。
它是研究、开发用于模拟、延伸和扩展人的智能的理论、方法、技术及应用系统的一门新的技术科学。
人工智能是计算机科学的一个分支,它企图了解智能的实质,并生产出一种新的能以人类智能相似的方式做出反应的智能机器,该领域的研究包括机器人、语言识别、图像识别、自然语言处理和专家系统等。
人工智能从诞生以来,理论和技术日益成熟,应用领域也不断扩大,可以设想,未来人工智能带来的科技产品,将会是人类智慧的“容器”。
人工智能是对人的意识、思维的信息过程的模拟。
人工智能不是人的智能,但能像人那样思考、也可能超过人的智能。
人工智能是一门极富挑战性的科学,从事这项工作的人必须懂得计算机知识,心理学和哲学。
人工智能是包括十分广泛的科学,它由不同的领域组成,如机器学习,计算机视觉等等,总的说来,人工智能研究的一个主要目标是使机器能够胜任一些通常需要人类智能才能完成的复杂工作。
但不同的时代、不同的人对这种“复杂工作”的理解是不同的。
人工智能是计算机学科的一个分支,二十世纪七十年代以来被称为世界三大尖端技术之一(空间技术、能源技术、人工智能)。
也被认为是二十一世纪三大尖端技术(基因工程、纳米科学、人工智能)之一。
这是因为近三十年来它获得了迅速的发展,在很多学科领域都获得了广泛应用,并取得了丰硕的成果,人工智能已逐步成为一个独立的分支,无论在理论和实践上都已自成一个系统。
人工智能是研究使计算机来模拟人的某些思维过程和智能行为(如学习、推理、思考、规划等)的学科,主要包括计算机实现智能的原理、制造类似于人脑智能的计算机,使计算机能实现更高层次的应用。
人工智能将涉及到计算机科学、心理学、哲学和语言学等学科。
可以说几乎是自然科学和社会科学的所有学科,其范围已远远超出了计算机科学的范畴,人工智能与思维科学的关系是实践和理论的关系,人工智能是处于思维科学的技术应用层次,是它的一个应用分支。
从思维观点看,人工智能不仅限于逻辑思维,要考虑形象思维、灵感思维才能促进人工智能的突破性的发展,数学常被认为是多种学科的基础科学,数学也进入语言、思维领域,人工智能学科也必须借用数学工具,数学不仅在标准逻辑、模糊数学等范围发挥作用,数学进入人工智能学科,它们将互相促进而更快地发展。
-1-
人工智能课程设计报告
题目二:
n皇后问题
一.问题描述
分别用回溯法(递归)、GA算法和CSP的最小冲突法求解n皇后问题。
即如何能够在n×n的国际象棋棋盘上放置n个皇后,使得任何一个皇后都无法直接吃掉其他的皇后?
为了达到此目的,任两个皇后都不能处于同一条横行、纵行或斜线上。
要求:
ⅰ.输入n,并用运行时间比较几种算法在相同规模的问题时的求解效率,并列表给出结果。
ⅱ.比较同一算法在n不相同时的运行时间,分析算法的时间复杂性,并列表给出结果。
如八皇后问题的一个解
二.设计分析
1.算法分析
1)回溯法(递归)
回溯法解题的一般步骤编辑
(1)针对所给问题,定义问题的解空间;
(2)确定易于搜索的解空间结构;
(3)以深度优先方式搜索解空间,并在搜索过程中用剪枝函数避免无效搜索。
引入一个整型一维数组col[]来存放最终结果,col[i]就表示在棋盘第i列、col[i]行有一个皇后,为了使程序再找完了全部解后回到最初位置,设定col[0]的初值为0,即当回溯到第0列时,说明以求得全部解,结束程序运行。
为了方便算法的实现,引入三个整型数组来表示当前列在三个方向上的状态:
-2-
人工智能课程设计报告
a[]a[i]=0表示第i行上还没有皇后;
b[]b[i]=0表示第i列反斜线/上没有皇后;
c[]c[i]=0表示第i列正斜线\上没有皇后。
棋盘中同一反斜线/上的方格的行号与列号相同;同一正斜线\上的方格的行号与列号之差均相同,这就是判断斜线的依据。
初始时,所有行和斜线上都没有皇后,从第1列的第1行配置第一个皇后开始,在第m列,col[m]行放置了一个合理的皇后,准备考察第m+1列时,在数组a[],b[]和c[]中为第m列,col[m]行的位置设定有皇后的标志;当从第m列回溯到m-1列时,并准备调整第m-1列的皇后配置时,清除在数组a[],b[]和c[]对应位置的值都为1来确定。
2)遗传算法
遗传算法的基本运算过程如下:
a)初始化:
设置进化代数计数器t=0,设置最大进化代数T,随机生成M个个体作为初始群体P(0)。
b)个体评价:
计算群体P(t)中各个个体的适应度。
遗传算法
遗传算法
c)选择运算:
将选择算子作用于群体。
选择的目的是把优化的个体直接遗传到下一代或通过配对交叉产生新的个体再遗传到下一代。
选择操作是建立在群体中个体的适应度评估基础上的。
d)交叉运算:
将交叉算子作用于群体。
遗传算法中起核心作用的就是交叉算子。
e)变异运算:
将变异算子作用于群体。
即是对群体中的个体串的某些基因座上的基因值作变动。
群体P(t)经过选择、交叉、变异运算之后得到下一代群体P(t+1)。
f)终止条件判断:
若t=T,则以进化过程中所得到的具有最大适应度个体作为最优解输出,终止计算。
3)csp最小冲突法
(1)初始化N个皇后的一个放置,允许有冲突
(2)考虑某一行的某个皇后,她可能与x个皇后冲突,然后看看将这个皇后移动到这一行的哪个空位能使得与其冲突的皇后个数最少,就移动到那里。
(也可以考虑列,是等价的)
(3)不断执行
(2),直到没有冲突为止
2.数据结构
使用数组结构存储相关数据
一维数组:
-3-
人工智能课程设计报告
二维数组:
3.算法设计
1)//回溯搜索
voidFunction1:
:
DFS(intt,boolisShowTime)
{
if(t==n)//说明已经排了n行了(从0开始的),即排列结束了
{
for(inti=0;i{
rec[i]=board[i];
}
if(!
isShowTime)PrintChessBoard();//输出棋局
count++;
return;
}
for(inti=0;i{
//有冲突
if(ver[i]==1||ru[i-t+n]==1||rd[i+t]==1)continue;//没有冲突
ver[i]=1;
ru[i-t+n]=1;
rd[i+t]=1;
board[t]=i;
DFS(t+1,isShowTime);//深搜递归
-4-
人工智能课程设计报告
//后退处理
rd[i+t]=0;
ru[i-t+n]=0;
ver[i]=0;
}
return;
}
2)遗传算法
voidCGAQueen:
:
PrintChessBoard(boolPrintChessBoard)
{
boolDisplayAllAnsures=PrintChessBoard;//是否输出所有棋盘结果
int
g=0,num=0;
InitialPopulation();
while(g==0&&numIteration)
{
num++;
g=0;
for(intk=0;kPopulation;k++)
{
this->FillArea(k);
this->CostMatrix[k]=this->CostFunc(k);
}
this->PopulationSort();
if(this->CostMatrix[0]==0)//已经完成计算
g=1;
if(DisplayAllAnsures)
{
PrintTheBestAnsure();
/*for(i=0;i<=ChessBoradLenght-1;i++)
{
cout<<"row:
"<
"<ChromosomeMatrix[i][0]<cout<}
this->GenerateCrossOverMatrix();
this->Mating();
this->ApplyMutation();
-5-
人工智能课程设计报告
}
cout<<"实际迭代:
"<if(DisplayAllAnsures)
{
cout<<"最佳答案为:
"<this->PrintTheBestAnsure();
}
}
3)CSP最小冲突算法
//用最小冲突算法调整第row行的皇后的位置(初始化时每行都有一个皇后,调整后仍然在第row行)
//调整过后check一下看看是否已经没有冲突,如果没有冲突(达到终止状态),返回true
boolCSP_Queens:
:
Adjust_row(introw)
{
intcur_col=R[row];
intoptimal_col=cur_col;//最佳列号,设置为当前列,然后更新
//计算总冲突数
intmin_conflict=col[optimal_col]+pdiag[GetP(row,optimal_col)]-1
+cdiag[GetC(row,optimal_col)]-1;//对角线冲突数为当前对角线皇后数减一,三次重叠了//逐个检查第row行的每个位置,看看是否存在冲突数更小的位置
for(inti=0;i{
if(i==cur_col)continue;
intconflict=col[i]+pdiag[GetP(row,i)]+cdiag[GetC(row,i)];
if(conflict{
min_conflict=conflict;
optimal_col=i;
}
}
//如果最佳列位置改变,则皇后移向新的最小冲突位置,要更新col,pdiag,cdiag,
if(optimal_col!
=cur_col)
{
col[cur_col]--;
pdiag[GetP(row,cur_col)]--;
cdiag[GetC(row,cur_col)]--;
-6-
人工智能课程设计报告
col[optimal_col]++;
pdiag[GetP(row,optimal_col)]++;
cdiag[GetC(row,optimal_col)]++;
R[row]=optimal_col;
if(col[cur_col]==1&&col[optimal_col]==1
&&pdiag[GetP(row,optimal_col)]==1&&cdiag[GetC(row,optimal_col)]==1){returnQualify();//qualify相对更耗时,所以只在满足上面基本条件后才检查
}
}
//否则当前点就是最佳点,一切都保持不变
returnfalse;//如果都没变的话,肯定不满足终止条件,否则上一次就应该返回true并终止了
}
//检查冲突
boolCSP_Queens:
:
Qualify()
{
for(inti=0;iif(col[R[i]]!
=1||
pdiag[GetP(i,R[i])]!
=1||
cdiag[GetC(i,R[i])]!
=1){
returnfalse;
}
}
returntrue;
}
//最终用户调用函数,numOfQueens为输入皇后数,PrintChessBoard判断是否输出棋盘表示
intCSP_Queens:
:
CSPAlgorithms(boolPrintChessBord)
{
srand((unsigned)time(NULL));
Init();
if(Qualify()){//运气很好,初始化后就满足终止条件
if(PrintChessBord)Print_result();
return0;
}
boolend=false;
while(!
end){
for(inti=0;iif(Adjust_row(i)){
end=true;
-7-
人工智能课程设计报告
break;
}
}
}
if(PrintChessBord)Print_result();
return0;
}
四.运行结果及分析1.递归算法
-8-
人工智能课程设计报告
2.遗传算法
3.CSP最小冲突算法
-9-
人工智能课程设计报告
4.n=4时不同算法的比较
5.n=8时不同算法比较
结果分析
回溯法在皇后数目较小的,很占优势,它的速度非常的快,但随着皇后数目的增加,回溯法显得很不实用,在n=35时,用回溯法已不能较好的解决n皇后问题。
遗传算法优点是能很好的处理约束,能很好的跳出局部最优,最终得到全局最优解,全局搜索能力强;缺点是收敛较慢,局部搜索能力较弱,运行时间中等,且容易受n值的影响。
遗传算法的运行时间在n很小时没有回溯法快,但是随着n值的增加,遗产算法的优点也就显现出来,它能够解决回溯法不能解决的问题。
CSP最小冲突法是一种始终都比较快的算法,它的运行时间与皇后是个数没有必然的联系,而且在n很大时,它显现出来运行时间短,效率高的优势,但它的缺点是会出现山脊、高原,86%的时间会卡住。
总的来说,CSP最小冲突法较简单,也比较快,在皇后的个数较多时体现出来效率最高,处理多约束大规模问题时往往不能得到较好的解。
-10-
人工智能课程设计报告
总的来说,回溯在n值很小时,效率很高,但其求解范围很小,超过35基本就解不出来,遗传算法求解范围适中。
在n值很大(>100)时,前两者都不能再解决,此时,CSP最小冲突法的效率最高,且与n值没有必然的联系。
总结
通过此次课程实习不仅大大加深了我对几种经典搜索算法的理解,而且帮助我很好的复习了队列、堆栈、图、文件读写这几部分的内容,使我对几种基本的数据结构类型的运用更加熟练。
在解决这些问题的过程中我不但很好的巩固了数据结构的相关知识,而且提高了编程及程序调试能力,增强了自己编程的信心。
总之,在这次课程实习过程中我是实实在在学到了一些课堂上学不到的东西,同时也提高了实践能力。
同时在这个过程中也暴露了自己的不少问题,在今后的学习过程成也会更加有针对性。
最后还要感谢老师的悉心指导,解答我编程过程中的疑问、指出我程序中的不足,及提出可行的解决方法,让我的程序的功能更加完善。
CSP算法源代码:
//CSPAlgorithms.h
#pragmaonce
classCSP_Queens
{
public:
//构造函数,numOfQueens为输入皇后数,
CSP_Queens(intnumOfQueens);
~CSP_Queens();
private:
//row[i]表示当前摆放方式下第i行的皇后数,
int*row;
//col[i]表示当前摆放方式下第i列的皇后冲突数
int*col;
intN;//放置N个皇后在N*N棋盘上
-11-
人工智能课程设计报告
//从左上到右下的对角线上row-col值是相同的,但是这个值有可能是负值,最小为-(N-1),
//所以可以做个偏移,统一加上N-1,这样这个值就在[0,2*N-2]范围内,将这个值作为该对角线的编号
//pdiag[i]表示当前摆放方式下编号为i的对角线上的皇后数
int*pdiag;//principaldiagonal,主对角线,左上到右下(表示和主对角线平行的2N-1条对角线)
//从右上到左下的对角线row+col的值相同,取值范围为[0,2*N-2],2*N-1条,作为对角线编号
//cdiag[i]表示编号为i的对角线上的皇后数
int*cdiag;//counterdiagonal,副对角线
//R[]用来存储皇后放置位置,R[row]=col表示(row,col)处,即“第row行第col列”有个皇后
int*R;
public:
intswap(int&a,int&b);
//给定二维矩阵的一个点坐标,返回其对应的左上到右下的对角线编号
intGetP(introw,intcol);
//给定二维矩阵的一个点坐标,返回其对应的右上到左下的对角线编号
intGetC(introw,intcol);
//返回begin,begin+1,...,end-1这end-begin个数中的随机的一个
-12-
人工智能课程设计报告
intMy_rand(intbegin,intend);//左闭右开[begin,end)
//原地shuffle算法,算法导论中的randomizeinplace算法
voidRandomize(inta[],intbegin,intend);//左闭右开
//初始化皇后的摆放,同时初始化row,col,pdiag,cdiag数组
voidInit();
//用最小冲突算法调整第row行的皇后的位置(初始化时每行都有一个皇后,调整后仍然在第row行)
//调整过后check一下看看是否已经没有冲突,如果没有冲突(达到终止状态),返回true
boolAdjust_row(introw);
boolQualify();
voidPrint_result();
//最终用户调用函数PrintChessBoard判断是否输出棋盘表示
intCSPAlgorithms(boolPrintChessBord);
};
//CSPAlgorithms.cpp
#include"CSPAlgorithms.h"
#include
#include
#include
#include
usingnamespacestd;
CSP_Queens:
:
CSP_Queens(intnumOfQueens)
-13-
人工智能课程设计报告
{
srand((unsigned)time(NULL));
N=numOfQueens;
row=newint[N];
col=newint[N];
pdiag=newint[2*N];
cdiag=newint[2*N];
R=newint[N];
}
CSP_Queens:
:
~CSP_Queens()
{
if(NULL!
=row)delete[]row;
if(NULL!
=col)delete[]col;
if(NULL!
=pdiag)delete[]pdiag;
if(NULL!
=cdiag)delete[]cdiag;
if(NULL!
=R)delete[]R;
}
intCSP_Queens:
:
swap(int&a,int&b)
{
intt=a;a=b;b=t;
return0;
}
//
intCSP_Queens:
:
GetP(introw,intcol)
{
returnrow-col+N-1;
}
intCSP_Queens:
:
GetC(introw,intcol)
{
returnrow+col;
}
//返回begin,begin+1,...,end-1这end-begin个数中的随机的一个
intCSP_Queens:
:
My_rand(intbegin,intend)//左闭右开[begin,end){
returnrand()%(end-begin)+begin;
}
-14-
人工智能课程设计报告
//原地shuffle算法,算法导论中的randomizeinplace算法
voidCSP_Queens:
:
Randomize(inta[],intbegin,intend)//左闭右开{
for(inti=begin;i<=end-2;i++){
intx=My_rand(i,end);
swap(a[i],a[x]);
}
}
//初始化皇后的摆放,同时初始化row,col,pdiag,cdiag数组
voidCSP_Queens:
:
Init()
{
for(inti=0;iR[i]=i;
}
//下面随机抽取调换两行皇后位置
Randomize(R,0,N);//初始化N个皇后对应的R数组为0~N-1的一个排列,//此时即没有任意皇后同列,也没有任何皇后同行
for(inti=0;irow[i]=1;//每行恰好一个皇后
col[i]=0;
}
for(inti=0;i<2*N-1;i++){
pdiag[i]=0;
cdiag[i]=0;
}
//初始化当前棋局的皇后所在位置的各个冲突数
for(inti=0;icol[R[i]]++;
pdiag[GetP(i,R[i])]++;
cdiag[GetC(i,R[i])]++;
}
}
-15-
人工智能课程设计报告
//用最小冲突算法调整第row行的皇后的位置(初始化时每行都有一个皇后,调整后仍然在第row行)
//调整过后check一下看看是否已经没有冲突,如果没有冲突(达到终止状态),返回trueboolCSP_Queens:
:
Adjust_row(introw)
{
intcur_col=R[row];
intoptimal_col=cur_col;//最佳列号,设置为当前列,然后更新
intmin_conflict=col[optimal_col]+pdiag[GetP(row,optimal_col)]-1
+cdiag[GetC(row,optimal_col)]-1;//对角线冲突数为当前对角线皇后数减一
for(inti=0;i