8、特殊可平衡族的整数性质与图着色问题研究

特殊可平衡族的整数性质与图着色问题研究

在图论的研究中，特殊可平衡族的整数性质以及图的着色问题一直是重要的研究方向。本文将围绕这些主题展开，深入探讨相关的概念、引理和定理，并分析它们之间的联系。

1. 边 - 路径 - 树族与拟图族

在图论中，边 - 路径 - 树族有着重要的性质。我们发现，每个边 - 路径 - 树族都是拟图族。这是因为对于图的相关性质，如 $M(W4) = M ∗(K3,3)$，根据引理 1，图中不能包含偶 $E$ - 轮或偶 $E$ - 3PC，否则 $M(E)$ 会包含 $M ∗(K3,3)$ 子式，这与 $M(E)$ 是图拟阵相矛盾。而且，边 - 路径 - 树族不能包含 $Q6$ 杂乱作为子式，因为边 - 路径 - 树族的每个子式都是边 - 路径 - 树族，而由 $[I6, AQ6]$ 生成的二元拟阵是 $K5$ 的余图拟阵。

拟图族这个术语的由来是因为拟图族包含能生成无 $M ∗(K3,3)$ 子式的正则拟阵的族，也就是几乎图拟阵。

2. 定理 2 的证明

在证明定理 2 的过程中，我们进行了一系列的设定。设 $N = {1, \ldots, n}$ 和 $P = {1, \ldots, p}$，$P = {L1, \ldots, Ln}$ 是杂乱 $C = {L1, \ldots, Ln, Ln+1, \ldots, Lp}$ 中的一个奇饼，其中 $C$ 是在 $V (C) = V$ 上的杂乱。对于 $i \in N$，用 $Si$ 表示 $V (P)$ 中出现在 $Li$ 且不出现在 $P$ 的其他成员中的元素集合。根据分支的定义，有以下性质：
- $Si ∩ Sj = ∅$，$i \neq j$