離散分離定理

提供: ORWiki
2007年7月11日 (水) 18:04時点における211.9.146.139 (トーク)による版
ナビゲーションに移動 検索に移動

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

一般に, あるクラスに属する関数 を満たすならば, ある, が存在して が成り立つ,という形の定理を離散分離定理という. ここで, であり, が整数ベクトルに選べることが離散性の反映である.