M. 2-SAT
3000 мс · 256 МБ · всё или ничего
Даны булевы переменные и утверждения вида « или ». Подберите значения переменных так, чтобы все утверждения стали истинными. Решение гарантированно существует.
Формат ввода
В первой строке () — количество наборов. Каждый набор: в первой строке и — число переменных и утверждений; далее строк по четыре числа , , , (, ). Сумма всех не больше , сумма всех — не больше .
Формат вывода
Для каждого набора выведите строку из нулей и единиц — значения переменных. Если решений несколько, выведите любое.
Примеры
ввод
3 1 0 2 2 0 0 1 0 0 1 1 1 3 4 0 1 1 0 0 0 2 1 1 1 2 0 0 0 0 1
вывод
3
Разбор идеи от автора задачи. Сначала попробуйте сами.
Войдите, чтобы отправлять решения.