「離散分離定理」の版間の差分

提供: ORWiki
ナビゲーションに移動 検索に移動
(新しいページ: ''''【りさんぶんりていり (discrete separation theorem)】''' 一般に, あるクラスに属する関数$f: {\bf Z}\sp{n} \to {\bf Z} \cup \{ +\infty \}$ と$g: {\bf...')
 
1行目: 1行目:
 
'''【りさんぶんりていり (discrete separation theorem)】'''
 
'''【りさんぶんりていり (discrete separation theorem)】'''
  
一般に, あるクラスに属する関数$f: {\bf Z}\sp{n} \to {\bf Z} \cup \{ +\infty \}$ $g: {\bf Z}\sp{n} \to {\bf Z} \cup \{ -\infty \}$$f(x) \geq g(x)$ $(\forall \ x \in {\bf Z}\sp{n})$を満たすならば, ある$\alpha \in {\bf Z}$, $p \in {\bf Z}\sp{n}$が存在して $ f(x) \geq \alpha + \langle p, x \rangle  \geq g(x)  \qquad  (\forall \ x \in {\bf Z}\sp{n})$ が成り立つ,という形の定理を離散分離定理という. ここで, $\langle p, x \rangle = \sum_{i=1}\sp{n}p_{i}x_{i}$であり, $p$が整数ベクトルに選べることが離散性の反映である.
+
一般に, あるクラスに属する関数<math>f: {\bf Z}\sp{n} \to {\bf Z} \cup \{ +\infty \}\,</math> <math>g: {\bf Z}\sp{n} \to {\bf Z} \cup \{ -\infty \}\,</math><math>f(x) \geq g(x)\,</math> <math>(\forall \ x \in {\bf Z}\sp{n})\,</math>を満たすならば, ある<math>\alpha \in {\bf Z}\,</math>, <math>p \in {\bf Z}\sp{n}\,</math>が存在して <math> f(x) \geq \alpha + \langle p, x \rangle  \geq g(x)  \qquad  (\forall \ x \in {\bf Z}\sp{n})\,</math> が成り立つ,という形の定理を離散分離定理という. ここで, <math>\langle p, x \rangle = \sum_{i=1}\sp{n}p_{i}x_{i}\,</math>であり, <math>p\,</math>が整数ベクトルに選べることが離散性の反映である.

2007年7月11日 (水) 14:01時点における版

【りさんぶんりていり (discrete separation theorem)】

一般に, あるクラスに属する関数構文解析に失敗 (不明な関数「\sp」): {\displaystyle f: {\bf Z}\sp{n} \to {\bf Z} \cup \{ +\infty \}\,}構文解析に失敗 (不明な関数「\sp」): {\displaystyle g: {\bf Z}\sp{n} \to {\bf Z} \cup \{ -\infty \}\,} 構文解析に失敗 (不明な関数「\sp」): {\displaystyle (\forall \ x \in {\bf Z}\sp{n})\,} を満たすならば, ある, 構文解析に失敗 (不明な関数「\sp」): {\displaystyle p \in {\bf Z}\sp{n}\,} が存在して 構文解析に失敗 (不明な関数「\sp」): {\displaystyle f(x) \geq \alpha + \langle p, x \rangle \geq g(x) \qquad (\forall \ x \in {\bf Z}\sp{n})\,} が成り立つ,という形の定理を離散分離定理という. ここで, 構文解析に失敗 (不明な関数「\sp」): {\displaystyle \langle p, x \rangle = \sum_{i=1}\sp{n}p_{i}x_{i}\,} であり, が整数ベクトルに選べることが離散性の反映である.