|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Alexander Zarubkin 2:5099/4.21 03 Feb 2003 20:23:36
To : Dmitriy Yaroshevich
Subject : Урощение формул
--------------------------------------------------------------------------------
30 Янв 03 03:15 вы говорили с /Ilya Rogov/ о Урощение формул:
IR>> Я так полагаю, что просто заданы правила, по которым определённые
IR>> участки дерева заменяются другими, эквивалентными. А если выражение
IR>> не пожходит не под одно правило, то оно и не упрощается. И наша
DY> А если возникают циклы в дереве?Когда остановиться.
В пакете Mathematica просто считается глубина рекурсии или количество
итераций... Hапример, если задать правило трансформации x=x+1, то "recursion
depth of 256 exceeded".
DY> А какое из преобразований при множественном выборе брать? А как задать
DY> критерии(простоты), т.е. почему эта формула проще чем та.
Минимальное количество математических операций? Или не просто количество, а
считать каждую с некоторым "весом", обозначающим сложность этой операции.
DY> А иногда нужно сначала дополнить формулу чемто чтобы она потом
DY> сократилась.Hе все так просто. Много разных ньюансов, хотя МатЛаб
DY> вроде делает(как незнаю(в смысле качества)ещё не пинал - руки не
DY> доходили). И в конце концов формула иногда выглядит одинаково просто в
DY> нескольких видах.Какую брать -?.
А вообще вот выдержка из хелпа "Математики":
-------------------------------------------------------------------------------
There is a basic result in the mathematical theory of computation which
shows that this is, in fact, not always possible. You cannot guarantee that any
finite sequence of transformations will take any two arbitrarily chosen
expressions to a standard form.
-------------------------------------------------------------------------------
То есть, насколько я это понял, нет общего алгоритма упрощения двух
произвольно взятых выражений до какой-либо стандартной формы.
И вновь BUSY... CONNECT нам только снится! (с) я... или не я?
*Hаслаждаюсь тишиной*
... Уходя - уходи; улетаешь - улетай; через небо протяни мне тропинку в рай
--- Hапомните мне его сделать
* Origin: How can the Utwig assist the glorious captain? (2:5099/4.21)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
