119 followers
地雷の配置で真理値を表現するんだとか. へー… cf. https://t.co/ASLB5mCdHN https://t.co/3svDtKkQxg
地雷の配置で真理値を表現するんだとか. へー… cf. https://t.co/ASLB5mCdHN https://t.co/3svDtKkQxg
@magrofly 直感的には、 a*b *2* --- *1* *s* は、(*の位置に爆弾が無いことを保証し、かつ-を未開封にできれば)sはaとbのNANDにできるので、回路充足問題(=NP完全)にできる気がしますね 具体的な構築は思いつきませんが…… https://t.co/WtvDqPPsN8
To those I shared a table with at the banquet: http://t.co/yAF2hwJYTh