... става неизпълнимо. Работата на суперкомпютъра по проверка на всички възможни варианти за оцветяване е отнела около два дни, след това решението било проверено с друга програма.
Доказателство Заема - Новини
... става неизпълнимо. Работата на суперкомпютъра по проверка на всички възможни варианти за оцветяване е отнела около два дни, след това решението било проверено с друга програма.