uva1439 Exclusive Access 2

感觉这道题读题有点难。。似乎和现实联系的比较密切
1.每个process的两个资源可以顺序反一下
2.p->q,q->s不可以同时进行
p->q,p->s可以

输出最长等待链
输出每个process的资源调用顺序 （注意按输入顺序输出，并不意味着按输入顺序先后执行，只是输出方便看）

把资源看成点，一个process就成了链接两个点的无向边
任务就成了把无向边定向，使其不存在圈，且最长路（也即最长等待链最短）

创造性思维：把结点分成p层，编号为0,1,2...使同层结点间没有边；对任意边u-v，定向位从层编号小的点指向层编号大的点。
则定向后的图肯定没有圈，且最长路所含点数不超过p。所以p越小越好（直观上）

可以证明p取得最小值时，最长路恰好包含p个结点，且这个结果是所有定向方案中最优的。 （证明：从定向方案构造分层图。先把所有路径的起点作为第0层。 （没证！！！））

这样问题转化为结点分层问题。也就是色数问题：将图中结点染成尽量小的颜色，使相邻结点颜色不同。
（色数问题见紫书P286）
O(3^K)k<=15.

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
// Here n is the number of resources, m is the number of processes (n in the problem statement)
const int maxn = ;
const int maxm =  + ;
int n, m, u[maxm], v[maxm], G[maxn][maxn];
int ind[<<maxn], d[<<maxn], best[<<maxn], label[maxn];

bool independent(int mask) {
  for(int i = ; i < maxn; i++) if(mask & (<<i))
    for(int j = ; j < maxn; j++) if(mask & (<<j))
      if(i != j && G[i][j]) return false;
  return true;
}

// How many colors are needed to color the set 'mask'
int dp(int mask) {
  int& ans = d[mask];
  if(ans >= ) return ans;
  if(mask == ) return ;
  ans = maxn+;
  for(int s = mask; s; s = (s-)&mask)
    if(ind[s]) {
      int v = dp(mask^s) + ;
      if(v < ans) { ans = v; best[mask] = s; }
    }
  return ans;
}

// mark the set 'mask' with color c
void mark(int mask, int c) {
  for(int i = ; i < maxn; i++)
    if(mask & (<<i)) label[i] = c;
}

int main() {
  while(scanf("%d", &m) == ) {
    memset(G, , sizeof(G));
    int useful = ;
    for(int i = ; i < m; i++) {
      char r1[], r2[];
      scanf("%s%s", r1, r2);
      u[i] = r1[]-'L', v[i] = r2[]-'L';
      G[u[i]][v[i]] = ;
      useful |= (<<u[i]);
      useful |= (<<v[i]);
    }

    // find the independent sets
    memset(ind, , sizeof(ind));
    for(int s = useful; s; s = (s-)&useful)
      if(independent(s)) ind[s] = true;

    // dp
    memset(d, -, sizeof(d));
    int ans = dp(useful);
    printf("%d\n", ans-);

    // construct the answer
    int s = useful, k = ;
    while(s) {
      mark(s, k++);
      s ^= best[s];
    }
    for(int i = ; i < m; i++) {
      if(label[u[i]] < label[v[i]]) swap(u[i], v[i]);
      printf("%c %c\n", 'L'+u[i], 'L'+v[i]);
    }
  }
  return ;
}