图着色--非递归实现

图着色递归版，请移步http://blog.csdn.net/jiangxi756/article/details/21338619。

通过前面的递归办很容易验证当前代码是否正确。

不管是迭代版还是非迭代版本。俩者都是通过递归树来转化。理解好递归树是问题的关键。

递归树的的树枝个人认为是行为，而节点是来着行为的结果。

对于非递归版本，需找到

1 退出条件

2 选用满足要求的情况，进入下一行为

3 得到结果进行下一节点的条件检查！（1 继续下一节点遍历 2 达到树底 3 当前层分支情况都遍历完，需回溯！并且1,2可归在一起，3为另一种情况.)

以上的步骤均在代码中有标注！

以上分析均个人分析，写代码的经验总结。如有不妥欢迎留言。谢谢。

#include <iostream>using namespace std;//图的描述邻接矩阵bool is_ok(int A[][4],int n,int level,int c[]);int trace_back(int A[][4],int n,int level,int c[],int m,int &total);int color_graph(int A[][4],int n,int c[],int m);bool is_ok(int A[][4],int n,int level,int c[]);int main(){int A[4][4]={{0,1,1 ,0},{1,0,1,1},{1,1,0,1},{0,1,1,0}};int c[4]={0,0,0,0};int count(0);int m_color;char control_c;//获取最优解for(int count_i = 1;count_i <= 4;count_i++){m_color = count_i;count = color_graph(A,4,c,m_color);if (count > 0){cout<< "find the least color num！"<<endl;cout<< "color num:"<<m_color<<endl;break;}}cout<<"---------------------------"<<endl;//以下用于验证do{count = 0;m_color = 0;cout<<"color num:";cin>>m_color;count = color_graph(A,4,c,m_color);cout<<"total:"<<count<<endl;cout<<"y?n :";cin>>control_c;}while (control_c != 'n' && control_c != 'N');return 1;}bool is_ok(int A[][4],int n,int level,int c[]){for (int i = 0;i < n;i++ ){if (A[level][i] == 1&& c[i] ==c[level] )//邻接点颜色相同为假{return false;}}return true;}// m为颜色种数int color_graph(int A[][4],int n,int c[],int m){//初始化相应的变量，最忌讳未初始化就用--，++操作，结果未定义int level(0);int total(0);while(level >= 0)//1 退出条件{c[level] = c[level] + 1;//先选一种颜色for (;c[level] <= m ; c[level]++)//2 行为{if (is_ok(A,n,level,c))break;//合适就不用继续选颜色，直接退出否则，继续遍历的试。 }// 以上是选择一个合适的颜色//3 下面则是选择颜色后，就选择的节点做相应的下一步操作if(c[level] <= m)//表示仍有可选的颜色{//表示每个节点均与遍历if(level == n-1)//注意下标！{total++;for(int i = 0; i < n;i++){cout<<"  "<<c[i]<<" ";}cout<<endl;}else//节点未遍历完{level++;//继续下一个节点}}else//大于可供选择的颜色则需回溯{c[level] = 0;//清除以前的痕迹，为回溯准备level--;}}return total;}