g
ПОЛНЫХ реализаций алгоритма Риша (это как раз то, что ты называешь "проверка на интегрируемость с помощью теоремы Лиувилля") на данный момент нет и, по всей видимости, не предвидится (см. Constant problem)
50 лет алгоритму недавно исполнилось. :)
Size: a a a
2018 June 08
X
угу, но это полуалгоритм
X
я уже где-то писал, да, что у него юбилей
X
но пока кто-нть не придумает, как алгоритмически, без эвристик, сравнивать два произвольных символьных выражения на тождественность, это полуалгоритм
X
"не предвидится", поскольку весьма вероятно, что это алгоритмически неразрешимая проблема
Dv
но пока кто-нть не придумает, как алгоритмически, без эвристик, сравнивать два произвольных символьных выражения на тождественность, это полуалгоритм
А какие есть подвижки в этом направлении?
X
подвижки, что иронично, есть в противоположном
X
в частности, доказали, что если к списку функций добавить функцию абсолютной величины, задача становится алгоритмически неразрешимой
EZ
в частности, доказали, что если к списку функций добавить функцию абсолютной величины, задача становится алгоритмически неразрешимой
найс
EZ
интуитивно логично чтобы была неразрешимой
X
это как
X
мне это не интуитивно
EZ
ну это очень сложная задача посчитать любой алгоритм
X
и что
X
я не вижу, почему сравнить два символьных выражения скорее невозможно
V🇺
но пока кто-нть не придумает, как алгоритмически, без эвристик, сравнивать два произвольных символьных выражения на тождественность, это полуалгоритм
Что значит "придумает"? Это доказуемо неразрешимая задача (для достаточно мощных множеств выражений)
2018 June 09
X
Что значит "придумает"? Это доказуемо неразрешимая задача (для достаточно мощных множеств выражений)
ну, теперь, видимо, доказуемая, но я не вижу, как это делается.
2018 June 10
Ι
Dv
Привет
Сделал силу тяготения, но пока всё движется с константой силой
Прикол в том, что было не ожидано увидеть колебание сферы
Сделал силу тяготения, но пока всё движется с константой силой
Прикол в том, что было не ожидано увидеть колебание сферы
А я вот как раз этого и ожидал, есть же инерция.
Dv
Делай столкновения :)