Схемы Лаврова: различия между версиями
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 12: | Строка 12: | ||
только ''[[раскраска|раскраски]]'', причем схемы считаются | только ''[[раскраска|раскраски]]'', причем схемы считаются | ||
эквивалентными, если при их реализации [[схема с распределенной памятью|''схемами с распределенной памятью'']] совпадают [[информационный граф|информационные графы]] [[Р-Схема|Р-схем]]. | эквивалентными, если при их реализации [[схема с распределенной памятью|''схемами с распределенной памятью'']] совпадают [[информационный граф|информационные графы]] [[Р-Схема|Р-схем]]. | ||
[[Файл:Lavrov schemata.gif|700px]] | |||
==См. также == | ==См. также == | ||
Версия от 13:49, 11 июня 2010
Схемы Лаврова (Lavrov schemata) - схемы программ, которые были введены в литературу С.С.Лавровым в 1961 г. в связи с задачей экономии памяти. Являются одной из основных формальных моделей программ, используемых для алгоритмов оптимизации программ. В схемах Лаврова исследуются информационные связи между операторами в условиях неизменности логической структуры программ. Формально они могут определены следующим образом: берется класс крупноблочных схем и рассматриваются в качестве эквивалентных лишь такие схемы, в которых различаться могут только раскраски, причем схемы считаются эквивалентными, если при их реализации схемами с распределенной памятью совпадают информационные графы Р-схем.
См. также
Неинтерпретированные схемы, Стандартные схемы, Схема с косвенной адресацией, Схемы Мартынюка, Схемы Янова.
Литература
[Ершов/77],
[Ершов/94],
[Касьянов/88]