Ещё раз посмотрел текст статьи и повторюсь. Не считайте d считайте d^2. Тогда в числителе будет сумма квадратов норм минус удвоенное скалярное произведение, а в знаменателе — сумма квадратов норм плюс удвоенное произведение норм. Если вы протягиваете элемент по коллекции, то можно умножения на 2 сделать один раз за прогон. Корень извлекать не надо, сравнивайте с квадратом порогового значения.
Зачем вам плавающие с двойной точностью, если исходные данные целые по два бита? Мне кажется это сильный оверпауэр. Может быть достаточно fixpoint с четырьмя знаками после точки?
Может быть я не правильно понял, но, считайте не d, а d в квадрате. Нормы и квадраты норм x и y можно предвычислить и хранить рядом с ними. И того, после преобразований, из тяжёлого останется только (x,y).
Если число делится на что-то большее, чем корень из него, то, очевидно, оно делится на что-то меньшее. Таким образом, при фиксированном n можно обрабатывать поток окном длины корень из n, что существенно снижает требования по памяти.
Укус в палец является тяжёлым случаем в связи с большой концентрацией нервных клеток в кистях. По той же причине тяжёлый — укус в гениталии. В лицо и шею — малое расстояние до мозга.
Конкретный морфизм откуда? И на основании чего происходит выбор? Учитывая каррирование, частичное применение, представимость любого хом множества в категории hask, изоморфизм между a и ()->a это всё одно и то же.
Это всё не важно. Важно следить как это влияет на дальнейшие формулировки и доказательства. Они следят за своими, мы за своими, все пре деле. В общем типа двух диалектов одного языка. Пока терпимо.
Арнольду из указанной ссылки принадлежит высказывание про экспериментальность.
В остальном, это древний холивар про нужна ли математика подставить_профессию_по_желанию.
Ещё раз посмотрел текст статьи и повторюсь. Не считайте d считайте d^2. Тогда в числителе будет сумма квадратов норм минус удвоенное скалярное произведение, а в знаменателе — сумма квадратов норм плюс удвоенное произведение норм. Если вы протягиваете элемент по коллекции, то можно умножения на 2 сделать один раз за прогон. Корень извлекать не надо, сравнивайте с квадратом порогового значения.
Зачем вам плавающие с двойной точностью, если исходные данные целые по два бита? Мне кажется это сильный оверпауэр. Может быть достаточно fixpoint с четырьмя знаками после точки?
Может быть я не правильно понял, но, считайте не d, а d в квадрате. Нормы и квадраты норм x и y можно предвычислить и хранить рядом с ними. И того, после преобразований, из тяжёлого останется только (x,y).
Например так, как 100 делится нацело на 50.
Если число делится на что-то большее, чем корень из него, то, очевидно, оно делится на что-то меньшее. Таким образом, при фиксированном n можно обрабатывать поток окном длины корень из n, что существенно снижает требования по памяти.
Укус в палец является тяжёлым случаем в связи с большой концентрацией нервных клеток в кистях. По той же причине тяжёлый — укус в гениталии. В лицо и шею — малое расстояние до мозга.
http://www.cs.hmc.edu/~oneill/papers/Sieve-JFP.pdf
Можно считать в копейках, пока не придут 1/5 копейки, логарифм и экспонента.
Гипотетически они не "не спешат", они не могут. Порог входа высокий.
Давайте лучше откроем учебник по численным методам.
Что то я опять накосячил, при диагонализации должна получиться как раз формула Бине.
Не получится ускорится таким способом.
Можно дожать константу, если диагонализировать матрицу, то можно основные вычисления свести к вычислению степени от корня из пяти.
В данном случае копроизведение — дизъюнктное объединение.
Конкретный морфизм откуда? И на основании чего происходит выбор? Учитывая каррирование, частичное применение, представимость любого хом множества в категории hask, изоморфизм между a и ()->a это всё одно и то же.
Я долго думал и, кажется понял. Фабрика это функция, возвращающая копроизведение
Это всё не важно. Важно следить как это влияет на дальнейшие формулировки и доказательства. Они следят за своими, мы за своими, все пре деле. В общем типа двух диалектов одного языка. Пока терпимо.
Есть хороший критерий для самопроверки. Вы должны потерять способность объяснять что такое монады.
Арнольду из указанной ссылки принадлежит высказывание про экспериментальность.
В остальном, это древний холивар про нужна ли математика подставить_профессию_по_желанию.
Оставьте суждения о математике математикам.
Чтобы мосты строить тоже снипы есть, но, почему-то, строители учат и математический анализ и механику и сопротивление