Cтраница 4
На втором и третьем шагах располагаем значения входных и выходных переменных соответственно устройствам загрузки и выгрузки. Каждой из первых вершин первого шага соответствуют по два варианта конструктивной реализации устройств загрузки, располагаемых на втором шаге, а начиная с шестой вершины - по одному варианту. [46]
Пусть q - число цветов, требуемое для вышеупомянутой раскраски. Пусть xi - первая вершина при заданном упорядочении, которая была окрашена в цвету. Поскольку ( согласно ( ii)) она была так окрашена потому, что не могла быть окрашена в цвет / q, то ее можно перекрасить в цвет / q, лишь перекрасив предварительно хотя бы одну из смежных с ней вершин. Итак, шаг возвращения из вершины, можно осуществить следующим образом. [47]
Далее отношения поддержки вершин будут, как правило, представляться линиями, направленными вверх, так что для того, чтобы увидеть последствия, нужно смотреть вверх, а для того, чтобы увидеть основания, - вниз. Будем говорить, что первая вершина расположена на более низком уровне, чем вторая, если вторая вершина входит во множество допущенных последствий первой. [48]
Если Р не содержит никаких вершин простых цепей Ы), то она является искомой связывающей простой цепью. Предположим, что р - первая вершина па Р, лежащая в В или за я, на некоторой AI. Так как вершина а; достижима, вершина / / также достижима. Если пройти по Р ( р, р), то получим, что р достижима, а УТО противоречит ее определению. [49]
Согласно 2.7 ( 6), клетка С является конусом) хВ и, следовательно, допускает симплициальное измельчение, согласованное с измельчением разбиения В. Из того, что х является первой вершиной, непосредственно вытекает, что построенное измельчение согласовано с уже имеющимся измельчением всей границы С клетки С. [50]
Буфер инициализируется командой РМ, затем рисуется многоугольник с использованием команд АА, AR, CI, PA, PD, РЕ, PR и PU, завершается построение многоугольника командой РМ2, а затем используются основные цвета, чтобы очертить или заполнить многоугольник. Положение карандаша при исполнении команды РМ становится первой вершиной многоугольника. Для изображения сложных зон одновременно очерчиваются больше одного многоугольника; например, один многоугольник внутри другого для изображения пустой зоны. [51]
BdA естественным образом упорядочена. К упорядочена, то соответствие s - ( первая вершина s) определяет симплициальное отображение ВАК - К, сохраняющее упорядоченность. [52]