1. 程式人生 > >BZOJ 1006 完美消除序列&最大勢算法&弦圖

BZOJ 1006 完美消除序列&最大勢算法&弦圖

是否 完全 ima ont 單純 染色 完美 最大團 給定

  K國是一個熱衷三角形的國度,連人的交往也只喜歡三角原則.他們認為三角關系:即AB相互認識,BC相互認識,CA
相互認識,是簡潔高效的.為了鞏固三角關系,K國禁止四邊關系,五邊關系等等的存在.所謂N邊關系,是指N個人 A1A2
...An之間僅存在N對認識關系:(A1A2)(A2A3)...(AnA1),而沒有其它認識關系.比如四邊關系指ABCD四個人 AB,BC,C
D,DA相互認識,而AC,BD不認識.全民比賽時,為了防止做弊,規定任意一對相互認識的人不得在一隊,國王相知道,
最少可以分多少支隊。

原圖:G xx圖:G‘

子圖:V‘為V的子集 E‘為E的子集

誘導子圖:對於V‘ 只要在G中有邊 那麽在G‘中同樣應該有邊

最大獨立集:最大的一個點的子集使任何兩個點不相鄰——最大獨立集數

最大團:點數最多的團——團數

最小染色:用最少的顏色給點染色使相鄰點顏色不同——色數

最小團覆蓋:用最少個數的團覆蓋所有的點——最小團覆蓋數

結論: 團數<=色數 最大獨立集數<=最小團覆蓋數

弦(Chord):連接環中不相鄰的兩個點的邊

技術分享圖片

弦圖:一個無向圖稱為弦圖,當圖中任意長度大於3的環都至少有一個弦

弦圖的每一個誘導子圖一定是弦圖

弦圖的判斷:

ZJU1015

給定一個無向圖,判定它是否為弦圖

單純點:設N(v)為與點v相鄰的點的點集 一個點是單純點當且僅當{v}+N(v)的誘導子圖為一個團

引理:任何一個弦圖都至少有一個單純點 不

是完全圖的弦圖至少有兩個不相鄰的單純點

BZOJ 1006 完美消除序列&最大勢算法&弦圖