开区间覆盖的约简
2013-02-04 00:38
246 查看
令$a,b\in\mathbf{R}$,形如$(a,b)$,$(a,+\infty)$,$(-\infty,b)$,$(-\infty,+\infty)$的区间叫$\mathbf{R}$上的开区间.设$J$是非空集合,$M$是$\mathbf{R}$的非空子集.$\forall i\in J$,$A_i$是$\mathbf{R}$上的开区间,且$M\subseteq \bigcup_{i\in J} A_i$.
令
$$
L=\left\{\bigcup_{i\in S}A_i:S\subseteq J,\mbox{且}\bigcap_{i\in S}A_i\neq \emptyset\right\}.
$$
令
$$
D=L\bigcup \left\{ A_i:i\in J\right\}.
$$
令$$
T=\left\{x:x\in D,\mbox{且}x\subsetneq\bigcup(D\backslash\{x\})\right\}.
$$
其中$\bigcup(D\backslash\{x\})$指$D\backslash\{x\}$中所有元素的并.
定理: $\forall a\in M$,$a$必被$D\backslash T$覆盖,且只能被$D\backslash T$中的一个或两个元素覆盖.
证明:我们先证明$M$中的任意元素$a$必定被$D\backslash T$覆盖.我们使用反证法.假若$\exists a\in M$,使得$a$不被$D\backslash T$覆盖,则必有
$$
\left\{p:p\in D,\mbox{且}a\in p\right\}\subseteq T.
$$
记$\bigcap_{p\in D,a\in p}p$为集合$\{p:p\in D,\mbox{且}a\in p\}$中所有元素的交,$\bigcup_{p\in D,a\in p}p$为集合$\{p:p\in D,\mbox{且}a\in p\}$中所有元素的并.由于$\bigcap_{p\in D,a\in p}p\neq\emptyset$,根据集合$L$和$D$的定义可见$\bigcup_{p\in D,a\in p}p\in D$,进一步地,有$\bigcup_{p\in D,a\in p}p\in T$.可见,
\begin{equation}\label{eq:1}
\bigcup_{p\in D,a\in p}p\subsetneq D\backslash\{\bigcup_{p\in D,a\in p}p\}.
\end{equation}
根据开区间的性质易得式\ref{eq:1}是不可能的.
下面再证明$M$中的任意元素$a$至多被$D\backslash T$中的两个元素覆盖.这是因为假如存在$M$中的某个元素被$D\backslash T$中的超过两个元素覆盖,结合$T$的定义,易得
会与开区间的性质发生矛盾.综上,命题成立.
令
$$
L=\left\{\bigcup_{i\in S}A_i:S\subseteq J,\mbox{且}\bigcap_{i\in S}A_i\neq \emptyset\right\}.
$$
令
$$
D=L\bigcup \left\{ A_i:i\in J\right\}.
$$
令$$
T=\left\{x:x\in D,\mbox{且}x\subsetneq\bigcup(D\backslash\{x\})\right\}.
$$
其中$\bigcup(D\backslash\{x\})$指$D\backslash\{x\}$中所有元素的并.
定理: $\forall a\in M$,$a$必被$D\backslash T$覆盖,且只能被$D\backslash T$中的一个或两个元素覆盖.
证明:我们先证明$M$中的任意元素$a$必定被$D\backslash T$覆盖.我们使用反证法.假若$\exists a\in M$,使得$a$不被$D\backslash T$覆盖,则必有
$$
\left\{p:p\in D,\mbox{且}a\in p\right\}\subseteq T.
$$
记$\bigcap_{p\in D,a\in p}p$为集合$\{p:p\in D,\mbox{且}a\in p\}$中所有元素的交,$\bigcup_{p\in D,a\in p}p$为集合$\{p:p\in D,\mbox{且}a\in p\}$中所有元素的并.由于$\bigcap_{p\in D,a\in p}p\neq\emptyset$,根据集合$L$和$D$的定义可见$\bigcup_{p\in D,a\in p}p\in D$,进一步地,有$\bigcup_{p\in D,a\in p}p\in T$.可见,
\begin{equation}\label{eq:1}
\bigcup_{p\in D,a\in p}p\subsetneq D\backslash\{\bigcup_{p\in D,a\in p}p\}.
\end{equation}
根据开区间的性质易得式\ref{eq:1}是不可能的.
下面再证明$M$中的任意元素$a$至多被$D\backslash T$中的两个元素覆盖.这是因为假如存在$M$中的某个元素被$D\backslash T$中的超过两个元素覆盖,结合$T$的定义,易得
会与开区间的性质发生矛盾.综上,命题成立.
相关文章推荐
- 利用开区间覆盖的约简给出$\bf{Lindelöf}$覆盖定理的一个新证明
- 开区间覆盖的约简
- 利用开区间覆盖的约简给出有限覆盖定理的一个新证明
- 利用开区间覆盖的约简给出有限覆盖定理的一个新证明
- 利用开区间覆盖的约简给出$\bf{Lindelöf}$覆盖定理的一个新证明
- 基于贪心算法的几类区间覆盖问题
- HDU - 5023 A Corrupt Mayor's Performance Art(线段树区间覆盖,位运算)
- POJ - 2376 Cleaning Shifts(区间覆盖/贪心)
- hd 4883 TIANKENG’s restaurant (区间覆盖)
- 区间覆盖问题
- zoj 3197 Google Book 【区间覆盖】
- poj 3680 用网络流解决(K次区间覆盖问题)
- POJ 2528 Mayor's posters[区间更新+查询+覆盖问题]
- NYOJ——12 喷水装置(二)(区间覆盖)
- poj 1716 贪心(整数区间:2-覆盖)
- HDU 1698 Just a Hook 线段树区间更新(值进行覆盖)
- #POJ2376#Cleaning Shifts(贪心 -> 最小区间覆盖)
- 【Codeforces Testing Round 12B】【贪心】Restaurant 选取数量最多的不覆盖区间数
- 北京网赛I题 hiho1391 (树状数组、区间覆盖最大值问题)
- HDU 1050 Moving Tables 【区间覆盖】