C语言验证四色定理并输出所有染色方案

最新推荐文章于 2023-11-14 21:11:48 发布
最新推荐文章于 2023-11-14 21:11:48 发布
阅读量497 收藏 3
点赞数
分类专栏： 考研数据结构真题 数据结构习题 文章标签： c语言 算法 数据结构
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_41829337/article/details/126277120
版权
题目

在这里插入图片描述

思路
  1. 首先对一个多边形进行着色，着色后判断是否满足要求，如果满足要求则继续对其他多边形进行着色
  2. 如果不满足要求则撤销当前着色并回溯，采用其他着色方案
  3. 递归如此，直到地图全部着色完成
验证四色定理
	/*
	文件组织方式
	5 8      //5个顶点，8条无向边
	ABCDE    //顶点
	AB       //边
	AC    
	AD
	CD
	CE
	CB
	DE
	BE
	*/
	#include<stdio.h>
	#include<stdlib.h>
	
	/* 宏定义 */
	#define MAX_VERTEX_NUM 20	  //最大顶点个数 
	
	/*定义地图可染的颜色*/
	typedef enum{ None, Red, Green, Blue, Yellow }GraphColor;	//无-0，红-1、绿-2、蓝-3、黄-4
		
	/*表结点*/
	typedef struct ArcNode{
		int adjvex;				  //顶点序号 
		struct ArcNode *nextarc;  //指向下一条弧的指针 
	}ArcNode;
	
	/*头结点*/
	typedef char VertexType;  //图顶点类型 
	typedef struct VNode{
		VertexType data;	  //顶点信息
		ArcNode *firstarc;
		int color;            //该顶点的颜色
	}VNode, AdjList[MAX_VERTEX_NUM+1];
	
	/*图（邻接表）的存储表示*/
	typedef struct{
		AdjList vertices;	 //邻接表
		int vexnum,	arcnum;	 //图的当前顶点数和弧数
	}ALGraph;
	
	/*寻找顶点u在vertices中对应的位置*/
	int LocateVex_AL(ALGraph G, VertexType u){
		int i;
		for(i=1; i<=G.vexnum; i++){
			if(G.vertices[i].data==u)
				return i;
		}
		return 0;
	}
	
	/*创建无向图*/
	int CreateUDG(FILE *fp, ALGraph *G){
		int i, j, k;
		VertexType v1, v2;
		char tmp;
		ArcNode *p, *q;
		ArcNode *r[MAX_VERTEX_NUM+1];	//作为访问标记 
		
		fscanf(fp, "%d%d", &((*G).vexnum), &((*G).arcnum));
		
		/*
		对于fscanf，其实是存在陷阱的。
		回车键或空格键、制表键本身也都算是一个字符。 
		当输入的变量的格式是char字符格式时，&c就会自动接收空格键
		*/ 
		fscanf(fp, "%c", &tmp);	 //跳过int和char间的换行符【int和char之间不知道为什么存在一个换行符】
		fscanf(fp, "%c", &tmp);	 //跳过换行符 
		for(i=1; i<=(*G).vexnum; i++){
			fscanf(fp, "%c", &((*G).vertices[i].data)); //vertices[0]不存储
			(*G).vertices[i].firstarc = NULL;
			(*G).vertices[i].color = None; //先将该顶点的颜色初始化为无色（0）
			r[i] = NULL;  //将访问标记 置为空
		}
		
		for(k=1; k<=(*G).arcnum; k++){
	
			fscanf(fp, "%c", &tmp);	  //跳过换行符 
			fscanf(fp, "%c%c", &v1, &v2);
			
			i = LocateVex_AL(*G, v1); //寻找顶点u在vertices中对应的位置
			j = LocateVex_AL(*G, v2);
			
			if(!i || !j)			 //保证获取的顶点存在
				return 0;
			
			/*v1->v2*/
			p = (ArcNode *)malloc(sizeof(ArcNode));
			if(!p)
				exit(0);
			p->adjvex = j;      //顶点v2的序号为j 
			p->nextarc = NULL;
			
			if(r[i]==NULL)	 //说明还没有边与顶点v1相连
				(*G).vertices[i].firstarc = p;	//加入到邻接表 
			else
				r[i]->nextarc = p;	//令p连接到当前顶点边链表最后一个结点后面
			r[i] = p; //r[i]指向当前顶点边链表最后一个结点的位置
	
			/*v2->v1*/
			q = (ArcNode *)malloc(sizeof(ArcNode));
			if(!q)
				exit(0);
			q->adjvex = i;   //顶点v1的序号为i
			q->nextarc = NULL;
			
			if(r[j]==NULL)		//说明还没有边与顶点v2相连 
				(*G).vertices[j].firstarc = q;		//加入到邻接表 
			else
				r[j]->nextarc = q;			
			r[j] = q;
		}
		
		return 1;
	}
	
	/*判断与序号为nodeOrder的顶点直接相邻的边是否有相同的颜色，若有，说明此方案不行*/
	int isColorOK(ALGraph G, int nodeOrder) { 
		ArcNode *p =G.vertices[nodeOrder].firstarc;
		while(p){
			if(G.vertices[nodeOrder].color == G.vertices[p->adjvex].color)
				return 0;
			p = p->nextarc;
		}
		return 1;
	}
	
	/*回溯法对图着色【此题与八皇后问题神似】*/
	/*只要有一个符合条件的解，就返回*/
	int getColorPowset(ALGraph *G, int colorNum, int step, VertexType vex, int tarColor) {  
		int i,pos;
		pos = LocateVex_AL(*G, vex); //寻找顶点vex在vertices中对应的位置
		if(step > (*G).vexnum){ //如果step>(*G).vexnum，说明所有顶点的染色都符合条件，它们都已被染色【递归结束的标志】
			if((*G).vertices[pos].color == tarColor){  //在vex所在区域图上了tarColor颜色
				return 1; //当这一层通过时，将会层层返回1，这个染色结果就是符合条件的解
			}
		} 
		else{
			for(i = 1; i<=colorNum; i++){
				(*G).vertices[step].color = i; //先在vertices[step]处染上颜色i
				/*判断能否在vertices[step]处染色【即判断该顶点四周有没有相同的颜色】*/
				if(isColorOK(*G, step)){ //若可以
					if(getColorPowset(G, colorNum, step+1, vex, tarColor))  //到下一个顶点进行递归
						return 1; //当上一个条件通过时【递归返回的是1，说明所有顶点都已染上符合条件的颜色了】，将会层层返回1
				}
				/*
				两种情况：
				1、vertices[step]处不能染成i颜色【不符合染色条件】
				2、vertices[step]处可以染成i颜色，但由于vertices[step+1]处无法放置符合条件的颜色，退回到这里，因此vertices[step]处放i颜色不合适，它不能放这里，否则vertices[step+1]处无法合理染色
				总之：要将vertices[step]处染的颜色i去掉【回朔】，然后再次进入for循环，换其它颜色染vertices[step]
				*/
				(*G).vertices[step].color = None; //回朔
			}
		}
		return 0;
	}
	
	/*输出图*/
	void OutputALGraph(ALGraph G){
		int i, j;
		ArcNode *p;
		
		if(!G.vexnum && !G.arcnum)
			printf("空图（表）！\n");
		else{
			for(i=1; i<=G.vexnum; i++){
				printf("%c→", G.vertices[i].data);
				p = G.vertices[i].firstarc;
				while(p){
					printf(" %c", G.vertices[p->adjvex].data);
					p = p->nextarc;
				}
				printf("\n");	
			}
		}
	}
	
	/*展示染色结果*/
	void showResult(ALGraph G){
		int i, j;
		ArcNode *p;
		
		if(!G.vexnum && !G.arcnum)
			printf("空图（表）！\n");
		else{
			for(i=1; i<=G.vexnum; i++){
				printf("区域%c→→颜色%d\n", G.vertices[i].data, G.vertices[i].color);	
			}
		}
	}
	
	int main(){
		ALGraph G;
		FILE *fp;
		int vex, tarColor;
		printf("创建无向图...\n");
		fp = fopen("2015-08_UDG_AL.txt", "r");
		CreateUDG(fp, &G); 
		fclose(fp);
		printf("\n");
		printf("输出图的邻接表 G = \n");		
		OutputALGraph(G);
		printf("可选区域：A，B，C，D，E\n");
		printf("可选颜色：1【红】，2【绿】，3【蓝】，4【黄】\n");
		printf("请输入一种着色方案【例如：A 1】：");
		scanf("%c%d", &vex, &tarColor);//在顶点vex所在区域染上tarColor颜色
		/*颜色的种类是4，刚开始从vertices[1]开始试探*/
		if(getColorPowset(&G, 4, 1, vex, tarColor)) { //如果最后染色成功
			printf("染色成功，其中一种方案如下：\n");
			showResult(G);
		}
		else 
			printf("染色失败，方案不正确\n"); //染色失败
	
		return 1;
	}
输出所有染色方案
	/*
	文件组织方式
	5 8         //5个顶点，8条无向边
	1 2 3 4 5   //顶点
	1 2         //边
	1 3
	1 4
	3 4
	3 5
	3 2
	4 5
	2 5
	*/
	#include<stdio.h>
	#include<stdlib.h>
	
	/*宏定义*/
	#define MAX_VERTEX_NUM 20	//最大顶点个数 
	
	/*全局变量*/
	int order;		//跟踪每一种解法 
	
	/*定义地图可染的颜色*/
	typedef enum{ None, Red, Green, Blue, Yellow }GraphColor;	//无-0，红-1、绿-2、蓝-3、黄-4
		
	/*表结点*/
	typedef struct ArcNode{
		int adjvex;				  //顶点序号 
		struct ArcNode *nextarc;  //指向下一条弧的指针 
	}ArcNode;
	
	/*头结点*/
	typedef int VertexType;   //图顶点类型 
	typedef struct VNode{
		VertexType data;	  //顶点信息
		ArcNode *firstarc;
		int color;            //该顶点的颜色
	}VNode, AdjList[MAX_VERTEX_NUM+1];
	
	/*图（邻接表）的存储表示*/
	typedef struct{
		AdjList vertices;	 //邻接表
		int vexnum,	arcnum;	 //图的当前顶点数和弧数
	}ALGraph;
	
	/*寻找顶点u在vertices中对应的位置*/
	int LocateVex_AL(ALGraph G, VertexType u){
		int i;
		for(i=1; i<=G.vexnum; i++){
			if(G.vertices[i].data==u)
				return i;
		}
		return 0;
	}
	
	/*创建无向图*/
	int CreateUDG(FILE *fp, ALGraph *G){
		int i, j, k;
		VertexType v1, v2;
		char tmp;
		ArcNode *p, *q;
		ArcNode *r[MAX_VERTEX_NUM+1];	//作为访问标记 
		
		fscanf(fp, "%d%d", &((*G).vexnum), &((*G).arcnum));
	
		for(i=1; i<=(*G).vexnum; i++){
			fscanf(fp, "%d", &((*G).vertices[i].data)); //vertices[0]不存储
			(*G).vertices[i].firstarc = NULL;
			(*G).vertices[i].color = None; //先将该顶点的颜色初始化为无色（0）
			r[i] = NULL;  //将访问标记 置为空
		}
		
		for(k=1; k<=(*G).arcnum; k++){
	
			fscanf(fp, "%d%d", &v1, &v2);
			
			i = LocateVex_AL(*G, v1); //寻找顶点u在vertices中对应的位置
			j = LocateVex_AL(*G, v2);
			
			if(!i || !j)			 //保证获取的顶点存在
				return 0;
			
			/*v1->v2*/
			p = (ArcNode *)malloc(sizeof(ArcNode));
			if(!p)
				exit(0);
			p->adjvex = j;      //顶点v2的序号为j 
			p->nextarc = NULL;
			
			if(r[i]==NULL)	 //说明还没有边与顶点v1相连
				(*G).vertices[i].firstarc = p;	//加入到邻接表 
			else
				r[i]->nextarc = p;	//令p连接到当前顶点边链表最后一个结点后面
			r[i] = p; //r[i]指向当前顶点边链表最后一个结点的位置
	
			/*v2->v1*/
			q = (ArcNode *)malloc(sizeof(ArcNode));
			if(!q)
				exit(0);
			q->adjvex = i;   //顶点v1的序号为i
			q->nextarc = NULL;
			
			if(r[j]==NULL)		//说明还没有边与顶点v2相连 
				(*G).vertices[j].firstarc = q;		//加入到邻接表 
			else
				r[j]->nextarc = q;			
			r[j] = q;
		}
		
		return 1;
	}
	
	/*输出图*/
	void OutputALGraph(ALGraph G){
		int i, j;
		ArcNode *p;
		
		if(!G.vexnum && !G.arcnum)
			printf("空图（表）！\n");
		else{
			for(i=1; i<=G.vexnum; i++){
				printf("%d→", G.vertices[i].data);
				p = G.vertices[i].firstarc;
				while(p){
					printf(" %d", G.vertices[p->adjvex].data);
					p = p->nextarc;
				}
				printf("\n");	
			}
		}
	}
	
	/*展示染色结果*/
	void showResult(ALGraph G){
		int i, j;
		ArcNode *p;
		
		if(!G.vexnum && !G.arcnum)
			printf("空图（表）！\n");
		else{
			for(i=1; i<=G.vexnum; i++){
				printf("区域%d→→颜色%d\n", G.vertices[i].data, G.vertices[i].color);	
			}
		}
	}
	
	/*判断与序号为nodeOrder的顶点直接相邻的边是否有相同的颜色，若有，说明此方案不行*/
	int isColorOK(ALGraph G, int nodeOrder) { 
		ArcNode *p =G.vertices[nodeOrder].firstarc;
		while(p){
			if(G.vertices[nodeOrder].color == G.vertices[p->adjvex].color)
				return 0;
			p = p->nextarc;
		}
		return 1;
	}
	
	/*回溯法对图着色【此题与八皇后问题神似】*/
	/*展示所有符合条件的解*/
	int getColorPowset(ALGraph *G, int colorNum, int step){  
		int i;
		if(step > (*G).vexnum){ //如果step>(*G).vexnum，说明所有顶点的染色都符合条件，它们都已被染色
			printf("地图染色问题的第 %d 种解法...\n", ++order);
			showResult(*G); //展示染色结果
		}	
		else{
			for(i = 1; i<=colorNum; i++){
				(*G).vertices[step].color = i; //先在vertices[step]处染上颜色i
				/*判断能否在vertices[step]处染色【即判断该顶点四周有没有相同的颜色】*/
				if(isColorOK(*G, step)) //若可以
					getColorPowset(G, colorNum, step+1); //到下一个顶点染色
				/*
				两种情况：
				1、vertices[step]处不能染成i颜色【不符合染色条件】
				2、vertices[step]处可以染成i颜色，但由于vertices[step+1]处无法放置符合条件的颜色，退回到这里，因此vertices[step]处放i颜色不合适，它不能放这里，否则vertices[step+1]处无法合理染色
				总之：要将vertices[step]处染的颜色i去掉【回朔】，然后再次进入for循环，换其它颜色染vertices[step]
				*/
				(*G).vertices[step].color = None; //回朔
			}
		}
		return 0;
	}
	
	int main(){
		ALGraph G;
		FILE *fp;
		int vex, tarColor;
		printf("创建无向图...\n");
		fp = fopen("2015-08-02_UDG_AL.txt", "r");
		CreateUDG(fp, &G); 
		fclose(fp);
		printf("\n");
		printf("输出图的邻接表 G = \n");		
		OutputALGraph(G);
	
		printf("染色区域：1，2，3，4，5\n");
		printf("可染颜色：1【红】，2【绿】，3【蓝】，4【黄】\n");
		/*颜色的种类是4，刚开始从vertices[1]开始试探*/
		printf("所有染色方案如下：\n");
		getColorPowset(&G, 4, 1);
	
		return 1;
	}
happy life 2022
关注
  • 0
    点赞
  • 踩
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
四色问题的一般解----C语言实现
家里蹲大学摸鱼学专业优秀毕业生的博客
04-07 1359
666
用java实现四色定理
David的专栏
04-01 3356
/* * 【四色定理】 */ package test1; public class demo { public static void main(String[] args) { int n=7; //7个国家 int r[][]={{0,1,0,0,0,1,1},{1,0,1,1,1,1,0},{0,1,0,1,0,0,0}, {0,1,1,0,1,0,0},{0,1,0
四色定理
热门推荐
qq_24624539的博客
03-05 2万+
四色定理（英语：four color theorem，或four color map theorem）是一个著名的数学定理[1]：如果在平面上划出一些邻接的有限区域，那么可以用四种颜色来给这些区域染色，使得每两个邻接区域染的颜色都不一样[2][3]；另一个通俗的说法是：每个无外飞地的地图都可以用不多于四种颜色来染色，而且不会有两个邻接的区域颜色相同。被称为邻接的两个区域是指它们有一段公共的边界，而...
【无标题】四色定理的解析与证明
最新发布
2301_81062744的博客
11-14 147
——四色定理的解析与证明 定理表达——地图中相邻区域标注不同颜色。无论平面内图形如何细分或增减与变化，只用四种颜色就可以区分表达。 原题数学表达——数学语言表示即“将平面任意地细分为不相重叠的区域，每一个区域总可以用1234这四个数字之一来标记而不会使相邻的两个区域得到相同的数字。 这里所指的相邻区域是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆。   解析：如果四色定理是成立的，无论平面内图形如何细分或增减变化都只用四种颜色
C语言数据结构实现链表逆序并输出
08-30
主要介绍了C语言数据结构实现链表逆序并输出的相关资料,需要的朋友可以参考下
c语言中寻找完数并输出其因子
10-14
适合c语言初学者，能对数组存储加深了解
C语言实现获取内存信息并输出的实例
12-26
C语言实现获取内存信息并输出的实例 实现实例代码： headfile.h #include #include #include <time> #define TRUE 1 #define FALSE 0 #define MAX 10000 typedef int KeyType; typedef int OtherType; typedef...
四色问题
老梁的专栏
05-20 3609
四色问题又称四色猜想，是世界近代三大数学难题之一。    四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”用数学语言表示，即“将平面任意地细分为不相重迭的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。”（右图）    这里所指的相邻区域，是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点，就
验证四色原理
weixin_44335224的博客
04-02 2036
验证四色原理 【问题描述】 如图所示，表示一个地图有6个地区，它对应着一个6*6的邻接矩阵（见输出样例），输出一种合理的着色方案，要求任意两个相邻的地区都不能同色。 【输入格式】 第1行为n，表示地区个数，n<=20。 以下为n*n的邻接矩阵，a[ i ][ j ]=0表示地区i与地区j不相邻，a[ i ][ j ]=1表示地区i与地区j相邻。 【输出格式】 一行n个数，表示一种这色方案，每...
四色定理证明以及其漏洞
02-23
这是四色定理的证明,其中详细说明了四色定理的漏洞所在,或许不是很准确.
四色标记算法
nothinglefttosay的专栏
05-22 2753
四色标记算法著名的四色定理，无需赘述。 然而在实际使用过程中会发现，四色算法过于复杂并且时间花销巨大，四个颜色的限制过于苛刻。因此有人提出了五色算法。 如果条件允许，将条件松弛一下就可以极大的提高运算速度。
面试题.用回溯法解决图着色问题
没有感情的刷题机器
01-05 2746
1.题目描述 给定无向连通图G和m种不同的颜色。用这些颜色为图G的各顶点着色，每个顶点着一种颜色。是否有一种着色法使G中每条边的2个顶点着不同颜色，求有多少种方法。 如下无向图结构和其邻接矩阵表示，共5个顶点 2.解题思路 使用到了邻接矩阵，还有就是color数组 要明确color数组代表的含义：color[n],大小为n,下标肯定代表顶点，里面的值代表这个顶点放的是哪种颜色。 ...
四色定理(本人本科论文题目)
云计算?
04-12 954
地图四色定理(Four color theorem)最先是由一位叫古德里（Francis Guthrie）的英国大学生提出来的。四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”用数学语言表示，即“将平面任意地细分为不相重叠的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。”这里所指的相邻区域，是指有一整段边界是...
【算法导论】地图染色算法
青峰碧陋室
12-28 1万+
地图染色问题可以根据四色定理来解决。所谓四色定理，就是指可以用不多于四种的颜色对地图着色，使相邻的行政区域不重色，因此我们可以用四色定理的结论，用回溯算法对一幅给定的地图染色。 算法的基本思想是：从第(1)号行政区域开始染色，每个区域逐次用颜色1#、2#、3#、4#进行试探，若当前所取的颜色与周围已染色的行政区域不重色，则用栈记下该区域的颜色序号，否则依次用下一颜色进行试探；若出现用1#到4#颜
c语言编程实现图的着色问题,回溯法--图的m着色问题 C语言
weixin_39988779的博客
05-19 1707
使用编译器 CodeBlock17.12 算法实验课根据课本Java代码写的C语言代码#include "stdio.h"int n,m;//顶点数，可用颜色数int a[100][100];//图的邻接矩阵int x[100];//当前解int sum=0;//找到的找色方案void input(){printf("输入顶点数n和着色数m:\n");scanf("%d %d",&n,&a...
【算法分析与设计】回溯算法解决七巧板着色问题
星拱北辰的博客
10-09 3403
本文分享如何基于Java采用四色定理和回溯算法解决七巧板着色问题
地图渲染——四色定理的实现（AO+C++）
very_caiing
08-17 7182
上个星期实现了唯一值渲染后，一直打算实现四色渲染的效果。关于四色定理我也是最近才听说，感觉真的挺奇妙的，所以也吸引我去实现它。     正好在网上找到了一篇有关四色渲染的学习资料，大致思路和算法也参考了这篇文章。     首先，四色定理就是无论多么错杂的地图，只须要用四种色彩就能将它区分隔来，这四种颜色可以使相邻的面颜色都不相同。这是1852年英国人弗朗西斯提出来的。直到1976年，美国数学家
四色定理已利用计算机证明,四色定理
weixin_36378793的博客
06-16 3380
“四色定理”又称“四色猜想”，一个多世纪以来，激发了大量的数学专家和爱好者的研究[1][2]。众多数学家花了100多年的时间要证明这个听起来十分简单的猜想，结果均以失败告终。1890年，P。J。Heawood指出了Kempe证明中的错误，采用Kempe的“色交换技术”，证明了“五色定理”。1976年7月，美国伊利诺大学的两位数学家Kenneth Appel和Wolfgang Hanken用计算机证...
C语言验证尼科彻斯定理
05-30
下面是用C语言实现验证尼科彻斯定理的代码： ```c #include #include int main() { int a, b, c; printf("请输入三个正整数，以空格分隔："); scanf("%d%d%d", &a, &b, &c); if (a * a + b * b == c * c || ...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值