5
Отримайте два з одного
Як ми бачили в цьому питанні, складні логічні твердження можна висловити через прості сполучники узагальненого тральщика. Однак узагальнений тральщик все ще має надмірності. Щоб уникнути цих надмірностей, ми визначаємо нову гру під назвою "Генералізована-1 мінночистка". Generalized-1 Minesweeper - це версія Шахтника, відтворена на довільному графіку. Графік має два типи вершин, …