Live2D
2019年7月15日
只有2-SAT不是NPC呢——2-SAT学习笔记
摘要： 2-SAT是唯一能够使用算法解决的SAT问题…… 阅读全文
posted @ 2019-07-15 20:12 tqr06 阅读(1124) 评论(3) 推荐(0) 编辑