第二讲图的分解.pptVIP

第1页，共24页，星期日，2025年，2月5日图图是由节点和边来说明的节点=国家边=相邻国家图染色问题：用尽可能少的颜色染节点，使得相同颜色节点间不存在边。第2页，共24页，星期日，2025年，2月5日考试安排问题期末考试安排：-用尽可能少的时间空档；-如果有学生考二门课，则不能安排它们在同一时间空档。这也是个图着色问题!节点=考试边=某个学生有节点表示的二门考试颜色=时间空档第3页，共24页，星期日，2025年，2月5日图的定义图是G=(V,E)，其中V:节点集E:边集V={1,2,3,4,5}E={{1,2},{2,3},{3,4},{2,5},{4,5}}无向边:对称关系例如Worldwideweb节点URL边(u,v)u指向v亿万个节点和边!有向图(x,y):从x到y的边第4页，共24页，星期日，2025年，2月5日图在计算机中如何存储？邻接矩阵表示法VxV矩阵AA(i,j)=1如果(i,j)在E0否则如果G是无向图，则矩阵是对称的邻接表表示法每个节点,对应一个表第5页，共24页，星期日，2025年，2月5日无向图的深度优先搜索可能遇到的困难不要在圈中转不要漏掉任何节点常见方法用粉笔标示访问过的节点标记线–引导回到起始点计算机模拟用布尔变量表示每个节点是否已访问堆栈从一个给定的节点，图的那些部分可达?采用邻接表表示，这就象在迷宫中行走...第6页，共24页，星期日，2025年，2月5日一个探索过程procedureexplore(G,v)input:graphG=(V,E);nodevinVoutput:visited[u]issettotrueforallureachablefromvvisited[v]=trueprevisit(v)foreachedge(v,u)inE:ifnotvisited[u]:explore(G,u)postvisit(v)explore(G,a):第7页，共24页，星期日，2025年，2月5日“探索”过程可行吗？procedureexplore(G,v)visited[v]=trueforeachedge(v,u)inE:ifnotvisited[u]:explore(G,u)它会停吗?对任一节点u,explore(G,u)最多调用一次;其后visited[u]被设置。.它访问从v可达每个节点吗?假设它漏掉从v可达节点u，我们可推出一个矛盾。任选一条从v到u的路径,设z是路径上最后被访问的节点。那么w会在explore(G,z)中被错过，这是个矛盾.第8页，共24页，星期日，2025年，2月5日无向图连通性一个无向图是连通的如果任意节点对之间都存在一条路径。proceduredfs(G)forallvinV:visited[v]=falseforallvinV:ifnotvisited[v]:explore(G,v)此图有2个连通部分explore(G,v)返回包含v的连通部分。要探索图的其余部分，在其余地方重新调用explore().DFS分解该无向图成二个连通部分!explore(G,a)explore(G,h)第9页，共24页，星期日，2025年，2月5日运行时间分析procedureexplore(G,v)visited[v]=trueforeachedge(v,u)inE:ifnotvisited[u]:explore(G,u)proceduredfs(G)forallvinV:visited[v]=falseforallvinV:ifnotvisited[v]:explore(G,v)dfs(G)要花多少时间?对每个节点v，explore(G,v)只调用一次。在调用期间，所花时间=O(1)+内部循环所花时间因此，全部时间=O(|V|)+全部内部循化所花时间在内部循环中:每条边被检查二次，每个端点一次。因此O(|E|).全部时间:O(|V|+