В процессе развития решателя в ГЕНОЛОГ был введен еще один тип нормали-заторов, который впоследствии так и не был востребован. Однако в определенных ситуациях он может оказаться полезным, и здесь мы вкратце опишем его работу При выполнении цепочки преобразований выражения, направленных на уменьшение некоторого функционала, например, на уменьшение длины этого выражения, можно перед каждым шагом изменения выражения сначала накапливать множество различных альтернативных преобразований, и лишь по исчерпании новых вариантов принимать окончательное решение.
Это решение заключается в определении наиболее ценных, с точки зрения принятого функционала, преобразований обрабатываемого терма, причем отбирается максимальная группа попарно не пересекающихся наиболее ценных локальных изменений, которые и выполняются одновременно. Такой режим работы нормализатора задается указателем "группировка" в описании его формата. Следует заметить, что нормализаторы данного типа обладают ощутимо меньшим быстродействием по сравнению с обычными нормализаторами, выполняющими свои преобразования сразу по обнаружению их возможности.
Опубликовал vovan666
March 04 2013 15:33:46 ·
3 Комментариев ·
6253 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Oleg27 December 30 2024 11:19:18
Погрузитесь в мир удивительных возможностей казино Покердом Mirror1xbet.com и окунитесь в неповторимую атмосферу азарта и веселья. Станьте частью этого захватывающего казино уже сейчас и получите свои доли азартного адреналина и щедрые выигрыши. Удачи!
Oleg27 December 30 2024 11:20:19
Посоветую вам отличный ресурс 1Xbetvkhod.com Недавно я наткнулся на фантастический сайт с обзорами казино, и я был очень впечатлен! Эта платформа предлагает всесторонний и непредвзятый взгляд на различные онлайн-казино, что делает ее полезным ресурсом для любого любителя азартных игр. Структура сайта удобна для пользователя, обеспечивает удобную навигацию и быстрый доступ к самой важной информации. Я ценю простую систему рейтинга и подробный анализ плюсов и минусов каждого казино. Это помогло мне принимать обоснованные решения при выборе лучшего казино для моих предпочтений.
Oleg27 December 30 2024 11:21:13
Бездепозитный бонус 1Xbetsayt.com за регистрацию – отличная возможность попробовать казино онлайн без собственных вложений. Впечатлен щедрым подарком!
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
