BZOJ 1006 完美消除序列&最大勢算法&弦圖
阿新 • • 發佈:2018-12-02
是否 完全 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 完美消除序列&最大勢算法&弦圖