【图论·习题】三角形灯阵

Problem

题目描述

中秋节的晚上，小x在桌面上放了许多好看的彩灯。遗憾的是，这些彩灯可能并非 全部都亮着。于是，小x打算把全部这些彩灯都点亮。

但是，小x很快发现，这些彩灯的摆放是非常有规律的，事实上，彩灯的位置都在平面的 正三角形镶嵌的某个交点处。距离为单位长度的彩灯被认为相互相邻。可以看出，每个彩灯 最多与六个彩灯相邻，相邻的彩灯都在以其为中心的单位正六边形的顶点上。

下图就是一种合法的彩灯摆放（对应样例数据）：

其中，实心和空心的圆点分别代表亮与灭的彩灯，实线边代表彩灯间的相邻关系。

图中的边组成了若干单位正三角形（边长为单位长度的三角形），可以看出，每个彩灯 与它相邻的彩灯最多可以组成六个单位正三角形。而所有的单位三角形可被分成两类，我们 称为 A 类以及 B 类，图中加阴影的三角形属于 A 类。A 类三角形的特征是，三个顶点分别 在上方、左下方及右下方。

每个 A 类三角形中有一个开关（图中未画出），按动三角形中的开关 开关会改变三个顶点上每个彩灯的亮灭状态（亮变成灭，灭变成亮）。

那么，要点亮所有彩灯，最少需要按动多少次开关呢？

输入格式

输入数据描述了每个彩灯的初始亮灭状态以及所有三角形。

第一行一个整数 N，表示彩灯的数目，彩灯被编号为 1 至 N。

第二行 N 个 0 或 1 的整数，第 i 个 0 或 1 表示第 i 个彩灯初始的状态是灭或亮。 第三行一个整数 M，表示有 M 对彩灯相邻的关系。

以下 M 行，每行三个整数，表示一对彩灯相邻的关系。前两个整数即相邻的这一对彩灯的编号。第三个整数表示第二个彩灯相对于第一个彩灯的方位，0~5 分别表示右方、右下 、 左下、左方、左上、右上。

例如，“1 3 1”表示“第 3 个彩灯在第 1 个彩灯的右下方”。

输出格式

如果不可能做到点亮所有彩灯，输出-1，否则输出最小的步数。

---

题解

B类三角形暂且不管，考虑A类三角形对答案的影响。

对于A类三角形的顶点，若它不是另一个A类三角形下面的两个点，即只有一个A类三角形其亮暗则：

• 若这个三角形是亮的，则这个三角形一定不能够改变；因为改变只会让亮着的三角形变暗，且没有其它的三角形使其重新变亮。
• 若这个三角形是暗的，则这个三角形必须要改变；因为只有这个三角形能让当前灯变亮。

因此我们就通过寻找每一个仅在一个A类三角形中的点，来寻找点和点之间的依赖关系：

若当前点进行操作后，当前点必然对下面的三角形产生影响，且这个点明显可以忽略不计；即删去这个点对下面两个点的关系。此时若下面的两个点也像这样成为了一个唯一三角形的顶点，也向这样有了唯一的解决方案。

这种方式就是一个拓扑排序。

找到每一个仅在一个A类三角形且是顶点的点，则这个点就是那个拓扑排序中入度为0的点，然后一边做拓扑排序一边进行操作，不断找到那个仅有A类顶点的点即可。

然后我们就有一个问题就是如何建图来完成这个关系：

• 向左或者向右的点对答案不存在影响，不管。
• x的左下或右下有y，则x→y。
• x的左上或右上有y，则y→x。

代码如下：

#include<bits/stdc++.h>
using namespace std;
int n,m