08 2019 档案
摘要:UVA1420 Priest John's Busiest Day【贪心】
阅读全文
摘要:一个不错的2 SAT文章: "传送门" 问题初入 什么是2 SAT SAT是适定性(Satisfiability)问题的简称 。一般形式为k 适定性问题,简称 k SAT。 首先,把「2」和「SAT」拆开。SAT 是 Satisfiability 的缩写,意为可满足性。即一串布尔变量,每个变量只能为
阅读全文
摘要:洛谷P2051 [AHOI2009] 中国象棋(状压dp)
阅读全文
摘要:洛谷P1273 有线电视网 树形dp,背包
阅读全文
摘要:洛谷P1462 [最短路,二分]
阅读全文
摘要:洛谷P3258 [JLOI2014]松鼠的新家【LCA+树上差分】
阅读全文

浙公网安备 33010602011771号