UVA - 1439 Exclusive Access 2（转化为图论模型）

题目

这题题目比较复杂，我就简述一下，系统中有n$(1<=n<=100)$个进程和由L-Z大写字母表示的资源，资源不接受并发访问，每个进程同时需要两个资源，由此可以构建等待链（等待链定义见原题），问如何安排每个进程的资源获取顺序，使得最长的等待链最小

分析

这题重要的是建模，把原问题转化为图模型，每个资源变为一个点，每个进程变为一条无向边连接着所需要的资源，那么安排等待资源顺序就相当于给无向边定向，例如进程1需要资源L和M才能运行，那么就有两种可能，第一种是先获取L，再获取M，定向后就是L->M,第二种是先获取M，再获取L，定向后就是M->L
然后我们的目标就转化为了n条边如何定向，才能使图中无环且最长路最短，图中有环就说明存在死锁，就是n个人做成一个环分n只筷子（筷子在环中的空格中），每个人手中都有一只（都先拿左筷子），不愿意放开，但是都需要两只筷子才能吃饭（少右筷子），吃完饭之后才能放下筷子，把筷子给别人用，这就是死锁

接下来将节点分层，分为p层，同层的节点之间无边相连，对于任意一条边，把它定向为层数小的节点指向层数大的节点，那么定向后图中肯定没有圈，而且最长路长度小于p，按照紫书上的解释，最长路长度正好等于p-1，所以求最小分层数量即可求解，最小分层数量等于图的点涂色的最少颜色数量

注意 这道题中判断点的子集是否是独立集这一步要预处理，这一步时间复杂度就会变为$O(|E|\ast 2^{|}V|)$,否则在DP函数中调用判断是否是独立集的函数，这一步时间复杂度是$O(|E|\ast$