Розглядається задача пошуку двох активних куль на множині заданих для n = 127. Доводиться теорема, що розв’язок досягається за 13 кроків. Доведення базується на введені 2-х нових типів графів – Q-графа та N-графа.
Рассматриваются задачи поиска двух активных шаров на множестве заданных для n = 127. Доказывается теорема, что решение достигается за 13 шагов. Доказательство базируется на введении 2-х новых типов графов – Q-графа и N-графа.
The problem of search or for two active balls in the set of given ones for n=127 is considered. The theorem is proved, consisting in assertion that the task is achiked in 13 steps. The proof is based on the use of the introduced new types of graphs, namely the Q-graph and the N-graph.