https://twitter.com/kinaba のログ (twilog の方が便利です。)
| Schaefer's dichotomy theorem https://t.co/42Rr6Qs31x 読んでる面白い。充足する割当2つを&しても充足する(例：Horn-SAT)とか、充足割当3つを多数決しても充足(例:2SAT)になるような制限SATは全部Pになる、と | |
| Horn-SATも2-SATも解けるけど、混ざったやつ、Horn節または2変数節のどっちかだけで書かれたSATを解きたい用事ができたので調べていた | |
| RT @tmaehara: きっと @kinaba さん的には https://t.co/3Ti6jUdUOk が楽しいんじゃないかと思う． | |
| アルゴリズム的遺伝 | |
| またTL上に見えた言葉を何も考えず入れ替えて面白くした気になるという罪を犯してしまった | |
| うおおおおおお | |
| https://t.co/59eIwyWk63 欲しかった結果が証明されている論文をやっと見つけた（1日考えてわからんかった）。問題はSIAMのサイトで買おうとするとエラーになって買えない |