每日一解 判断二分图

题目 判断二分图

给定一个无向图graph,当这个图为二分图时返回true。
如果我们能将一个图的节点集合分割成两个独立的子集A和B,并使图中的每一条边的两个节点一个来自A集合,一个来自B集合,我们就将这个图称为二分图。
graph将会以邻接表方式给出,graph[i]表示图中与节点i相连的所有节点。每个节点都是一个在0到graph.length-1之间的整数。这图中没有自环和平行边: graph[i] 中不存在i,并且graph[i]中没有重复的值。

示例 1:
输入: [[1,3], [0,2], [1,3], [0,2]]
输出: true
解释:
无向图如下:

0----1
|    |
|    |
3----2

我们可以将节点分成两组: {0, 2} 和 {1, 3}。

示例 2:
输入: [[1,2,3], [0,2], [0,1,3], [0,2]]
输出: false
解释:
无向图如下:

0----1
| \  |
|  \ |
3----2

我们不能将节点分割成两个独立的子集。

注意:

  1. graph 的长度范围为 [1, 100]。
  2. graph[i] 中的元素的范围为 [0, graph.length - 1]。
  3. graph[i] 不会包含 i 或者有重复的值。
  4. 图是无向的: 如果j 在 graph[i]里边, 那么 i 也会在 graph[j]里边。

来源:力扣(LeetCode)
链接:https://leetcode-cn.com/problems/is-graph-bipartite

思路

这题反反复复做了不少次,最后才得到一个通过的答案。首先没有想到和判断出一个比较精妙的思路。比如可以不考虑模拟涂色,而是使用其他的便捷方式得到最终答案。其次,一定要模拟分割的话,最开始想到的自然就是BFS遍历并同时将节点分割。如果在这个分割的过程中的话,出现了矛盾,那么自然就是不可分割的,结束即可。
按照BFS分割的思路呢,需要一个队列存储接下来要访问的节点,还需要一个数组存储此前节点分割的结果。空间复杂度为O(n),n为节点的总数。
然而我这么一做,答案完全不能通过。因为BFS是针对连通图进行的,然而题目的测试用例却包含相当多不连通图。例如下面的情况:

4----5
| \  |       0----1
|  \ |
3----2     

BFS从0开始,走到1发现没有新的节点在队列内了,于是返回true,实际上还有2,3,4,5几个节点根本没走到。于是我考虑了另一种遍历的方式。既然所有点不可避免地都要遍历一遍,那么不妨从0开始直到n-1依次遍历好了,还可以省个队列的空间。
于是我删掉了BFS的代码重写了一份然后发现BFS却又不能不考虑使用,例如下面的用例:

0----3----2----1    

我们从0开始,发现1没有和已遍历的节点连接,那么1应该分隔到哪个子集呢。例如将1和0分为一类,那么2和3同类了,输出false。然而事实是分割为0,2一个子集和1,3一个子集是满足题目要求的。所以BFS是不可缺少的,只有使用BFS保证接下来连接的节点都是与此前节点相连接的,才是正确的节点分割思路。
那么我最终的答案就是将两者结合一下。在BFS遍历完后去检查一下此前访问过的节点,看看是不是有不连通的节点没访问到,将其加入队列后再次使用BFS。

代码实现

代码实现过程中,我被自己的审题不清坑了一下。虽然题目里说graph长度不为0,但是graph中元素的长度是可以为0的。也就是存在一个这样的测试用例:[ [] ],返回为false。graph长度为1,但其实只有一个节点而没有边,也就是graph中只有一个节点元素,这种边界情况要注意考虑进去。
以及存在0号节点没有联通其他节点,但是其余节点联通的情况,也要注意考虑进去。

class Solution {
   
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值