https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @ranha 問題設定聞いて最初に似てるものとして連想したのが、SATはNP完全だけどXOR-SATならGF(2)の線形連立方程式なので多項式で解けるというそれだったので、連立方程式に帰着しよう大会でした。答え合わせにarxivにあったの読んでたんですけどこれは巧妙ですねえ | |
| .@sinya8282 さっきお話した論文等です http://arxiv.org/abs/1503.01068 http://www.sciencedirect.com/science/article/pii/S0021980069801110?via%3Dihub http://www.acsu.buffalo.edu/~mwehar/LBL.html | |
| Zoltán Ésik と Zoltán Fülöp が自分の頭の中でごっちゃになってることが判明したのだが、 http://dblp.uni-trier.de/pers/hd/f/F=uuml=l=ouml=p:Zolt=aacute=n 見た感じ会議の共同チェアとかはあっても、このお二方の共著はないのかな。 |