Заслуженный участник |
|
20/08/14 11766 Россия, Москва
|
Вот подтвердить минимальность известной 17-240-1 - полезно, мне по оценке на это хватило бы недели старой программой, собственно прикину ещё раз: перебрать надо 59# (реально половину, но мне теперь проще весь), в нём 9e14 вариантов, с моей скоростью 1e10/с (для новой программы с КТО) хватит типа суток что ли ... И полтора месяца на 61#, в котором должно быть в 5 раз больше этих цепочек (штук 30) чем известные 6шт до 2e22. Неделю на это жалко, а вот сутки ... Если вспомню как поправить программу под 17-240-1 (с наскока почему-то не получилось, уже пробовал, один из 4-х тестов в проге ошибается (настолько он хитро оптимизирован под 19-252), а без него скорость заметно падает, раза в 2 кажется), то может и посчитаю. Но 59#, не дальше, недель на это жалко. Вчера дошли руки таки найти тот странный баг в программе, оказалось он не в самом тесте, а в инициализации таблиц для него, слишком переоптимизировал вычисление и одна из констант стала неявной, вот про неё и забыл когда правил код из 19-252 к 17-240 (и соответственно в программе поиска 19-252 бага точно нет, чего опасался). После исправления скорость вернулась к нормальной (1e10 вариантов/с), так что запустил счёт 17-240 (которая центральная в 19-252) по всему 59#, хватило 27ч. Самое главное: кроме одной известной других 17-240 не нашёл, что можно считать подтверждением её минимальности.Плюс нашёл все грязные 17-240 во всём 59#, их оказалось 13шт (кроме одной чистой), из них 1шт до 1e20 и 7шт до 1e21 (и чистой). Покажу все 14шт найденных цепочек с valids=17 (и чистую и грязные): 89207733312741151327: [ 0, -4, 6, 24, 36, 66, 84, 90,-112, 114, 120, 126, 150, 156, 174,-192, 204, 216, 234, 240], len=20, valids=17205467410125360332883: [ 0, 6, 24, 36, 66, 84, 90, 114, 120, 126,-136, 150, 156, 174, 204, 216, 234, 240], len=18, valids=17348413329032411643373: [ 0, 6, 24, 36, -38, 66, 84, 90, 114, 120, 126, 150, 156, 174,-176, 204, 216,-224,-228, 234, 240], len=21, valids=17499329670718617444247: [ 0, 6, 24, 36, 66, 84, 90, 114, 120, 126,-146, 150, 156,-170, 174, 204, 216, 234, 240], len=19, valids=17685422702762503426093: [ 0, 6, 24, 36, -44, -48, 66, 84, -86, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240], len=20, valids=17874900086586172867047: [ 0, 6, 24, -34, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204,-210, 216, 234, 240], len=19, valids=17972196171597793081873: [ 0, 6, -14, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174,-180, 204, 216, 234, 240], len=19, valids=171006882292528806742267: [ 0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240], len=17, valids=17, FOUND! - чистая 1104148931136722879627: [ 0, 6, -14, 24, 36, -62, 66, -72, 84, 90, 114,-116, 120, 126,-134,-140, 150, 156,-170, 174, 204, 216, 234, 240], len=24, valids=171142044379075513777537: [ 0, 6, 24, 36, 66, 84, 90, -92, 114, 120, 126, 150, 156, 174,-176,-200, 204, 216, 234, 240], len=20, valids=171144356700228770973163: [ 0, 6, 24, 36, 66, 84, 90, 114, 120, 126, 150, 156, 174,-176, 204, 216, 234, 240], len=18, valids=171149386702406793224047: [ 0, 6, 24, 36, 66, 84, -86, 90, 114, 120, 126,-134, 150, 156, 174, 204,-212, 216, 234, 240], len=20, valids=171275845677741545820583: [ 0, 6, -20, 24, 36, -48, 66, 84, 90, -98, 114, 120, 126, 150, 156, 174, 204, 216,-218, 234, 240], len=21, valids=171476534327408014082427: [ 0, 6, 24, 36, -52, 66, 84, 90, 114, 120, 126, 150, 156, 174, 204, 216, 234, 240], len=18, valids=17
|
|