图的基本概念及其矩阵表示.pptVIP

子图和分支*/128由结点集合{v1，v2，v3}，{v4}，{v5}，{v6}和{v7}形成的诱导子图都是强分图;由结点集合{v1，v2，v3，v4，v5}，{v7，v4，v5}和{v6，v5}所成的诱导子图都是单向分图；由结点集合{v1，v2，v3，v4，v5，v6，v7}形成的诱导子图是弱分图。资源分配图*/128下面给出简单有向图的一个应用——资源分配图。在多道程序的计算机系统中，可以同时执行多个程序。实际上，程序共享计算机系统中的资源，如磁带机、磁盘设备、CPU、主存贮器和编译程序等。操作系统对这些资源负责分配给各个程序。当一个程序要求使用某种资源，它要发出请求，操作系统必须保证这一请求得到满足。死锁状态*/128对资源的请求可能发生冲突。如程序A控制着资源r1，请求资源r2；但程序B控制着资源r2，请求资源r1。这种情况称为处于死锁状态。然而冲突的请求必须解决，资源分配图有助发现和纠正死锁。假设条件*/128假设某一程序对一些资源的请求，在该程序运行完之前必须都得到满足。在请求的时间里，被请求的资源是不能利用的，程序控制着可利用的资源，但对不可利用的资源则必须等待。分析*/128令Pt={p1，p2，…，pm}表示计算机系统在时间t的程序集合，Qt?Pt是运行的程序集合，或者说在时刻t至少分配一部分所请求的资源的程序集合。Rt={r1，r2，…，rn}是系统在时刻t的资源集合。资源分配图1Gt=Rt，E是有向图，它表示了时间t系统中资源分配状态。把每个资源ri看作图中一个结点，其中i=1，2，…，n。ri，rj表示有向边，ri，rj∈E当且仅当程序pk∈Pt已分配到资源ri且等待资源rj。2分析（续）*/128例如，令Rt={r1，r2，r3，r4}，Qt={p1，p2，p3，p4}。资源分配状态是：p1占用资源r4且请求资源r1，p2占用资源r1且请求资源r2和r3，p3占用资源r2且请求资源r3，p4占用资源r3且请求资源r1和r4，于是，可得到资源分配图Gt=Rt，E如图所示。能够证明，在时刻t计算机系统处于死锁状态iff资源分配图Gt中包含强连通图。图的运算*/128图的运算*/128并不是任何两个图都有交、并和环和。如上图，(a)和(b)没有交和并，因为边e1在(a)中连接v1和v2，而在(b)中连接v2和v3。图的运算*/128定理：设图和为可运算的。(1)如果，则存在唯一的。(2)存在唯一的和。证：设G1和G2同为有向图，若同为无向图也可同样证明。(1)定义为：对任意的，。显然，.设图和均为G1和G2的交。因为，对任意.因为，对任意。这表明。因此，。图的运算*/128证：（2）定义如下：显然，。设和均为G1和G2的并。因为且，所以对任意，，这表明，因此。对于存在唯一的可同样证明。图的运算*/128定义：设图,记为，对任意，记为。是从G中去掉E中的边所得到的G的子图。