Cтраница 4
Естественно, что если обращение произошло к первой букве списка некоторого уровня, то она остается на месте. Если на некотором уровне не оказалось требуемой буквы и производится запись нового заголовка, то эта буква записывается в конец соответствующего списка. [46]
Доказательство теоремы проводится следующим образом. Сначала показывается, что D - класс корневых инволюций, а затем применяется теорема о корневых инволюциях с последующей проверкой, какие именно группы из соответствующего списка удовлетворяют заданным условиям. [47]
В процессе работы программы нужно следить за тем, чтобы температура хладагента не превышала температуру теплоотдаю-щей среды, так как это может привести к переполнению или другим ошибкам. Если возникает такая ситуация, то температура холодной среды принимается равной входной температуре горячей среды, расчет повторяется, печатается сообщение об этом эффекте и указанные температуры передаются в соответствующий список STRMO. Обычно это случается только во время первых двух итераций, когда информация не проходит по всем блокам технологической блок-схемы. [48]
Следует иметь в виду, что при работе с - буфером необязательно работать только с одной строкой. Если для каждой строки завести свой указатель на список отрезков, то в 5-буфер можно выводить по граням: грань раскладывается на набор отрезков и производится вставка каждого отрезка в соответствующий список. Тем самым в отличие от традиционного метода построчного сканирования здесь циклы по граням и по строкам меняются местами. [49]
Предложенный алгоритм имеет некоторые общие фрагменты с известными алгоритмами решения задачи коммивояжера: решение начинается с решения задачи назначения для той же матрицы расстояний и формирования условий (14.35), где в качестве подмножеств А и А выбираются подциклы решения задачи назначения. Однако затем в предложенном алгоритме не преследуется цель обязательного выполнения этих условий для фиксированной пары множеств А к А, как это имеет место в известных алгоритмах либо за счет решения задачи линейного программирования (14.31) - (14.33) и (14.35), либо за счет соответствующего списка новых задач назначений. При этом выполнение условий (14.35) не обязательно. [50]
Вычисление COUNT [ W - Z ] на стадии инициализации занимает время, пропорциональное W, если W представлено в виде списка атрибутов. Каждая F-зависимость оказывается занесенной в списки W в LIST. Для соответствующего списка добавление одной зависимости к этому списку занимает постоянный отрезок времени. [51]
Вычисление COUNT [ W - v Z 1 на стадии инициализации занимает время, пропорциональное W, если W представлено в виде списка атрибутов. Каждая F-зависимость оказывается занесенной в списки W в LIST. Для соответствующего списка добавление одной зависимости к этому списку занимает постоянный отрезок времени. [52]
Управляющие форматы используются в тот момент, когда они встречаются при поиске очередной спецификации формата данных. Самой спецификации управления в списке ввода-вывода не соответствует никакой элемент. После того как список ввода-вывода исчерпан, оставшиеся управляющие форматы соответствующего списка форматов игнорируются. Спецификации управления подразделяются на формат для задания интервалов и форматы для печати. [53]