摘要：
题意：在一个长方形网格中有行（street）和列（avenue）。然后每两个点（x,y）之间有一条简单路径表示他们只要转一次弯。每各行和列都是单向的方向由你来决定。问你能不能满足所有给你的询问（a, b）都有一条a->b的简单路径。思路：我们可以看到一共有m+n条路每条路都有两个方向可以选。这样就联想到了2-sat，然后就是分析题目对于两个点当横坐标和纵坐标都不想等的时候我们会得到上面这种情况。(a^b)U(c^d) =(a U d)^(b U c)^(a U c)^(b U d)对于横坐标纵坐标都想等我们不需要建边。然而有一个相等，若是a = 非a->a而非a = a->非 阅读全文