P_k（M_k）—等可覆盖的路和圈.pdfVIP

： 类年57： ： ： ： UDC： 5年0： ： ： 年00明4： P (M ) −：： k k ：： P (M ) − Equicoverable Paths and Cycles k k 得0库得 性 得得 ： I 摘 要 设 为 阶简单图, 为 的一个不带孤立点的子图. 图 的一个 -覆盖，是指一 个有序对, ℬ, 其中 为 的点集, ℬ 为 的一些子图(亦称为区组)构成的集合, 使得 任一区组均与图 同构, 且 的任意两个不同点组成的边至少在ℬ 的一个区组中出现. ∀ ∈ ℬ, 若ℬ∖{} 都不是 的一个覆盖, 则称, ℬ 为 的一个极小-覆盖. 一个 图 覆盖称为是最小的, 如果不存在其它含有更少区组个数的覆盖. 若 的每个极小-覆盖 都是 的最小-覆盖, 则称 是-等可覆盖的. 本文第一部分主要研究 -等可覆盖的 路和圈及 - 等可覆盖的路和圈的特征，给出了如下结果： 1. 路 是 -等可覆盖的当且仅当 , , · · · , − , , − . 2. 圈 是 -等可覆盖的当且仅当 − ≤ ≤ ⌊+1 ⌋, − , ≥ . 2 3. 路 是 -等可覆盖的当且仅当 . 4. 圈 是 -等可覆盖的当且仅当 , . 记 为 重 阶完全图. 若 的边集可 以拆分成两两不交的 长圈的集合, 则 称这些圈构成一个 -圈系统，记作 - , . 如果一个 - , 中的所有 圈可 以 被分拆为一些-平行类, 则称其为-可分解的. 本文第二部分采用直接构造与递归构造 相结合的方法，研究-可分解的圈系统的存在性问题, 主要讨论了 时的情况，并 给出了-可分解的 的一些结果： 1. -可分解的- , 存在的必要条件也是充分的, 除去 ≡ , , , (mod ), 以及 ≡ (mod ) ( 非素数) 的可能情形. 2. 当 ≡ (mod ) 时, 存在型为3 的, , -圈.