关于超图的强K-Helly性子.pdfVIP

新疆师范大学硕士学位论文 中文摘要 Helly , Helly 性质是超图理论中很重要的一个概念 因为很多超图类都有 性质.一个图具有Helly 性质的充要条件是图不含三角形,因而具有Helly 性 质的超图是不含三角形的图的一种推广。进一步地,Berge 和 Duchet[13]定义 了k-Helly 性质并且给出了超图具有此性质的充要条件。因为超图如果具有 k-Helly , k-Helly , 性质则它的部分超图也具有 性质但它的诱导子超图未必具 k-Helly k-Helly , 有 性质，所以本人定义了强 性质并给出了它的充要条件。 根据此充要条件,当固定 时，我又给出了检验一个超图是否具有强k-Helly k 性质的多项式算法. 下面是我的主要结果: 定理1 超图H 具有强Helly 性质，当且仅当对H 的任意3 个顶点x,y,z ， 对任意H 中的3 条边 , , ，其中 x , y ⊆E ， x , z ⊆E ， y ,z ⊆E ， Exy Exz Eyz { } xy { } xz { } yz 存在v ∈ x, y, z ，使得v ∈E ∩E ∩E 。 { } xy xz yz 2 Helly 性质。 定理 区间超图具有强 3 Helly 性质。 定理 平衡超图具有强 4 H k-Helly A 定理 超图 具有强 性质的充要条件：对每个顶点子集 ， , A k =+1 存在一个顶点x ∈A ，使得x ∈ ∩ E 。 j ∩ ≥ E A k j 5 H m r H 定理 设超图 有 条边，最大度为Δ，上秩为 ， 能被时间复杂 性为O(mr2k Δ) 的算法检验是否具有强k-Helly 性质。 定理6 若超图 ˆ 的遗传超图 具有k-Helly 性质,则 是强k-Helly 超 H H H II 第 页 新疆师范大学硕士学位论文 图. 定理7 r 部完全超图具有强r-Helly 性质。