• <ins id="pjuwb"></ins>
    <blockquote id="pjuwb"><pre id="pjuwb"></pre></blockquote>
    <noscript id="pjuwb"></noscript>
          <sup id="pjuwb"><pre id="pjuwb"></pre></sup>
            <dd id="pjuwb"></dd>
            <abbr id="pjuwb"></abbr>

            Better man

            改變性格 改變命運!

             

            圖的最小路徑覆蓋(zoj1525)


            在一個PXP的有向圖中,路徑覆蓋就是在圖中找一些路經(jīng),使之覆蓋了圖中的所有頂點,且任何一個頂點有且只有一條路徑與之關(guān)聯(lián);(如果把這些路徑中的每條路徑從它的起始點走到它的終點,那么恰好可以經(jīng)過圖中的每個頂點一次且僅一次);如果不考慮圖中存在回路,那么每每條路徑就是一個弱連通子集.

            由上面可以得出:

            1.一個單獨的頂點是一條路徑;

            2.如果存在一路徑p1,p2,......pk,其中p1 為起點,pk為終點,那么在覆蓋圖中,頂點p1,p2,......pk不再與其它的頂點之間存在有向邊.

            最小路徑覆蓋就是找出最小的路徑條數(shù),使之成為P的一個路徑覆蓋.

            路徑覆蓋與二分圖匹配的關(guān)系:

            最小路徑覆蓋=|P|-最大匹配數(shù);

            其中最大匹配數(shù)的求法是把P中的每個頂點pi分成兩個頂點pi'與pi'',如果在p中存在一條pi到pj的邊,那么在二分圖P'中就有一條連接pi'與pj''的無向邊;這里pi' 就是p中pi的出邊,pj''就是p中pj 的一條入邊;

            對于公式:最小路徑覆蓋=|P|-最大匹配數(shù);可以這么來理解;

            如果匹配數(shù)為零,那么P中不存在有向邊,于是顯然有:

            最小路徑覆蓋=|P|-最大匹配數(shù)=|P|-0=|P|;即P的最小路徑覆蓋數(shù)為|P|;

            P'中不在于匹配邊時,路徑覆蓋數(shù)為|P|;

            如果在P'中增加一條匹配邊pi'-->pj'',那么在圖P的路徑覆蓋中就存在一條由pi連接pj的邊,也就是說pi與pj 在一條路徑上,于是路徑覆蓋數(shù)就可以減少一個;

            如此繼續(xù)增加匹配邊,每增加一條,路徑覆蓋數(shù)就減少一條;直到匹配邊不能繼續(xù)增加時,路徑覆蓋數(shù)也不 能再減少了,此時就有了前面的公式;但是這里只 是說話了每條匹配邊對應(yīng)于路徑覆蓋中的一條路徑上的一條連接兩個點之間的有向邊;下面來說明一個路徑覆蓋中的每條連接兩個頂點之間的有向邊對應(yīng)于一條匹配 邊;

            與前面類似,對于路徑覆蓋中的每條連接兩個頂點之間的每條有向邊pi--->pj,我們可以在 匹配圖中對應(yīng)做一條連接pi'與pj''的邊, 顯然這樣做出來圖的是一個匹配圖(這一點用反證法很容易證明,如果得到的圖不是一個匹配圖,那么這個圖中必定存在這樣兩條邊  pi'---pj'' 及 pi' ----pk'',(j!=k),那么在路徑覆蓋圖中就存在了兩條邊pi-->pj, pi--->pk ,那邊從pi出發(fā)的路徑就不止一條了,這與路徑覆蓋圖是矛盾的;還有另外一種情況就是存在pi'---pj'',pk'---pj'',這種情況也類似可證);

            至此,就說明了匹配邊與路徑覆蓋圖中連接兩頂點之間邊的一一對應(yīng)關(guān)系,那么也就說明了前面的公式成立!

             1 #include <iostream>
             2 using namespace std;
             3 int n,m;
             4 int map[250][250];
             5 bool visit[500];
             6 int l[500];//鄰接點
             7 bool find(int a)
             8 {
             9       for(int i=1;i<=n;++i)
            10             if(map[2*a][2*i-1]&&!visit[2*i-1])
            11             {
            12                   visit[2*i-1]=1;
            13                   if(!l[2*i-1]||find(l[2*i-1]))
            14                   {
            15                         l[2*i-1]=a;
            16                         return true;
            17                   }
            18             }
            19       return false;
            20 }
            21 int main()
            22 {
            23       int cas,a,b;
            24       scanf("%d",&cas);
            25       for(int i=1;i<=cas;++i)
            26       {
            27             memset(l,0,sizeof(l));
            28             memset(map,0,sizeof(map));
            29             scanf("%d%d",&n,&m);
            30             //把節(jié)點分成兩個節(jié)點,2*i是出節(jié)點,2*i-1是如節(jié)點
            31             for(int j=1;j<=m;++j)
            32             {
            33                   scanf("%d%d",&a,&b);
            34                   map[2*a][2*b-1]=1;
            35             }
            36             int ans=0;
            37             for(int i=1;i<=n;++i)
            38             {
            39                   memset(visit,0,sizeof(visit));
            40                   if(find(i))ans++;
            41             }
            42             printf("%d\n",n-ans);
            43       }
            44       return 0;
            45 }

            posted on 2009-02-05 14:36 SHFACM 閱讀(1130) 評論(1)  編輯 收藏 引用

            評論

            # re: 圖的最小路徑覆蓋(zoj1525) 2011-03-25 17:12 laoda

            膜拜……
            這個證明我找了好久了……  回復(fù)  更多評論   


            只有注冊用戶登錄后才能發(fā)表評論。
            網(wǎng)站導(dǎo)航: 博客園   IT新聞   BlogJava   博問   Chat2DB   管理


            導(dǎo)航

            統(tǒng)計

            常用鏈接

            留言簿(2)

            隨筆檔案

            文章分類

            文章檔案

            搜索

            最新評論

            閱讀排行榜

            評論排行榜

            久久亚洲欧美日本精品| 久久国产精品免费一区二区三区| Xx性欧美肥妇精品久久久久久| 日本三级久久网| 久久无码国产专区精品| 久久久无码人妻精品无码| 日本道色综合久久影院| 久久久久青草线蕉综合超碰| 久久久久久亚洲Av无码精品专口| 国产精品嫩草影院久久| 日产精品久久久久久久| 欧美亚洲国产精品久久蜜芽 | 国产香蕉97碰碰久久人人| 中文字幕无码久久人妻| 国产精品一区二区久久国产| 93精91精品国产综合久久香蕉 | 欧美日韩成人精品久久久免费看| 性欧美丰满熟妇XXXX性久久久| 日本一区精品久久久久影院| 99久久精品免费看国产一区二区三区| 亚洲国产精品久久久久婷婷老年| 精品伊人久久大线蕉色首页| 久久久久久青草大香综合精品| 国产欧美一区二区久久| 久久亚洲精品国产精品| 久久人人爽人人爽人人片AV东京热| 国产AV影片久久久久久| 亚洲天堂久久精品| 国产精品一区二区久久| 大伊人青草狠狠久久| 久久国产精品成人片免费| 伊人久久大香线蕉AV色婷婷色 | 性高湖久久久久久久久| 国产精品亚洲综合久久| 亚洲国产精品无码久久青草| 精品熟女少妇aⅴ免费久久| 久久国产乱子伦精品免费强| 久久99国产综合精品女同| 久久精品亚洲一区二区三区浴池 | 欧美久久一区二区三区| 免费精品久久久久久中文字幕 |