这题是一道2-SAT模板题

这题除了要求可行性以外还要求方案

照道理p4171比p3007简单，但是p4171是紫题，p3007是蓝题，建议把这两题难度反一反qwq