Size: a a a

2020 March 30

A

Andrey in pro.algorithms
Алексей
Привет,  ребзи
Кто-нибудь имел дело с формальной верификацией программ?
Вот тут много таких людей
https://t.me/joinchat/Ai4h2D9SWO8GfISyv-CHsQ
источник

А

Алексей in pro.algorithms
Спасибо
источник

CD

Constantine Drozdov in pro.algorithms
На тусовке у Паши в честь карантина по коронавирусу собрались N человек и сели в круг. Каждый участник заражен с вероятностью 1/2. Про каждого участника известно, что он перестанет дышать ровно через t[i] секунд после заражения. Игроки ходят по очереди, на ход затрачивается одна секунда. В свой ход игрок должен кашлянуть. В случае, если кашлянувший заражен коронавирусом, все соседи немедленно заражаются коронавирусом. Павел собирается заказать пиццу. Определите, сколько в среднем продлится партия.
Примечание: игроки не пересаживаются и ждут ходов участников, которые уже перестали дышать.
источник

MS

Mikola Summer Duck in pro.algorithms
То есть партия заканчивается как только один из игроков перестаёт дышать? Потому что все ждут?
источник

MS

Mikola Summer Duck in pro.algorithms
Или ты хотел написать НЕ ждут?
источник

v

vehlwn in pro.algorithms
Des E8
Это не ответ, нужна чёткая метрика
Я понял. При взятии нового модуля будет совсем другой генератор, который в общем случае не удовлетворяет критерию макс. периода.
gen = Lcg(0, a=1222555645, c=2926597579, m=10)
for i in range(10):
   print(gen(), end=" ")

9 4 9 4 9 4 9 4 9 4
Этот генератор эквивалентен
next = (5 * next + 9) % 10.
Хотя с начальными параметрами он имеет макс. период по мод. 2**32.
источник

МК

Максим Кавецкий in pro.algorithms
Ребят, есть какой-то чат по С++ или по средам разработки, в частности Code Blocks или Microsoft Visual Studio? Не могу найти в поиске почему-то
источник

п

павук максим in pro.algorithms
Максим Кавецкий
Ребят, есть какой-то чат по С++ или по средам разработки, в частности Code Blocks или Microsoft Visual Studio? Не могу найти в поиске почему-то
источник

МК

Максим Кавецкий in pro.algorithms
спасибо!
источник

МК

Максим Кавецкий in pro.algorithms
а то чет в поиске фиг найдёшь по прямым названиям
источник
2020 March 31

А

Алексей in pro.algorithms
Может кто-нибудь объяснить простым языком. Если стоит задача достигнуть максимальной скорости работы некоторого алгоритма (любыми способами) и усовершенствовать сам алгоритм уже не получается.

То можно пойти путем создания архитектуры на основе FPGA,  которая будет выполнять максимально быстро именно этот алгоритм?
источник

BV

Boris Vinogradov in pro.algorithms
Алексей
Может кто-нибудь объяснить простым языком. Если стоит задача достигнуть максимальной скорости работы некоторого алгоритма (любыми способами) и усовершенствовать сам алгоритм уже не получается.

То можно пойти путем создания архитектуры на основе FPGA,  которая будет выполнять максимально быстро именно этот алгоритм?
не факт что полученный вариант будет быстрей
источник

MK

Maxim Kobza in pro.algorithms
Алексей
Может кто-нибудь объяснить простым языком. Если стоит задача достигнуть максимальной скорости работы некоторого алгоритма (любыми способами) и усовершенствовать сам алгоритм уже не получается.

То можно пойти путем создания архитектуры на основе FPGA,  которая будет выполнять максимально быстро именно этот алгоритм?
Если в алгоритме есть что распараллелить, то можно попробовать. Правда, стоит учитывать, что FPGA работают на более низких частотах, чем процессоры, например. Поэтому выигрыш нужно рассчитывать, будет ли он вообще.
источник

FP

Fedor Poschmann in pro.algorithms
Алексей
Может кто-нибудь объяснить простым языком. Если стоит задача достигнуть максимальной скорости работы некоторого алгоритма (любыми способами) и усовершенствовать сам алгоритм уже не получается.

То можно пойти путем создания архитектуры на основе FPGA,  которая будет выполнять максимально быстро именно этот алгоритм?
Вопрос можно перефразировать примерно так. Можно ли ускорить работу программы использовав более мощную\подходящую инфрасктруктуру для среды ее исполнения? Ответ — да.
источник

J

Joric in pro.algorithms
в этом ответе был вопрос?
источник

J

Joric in pro.algorithms
fpga медленный, лучше asic
источник

А

Алексей in pro.algorithms
Maxim Kobza
Если в алгоритме есть что распараллелить, то можно попробовать. Правда, стоит учитывать, что FPGA работают на более низких частотах, чем процессоры, например. Поэтому выигрыш нужно рассчитывать, будет ли он вообще.
Мои рассуждения были навеяны таким шутками как DES-Cracker,  Copacabana

Есть вроде отдельная дисциплина,  которая именно эти вопросы изучает. Experimental algorithmics?
источник

J

Joric in pro.algorithms
fpga типа бейсика против ассемблера по скорости по сравнению с асиком
источник

MK

Maxim Kobza in pro.algorithms
с такой логикой можно и марсианский квантовый компьютер подтянуть
источник

T

Thorn in pro.algorithms
Алексей
Может кто-нибудь объяснить простым языком. Если стоит задача достигнуть максимальной скорости работы некоторого алгоритма (любыми способами) и усовершенствовать сам алгоритм уже не получается.

То можно пойти путем создания архитектуры на основе FPGA,  которая будет выполнять максимально быстро именно этот алгоритм?
1. см. закон Амдала.
2. на HDL удобно реализуется достаточно узкий класс алгоритмов, в основном ЦОС (конвейеры из map/reduce, преобразований типа Фурье и т. п.). чем сильнее алгортим отличается от этого, тем труднее его будет реализовать (особенно эффективно), тем более что на HDL пишут не программисты, а EE, которым лучше всего знакома именно предметная область ЦОС и смежные с ней
источник