Cтраница 3
Легко проверить, что в этом случае ацикличности нет. [31]
Эти условия достаточны, так как отрицание строгой ацикличности позволяет применить ( 65: М) в случае ацикличности и ( 65: 0: а) в случае неацикличности. [32]
Полученные выше результаты, касающиеся ацикличности и строгой ацикличности, как уже было сказано, не имеют прямого отношения к теории игр. [33]
Заметим, что в данном случае-не постулируется свойство ацикличности [ как это определялось условием ( 5) в предыдущем разделе ] и теперь конечный узел в сети отсутствует. Значение yf представляет собой минимальный ожидаемый дисконтированный эффект, сопоставленный началу движения из узла i с последующим использованием оптимальной стратегии на бесконечном плановом периоде. [34]
Порт-граф должен обладать следующими свойствами: ориентированностью, ацикличностью, связностью, симметричностью. Только два первых графа на рис. 2.2 имеют все эти свойства. Для учета свойства суммирования входов элемент должен иметь дополнительный, фиктивный порт ( центр), который и представляет дискретным элемент в структуре НТС. [35]
Во всех этих случаях, как легко убедиться, нет строгой ацикличности. [36]
Под ацикличностью будем понимать отсутствие циклов; локальная ацикличность будет означать ацикличность замкнутых ин - тервалов, а / - ацикличность - отсутствие / - цепей с циклами. [37]
Доказательство леммы 13.2. Согласно предложению 13.2, редуктивный алгоритм Грэхема сохраняет ацикличность. Если в процессе редукции ациклического гиперграфа Я, выполняемой с помощью этого алгоритма, на каком-либо шаге окажется, что промежуточный гиперграф нередуцирован, то к нему можно применить правило УР. Если же этот промежуточный гиперграф редуцирован, то либо мы уже достигли гиперграфа с единственным ребром, либо выполняется предложение 13.4, и мы можем использовать правило УВ для удаления некоторой терминальной вершины. Поскольку при применении правил редукции в алгоритме Грэхема общее количество ребер и вершин уменьшается, то этот алгоритм постепенно редуцирует Я до пустого гиперграфа. С другой стороны, алгоритм редукции не может завершиться успешно в случае циклического гиперграфа Я. Действительно, такой гиперграф должен иметь по крайней мере три ребра. Если бы редукция Я завершалась успешно, то одним из ее промежуточных результатов оказался бы гиперграф, обладающий в точности двумя ребрами и тем самым ациклический. [38]
Отметим, что в последнем разделе такая интерпретация не обязательна и ацикличность связей нигде не используется. Поэтому теорема 4 иерна д л адресных представлений текстовых сетей произвольного вида. [39]
Условие взаимной простоты длин циклов графа Г ( А) эквивалентно ацикличности матрицы А. [40]
Динамическое программирование дает возможность использовать основное свойство дерева, а именно ею ацикличность, для нахождения глобально оптимального разбиения на основе локальной информации. [41]
В этом разделе вводятся три синтаксических условия на схемы баз данных: ацикличность, существование дерева соединений и свойство квазистягиваемости пересечений. Следующий раздел посвящен описанию алгоритмов проверки двух из этих условий. Там же будет доказано, что синтаксические условия, определяемые в настоящем разделе, эквивалентны более экстенсиональным по своей природе свойствам, рассмотренным в разд. [42]
Заметим, что для большей части результатов этой главы нужна не столько ацикличность пространства Р ( К, X), сколько значение его размерности и его связность. [43]
Необходимым tt достаточным условием того, чпо предпочтения выражаются рангами, является ацикличность отношения предпочтения эксперта. [44]
Основной критерий возможности разработки алгоритма выбора свободных и выходных переменных, обеспечивающего ацикличность информационного графа системы уравнений ХТС, состоит в следующем. Если узлы xt и / у, имеющие каждый степень р 1, удалить из ДИГ в соответствии с правилами его преобразования, то вновь полученный двудольный информационный подграф исходного ДИГ опять не должен содержать контуров. [45]