Донець, Г.П.; Білецький, В.І.; Ненахов, Е.І.
(Теорія оптимальних рішень, 2018)
Розглядається задача пошуку двох активних куль на множині заданих для n = 127. Доводиться теорема, що розв’язок досягається за 13 кроків. Доведення базується на введені 2-х нових типів графів – Q-графа та N-графа.