Message boards :
Cafe :
Для участников форума MHP
Message board moderation
Previous · 1 . . . 79 · 80 · 81 · 82 · 83 · 84 · 85 . . . 129 · Next
Author | Message |
---|---|
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Факторизовала элементы 103-х непрерывных 10-ок, входящих в 15-ки; покажу несколько первых и последних ? \ra17.txt logfile = "results_factor.txt" [3, 2; 5, 1; 1112081, 1; 93106339, 1; 449955247680433039, 1], [2, 1; 599, 1; 169843, 1; 281249, 1; 36635493724079734361, 1], [13, 2; 77899, 1; 159249808539521862571080137, 1], [2, 2; 3, 1; 174709395098834674478312716589629, 1], [7, 2; 307, 1; 139367994494849171956375230943, 1], [2, 1; 5, 2; 41930254823720321874795051981511, 1], [3, 1; 11, 2; 5775517193349906594324387325277, 1], [2, 5; 65516023162063002929367268721111, 1], [29, 2; 151, 1; 16509144279405753901770618383, 1], [2, 1; 3, 2; 116472930065889782985541811059753, 1], [5, 1; 37, 2; 306283819019140408143134053919, 1], [2, 2; 7, 1; 74875455042357717633562592824127, 1], [3, 1; 23, 2; 48809, 1; 27065787604998268506805679, 1], [2, 1; 17, 2; 12009247801, 1; 302032627974432765611, 1], [19, 2; 397, 1; 177189343229, 1; 82558577057007463, 1], [3, 2; 5, 1; 14051199915409, 1; 3205600618172503949, 1], [2, 1; 19, 2; 467127047, 1; 4540725923, 1; 1323542341553, 1], [13, 2; 20288523679, 1; 591150673847128961597, 1], [2, 2; 3, 1; 168909506755876970986344444188029, 1], [7, 2; 137, 1; 301938638622154573489666815173, 1], [2, 1; 5, 2; 40538281621410473036722666605127, 1], [3, 1; 11, 2; 5583785347301718049135353526877, 1], [2, 5; 63341065033453864119879166570511, 1], [17, 2; 389, 1; 18029674892329045746222977293, 1], [2, 1; 3, 2; 112606337837251313990896296125353, 1], [5, 1; 23, 2; 766319123278080775741449274199, 1], [2, 2; 7, 1; 72389788609661558994147618937727, 1], [3, 1; 29, 2; 18233, 1; 63079, 1; 171838529, 1; 4064944413553, 1], [2, 1; 31, 1; 41, 1; 79, 1; 227, 1; 349, 1; 127403517336379632736397, 1], [37, 2; 53, 1; 27935472539803515192691722787, 1], [3, 2; 5, 1; 4463, 1; 71941, 1; 248779, 1; 603248685395706853, 1], [2, 1; 23, 2; 3326392207, 1; 616122190320376785491, 1], [37, 2; 167, 1; 109331, 1; 133583, 1; 649398887971452793, 1], [2, 2; 3, 1; 180694413956923129880792458884829, 1], [7, 2; 21201347, 1; 2087211402838713895779983, 1], [2, 1; 5, 2; 43366659349661551171390190132359, 1], [3, 1; 11, 2; 5973369056427210905150163930077, 1], [2, 5; 67760405233846173705297172081811, 1], [17, 2; 22933228793521, 1; 327162054151989137, 1], [2, 1; 3, 2; 120462942637948753253861639256553, 1], [5, 1; 13, 2; 2566074517731452732034922493039, 1], [2, 2; 7, 1; 77440463124395627091768196664927, 1], [3, 1; 19, 2; 2002154171267846314468614502879, 1], [2, 1; 3552433, 1; 20497998799, 1; 14888763044182637, 1], [29, 2; 43, 1; 839, 1; 71466014097244757557285387, 1], [3, 2; 5, 1; 3447984222673, 1; 14151832842715171277, 1], [2, 1; 23, 2; 5756841369187, 1; 360512679346748351, 1], [17, 2; 255240725911, 1; 29767520405309036093, 1], [2, 2; 3, 1; 182982361363453131398515881612829, 1], [7, 2; 184448800936417, 1; 242950925335463053, 1], [2, 1; 5, 2; 43915766727228751535643811587079, 1], [3, 1; 37, 2; 534645321733975548279082196093, 1], [2, 5; 68618385511294924274443455604811, 1], [11, 2; 54895254907, 1; 330575221393049309099, 1], [2, 1; 3, 2; 121988240908968754265677254408553, 1], [5, 1; 13, 2; 2598566078534245652996675241839, 1], [2, 2; 7, 1; 78421012012908484885078234976927, 1], [3, 1; 195907, 1; 414019, 1; 2172118463, 1; 4154468647361, 1], [2, 1; 29, 2; 1305462744566847548621992021019, 1], [19, 2; 277, 1; 3555031, 1; 6176751235046325083237, 1], [3, 2; 5, 1; 21031, 1; 28817, 1; 3924938681, 1; 18690488864963, 1], [2, 1; 29, 2; 25219, 1; 5542828133, 1; 8509214569087339, 1], [17, 2; 31, 1; 2731, 1; 4466303, 1; 18308186218266371281, 1], [2, 2; 3, 1; 166722223888309757833250044888429, 1], [7, 2; 16033, 1; 2546618373405510692868153997, 1], [2, 1; 5, 2; 40013333733194341879980010773223, 1], [3, 1; 19, 2; 1847337660812296485686981106797, 1], [2, 5; 62520833958116159187468766833161, 1], [11, 2; 310434539, 1; 53262228746202144388987, 1], [2, 1; 3, 2; 111148149258873171888833363258953, 1], [5, 1; 13, 2; 2367652883620966975146746199599, 1], [2, 2; 7, 1; 71452381666418467642821447809327, 1], [3, 1; 23, 2; 1260659537907824255827977655111, 1], [2, 1; 131, 1; 7877, 1; 21739, 1; 5594293, 1; 7971275745165371, 1], [37, 2; 9645553104787, 1; 151510997039463653, 1], [3, 2; 5, 1; 16487, 1; 28523013641, 1; 103765666111085123, 1], [2, 1; 7, 2; 22406662051810936175010697251677, 1], [13, 2; 293, 1; 44345434519003003920896829991, 1], [2, 2; 3, 1; 182987740089789312095920694222029, 1], [11, 2; 283, 1; 64125598839981068982012333343, 1], [2, 1; 5, 2; 43917057621549434903020966613287, 1], [3, 1; 19, 2; 2027564987144479912420173897197, 1], [2, 5; 68620402533670992035970260333261, 1], [7, 1; 29, 2; 373000319530740911355707207519, 1], [2, 1; 3, 2; 121991826726526208063947129481353, 1], [5, 1; 23, 2; 830190125171066822363345304599, 1], [2, 2; 103, 1; 223, 1; 23900179383924765391952722481, 1], [3, 1; 37, 2; 6379, 1; 30803, 1; 7809173, 1; 348439895448451, 1], [2, 1; 2707, 1; 496763, 1; 451090583, 1; 1809972540876293, 1], [17, 2; 359, 1; 1163, 1; 2571721, 1; 7076318669815205483, 1], [3, 2; 5, 1; 48485235834140618352286292400221, 1], [2, 1; 7, 2; 22263628699350283937274317938877, 1], [13, 2; 23537, 1; 548509576269901078788170899, 1], [2, 2; 3, 1; 181819634378027318821073596500829, 1], [11, 2; 53, 1; 340220741078485549018070038673, 1], [2, 1; 5, 2; 43636712250726556517057663160199, 1], [3, 1; 23, 2; 1374817651251624338911709614373, 1], [2, 5; 68182362891760244557902598687811, 1], [7, 1; 17, 2; 1078514885089633131909482529911, 1], [2, 1; 3, 2; 121213089585351545880715731000553, 1], [5, 1; 436367122507265565170576631601991, 1], [2, 2; 5020644826963543, 1; 108643196627787023, 1], [3, 1; 29, 2; 3310577, 1; 261216786316833121192367, 1], [2, 1; 19, 2; 8819, 1; 35680609, 1; 9603581528756590009, 1], [37, 2; 59, 1; 27012611117063399312288855629, 1], . . . . . . . . [3, 2; 5, 1; 582684830248783, 1; 92504137112076947, 1], [2, 1; 19, 2; 4241, 1; 21042449, 1; 37644854990241967877, 1], [37, 2; 178916785404827, 1; 9902682321936169, 1], [2, 2; 3, 1; 202127840364227638322879434145629, 1], [7, 2; 1753602491, 1; 28228002556710947861111, 1], [2, 1; 5, 2; 48510681687414633197491064194951, 1], [3, 1; 29, 2; 961369038593234902843659615437, 1], [2, 5; 75797940136585364371079787804611, 1], [11, 2; 4733, 1; 4235312958898976694100597021, 1], [2, 1; 3, 2; 134751893576151758881919622763753, 1], [5, 1; 13, 2; 2870454537716842201034974212719, 1], [2, 2; 7, 1; 86626217298954702138376900348127, 1], [3, 1; 23, 2; 1872178337, 1; 816362861674253492903, 1], [2, 1; 101, 1; 127, 1; 1137001, 1; 3161851373, 1; 26299651479749, 1], [17, 2; 53, 1; 277, 1; 2357, 1; 2080261, 1; 116594077538685863, 1], [3, 2; 5, 1; 12892483, 1; 4420625848108915863967007, 1], [2, 1; 29, 2; 18593, 1; 24212291, 1; 516795847, 1; 6553940273, 1], [17, 2; 2081, 1; 4264448922155662945862337883, 1], [2, 2; 3, 1; 213723163485392924717343563656429, 1], [7, 2; 67641017, 1; 773796268732200293532053, 1], [2, 1; 5, 2; 51293559236494301932162455277543, 1], [3, 1; 19, 2; 2368123695129007476092449458797, 1], [2, 5; 80146186307022346769003836371161, 1], [11, 2; 10808781018229, 1; 1960969104579738917, 1], [2, 1; 3, 2; 142482108990261949811562375770953, 1], [5, 1; 37, 2; 374679030215444133909148687199, 1], [2, 2; 7, 1; 91595641493739824878861527281327, 1], [3, 1; 13, 2; 11789, 1; 2547239599, 1; 168452753905209941, 1], [2, 1; 23, 2; 1939097, 1; 1250108297502257234088283, 1], [71, 1; 78167, 1; 636645119977, 1; 725861283686831, 1], [3, 2; 5, 1; 55176551280496410800847977616221, 1], [2, 1; 23, 2; 103079, 1; 1919040559, 1; 11863888266128917, 1], [13, 2; 281, 1; 331, 1; 83029519, 1; 1902451200673894207, 1], [2, 2; 3, 1; 206912067301861540503179916060829, 1], [7, 2; 7014209, 1; 7224241965516109575484589, 1], [2, 1; 5, 2; 49658896152446769720763179854599, 1], [3, 1; 37, 2; 604564111911940220608268564093, 1], [2, 5; 77592025238198077688692468522811, 1], [29, 2; 384188513, 1; 7684696047203965480441, 1], [2, 1; 3, 2; 137941378201241027002119944040553, 1], [5, 1; 11, 2; 4104041004334443778575469409471, 1], [2, 2; 7, 1; 88676600272226374501362821168927, 1], [3, 1; 19, 2; 2292654485339186044356564166879, 1], [2, 1; 10181, 1; 121940124134286341520388910359, 1], [17, 2; 1063, 1; 8082318461566105219080811937, 1], [3, 2; 5, 1; 2385587, 1; 23676779463795985053513583, 1], [2, 1; 7, 2; 25936079368177961906260549558877, 1], [13, 2; 78997443459329, 1; 190384093667299747, 1], [2, 2; 3, 1; 211811314840120022234461154730829, 1], [11, 2; 31, 1; 677615510019045658974549148699, 1], [2, 1; 5, 2; 50834715561628805336270677135399, 1], [3, 1; 19, 2; 2346939776621828501212865980397, 1], [2, 5; 79429243065045008337922933024061, 1], [7, 1; 17, 2; 1256419069738724798227154649911, 1], [2, 1; 3, 2; 141207543226746681489640769820553, 1], [5, 1; 23, 2; 960958706268975526205494841879, 1], [2, 2; 113, 1; 157, 1; 619, 1; 57863095845394867825164391, 1], [3, 1; 37, 2; 79399, 1; 329660347, 1; 23644163575481467, 1], [2, 1; 48883, 1; 1730512673, 1; 15023384113201150081, 1], [29, 2; 36073, 1; 65413, 1; 1280819931436007391851, 1], Да, центральный элемент каждой 15-ки, содержащей непрерывную 10-ку, всегда имеет вид 32p. А как бы непрерывная 10-ка ни размещалась в 15-ке, центральный элемент 15-ки обязательно в неё попадёт. Но... это 10-ки, содержащиеся в 15-ке. А если искать 10-ку безотносительно к 15-ке? Возможно ли получить 10-ку без элемента 32р? |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Господин Никонов писал в сообщении https://dxdy.ru/post1570266.html#p1570266 Я попробую хотя бы в диалоге показать. Хе-х... А не приходило ли господину Никонову в голову, что: задавать вопрос человеку и надеяться получить от него ответ следовало бы на языке, понятном этому человеку? По-моему, это очень простая и очевидная истина. Я не знаю никаких языков, кроме русского. Много общаюсь с немцами, англичанами, американцами, французами, итальянцем; и не только на форумах, но и в личной переписке. Разумеется, всё общение ведётся только на английском языке в личной переписке, и на языке форума - на форумах. Меня понимают, я тоже всех прекрасно понимаю. |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Hugo ответил господину Никонову https://dxdy.ru/post1570297.html#p1570297 Цитирую pcoul knows nothing specifically about the case of 12 divisors. Это ключевая фраза! Но до господина Никонова не дошло. Он продолжает доказывать! Даже по-английски заговорил :) Hugo ответил на его доказательство I'm not sure why I need to work through that, I already said "yes" to your previous question. https://dxdy.ru/post1570310.html#p1570310 Не комментирую. Ежу всё понятно. Господину Никонову - нет. Процитирую своё сообщение https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10254 Итак, господин Никонов назвал 1260 паттернов Hugo, которые не содержат элемента вида 32p, "лишними". |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Ядряра не успокоился! https://dxdy.ru/post1570316.html#p1570316 Huz Господин Никонов! А не надо ли добавить в ваши вопрос: "...with 12 dividers..."? Посмотрите внимательно, что вам Hugo ответил выше. |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Захватывающее шоу продолжается! На подходе 171-я серия. Не пропустите, господа! Попробую спрогнозировать, какая серия ожидает нас к Новому году :) Думаю, что юбилейная 200-я. |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Yadryara Please try. Huz Please try first to explain why I should care. As discussed before, for the special case of 12 divisors, such chains have proven trivial to check - the total effort to check all of them for D(12,11) is less than 0.01% of the total time. Is there some more general truth to be found here that would apply for cases of other numbers of divisors? If not, I would rather spend my effort on something that might make general searches 0.1% faster, or even 1% or more. https://dxdy.ru/post1570320.html#p1570320 Отличный ответ! Доказательство от Ядряра продолжится и после этого ответа? Не исключено. |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Господин Никонов писал в сообщении https://dxdy.ru/post1570321.html#p1570321 К другому количеству делителей, пожалуй, применить нельзя. Но зато можно применить к D(12,12), D(12,13), D(12,14) и D(12,15). Ну так и применяйте! Кто или что мешает? И далее цитирую то же сообщение Больше половины паттернов(1260 из 2471) можно исключить из рассмотрения. Гораздо удобнее рассматривать меньшее количество паттернов, делать биекцию, группировать, вести статистику, что обсчитано и докуда. С меньшим количеством гораздо удобнее работать. Обратите внимание, даже краткая биекция для одной тысячи паттернов не поместилась у меня в одном посте. Hugo не давал обязательства работать для удобства господина Никонова. Он работает для своего удобства. Ему гораздо удобнее использовать универсальную систему построения паттернов. |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
И кстати, да, Hugo спросил Please try first to explain why I should care. Google переводит Пожалуйста, попробуйте сначала объяснить, почему меня это должно волновать. Вполне нормальный вопрос - и на английском, и на русском языке. Абсолютно глупая придирка господина Никонова к слову "должно". И вообще всё это - махровый троллинг. Не понимаю, куда смотрят модераторы! |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Господин Петухов писал в сообщении https://dxdy.ru/post1570337.html#p1570337 Это проверка многострадального паттерна b1850 с шагом 42688800, который у меня проверялся в прошлый раз 100465.27s, а теперь вот 2209.33s, не в шесть раз быстрее, а в 45 раз быстрее! Той же программой pcoul. Вот вам и ха-ха. Во-первых, для начала надо отправить логи проверки паттерна Hugo, чтобы он проверил и выдал заключение, что всё проверено правильно. Во-вторых, сравнить есть с чем. Насколько могу понимать, паттерн b118 с меньшим шагом LCM=6098400, чем шаг LCM=42688800 /* 6098400, 2090745, b118*/ v=[ 45, 14, 1, 132, 1, 50, 3, 32, 7, 18, 5, 4, 3, 2, 121]; z=[0,0,0,0,1,6,2,6,2,6,2,3,2,2,3]; n=3; pp=Mod(2090745,6098400);\\@LCM6098400-2090745-4 Здесь выложены частичные логи проверки этого паттерна https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10267 Ещё один паттерн с таким же шагом - b112 /* 6098400, 1334745, b112*/ v=[ 45, 14, 1, 12, 1, 50, 363, 32, 7, 18, 5, 4, 3, 2, 1]; z=[0,0,0,0,1,6,6,6,2,6,2,3,2,2,1]; n=4; pp=Mod(1334745,6098400);\\@LCM6098400-1334745-4 001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b112 . . . . . . . . . . . . 367 coul(12, 11): recurse 568817209, walk 568821149, walkc 58074879805 (746374.52s) Судя по анонсированному ускорению в 45 раз, этот паттерн должен провериться у господина Петухова за 4,6 ч. (без учёта разницы в производительности компьютеров - его и corporaltermit). Это, конечно, круто. Однако... повторюсь: необходимо заключение Hugo. И если заключение будет положительным, новая версия программы тоже от Hugo. |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Появились паттерны, проверенные corporaltermit • b100-b199: Natalia, CorporalTermit o b100-b108, b110, b112-b114, b116-b119, b121-b122, b124-b126, b129-b132, b134-b138, b140, b145, b150, b152-b163, b165, b170, b175, b178, b182, b188, b190-b199: done https://github.com/hvds/divrep/wiki/D%2812%2C11%29 Итак, мы полностью проверили 62 паттерна (уже есть в отчёте) плюс ещё один (b139), который у меня завершился вчера. Осталось проверить 37 паттернов, 21 из них уже в проверке. Все оставшиеся паттерны трудные с шагом LCM <= 42688800. Среди них шесть паттернов с самым маленьким шагом LCM=554400; все эти паттерны в проверке, причём три из них проверяются с самого начала нашего участия в эксперименте, можно ожидать, что скоро завершатся. |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Никак не уговорю французов поучаствовать в проекте Hugo :) Вот ещё одно сообщение запостила https://forum.boinc-af.org/index.php/topic,8691.msg532646.html#msg532646 |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
И ещё один пост https://formula-boinc.org/forum/viewtopic.php?t=367 Это на форуме FB (Формула BOINC). |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Господин Никонов писал в сообщении https://dxdy.ru/post1570340.html#p1570340 Вы вроде бы недавно писали про удобство идентификатора b. Цитату пока не смог найти. А, вот нашёл. Я офигеваю! [Извините за жаргонное словцо; кстати, совсем недавно я узнала синоним этого словца, не озвучиваю :) ]. На месте Hugo я ответила бы кратко в стиле господина Никонова: "Извиняю". А лучше не отвечать вовсе на этот бесконечный флуд всё об одном и том же. |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
В том же сообщении господин Никонов отвечает господину Петухову Меня интересует. Я вот ждал Вашу новую программу для 32x SSE. Но если pcoul теперь работает быстрее Вашей новой и не менее надёжно чем раньше, готов протестировать подходящую для меня версию ежели таковая имеется. Непоследовательно! Ведь по мнению господина Никонова программа Hugo pcoul не имеет доказательной силы! От того, что господин Петухов её оптимизирует с целью убыстрения проверки паттернов, программа вряд ли обретёт доказательную силу. Ведь господин Петухов оптимизирует программу не в направлении усиления её доказательной силы, а просто с целью ускорить выполнение программы. Так я понимаю. Могу ошибаться. Но если правильно понимаю, тогда работать программой pcoul - это же только время зря терять, ибо, в соответствии с утверждением господина Никонова, программа эта минимальность 11-ки (как и всех других цепочек) не доказывает. Была неплохая идея выполнить независимый эксперимент. Однако... начинать надо с доказательства минимальности 8-ки. Спрошу в стиле господина Никонова: "Чегой-то сразу взялись минимальность 11-ки доказывать?" Ведь господин Никонов пока не увидел доказательства минимальности 8-ки, 9-ки и 10-ки с 12 делителями. Или я что-то пропустила и он уже это увидел? Если же не увидел, так и надо заняться этим доказательством. Для этого: а) составить все паттерны для 8-ок; б) доказать полноту полученного набора паттернов; в) проверить эти паттерны своей (независимой от программы pcoul) программой, для которой доказать, что она имеет доказательную силу. Усё... Затем то же самое проделать для доказательства минимальности 9-ки, и наконец - для доказательства минимальности 10-ки. И только тогда браться за доказательство минимальности 11-ки. А то чегой-то взяли и перепрыгнули :) Непорядок. Господин Никонов - большой любитель и блюститель порядка - сам порядок нарушает. Да-с. |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Ура! Ахиллес разделался ещё с одним паттерном - b142 001 pcoul(12 11) -f11 -g3 -x9887353188984012120346 -b142 *RT* 305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 17^2 2^2.5 3 2 3553925561^2 (574.94s) 305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 19^2 2^2.5 3 2 2413041221^2 (1148.21s) 305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 23^2 2^2.5 3 2 .: 183103524 / 1295369683 (1723.22s) 305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 23^2 2^2.5 3 2 .: 656513457 / 1295369683 (2299.27s) 305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 23^2 2^2.5 3 2 .: 1015042890 / 1295369683 (2875.30s) 305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 29^2 2^2.5 3 2 .: 103295116 / 814804473 (3451.94s) 305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 29^2 2^2.5 3 2 .: 540689123 / 814804473 (4028.38s) 305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 31^2 2^2.5 3 2 .: 113618079 / 713059898 (4604.46s) 305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 31^2 2^2.5 3 2 .: 533062189 / 713059898 (5180.31s) 305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 37^2 2^2.5 3 2 .: 241371904 / 500548255 (5756.34s) 305 13^2 2.11^2 3.5^2 2^5 7^2 2.3^2 41^2 2^2.5 3 2 .: 134864121 / 407644593 (6331.72s) . . . . . . . . 305 5209^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 3454149 / 4268028 (208213.16s) 305 6217^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 2715782 / 2996224 (208789.73s) 305 7727^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 636213 / 1939609 (209366.13s) 305 10313^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 642386 / 1088844 (209942.37s) 305 15859^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 254026 / 460451 (210519.50s) 305 36709^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 40114 / 85938 (211095.78s) 305 1350503893^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 . (211672.55s) 305 6089199643^2 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 . (212249.77s) 305 17^5 2.11^2 3.5^2 2^5 7^2 2.3^2 . 2^2.5 3 2 .: 49778193 / 81562682 (212825.55s) 367 coul(12, 11): recurse 14806075918, walk 14806080855, walkc 120879724894 (212956.78s) |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Теперь финишная прямая имеет такой вид b109, LCM=6098400 – в процессе b111, LCM=554400 – в процессе b112, LCM=6098400 – проверен b113, LCM=6098400 – проверен b114, LCM=6098400 – проверен b115, LCM=554400 – в процессе b116, LCM=6098400 – проверен b117, LCM=6098400 – проверен b118, LCM=6098400 – проверен b120, LCM=554400 – в процессе b123, LCM=3880800 – в процессе b127, LCM=3880800 – в процессе b128, LCM=3880800 – в процессе b133, LCM=3880800 – в процессе b139, LCM=42688800 – проверен b141, LCM=3880800 – в процессе b142, LCM=42688800 – проверен b143, LCM=3880800 – в процессе b144, LCM=42688800 - в процессе b146, LCM=3880800 b147, LCM=42688800 b148, LCM=42688800 b149, LCM=42688800 b151, LCM=3880800 b164, LCM=6098400 b166, LCM=554400 – в процессе b167, LCM=6098400 – в процессе b168, LCM=6098400 – в процессе b169, LCM=6098400 – в процессе b171, LCM=554400 – в процессе b172, LCM=6098400 – в процессе b173, LCM=6098400 – в процессе b174, LCM=6098400 – в процессе b176, LCM=554400 – в процессе b177, LCM=42688800 – в процессе b179, LCM=3880800 b180, LCM=42688800 b181, LCM=42688800 b183, LCM=3880800 b184, LCM=3880800 b185, LCM=42688800 b186, LCM=42688800 b187, LCM=42688800 b189, LCM=3880800 21 паттерн в проверке и 15 паттернов ожидают проверки. Итак, 64 паттерна полностью проверены, 36 паттернов либо проверяются, либо ожидают проверки. |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
И ещё один пост https://boinc.tbrada.eu/forum_thread.php?id=3155&postid=4768 Это на форуме BOINC-проекта TBEG. |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Господин Петухов писал в сообщении https://dxdy.ru/post1570363.html#p1570363 Впечатлившись 45-кратным ускорением запустил посчитаться один из самых трудных паттернов (LCM=554400, n=3) (скрин с сокращениями): Опять не с чем сравнить :) Зря я старалась в сообщении https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=10278 выкладывать паттерны для сравнения. Эти паттерны господина Петухова не впечатлили, его впечатлил самый трудный паттерн, который пока никто не просчитал. Мой совет обратиться за проверкой "сверхбыстрого счёта" к Hugo, похоже, проигнорирован. Господин Петухов обратился за проверкой обоснования его ускорения к господину Никонову. Ну, два И даже доказательную силу ускоренной программы докажут :)) Только я, к примеру, без заключения Hugo (и соответственно - его нового кода) ускорителями считать не буду. |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
Хотя мои советы господину Петухову не нужны, я всё-таки дам ещё один совет. Каждому программисту известно: главный способ верификации кода - тестирование и ещё раз тестирование. При этом тестировать надо не только для сравнения времени, чтобы впечатляло: в 45 раз, в 50 раз, в 100 раз... Тестировать надо на получение всех известных результатов. В частности, для ускоренной программы господина Петухова надо тестировать на получение минимальной 8-ки, минимальной 9-ки, минимальной 10-ки, текущей минимальной 12-ки и т. д. Кстати, это будет и подтверждение минимальности 8-ки, 9-ки и 10-ки, о чём так печётся господин Никонов. Во-первых, программа Hugo pcoul будет запущена на другом компьютере (на чём настаивал господин Петухов). Во-вторых, будет запущена модифицированная программа. Вот, собственно, и проверка кода. До текущей минимальной 13-ки хотя бы проверить. Если все результаты подтвердит, это будет одно из подтверждений правильности работы кода. Однако - не самое главное. Самое главное подтверждение для меня - только заключение Hugo. |
Send message Joined: 6 Apr 17 Posts: 14345 Credit: 0 RAC: 0 |
EUgeneUS https://dxdy.ru/post1570376.html#p1570376 Так проверьте! Выше я писала, что надо проверить, будет ли работать программа в ОС 32-bit. Если не будет, то: corporaltermit ответил мне, что можно скомпилировать программу и под 32-bit. Ни о проверке работы программы в ОС 32-bit, ни о нужности кому-то такой программы я на форуме dxdy.ru ничего не видела. Можно написать Hugo и попросить его сделать программу для ОС Windows 32-bit. Он попросит corporaltermit это сделать. |
©2024 (C) Progger