Dilworthの定理
"A proof of Dilworth's decomposition theorem for partially ordered sets." Micha A. Perles. 1994.
有限半順序集合 に含まれる最大の反鎖の濃度が
ならば，
は
個の鎖の和集合として表せる．
メモ: Königの定理を使う証明があるらしい．
"A proof of Dilworth's decomposition theorem for partially ordered sets." Micha A. Perles. 1994.
有限半順序集合 に含まれる最大の反鎖の濃度が
ならば，
は
個の鎖の和集合として表せる．
メモ: Königの定理を使う証明があるらしい．