Introduction - If you have any usage issues, please Google them yourself
AC source of uvalive 4849. Algorithms: 2-sat. Meaning of the questions: to n (n <= 3000) coordinates a black box, to ensure that there is no common edge black squares. For each black box to choose a corner as nodes, such that the selected nodes meet a directed graph with no input. Where the distance is the Manhattan distance. Output is solvable. possible or impossible.