Математик из Дублинского университетского колледжа Гэри Макгир изобрел алгоритм для суперкомпьютера, позволяющий создавать судоку с единственным решением и минимальным количеством числе в квадрате.
Судоку представляет собой квадрат с ячейками 9Х9, в которых стоит определенное количество чисел, называемых «ключами». Надо разместить в квадрате числа от 1 до 9 так, чтобы ни в одной строчке, ни в одном столбце, ни в одной из девяти ячеек эти цифры не повторялись. Математика заинтересовало, при каком минимальном количестве ключей задачка имеет единственное решение.
Макгир доказал, что минимальное число ключей для судоку равно семнадцати. На решение задачи при помощи суперкомпьютера в Дублине у него ушло около семи миллионов часов машинного времени ЦПУ. Он считает, что методика, примененная при решении " теоремы судоку", взята из статей по секвенированию геномов и клеточных сетей, а потому разработанный им алгоритм может быть с успехом использован и в этих областях, сообщает CNews.