计算机科学与工程学院实验报告

课程名称		算法设计与分析		班级
实验内容		实验1：图的着色问题		指导教师
姓名	重剑DS		学号	实验日期	2022.04.28

一、问题描述，含输入、输出数据内容、格式

前言：

图着色问题（Graph Coloring Problem, GCP）又称着色问题，是最著名的NP-完全问题之一。NP就是Non-deterministic Polynomial的问题，也即是多项式复杂程度的非确定性问题。而如果任何一个NP问题都能通过一个多项式时间算法转换为某个NP问题，那么这个NP问题就称为NP完全问题（Non-deterministic Polynomial complete problem）。NP完全问题也叫做NPC问题。[2]

数学定义：给定一个无向图G=（V, E），其中V为顶点集合，E为边集合，图着色问题即为将V分为K个颜色组，每个组形成一个独立集，即其中没有相邻的顶点。其优化版本是希望获得最小的K值。

对于任意简单无向图G，判断G的顶点可否3-着色是一个NP完全问题，哪怕G是平面图且每个顶点的度都不大于4。[1]

问题描述：

图的m着色问题.给定无向连通图G和m种颜色，用这些颜色给图的顶点着色，每个顶点一种颜色.如果要求的每条边的两个顶点着不同颜色.给出所有可能的着色方案数量；如果不存在着这样的方案，则回答“No”.

输入数据格式：

第1行有3个正整数n，m和k，表示给定的图G有n个顶点和m条边，k种颜色。顶点编号为1，2，…，n。接下来的m行中，每行有2个正整数u,v，表示图G 的一条边(u,v)。

【输入样例】

5 8 4

1 2

1 3

1 4

2 3

2 4

2 5

3 4

4 5

输出数据格式：

程序运行结束时，将计算出的不同的着色方案数输出。

【输出样例】

二、调试环境介绍

IDE：Dev-C++ 5.4.0

编程语言：C++

三、调试数据及结果(包含指定的调试数据及结果)，有调试界面截图

调试的输入数据：

5 8 4

1 2

1 3

1 4

2 3

2 4

2 5

3 4

4 5

上机输入效果界面截图：

运行结果：

最终运行界面截图：

中间运行过程debug调试截图：

由上图可以看到，找到了第一个可行的染色方案，并且方案被记录在了color数组里

四、算法流程图、算法的时间复杂度和空间复杂度

算法流程图如下图所示：

算法的时间复杂度如下：

图可着色问题的回溯算法的计算时间上界可以通过计算解空间树中内结点个数来估计。

题给的颜色总数为m，总节点数为n，那么图可着色问题的解空间树中内结点个数是mn（我是理解为树有n+1层，即深度为n，然后每层大概有m个分支(除了最后一层)）。

对于每个结点，在最坏情况下，用Check函数检查点的颜色是否满足条件大概需要付出的时间开销为O(n)。因此，回溯法总的时间耗费是O(n*mn)

算法空间复杂度分析如下：

算法的空间复杂度主要来自用于存图的邻接矩阵。

其大小和问题所提供的图的节点数n有关，所以空间复杂度S(n)=O(n2)。

五、实验中遇到的问题及解决方案（10-50字）

中间卡了一段时间，奇怪为什么用上面的输入样例得到的总的方案数总是0，后面发现是自己手误打错了代码（但是看起来运行没有什么问题，因为程序貌似没有崩溃之类的迹象）。错误如下图所示：

六、参考文献（2-5个）

[1] M.R.Garey,D.S.Johnson and L.Stockmeyer, Some simplified

NP-complete graph problems,Theoretical Computer Science(1976)

237-267.

[2] MR Garey，DS Johnson ．Computers and Intractability: A Guide to the Theory of NP-Completeness： W. H. Freeman，1979

附：详细代码

#include <cstdio>#include <iostream>#include <cstdlib>using namespace std;int c[100][100]; //邻接矩阵int color[100];  //记录每个顶点的颜色int count, n, m, k; //count记录方案数 n个顶点 m条边 k种颜色(默认都会初始化为0)int Check(int pos){    //检查第i个顶点的颜色是否满足条件for(int i = 1;i <= pos; i++){if(c[pos][i] == 1 && color[i] == color[pos]) //k与i之间相连并且i顶点的颜色与k顶点的颜色相同return 0;  }  return 1;  }void GraphColor(int step)  {if (step == n+1) {  //表示前面所有的顶点颜色都已经填完//for(int i=1;i<=n;i++) //打印所有的颜色//printf("%d ",color[i]);//printf("\n");count++; //方案数+1return ;} else {for (int i = 1; i <= k; i++) {color[step] = i;   //首先将这个顶点颜色换为iif(Check(step) == 1){  //检查是否符合条件GraphColor(step+1); //符合条件则走下一步}      color[step] = 0;  //回溯 置为0}}}int main(){scanf("%d %d %d",&n,&m,&k);//for(int i=1;i<=n;i++) //邻接矩阵输入形式//for(int j=1;j<=n;j++)//      cin>>c[i][j];for(int i = 0; i < m; i++) {int t1, t2;scanf("%d %d",&t1,&t2);c[t1][t2] = c[t2][t1] = 1;}GraphColor(1);printf("总的方案数为%d个\n",count);  //输出总的方案数量system("pause");return 0;  }

【图的着色问题】算法设计与分析实验1相关推荐

太原理工大学linux与python编程r实验报告_太原理工大学算法设计与分析实验报告...
<太原理工大学算法设计与分析实验报告>由会员分享,可在线阅读,更多相关<太原理工大学算法设计与分析实验报告(12页珍藏版)>请在人人文库网上搜索. 1.本科实验报告课程名称: ...
格雷码算法c语言实验报告,算法设计与分析实验报告
本科生实验报告课程名称:算法设计与分析实验项目:递归和分治算法实验地点:计算机系实验楼110 专业课:物联网1601学生.2016002105 学生姓名:于指导员:郝晓丽 2018年5月4日 ...
C/C++ 算法设计与分析实验报告
算法设计与分析实验报告算法实验整体框架的构建菜单代码块选择函数代码块主函数代码块实验模块Ⅰ:算法分析基础--Fibonacci序列问题实验解析 Fibonacci序列问题代码块实验模块Ⅱ ...
深大算法设计与分析实验二——分治法求最近点对问题
源代码: 深大算法设计与分析实验二--分治法求最近点对问题代码-C/C++文档类资源-CSDN下载目录实验问题一.实验目的: 二.内容: 三.算法思想提示产生不重复的随机点算法: 蛮力算法: ...
算法设计与分析实验指导（完整版）
算法设计与分析实验指导文章目录算法设计与分析实验指导 1. 快速排序及第k小数 1.1 快速排序 1.1.1 Implementation 1 1.1.2 算法特性分析 1.1.3 Improve ...
计算机算法设计与分析动态规划实验报告,动态规划法解最长公共子序列(计算机算法设计与分析实验报告).doc...
动态规划法解最长公共子序列(计算机算法设计与分析实验报告) 实报告实验名称:任课教师::姓名:完成日期:二.主要实验内容及要求: 要求按动态规划法原理求解问题: 要求交互输入两个序列数据: 要求 ...
【图的同构识别】算法设计与分析实验2
计算机科学与工程学院实验报告课程名称算法设计与分析班级实验内容实验2:图的同构识别指导教师姓名重剑DS 学号实验日期 2022.05.19 一.问题描述,含输入.输出数据内容.格式 ...
算法设计与分析实验三回溯法求解地图填色问题
回溯法求解地图填色问题一.实验目的与要求 1.实验基本要求: 2.实验亮点: 二.实验内容与方法三.实验步骤与过程 1.未优化的回溯: (1)算法描述: (2)编程实现 (3)运行并测试: 2.对 ...
算法设计与分析实验四动态规划求解流水线问题
动态规划求解流水线问题一.实验目的与要求 1. 实验目的: 2. 实验亮点: 二.实验内容与方法 1. 实验内容: 2. 实验要求: 三.实验步骤与过程 (一)暴力穷举法 1.算法描述: 2.时间复 ...

【图的着色问题】算法设计与分析实验1