83131

摘要： 今天学了2-SAT问题，就找了这道例题，敲了一下，还好过了。 2-SAT问题应该是把一些布尔变量之间的逻辑关系反映到一个无向图（有时可能是有向图）上来。通过推导的形式（即已经明确不符合题意的两个变量之间的逻辑关系，通过确定其中一个变量的值，来推导出另一变量的值）在这个有向图里面补边。再通过确定一些... 阅读全文

摘要： 好激动，没想到，我在BZOJ这个网站AC的第一道是一个最短路的，虽然仔细一想也不是很难。 简单说一下吧！之所以开始做这道题还是想练一下最短路，因为刚重温了一下dijkstra。刚开始看到也是又蒙了，然后仔细一想，状态的转移应该不难，应该是分层进行的，不断地进行下一步决策。所以就把刘汝佳的dijk... 阅读全文