https://twitter.com/kinaba のログ (twilog の方が便利です。)
| 【緩募】 poset Aに対し、AからP(B)へのorder embeddingが存在するような最小の|B|、って概念はなんて呼ばれてるのでしょうか。あとAが有限な時それを求める計算量。ここでPはpowerset、order-embeddingとはx≦y⇒f(x)⊆f(y)な単射 | |
| さっきの http://twitter.com/kinaba/statuses/20450219354 僕が欲しいのは⇒ではなくx≦y iff f(x)⊆f(y)な気がしてきた。多重継承のindexingの時に区間グラフへのembedはNP完全って見た記憶があるけどこれも同じかな | |
| @t33f CABAという名前を知らなかったでした。ふむふむ。埋め先が大きければ a∈A \mapsto {x∈A | x≦a}∈P(A) でよいんですけど、これposetの形によってはどこまで減らせるのかなーというのが突然何の脈絡もなく気になってます | |
| えっみんな叫んでないの RT プログラミングコンテストでも提出するときあんなかんじで叫ぶといいかな (via @iwiwi) http://twitter.com/iwiwi/statuses/20470001294 |