0


Python之并查集 洛谷 蓝桥杯

同时正在备战蓝桥杯 题解如有不足请多批评指正

大一双非本科在读

目标是进大厂

洛谷:亲戚关系 题目链接

问题分析:这是一道考察并查集的经典例题。

何为并查集?并查集是一种(树型)数据结构 ,用于处理一些不相交集合的合并查询问题。

思想:用一个数组表示了整片森林,树的根节点唯一标识了一个集合,我们只要找到了某个元素的的树根,就能确定它在哪个集合里。

例如给出数组parent=[0,1,5,1,3,1],parent[i]代表结点i的父结点(很形象吧!?)

观察数组,我们知道:parent[2]=5 ,说明了结点2的父节点是5

再来:parent[5]=1,说明了结点5的父节点是1

再来:parent[1]=1,说明了结点1的父节点是1

对上面这行可能有疑惑:我们先记住,若parent[i]=i 则i是一个集合内的根节点

那么他有什么作用:如果一个结点j 它的父节点的父节点的父节点的父节点.....是i

说明了j和它的父节点和它的父节点的父节点和....一共这么多结点,对于每一个结点,都可以访问到i结点。我们不如把它叫做祖先(**能够访问 **类似于 含有血缘关系,你和你的祖先,你的父亲的祖先,你的父亲的父亲的祖先都有血缘关系。)

因此这么多结点就构成了一个集合(代表集合的对象是根节点(祖先))

所以对于刚刚提到的数组,由于结点5可以访问到祖先>>1,所以5和1有血缘关系,即5属于祖先1代表的集合,由于结点2的父节点是5,所以它可以通过父节点5访问到祖先>>1,所以2和1有血缘关系,即2属于祖先1代表的集合。

因此我们要判断两个结点是否属于同一个集合,可以借助访问各自的祖先加以判断。

如果祖先相同,那么属于同一集合,否则不属于同一集合。

对于上述数组结点0和结点1就不属于同一集合

所以下面给出访问祖先的代码:(关于优化下面会阐述)

def find_root(x):
    while x!=parent[x]:3如果不是祖先 就访问自己的父节点
        x=parent[x]
    return x

那么上面这段代码就是代表了并查集的思想之一:查询

那么下面我们研究并查集的另一个思想:合并

再次给出上面那个例子parent=[0,1,5,1,3,1]

我们知道结点1,2,3,4,5同属于一个集合(用结点1来标识)

由于parent[0]=0 说明0是一个集合的祖先,这个集合用结点0来标识

由于以结点0为代表的集合元素个数为1,比较特殊,我们不妨给他(集合)添加两个结点

分别是结点6,结点7,因此parent=[0,1,5,1,3,1,0,0]

所以现在 结点0,6,7同属于一个集合(用结点0来标识)

下面研究合并,何为合并?就是将两个集合变为为一个集合

容易想到,我们可以把结点0(祖先)作为结点1的子结点,换句话说,把结点1作为结点0的父节点。

那么这样子有什么用:我们知道用结点0来标识的集合中的结点,都可以访问到结点0,现在结点0又可以访问到结点1,所以用结点0来标识的集合中的结点,都可以访问到结点1,因此用结点1来标识的集合 结点数目扩大了! 这不正达到了我们想要的效果吗?

简言之 集合A和集合B原本分属两大家族,把A的祖先作为B祖先的孩子,因而集合A和B中的所有结点都有了血缘关系,实现了家族合并。

所以下面给出合并的代码:

def union(x,y):#合并
    x_root,y_root=find(x),find(y)
    parent[x_root]=y_root#一般的x_root!=y_root,直接合并过去
                            #如果x_root=y_root,合并本身,没有发生任何变化

所以 代码就可写出了:

def find_root(x):
    while x!=parent[x]:
        x=parent[x]
    return x

def union(x,y):
    x_root=find_root(x)
    y_root=find_root(y)
    parent[x_root]=y_root

n,m,p=map(int,input().strip().split())

parent=[i for i in range(n+1)]#初始化

for i in range(m):#h合并
    tmp=list(map(int,input().strip().split()))
    union(tmp[0],tmp[1])

for j in range(n):#判断
    tmp=list(map(int,input().strip().split()))
    if find_root(tmp[0])==find_root(tmp[1]):
        print('Yes')
    else:
        print('No')

但是这样超时 所以需要进行优化:

先分析超时的原因:还是利用上面给出的数组parent=[0,1,5,1,3,1,0,0](未合并)

我们可以画出下面这样的关系图:

所以科学家们给出了一种方法:路径压缩。

简言之,对于上图,比如在访问4的根节点的时候,经过图中标识的''很长''一段路径,这一段路径由许许多多的结点构成,它们有一个共同特点就是根节点都是1,那么路径压缩要做的就是把这条路径上的所有结点的父节点设为结点1

这样子的作用:比如我下一次查询结点3的根节点的时候,只需要1次,原来需要9999次!

def find_root(x):#返回根节点
    if x!=parent[x]:#只要不是根节点
        parent[x]=find_root(parent[x])#修改父节点为根结点
    return parent[x]#返回根节点(父节点)

第一次接触路径压缩如果不太好理解,可以先和小郑一样把这个模板记下来~


n,m,p=map(int,input().strip().split())

parent=[i for i in range(n+1)]

def find_root(x):#返回根节点
    if x!=parent[x]:#只要不是根节点
        parent[x]=find_root(parent[x])#把x的父节点设为根节点
    return parent[x]

def union(x,y):
    x_root=find_root(x)
    y_root=find_root(y)
    parent[x_root]=y_root

for i in range(m):
    tmp=list(map(int,input().strip().split()))
    union(tmp[0],tmp[1])

for j in range(p):
    tmp=list(map(int,input().strip().split()))
    if find_root(tmp[0])==find_root(tmp[1]):
        print('Yes')
    else:
        print('No')

** 可见路径压缩帮助我们优化了算法**

蓝桥杯真题实战:七段码(第十一届试题E填空压轴)>>考察并查集

代码设计分析:题目就是在问一个连通性问题,从7条边选几个出来判断是不是连通图。

也就是判断是不是属于同一个集合的问题。首先明确一点,并查集两大功能:查找与合并。要先合并,再查找(没有合并一个集合那拿什么来查找?)。所以,相当于我们要先构建亲戚关系网,最后判断所有结点的祖先是否都是同一个,如果是则连通,否则不连通。

那么构建亲戚关系的条件:如果两个顶点直接相连,那么把那个点所属的集合与另外一个点所属的集合合并。当所有的点合并完了,只需要遍历所有的点的祖先,判断是否都是同一个,如果是,大功告成,count加1

def find_root(x):
    if x!=parent[x]:
        parent[x]=find_root(parent[x])
    return parent[x]

def union(x,y):
    x_root,y_root=find_root(x),find_root(y)
    if x_root!=y_root:
        parent[x_root]=y_root

edge=[[0]*7 for i in range(7)]#设一个0号进去,无边与其相连

l=[0,1,2,3,4,5,6]
edge[0][1]=edge[0][2]=edge[1][3]=edge[1][4]=edge[2][3]=1
edge[3][4]=edge[3][5]=edge[4][6]=edge[5][6]=edge[2][5]=1#有边相连记作1

for i in range(7):
    for j in range(7):
        edge[i][j]=max(edge[i][j],edge[j][i])#无向图对称
        
import itertools

count=0

for i in range(1,8):#灯泡数目
    for j in itertools.combinations(l,i):#比如[(1,2,3),[1,2,4]]
        parent=[i for i in range(7)]
        #判断两两是否连通
        for k in range(0,i):
            for p in range(k+1,i):
                if edge[j[k]][j[p]]==1:#如果连通,合并
                    union(j[k],j[p])
        for m in range(i-1):#判断属于是否同一集合(最终所有的)
            if find_root(j[m])!=find_root(j[m+1]):
                break
        else:
            print(j)#显示符合条件的数据,可删去
            count+=1
print(count)
#答案80

我是小郑 正在奔赴热爱 奔赴山海!


本文转载自: https://blog.csdn.net/m0_62277756/article/details/122892814
版权归原作者 Py小郑 所有, 如有侵权,请联系我们删除。

“Python之并查集 洛谷 蓝桥杯”的评论:

还没有评论