|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Ilya Rogov 2:5030/1334.1024 03 Feb 2003 01:21:09
To : Vitaly Lugovsky
Subject : Урощение формул
--------------------------------------------------------------------------------
Давным-давно, 01 Feb 03 03:42, когда земля была ещё тёпленькая
и по ней бегали мамонты, Vitaly Lugovsky и Ilya Rogov говорили про Re: Урощение
формул:
>> А каким ещё образом ты вообще представляешь себе упрощение формулы
>> ?? Каким образом, скажем, действует оптимизатор кода, встроенный в
>> компилятор того же С++ ??
VL> Молодец, однако. Соображаешь, что задача оптимизации кода -
VL> абсолютно то же самое. С тем же БЕСКОHЕЧHЫМ числом вариантов, которые
VL> надо перебрать.
Покажи мне его бесконечность. Обоснуй.
>> Я так полагаю, что просто заданы правила, по которым определённые
>> участки дерева заменяются другими, эквивалентными.
VL> Hе просто. Кроме правил нужны ещё и СТРАТЕГИИ. Тупым применением
VL> всех возможных правил ты ничего не упростишь.
Согласен. Есстественно они не просто заменяются друг на друга, а некоторым
определённым образом. Hапример, с использованнием заданных стратегий.
>> А если выражение не походит ни под одно правило, то оно и не
>> упрощается.
VL> А если для упрощения надо сначала применить одно правило, а потом
VL> другое? А если таких шагов - десятки или сотни? Без стратегии обхода
VL> тут ты ничего не сделаешь.
И ещё раз - обоснуй, почему правила и стратегии необходимо применить
бесконечно много раз.
Ilya Rogov
... Бредить помогали вопли моих соседей
---
* Origin: Когда Бог делал время - он сделал его достаточно (2:5030/1334.1024)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
