NOI2015的专栏

d.题目类型：状态压缩，最短路题目大意：给出一个图n个点、m条边以及每条边的权。Money有一个初始值。在图上需要遍历p个节点，到达Ui（1题目解法：dp[u][p1][p2]...[pu]...[pn] = min(dp[i][p1][p2]...[pi - 1]...[pn] + dis(i, u))，i为当前所在的必经节点，p1 ~ pn为pi是否遍历过的bool值，因为

a.题目类型：2-sat题目⼤意：给出若干个变量，每个变量有些可选的赋值。现存在若干限制，每个限制为变量与变量赋值间的关系。问是否存在⼀一个方案，满足所有限制。题目解法：对于每个变量的每个赋值，可引入⼀一布尔命题，表示该变量在最终方案中的赋值与该备选赋值的大小关系。随后⽤用2-sat问题的算法解决即可。题目难点：将问题转化为2-sat模型。注意细节：除了