https://twitter.com/kinaba のログ (twilog の方が便利です。)
| TODOを一匹狩ったので今週やるべきことはやり終えた気になったのになぜ明日は休日ではないんだ | |
| https://t.co/VYBJo56ciI あとで読んだ(あと=512日)。有向グラフの全点間到達可能性判定ただし辺にラベルがついててラベルを並べると固定のある文脈自由文法に合った文字列になってるパスだけ許す、ていう問題を100万頂点くらいのを1分くらいで解いたという話 | |
| 元々の問題は「プログラム中のある変数とある変数とが同じメモリ領域を指す可能性があるか」で、グラフに近似して解くわけなんだけど、要はUTPC2013のL https://t.co/xK2tjrvMsJ とかの元ネタの問題なわけだけど、この論文の方針で解くとよい感じな問題作れんかな |