https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @septef 分離しちゃいかんよ…… | |
| ＠数え上げガチ勢 DAGが与えられたときに何通りのトポロジカルソートができるかって多項式時間で数えられますか (緩募) | |
| Graphillion様の力を借りるとよい事例だったりするのかもしれない | |
| RT @ir5: @kinaba #P-completeらしいです http://en.wikipedia.org/wiki/Sharp-P-complete | |
| @ir5 おお、ありがとうございます！ それは大変だ | |
| あとで読む "Counting linear extensions" http://link.springer.com/article/10.1007%2FBF00383444 randomized polynomial-time estimation はあるのか | |
| グラフィリオン https://t.co/mOSPEBmd4H ってなぜだか蛙っぽいイメージがあるんだけどなんでだろうと思ってたのですが、なぜだかも何もグランドリオンのせいだ | |
| K_10 くらいの universe で GraphSet({}).excluding(GraphSet.paths(1,2)) がお帰りにならない。あと Graphillion さん無向グラフ用だった。うまいエンコーディングあるかな… |