yoyo@home
Цитата: Pavel Kirpichenko от 14.01.2020, 07:07.
.
Цитата: zlodeck от 15.01.2020, 03:46Блин, ну нельзя же так,
с шашкой наголо супротив танкас гугл-транслятора прямо в топик!! Граммар-наци категорически негодует!Написал бы в личку, но ее у нас пока нет, увы.
Прежде всего, yoyo@home - это не самостоятельный проект, а платформа на основе технологии BOINC для разных проектов РВ. Очень похожая на нашу Gerasim@Home. На данный момент на платформе yoyo@home работают 4 проекта (все - математические) и уже завершены 7 проектов (1 по физике - Muon и 6 математических).
OGR. Проект занимается поиском оптимальных линеек Голомба (Optimal Golomb Ruler) порядка 28. Это самый старый проект, реализованный на платформе yoyo@home. На текущий момент OGR-28 выполнен примерно на 70%. Проект является одним из интересных примеров коллаборации между боинковским и не-боинковским проектами РВ: фактически в OGR-28 на платформе yoyo@home используется клиент (вычислительный модуль, экзешник) из не-боинковского проекта distributed.net к которому написан враппер (программа-обертка), позволяющий боинку работать с "чужим" вычислительным модулем. Далее сервера yoyo@home каким-то образом должны обмениваться данными с серверами distributed.net для координации работы по проекту. Примечательно, что клиент distributed.net является самым кроссплатформенным (из всех известных мне): есть версии даже для MS-DOS и Windows 3.1 (но да, под OGR-28 работать будут не все..). Поэтому, кому-то удобнее будет работать непосредственно с нативным клиентом, а кто-то предпочтет Боинк и yoyo@home. Боинк все-таки не под все операционки существует, зато с ним веселее: и соревнования тебе, и сайты статистики, ну и побрякушками (бейджиками) можно обвешаться, хехе. Про антивирусы тоже все верно: зачастую требуется внести экзешники в список исключений.
ECM. Это проект факторизации (разложения на простые множители) целых чисел методом эллиптических кривых (Elliptic Curve factorization Method - ECM). Тоже один из проектов-долгожителей. Факторизации подвергаются числа нескольких видов. Среди них есть и довольно забавные: например репьюниты, числа состоящие только из единиц.
Siever. Проект запущен в 2017 году. Еще один пример коллаборации, но несколько другого вида. "Заказчиком" здесь является проект CRUS, который замахнулся на проверку гипотезы Серпинского/Ризеля для всех чисел вида k · b^n ± 1 с базами b до 1030. Для любой базы b существует аналитическая процедура, позволяющая найти множитель k0 такой, что при всех натуральных n число k0 · b^n + 1 (или k0 · b^n - 1) будет составным. Гипотеза Серпинского/Ризеля утверждает, что k0 - это наименьший множитель из всех возможных. Доказать это можно только перебором: нужно проверить все множители k < k0 и показать , что при каком-то n число k · b^n + 1 (или k · b^n - 1) будет простым. Задача довольно муторная в плане объема работы. Какие-то множители можно сразу выкинуть из простых алгебраических соображений. Какие-то "отвалятся" на численной проверке довольно быстро. Но некоторые, особо упоротые, будут держаться до конца! Например для базы 2 гипотеза Серпинского/Ризеля проверяется в проекте Праймгрид (подпроекты SoB и TRP). В SoB осталось проверить 5 множителей, в TRP - 49. О вычислительной сложности говорит, например тот факт, что в подпроекте SoB за 9 лет был исключен всего 1 множитель, а простое число SB10 = 10223·231172165+1 имеет длину более 9 млн. десятичных цифр. В общем, CRUS будут считать ОЧЕНЬ долго. Тем не менее, на данный момент выполнено примерно 38% из задуманного. Как это все считают и для чего здесь yoyo@home? Ну вот у нас есть база: например Ризель-66, R66 (k · 66^n - 1). Для нее k0=101954772. Большую часть множителей k < k0 мы вычистим математикой и просто сравнением с базой данных простых чисел. Остается 101616 множителей, проверенных до n<11000. Это даже побольше, чем стопиццот, правда? Теперь нам нужно каждый из этих стопиццот прогнать со всеми n>11000 и убедиться, что каждый из них с каким-то n даст простое число. Сделать это можно двумя способами. Либо факторизацией - берем первый попавшийся k (1205) и начинаем раскалывать число 1205 · 66^11001 - 1 на множители. Раскололи - ок, выкидываем 11001, пробуем то же самое с 11002 и так далее. Либо тестом на простоту (primality test) Люка-Лемера-Ризеля (LLR). Он нам факторов не дает, но скажет: простое число 1205 · 66^11001 - 1 или нет. Так вот фишка в том, что пока показатели n маленькие, факторизация работает гораздо быстрее, чем LLR-тест. А потом ситуация меняется на обратную. Поэтому работают с двух сторон: в 2015 году запустили проект SRBase - он занимается LLR-тестами (или Proth-тестами - для Серпинского). А в 2017 на платформе yoyo@home стартовал Siever - он делает просеивание, пытаясь факторизовать числа с небольшими n. Результатом его работы будут т.н. sieve-файлы - в них для каждого множителя k, который не удалось факторизовать, будет указана граница показателя n - та, с которой придется начинать свои LLR-тесты проекту SRBase. Вот такая хитрая схема. А ведь раньше все это делалось энтузиастами проекта CRUS вручную! Впрочем, такая возможность осталась и сейчас.
MQueens. Запущен совсем недавно, летом 2019 года. Проект, вычисляющий число расстановок ферзей на шахматной доске M x M, когда они не бьют друг друга. На данный момент проект работает с доской 27 x 27. Для нее результат уже известен. Т.е. сейчас проект занимается проверкой своего алгоритма расчета. После окончания Q27, если все будет хорошо и результат MQueens совпадет с известным, будет запущен Q28 - поиск расстановок ферзей для доски 28 x 28.
Блин, ну нельзя же так, с шашкой наголо супротив танка с гугл-транслятора прямо в топик!! Граммар-наци категорически негодует!
Написал бы в личку, но ее у нас пока нет, увы.
Прежде всего, yoyo@home - это не самостоятельный проект, а платформа на основе технологии BOINC для разных проектов РВ. Очень похожая на нашу Gerasim@Home. На данный момент на платформе yoyo@home работают 4 проекта (все - математические) и уже завершены 7 проектов (1 по физике - Muon и 6 математических).
OGR. Проект занимается поиском оптимальных линеек Голомба (Optimal Golomb Ruler) порядка 28. Это самый старый проект, реализованный на платформе yoyo@home. На текущий момент OGR-28 выполнен примерно на 70%. Проект является одним из интересных примеров коллаборации между боинковским и не-боинковским проектами РВ: фактически в OGR-28 на платформе yoyo@home используется клиент (вычислительный модуль, экзешник) из не-боинковского проекта distributed.net к которому написан враппер (программа-обертка), позволяющий боинку работать с "чужим" вычислительным модулем. Далее сервера yoyo@home каким-то образом должны обмениваться данными с серверами distributed.net для координации работы по проекту. Примечательно, что клиент distributed.net является самым кроссплатформенным (из всех известных мне): есть версии даже для MS-DOS и Windows 3.1 (но да, под OGR-28 работать будут не все..). Поэтому, кому-то удобнее будет работать непосредственно с нативным клиентом, а кто-то предпочтет Боинк и yoyo@home. Боинк все-таки не под все операционки существует, зато с ним веселее: и соревнования тебе, и сайты статистики, ну и побрякушками (бейджиками) можно обвешаться, хехе. Про антивирусы тоже все верно: зачастую требуется внести экзешники в список исключений.
ECM. Это проект факторизации (разложения на простые множители) целых чисел методом эллиптических кривых (Elliptic Curve factorization Method - ECM). Тоже один из проектов-долгожителей. Факторизации подвергаются числа нескольких видов. Среди них есть и довольно забавные: например репьюниты, числа состоящие только из единиц.
Siever. Проект запущен в 2017 году. Еще один пример коллаборации, но несколько другого вида. "Заказчиком" здесь является проект CRUS, который замахнулся на проверку гипотезы Серпинского/Ризеля для всех чисел вида k · b^n ± 1 с базами b до 1030. Для любой базы b существует аналитическая процедура, позволяющая найти множитель k0 такой, что при всех натуральных n число k0 · b^n + 1 (или k0 · b^n - 1) будет составным. Гипотеза Серпинского/Ризеля утверждает, что k0 - это наименьший множитель из всех возможных. Доказать это можно только перебором: нужно проверить все множители k < k0 и показать , что при каком-то n число k · b^n + 1 (или k · b^n - 1) будет простым. Задача довольно муторная в плане объема работы. Какие-то множители можно сразу выкинуть из простых алгебраических соображений. Какие-то "отвалятся" на численной проверке довольно быстро. Но некоторые, особо упоротые, будут держаться до конца! Например для базы 2 гипотеза Серпинского/Ризеля проверяется в проекте Праймгрид (подпроекты SoB и TRP). В SoB осталось проверить 5 множителей, в TRP - 49. О вычислительной сложности говорит, например тот факт, что в подпроекте SoB за 9 лет был исключен всего 1 множитель, а простое число SB10 = 10223·231172165+1 имеет длину более 9 млн. десятичных цифр. В общем, CRUS будут считать ОЧЕНЬ долго. Тем не менее, на данный момент выполнено примерно 38% из задуманного. Как это все считают и для чего здесь yoyo@home? Ну вот у нас есть база: например Ризель-66, R66 (k · 66^n - 1). Для нее k0=101954772. Большую часть множителей k < k0 мы вычистим математикой и просто сравнением с базой данных простых чисел. Остается 101616 множителей, проверенных до n<11000. Это даже побольше, чем стопиццот, правда? Теперь нам нужно каждый из этих стопиццот прогнать со всеми n>11000 и убедиться, что каждый из них с каким-то n даст простое число. Сделать это можно двумя способами. Либо факторизацией - берем первый попавшийся k (1205) и начинаем раскалывать число 1205 · 66^11001 - 1 на множители. Раскололи - ок, выкидываем 11001, пробуем то же самое с 11002 и так далее. Либо тестом на простоту (primality test) Люка-Лемера-Ризеля (LLR). Он нам факторов не дает, но скажет: простое число 1205 · 66^11001 - 1 или нет. Так вот фишка в том, что пока показатели n маленькие, факторизация работает гораздо быстрее, чем LLR-тест. А потом ситуация меняется на обратную. Поэтому работают с двух сторон: в 2015 году запустили проект SRBase - он занимается LLR-тестами (или Proth-тестами - для Серпинского). А в 2017 на платформе yoyo@home стартовал Siever - он делает просеивание, пытаясь факторизовать числа с небольшими n. Результатом его работы будут т.н. sieve-файлы - в них для каждого множителя k, который не удалось факторизовать, будет указана граница показателя n - та, с которой придется начинать свои LLR-тесты проекту SRBase. Вот такая хитрая схема. А ведь раньше все это делалось энтузиастами проекта CRUS вручную! Впрочем, такая возможность осталась и сейчас.
MQueens. Запущен совсем недавно, летом 2019 года. Проект, вычисляющий число расстановок ферзей на шахматной доске M x M, когда они не бьют друг друга. На данный момент проект работает с доской 27 x 27. Для нее результат уже известен. Т.е. сейчас проект занимается проверкой своего алгоритма расчета. После окончания Q27, если все будет хорошо и результат MQueens совпадет с известным, будет запущен Q28 - поиск расстановок ферзей для доски 28 x 28.
Цитата: Удаленный пользователь от 08.02.2020, 13:48Наконец то хоть какая то инфа по этому проекту...
Наконец то хоть какая то инфа по этому проекту...
Цитата: Yura12 от 19.02.2020, 12:50
Вопрос ко всем про проект yoyo@Home
Сейчас в проекте идёт доказательство оптимальности линейки Голомба 28-го порядка. Оно на 19 февраля 2020 года выполнено на 71.52%
Ну в общем когда-то постепенно оптимальную линейку 28-го порядка найдём.
А что дальше?
Если после этого будет запущен проект поиска оптимальной линейки 29-го порядка? Как Вы думаете? Будет ли смысл её считать?
Будет ли где-то на практике, для чего-то применяться оптимальная линейка 29-го порядка?
Ну и оптимальная линейка 28-го порядка, которая пока ещё ищется, а она будет где применена на практике?
Вопрос ко всем про проект yoyo@Home
Сейчас в проекте идёт доказательство оптимальности линейки Голомба 28-го порядка. Оно на 19 февраля 2020 года выполнено на 71.52%
Ну в общем когда-то постепенно оптимальную линейку 28-го порядка найдём.
А что дальше?
Если после этого будет запущен проект поиска оптимальной линейки 29-го порядка? Как Вы думаете? Будет ли смысл её считать?
Будет ли где-то на практике, для чего-то применяться оптимальная линейка 29-го порядка?
Ну и оптимальная линейка 28-го порядка, которая пока ещё ищется, а она будет где применена на практике?
Цитата: citerra от 19.02.2020, 13:32На практике - навряд ли.
Мне кажется, что лучше найти хорошее решение для 100-200.
Считать ли? Да, но без фанатизма. Или посчитал, переключился на другое.
Потом опять еще чуть-чуть
На практике - навряд ли.
Мне кажется, что лучше найти хорошее решение для 100-200.
Считать ли? Да, но без фанатизма. Или посчитал, переключился на другое.
Потом опять еще чуть-чуть
Цитата: Freddykrug от 21.02.2020, 10:43Позавчера запустил MQueens (увлекаюсь шахматами). Оказывается, его надо считать непрерывно, без выключения компьютера Два часа работы (из обещанных 5) ушли впустую...
Позавчера запустил MQueens (увлекаюсь шахматами). Оказывается, его надо считать непрерывно, без выключения компьютера Два часа работы (из обещанных 5) ушли впустую...
Цитата: Yura12 от 12.08.2020, 18:56
А пока никто не знает, а так когда завершится поиск оптимальной линейки Голомба порядка 28, то будет ли после него запущен поиск линейки 29 порядка или уже нет?
А пока никто не знает, а так когда завершится поиск оптимальной линейки Голомба порядка 28, то будет ли после него запущен поиск линейки 29 порядка или уже нет?
Цитата: zlodeck от 12.08.2020, 21:16По OGR29 никакой информации пока не находил. Если алгоритм не упрется в машинные ограничения и не потребует полной переработки, то почему бы и нет? Только уж очень долго его считать да и ценность результата (на мой взгляд) сомнительна.
В любом случае, по самым оптимистичным оценкам OGR28 завершится не ранее, чем через 2 года.
По OGR29 никакой информации пока не находил. Если алгоритм не упрется в машинные ограничения и не потребует полной переработки, то почему бы и нет? Только уж очень долго его считать да и ценность результата (на мой взгляд) сомнительна.
В любом случае, по самым оптимистичным оценкам OGR28 завершится не ранее, чем через 2 года.
Цитата: Yura12 от 19.12.2020, 13:16
Важная новость про подпроект M Queens в проекте yoyo@Home
- Для подпроекта M Queens появились приложения для счёта на видеокартах!
Но только для ручной установки через app_info.xml
Счёт возможен только под Windows и только на видеокартах AMD Radeon, типа AMD Radeon RX550 RX570 RX580
На NVidia - невозможен (так как они не поддерживают OpenCL 2.x)
Есть 3 вида приложения в зависимости от того сколько у видеокарты памяти: 2G, 4G или 8G
Архив с приложениями для ручной установки можно скачать отсюда: https://github.com/sudden6/m-queens/releases/tag/m-queens-ocl-v0.1Вот оригинальный текст новости на английском языке:
16 December 2020 GPU version for M Queens
We have now a first GPU version for the M Queens project for Windows. It requires an OpenCL 2.0 GPU. The version can be downloaded from github.com. The zip contains an installation instruction, the app and the app_info.xml.
--------------------------------------
To install the optimized solver for m-queens on yoyo@home perform the following steps:
1) Find the VRAM size of your GPU in GB
2) Choose the appropriate subfolder, e.g. 4GB cards will find the solver in the 4G directory in this archive
3) Find your BOINC data folder, for me it's: C:\ProgramData\BOINC\
3) Copy the files from the subfolder to C:\ProgramData\BOINC\projects\www.rechenkraft.net_yoyo\
4) You should now have:
- C:\ProgramData\BOINC\projects\www.rechenkraft.net_yoyo\app_info.xml
- C:\ProgramData\BOINC\projects\www.rechenkraft.net_yoyo\m-queens2-boinc-ocl-<x>G.exe
- C:\ProgramData\BOINC\projects\www.rechenkraft.net_yoyo\libOpenCL.dll
This has been tested and confirmed working with:
AMD Radeon RX550
AMD Radeon RX570
AMD Radeon RX580
Nvidia cards will not work since they don't support OpenCL 2.x
Важная новость про подпроект M Queens в проекте yoyo@Home
- Для подпроекта M Queens появились приложения для счёта на видеокартах!
Но только для ручной установки через app_info.xml
Счёт возможен только под Windows и только на видеокартах AMD Radeon, типа AMD Radeon RX550 RX570 RX580
На NVidia - невозможен (так как они не поддерживают OpenCL 2.x)
Есть 3 вида приложения в зависимости от того сколько у видеокарты памяти: 2G, 4G или 8G
Архив с приложениями для ручной установки можно скачать отсюда: https://github.com/sudden6/m-queens/releases/tag/m-queens-ocl-v0.1
Вот оригинальный текст новости на английском языке:
16 December 2020 GPU version for M Queens
We have now a first GPU version for the M Queens project for Windows. It requires an OpenCL 2.0 GPU. The version can be downloaded from github.com. The zip contains an installation instruction, the app and the app_info.xml.
--------------------------------------
To install the optimized solver for m-queens on yoyo@home perform the following steps:
1) Find the VRAM size of your GPU in GB
2) Choose the appropriate subfolder, e.g. 4GB cards will find the solver in the 4G directory in this archive
3) Find your BOINC data folder, for me it's: C:\ProgramData\BOINC\
3) Copy the files from the subfolder to C:\ProgramData\BOINC\projects\www.rechenkraft.net_yoyo\
4) You should now have:
- C:\ProgramData\BOINC\projects\www.rechenkraft.net_yoyo\app_info.xml
- C:\ProgramData\BOINC\projects\www.rechenkraft.net_yoyo\m-queens2-boinc-ocl-<x>G.exe
- C:\ProgramData\BOINC\projects\www.rechenkraft.net_yoyo\libOpenCL.dll
This has been tested and confirmed working with:
AMD Radeon RX550
AMD Radeon RX570
AMD Radeon RX580
Nvidia cards will not work since they don't support OpenCL 2.x
Цитата: zlodeck от 18.12.2021, 19:07Информация по состоянию подпроектов на yoyo@home:
23 October 2021 Project progress
An update for the progress on each sub project in yoyo@home:OGR-28
is 89% completed (https://stats.distributed.net/projects.php?project_id=28). It will finish around beginning of 2023 (https://stats.distributed.net/project/ogr_status.php?project_id=28).Siever & ECM
I see currently no end in further demands for sieving and trial factorizations. There are many many math projects which have needs for sieving and factorizations.M-Queens
We are currently in the 2. of 3 parts and have there 70% done. So in total we are at 56%. We started 2 years ago. So it might take another 2 years to finish it.yoyo
т.е.
- Проект OGR-28 выполненен на 89%. Проект будет завершен где-то в конце 2022 - начале 2023 года.
- Проекты ECM и Siever продолжат работу, пока будет "заказ" на факторизацию (ECM) и просеивание (Siever) разного рода чисел со стороны других математических проектов.
- Проект M-Queens в настоящий момент выполнил примерно 56% объема работы по поиску расстановок ферзей на доске 27x27. Все задания были разделены на 3 "пакета", 1 готов, 2 посчитан на 70%. С начала счета прошло 2 года, на завершение потребуется примерно столько же.
По поводу M-Queens замечу, что идет он тяжеловато. До сих пор в приложении отсутствуют чекпойнты, а счет довольно долгий (10-20 часов на Xeon [email protected]ГГц в 6 потоков). Сама задача уже была посчитана в 2016 году немецкими специалистами Thomas B. Preußer и Matthias R. Engelhardt, которые под свой алгоритм расчета создали специализированный FPGA-кластер. На задачу 27-Queens Puzzle он затратил всего 9 (!) месяцев.
Информация по состоянию подпроектов на yoyo@home:
23 October 2021 Project progress
An update for the progress on each sub project in yoyo@home:OGR-28
is 89% completed (https://stats.distributed.net/projects.php?project_id=28). It will finish around beginning of 2023 (https://stats.distributed.net/project/ogr_status.php?project_id=28).Siever & ECM
I see currently no end in further demands for sieving and trial factorizations. There are many many math projects which have needs for sieving and factorizations.M-Queens
We are currently in the 2. of 3 parts and have there 70% done. So in total we are at 56%. We started 2 years ago. So it might take another 2 years to finish it.yoyo
т.е.
- Проект OGR-28 выполненен на 89%. Проект будет завершен где-то в конце 2022 - начале 2023 года.
- Проекты ECM и Siever продолжат работу, пока будет "заказ" на факторизацию (ECM) и просеивание (Siever) разного рода чисел со стороны других математических проектов.
- Проект M-Queens в настоящий момент выполнил примерно 56% объема работы по поиску расстановок ферзей на доске 27x27. Все задания были разделены на 3 "пакета", 1 готов, 2 посчитан на 70%. С начала счета прошло 2 года, на завершение потребуется примерно столько же.
По поводу M-Queens замечу, что идет он тяжеловато. До сих пор в приложении отсутствуют чекпойнты, а счет довольно долгий (10-20 часов на Xeon [email protected]ГГц в 6 потоков). Сама задача уже была посчитана в 2016 году немецкими специалистами Thomas B. Preußer и Matthias R. Engelhardt, которые под свой алгоритм расчета создали специализированный FPGA-кластер. На задачу 27-Queens Puzzle он затратил всего 9 (!) месяцев.