题目描述:
给定一张包含N个点、M条边的无向图,每条边连接两个不同的点,且任意两点间最多只有一条边。对于这样的简单无向图,如果能将所有点划分成若干个集合,使得任意两个同一集合内的点之间没有边相连,任意两个不同集合内的点之间有边相连,则称该图为完全多部图。现在你需要判断给定的图是否为完全多部图。
输入:
第一行输入一个整数T表示数据组数,1<=T<=10。
每组数据格式为:
第一行包含两个整数N和M,1<=N<1000,0<=M<=N(N-1)/2
接下来M行,每行包含两个整数X和Y,表示第X个点和第Y个点之间有一条边,1<=X,Y<=N。
输出:
每组输出占一行,如果给定的图为完全多部图,那么输出Yes,否则输出No。
样例输入:
2
5 7
1 3
1 5
2 3
2 5
3 4
4 5
3 5
4 3
1 2
2 3
3 4
样例输出:
Yes
No
说明:
这道题首先输入一个T,表示有多少组需要判断的数据。
接下来输入节点个数N和边数M,再输入边的两端节点是多少。我们可以把边的信息存储到邻接矩阵中。
先来看一下样例中的反例,1-2,2-3,3-4
如果按照题目中的准则去判断,1跟2之间有边连接,那么1跟2就不能在同一个集合中,而是要分开,构成[[1],[2]]两个集合。
接下来2跟3有边连接,那么2跟3就不能在一个集合中,同时1跟3之间没有边连接,那么集合只能变成[[1,3],[2]]。
接下来3跟4有边连接,4跟2没有边连接,4跟1没有边连接,那么这里就矛盾了,要4和2和1在同一个集合中,但是我们只能1和2之间有边连接的。
所以我们总结一下,我们可以设计两个机制来解决构建集合的问题,一个是开新集合的机制,一个是插入某个已经存在的集合的机制。
这两个机制都要包含检查步骤,确定了目前满足所有条件才可以开新集合或者插入已有集合。
举个样例1的例子,想法如下:
我们首先看点1,1只能在新的集合中,构成大集合[[1]]。
接着看点2,2和1没有边连接,那么2只能和1在同一个集合中,同时检查2能不能和其他的集合中的任意点有边连接。由于这里没有其它集合,所以插入[1]中,构成[[1,2]]。
接着看点3,3和每一个点都有边连接,所以3要开一个新的集合,构成[[1,2],[3]]这个大集合。
接着看点4,4和1没有边连接,那么似乎要把4插入到第一个集合中,构成[[1,2,4],[3]],但在插入前要先检查4跟第一个集合中的所有元素是不是都没有边连接,并且检查4跟其他集合中的元素是不是都有边连接,两个条件中哪一个不能满足,那么就输出No,结束这次样例的检查。
接着看点5,5和每一个点都有边连接,所以5要开一个新的集合,构成[[1,2],[3],[5]]这样的大集合。
时间太晚了,明天再构造代码分享给大家吧。