日撸Java三百行(day35:图的m着色问题)

2024-08-27 07:36
文章标签 java 问题 着色 三百 day35

本文主要是介绍日撸Java三百行(day35:图的m着色问题),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

一、问题描述

二、思路分析

三、代码实现

总结


一、问题描述

在高中学习排列组合的时候,有一个非常经典的问题,就是涂色问题,即用m种颜色给n块区域涂色,要求每块区域只能涂同一种颜色且相邻区域的颜色不能相同,问一共有多少种涂色方案。还记得当时自己是怎么做的吗?下面我们就用一个具体的例子来回顾一下。

如下图,共有A、B、C、D四块区域,用五种颜色给它们涂色,要求每块区域只能涂同一种颜色且相邻区域的颜色不能相同,请问一共有多少种涂色方案?

采用枚举法,第一步,给A区域涂色,由于A区域是第一个涂色的区域,没有任何颜色限制,所以有5种方法; 第二步,给B区域涂色,B区域与A区域相邻,使得B区域不能涂A区域涂过的颜色,所以共有4种方法;第三步,给C区域涂色,C区域与B区域相邻,使得C区域不能涂B区域涂过的颜色,所以共有4种方法;第四步,给D区域涂色,D区域与B、C区域都相邻,使得D区域不能涂B、C区域涂过的颜色,所以共有3种方法。最后,根据分步乘法计数原理,得到共有5*4*4*3=240种方案。

如果这只是高中的一道数学题,那必然不会放到这里来说,所以接下来我们就要将它抽象成图。显然,一块一块的区域可以看作图的一个个节点,因此给区域涂色就是给节点涂色,要求相邻区域的颜色不能相同就是要求邻接节点的颜色不能相同,所以上述例子就可以改写如下(区域与区域相邻显然是一个双向相邻,所以这里我们需要用到的是无向图):

 这也就是今天我们要讨论的问题——图的m着色问题。

二、思路分析

那么该如何来解决这个问题呢?对于排列组合给区域涂色的问题,我们使用的是枚举法,同理,图的m着色问题我们同样可以使用枚举法(穷举法)来解决,也就是使用暴力解题法来完成。仍然以上图为例,进行具体说明:

  • 将A、B、C、D四个节点编号为0、1、2、3号节点,将五种颜色编号为0、1、2、3、4号颜色,然后开始涂色。
  • 假设从0号节点开始涂色0号颜色,那么1号节点可以涂1、2、3、4号颜色。
  • 如果1号节点涂色1号颜色,那么2号节点可以涂色0、2、3、4号颜色;如果1号节点涂色2号颜色,那么2号节点可以涂色0、1、3、4号颜色;如果1号节点涂色3号颜色,那么2号节点可以涂色0、1、2、4号颜色;如果1号节点涂色4号颜色,那么2号节点可以涂色0、1、2、3号颜色。
  • 如果1号节点涂色1号颜色,2号节点涂色0号颜色,那么3号节点可以涂色2、3、4号颜色;如果1号节点涂色1号颜色,2号节点涂色2号颜色,那么3号节点可以涂色0、3、4号颜色;如果1号节点涂色1号颜色,2号节点涂色3号颜色,那么3号节点可以涂色0、2、4号颜色……

以上就是这个问题的暴力解题法。

接下来,我们思考如何用代码来实现。如下图,仍然对节点和颜色分别进行从0开始的编号,并以节点总数为长度设置一个颜色标记数组,这样一来颜色标记数组的下标就与节点的编号达成了一致;颜色标记数组中的具体元素使用颜色编号来填充,这样通过数组下标就可以知道几号节点涂色了几号颜色;再设置一个默认初始值-1用于表示节点还未被涂色。

然后,我们从左往右(即从下标为0的节点开始)对颜色标记数组中的数据元素进行枚举,也就是用颜色编号进行填充,注意邻接节点在颜色标记数组中对应的位置不能存放相同的颜色编号。

我们暂时就分析到这里,剩下的内容在下面的代码实现过程中再继续。

三、代码实现

首先,进行初始化,如下:

    /************************ Coloring. Output all possible schemes.* * @param paraNumColors The number of colors.**********************/public void coloring(int paraNumColors) {// Step 1. Initialize.int tempNumNodes = connectivityMatrix.getRows();int[] tempColorScheme = new int[tempNumNodes];Arrays.fill(tempColorScheme, -1);

同样利用connectivityMatrix.getRows()获得节点总数tempNumNodes,然后将其作为数组长度创建一个int类型的颜色标记数组tempColorScheme,最后利用Array.fill()方法对tempColorScheme填充默认初始值-1。

补充:

Array.fill(数组名,默认初始值)方法:用于对一个数组快速填充同一默认初始值

然后,创建关键方法(其实也是对上面coloring方法的一个重载),如下:

    /************************ Coloring. Output all possible schemes.* * @param paraNumColors The number of colors.* @param paraCurrentNumNodes The number of nodes that have been colored.* @param paraCurrentColoring The array recording the coloring scheme.**********************/public void coloring(int paraNumColors, int paraCurrentNumNodes, int[] paraCurrentColoring) {// Step 1. Initialize.int tempNumNodes = connectivityMatrix.getRows();System.out.println("coloring: paraNumColors = " + paraNumColors + ", paraCurrentNumNodes = "+ paraCurrentNumNodes + ", paraCurrentColoring" + Arrays.toString(paraCurrentColoring));// A complete scheme.if (paraCurrentNumNodes >= tempNumNodes) {System.out.println("Find one:" + Arrays.toString(paraCurrentColoring));return;} // Of if// Try all possible colors.for (int i = 0; i < paraNumColors; i++) {paraCurrentColoring[paraCurrentNumNodes] = i;if (!colorConflict(paraCurrentNumNodes + 1, paraCurrentColoring)) {coloring(paraNumColors, paraCurrentNumNodes + 1, paraCurrentColoring);} // Of if} // Of for i} // Of coloring

该方法输入了三个参数,其中paraNumColors表示一共有几种颜色,paraCurrentNumNodes表示当前涂色节点的编号(即当前涂色节点在颜色标记数组中的对应下标),paraCurrentColoring表示当前的颜色标记数组。然后,通过一条输出语句将此时三个参数的值进行输出。

在程序运行过程中,逐步向颜色标记数组输入颜色编号,当paraCurrentNumNodes >= tempNumNodes即当前涂色节点的编号 >= 节点总数时,说明所有的节点均已完成了一次涂色,也就是说找到了一种涂色方案,此时直接输出结果(即输出当前的颜色标记数组)。

当paraCurrentNumNodes没有大于等于tempNumNodes即当前涂色节点的编号没有大于等于节点总数时,则进入循环,对节点进行涂色。在for循环中paraCurrentColoring[paraCurrentNumNodes] = i 表示将 i 号颜色的编号 i 输入当前涂色节点在颜色标记数组中的对应位置,相当于给当前涂色节点涂上 i 号颜色;接着,借助一个if语句,使得当涂色不冲突时继续给编号加1的节点(相当于在颜色标记数组中向右移动一格)进行涂色,而当涂色冲突时则给当前涂色节点涂上 i + 1 号颜色后,再次进行涂色冲突判断。

创建一个判断涂色是否冲突的方法,如下:

    /************************ Coloring conflict or not. Only compare the current last node with previous* ones.* * @param paraCurrentNumNodes The current number of nodes.* @param paraColoring        The current coloring scheme.* @return Conflict or not.**********************/public boolean colorConflict(int paraCurrentNumNodes, int[] paraColoring) {for (int i = 0; i < paraCurrentNumNodes - 1; i++) {// No direct connection.if (connectivityMatrix.getValue(paraCurrentNumNodes - 1, i) == 0) {continue;} // Of ifif (paraColoring[paraCurrentNumNodes - 1] == paraColoring[i]) {return true;} // Of if} // Of for ireturn false;} // Of colorConflict

connectivityMatrix.getValue()调用了之前整数矩阵类IntMatrix的getValue()方法,用于获得整数矩阵对象connectivityMatrix的某个具体元素值;然后利用了我们之前进行图的连通性检测的结论,即如果连通矩阵中某个元素的值为0,那么该元素行标对应的节点到该元素列标对应的节点不连通,不连通必然不邻接,也就不会发生涂色冲突,所以直接continue结束本次循环,返回false,代表涂色不冲突;但是如果paraColoring[paraCurrentNumNodes - 1] = paraColoring[ i ],则说明涂色会发生冲突,于是返回true。

最后,设置一个单元测试,如下:

    /************************ Coloring test.**********************/public static void coloringTest() {int[][] tempMatrix = { { 0, 1, 1, 0 }, { 1, 0, 0, 1 }, { 1, 0, 0, 0 }, { 0, 1, 0, 0 } };Graph tempGraph = new Graph(tempMatrix);// tempGraph.coloring(2);tempGraph.coloring(3);} // Of coloringTest

完整的程序代码:

    /************************ Coloring. Output all possible schemes.* * @param paraNumColors The number of colors.**********************/public void coloring(int paraNumColors) {// Step 1. Initialize.int tempNumNodes = connectivityMatrix.getRows();int[] tempColorScheme = new int[tempNumNodes];Arrays.fill(tempColorScheme, -1);coloring(paraNumColors, 0, tempColorScheme);} // Of coloring/************************ Coloring. Output all possible schemes.* * @param paraNumColors The number of colors.* @param paraCurrentNumNodes The number of nodes that have been colored.* @param paraCurrentColoring The array recording the coloring scheme.**********************/public void coloring(int paraNumColors, int paraCurrentNumNodes, int[] paraCurrentColoring) {// Step 1. Initialize.int tempNumNodes = connectivityMatrix.getRows();System.out.println("coloring: paraNumColors = " + paraNumColors + ", paraCurrentNumNodes = "+ paraCurrentNumNodes + ", paraCurrentColoring" + Arrays.toString(paraCurrentColoring));// A complete scheme.if (paraCurrentNumNodes >= tempNumNodes) {System.out.println("Find one:" + Arrays.toString(paraCurrentColoring));return;} // Of if// Try all possible colors.for (int i = 0; i < paraNumColors; i++) {paraCurrentColoring[paraCurrentNumNodes] = i;if (!colorConflict(paraCurrentNumNodes + 1, paraCurrentColoring)) {coloring(paraNumColors, paraCurrentNumNodes + 1, paraCurrentColoring);} // Of if} // Of for i} // Of coloring/************************ Coloring conflict or not. Only compare the current last node with previous* ones.* * @param paraCurrentNumNodes The current number of nodes.* @param paraColoring        The current coloring scheme.* @return Conflict or not.**********************/public boolean colorConflict(int paraCurrentNumNodes, int[] paraColoring) {for (int i = 0; i < paraCurrentNumNodes - 1; i++) {// No direct connection.if (connectivityMatrix.getValue(paraCurrentNumNodes - 1, i) == 0) {continue;} // Of ifif (paraColoring[paraCurrentNumNodes - 1] == paraColoring[i]) {return true;} // Of if} // Of for ireturn false;} // Of colorConflict/************************ Coloring test.**********************/public static void coloringTest() {int[][] tempMatrix = { { 0, 1, 1, 0 }, { 1, 0, 0, 1 }, { 1, 0, 0, 0 }, { 0, 1, 0, 0 } };Graph tempGraph = new Graph(tempMatrix);// tempGraph.coloring(2);tempGraph.coloring(3);} // Of coloringTest/************************ The entrance of the program.* * @param args Not used now.**********************/public static void main(String args[]) {System.out.println("Hello!");Graph tempGraph = new Graph(3);System.out.println(tempGraph);// Unit test.getConnectivityTest();breadthFirstTraversalTest();depthFirstTraversalTest();coloringTest();} // Of main

部分运行结果:

总结

对于图的m着色问题,我们使用的是枚举法,也是一种暴力解题法。对于人来说,枚举法似乎看起来是一种“笨方法”,因为它没有特别高的技术含量而且还很繁琐,但是对于计算机而言则不然,暴力解题法的逻辑相对简单直接,利用计算机比较容易实现,而且当规模不是很多的时候,暴力解题法可能比复杂的优化算法更为高效。总之,学习计算机万能的暴力解题法是必不可少的。

这篇关于日撸Java三百行(day35:图的m着色问题)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1111042

相关文章

MybatisGenerator文件生成不出对应文件的问题

《MybatisGenerator文件生成不出对应文件的问题》本文介绍了使用MybatisGenerator生成文件时遇到的问题及解决方法,主要步骤包括检查目标表是否存在、是否能连接到数据库、配置生成... 目录MyBATisGenerator 文件生成不出对应文件先在项目结构里引入“targetProje

C#使用HttpClient进行Post请求出现超时问题的解决及优化

《C#使用HttpClient进行Post请求出现超时问题的解决及优化》最近我的控制台程序发现有时候总是出现请求超时等问题,通常好几分钟最多只有3-4个请求,在使用apipost发现并发10个5分钟也... 目录优化结论单例HttpClient连接池耗尽和并发并发异步最终优化后优化结论我直接上优化结论吧,

SpringBoot使用Apache Tika检测敏感信息

《SpringBoot使用ApacheTika检测敏感信息》ApacheTika是一个功能强大的内容分析工具,它能够从多种文件格式中提取文本、元数据以及其他结构化信息,下面我们来看看如何使用Ap... 目录Tika 主要特性1. 多格式支持2. 自动文件类型检测3. 文本和元数据提取4. 支持 OCR(光学

Java内存泄漏问题的排查、优化与最佳实践

《Java内存泄漏问题的排查、优化与最佳实践》在Java开发中,内存泄漏是一个常见且令人头疼的问题,内存泄漏指的是程序在运行过程中,已经不再使用的对象没有被及时释放,从而导致内存占用不断增加,最终... 目录引言1. 什么是内存泄漏?常见的内存泄漏情况2. 如何排查 Java 中的内存泄漏?2.1 使用 J

JAVA系统中Spring Boot应用程序的配置文件application.yml使用详解

《JAVA系统中SpringBoot应用程序的配置文件application.yml使用详解》:本文主要介绍JAVA系统中SpringBoot应用程序的配置文件application.yml的... 目录文件路径文件内容解释1. Server 配置2. Spring 配置3. Logging 配置4. Ma

Java 字符数组转字符串的常用方法

《Java字符数组转字符串的常用方法》文章总结了在Java中将字符数组转换为字符串的几种常用方法,包括使用String构造函数、String.valueOf()方法、StringBuilder以及A... 目录1. 使用String构造函数1.1 基本转换方法1.2 注意事项2. 使用String.valu

java脚本使用不同版本jdk的说明介绍

《java脚本使用不同版本jdk的说明介绍》本文介绍了在Java中执行JavaScript脚本的几种方式,包括使用ScriptEngine、Nashorn和GraalVM,ScriptEngine适用... 目录Java脚本使用不同版本jdk的说明1.使用ScriptEngine执行javascript2.

Spring MVC如何设置响应

《SpringMVC如何设置响应》本文介绍了如何在Spring框架中设置响应,并通过不同的注解返回静态页面、HTML片段和JSON数据,此外,还讲解了如何设置响应的状态码和Header... 目录1. 返回静态页面1.1 Spring 默认扫描路径1.2 @RestController2. 返回 html2

numpy求解线性代数相关问题

《numpy求解线性代数相关问题》本文主要介绍了numpy求解线性代数相关问题,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 在numpy中有numpy.array类型和numpy.mat类型,前者是数组类型,后者是矩阵类型。数组

Spring常见错误之Web嵌套对象校验失效解决办法

《Spring常见错误之Web嵌套对象校验失效解决办法》:本文主要介绍Spring常见错误之Web嵌套对象校验失效解决的相关资料,通过在Phone对象上添加@Valid注解,问题得以解决,需要的朋... 目录问题复现案例解析问题修正总结  问题复现当开发一个学籍管理系统时,我们会提供了一个 API 接口去