Препринты Института прикладной математики им. М. В. Келдыша РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Препринты ИПМ им. М. В. Келдыша:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Препринты Института прикладной математики им. М. В. Келдыша РАН, 2013, 070, 28 стр. (Mi ipmp1820)  

Staged multi-result supercompilation: filtering before producing
[Стадированная многорезультатная суперкомпиляция: фильтрация результатов до их порождения]

S. A. Grechanik, I. G. Klyuchnikov, S. A. Romanenko
Список литературы:
Аннотация: В случае применения суперкомпиляции в области решения задач, многорезультатная суперкомпиляция позволяет обнаруживать наилучшие решения благодаря тому, что порождается некоторое множество возможных остаточных графов конфигураций, которое затем фильтруется в соответствии с некоторыми критериями. К сожалению, пространство поиска при этом может получаться весьма обширным. Однако, мы показываем, что можно значительно уменьшить объем поиска разложив процесс многорезультатной суперкомпиляции в композицию из двух стадий. На первой стадии порождается компактное представление множества остаточных графов, которое получается в результате задержки некоторых операций по построению графов. Эти операции выполняются на второй стадии, когда компактное представление интерпретируется, в результате чего и генерируется множество графов. Основная идея предлагаемого подхода состоит в том, что вместо фильтрации множества графов можно выполнять анализ и чистку его компактного представления. Во многих случаях, представляющих практический интерес (таких, как отбор графов минимального размера или отбрасывание графов, содержащих ненадежные конфигурации) чистка может быть выполнена за линейное время.
Тип публикации: Препринт
Язык публикации: английский
Образец цитирования: S. A. Grechanik, I. G. Klyuchnikov, S. A. Romanenko, “Staged multi-result supercompilation: filtering before producing”, Препринты ИПМ им. М. В. Келдыша, 2013, 070, 28 pp.
Цитирование в формате AMSBIB
\RBibitem{GreKlyRom13}
\by S.~A.~Grechanik, I.~G.~Klyuchnikov, S.~A.~Romanenko
\paper Staged multi-result supercompilation: filtering before producing
\jour Препринты ИПМ им.~М.~В.~Келдыша
\yr 2013
\papernumber 070
\totalpages 28
\mathnet{http://mi.mathnet.ru/ipmp1820}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ipmp1820
  • https://www.mathnet.ru/rus/ipmp/y2013/p70
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Препринты Института прикладной математики им. М. В. Келдыша РАН
    Статистика просмотров:
    Страница аннотации:145
    PDF полного текста:55
    Список литературы:37
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024