beldmit: (Программизм)
Dmitry Belyavskiy ([personal profile] beldmit) wrote2021-08-02 06:39 pm

Корень Бринга

Узнал через посредство Саши Венедюхина про корень Бринга — такую вот даже не то что абстракцию, но формальную сущность, с помощью которой решения произвольных уравнений пятой степени становятся реальными.

Почему-то это решение мне кажется читерским. В смысле, я привык к мысли о неразрешимости уравнений пятой и выше степеней в общем виде радикалах и предполагал, что альтернативы нет. А тут даже не дополнение поля происходит, а просто syntax sugar для того, чтобы возможность выразить решение появилась — но неуютно. Причём это, комплексные числа в своё время в голову как информобъекты как родные легли. Загадка, в общем.

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

Update: Пока катался, до меня дошло, что не так с корнями Бринга. С обычными радикалами или комплексными числами много чего можно сделать. Можно умножить на константу и внести константу под корень. Можно домножить на сопряжённое выражение и от иррациональности избавиться. С корнями Бринга такого сделать не получится. Неочевидно даже, как связаны Br(a) и Br(-a), к примеру. Получаются символы без очевидной семантики, которые, тем не менее, можно вычислить. Из привычной массовой математики таковыми являются разве что π или e.

[personal profile] ald1976 2021-08-03 08:18 pm (UTC)(link)
В биллинге не заметят. В арбитраже с миллиардными позициями - еще как заметят. В операциях с производными ценными бумагами вообще может быть катастрофа из-за седьмого знака после запятой.

Ну и биллинг - это примитив. А если нужно что-то хоть чуть более содержательное, хотя бы решение больших линейных систем [реально возникающее на практике почти всюду] - то уже придется применять нетривиальные усилия для борьбы с лавинообразным накоплением вычислительной погрешности. Как бальзам на душу скажу, что эти усилия являются неотъемлемой частью численных методов, а наивные численные методы заканчиваются примерно на "задачах" вроде биллинга.

[personal profile] ald1976 2021-08-03 08:50 pm (UTC)(link)
Догадываюсь :)

Хотя и не знаю, где у вас заканчивается понимание и начинается непонимание. Радикал Бринга - новость; понимания, где могли бы быть актуальны "решения в радикалах" тоже, по вашим словам, нет.

А еще бывает сарказм и ирония, границы которых тоже не всегда различимы :)
livelight: (Default)

[personal profile] livelight 2021-08-03 09:03 pm (UTC)(link)
Дык, вроде, никто в биллинге даже честный floating point не применяет, ибо нафига. Fixed point с двумя знаками после запятой - и побежал SQL-ный sum работать. Мегабайты, СМС-ки, секунды (а то и минуты), киловатт-часы и что там ещё считают - всё округлено заранее, тарифы тоже. Седьмой знак после запятой просто не возникнет, так что и ошибки в нём не будет :)

[personal profile] bowhill 2021-08-05 03:24 am (UTC)(link)
Вы ведь знаете про банковское округление, биллинг не из одного sum состоит и условия бывают сложные.