Оптимизация
М-да, поработал. Долго и упорно улучшал алгоритм, в итоге улучшил. Раньше, по оценке, на имеющихся в наличии вычислительных мощностях он должен был бы работать несколько веков :), теперь - всего 10-15 лет. И что самое противное - похоже, что в процессе улучшения почти оформилось доказательство, что последний вариант - оптимальный. Где бы теперь раскопать сотню-другую суперкомпьютеров?..