Ацикличность

Cтраница 2

Полученные выше результаты, касающиеся ацикличности и строгой ацикличности, как уже было сказано, не имеют прямого отношения к теории игр. [16]

Мы уже отмечали, что ацикличность следует из частичной упорядоченности ( это, очевидно, и является содержанием ( 65: D: b), а значит, тем более и из линейной упорядоченности. [17]

Мы можем показать, что ацикличность и строгая ацикличность являются существенными понятиями, хотя и не приведут к исчерпывающему решению вопроса. [18]

Итак, мы видим, что строгая ацикличность эквивалентна условию ( 65: К); мы вправе ожидать, что оно играет фундаментальную роль. Ацикличность и строгая ацикличность тесно связаны друг с другом. Особая роль конечности D проявляется в том, что для конечного D оба эти понятия эквивалентны. [19]

Первый шаг в построении полиграфа. [20]

Если же Р не обладает свойством ацикличности, то последовательного расписания, эквивалентного S, не существует. [21]

При построении нормальных функций выбора требование ацикличности порождающих их бинарных отношений является существенным, так как при невыполнении свойства ацикличности R выделяемое из ИМА множество Q может оказаться пустым. [22]

Теперь мы дадим несколько иное определение ацикличности, в котором рассматриваются только те индуцированные гиперграфы, которые являются подги пер графами. [23]

Теперь мы дадим несколько иное определение ацикличности, в котором рассматриваются только те индуцированные гиперграфы, которые являются подгиперграфами. [24]

Доказать, что из - отделимости следует ацикличность. [25]

Заметим, что из Р 0 вытекает ацикличность, а следовательно, и регулярность цепи. [26]

Под ацикличностью будем понимать отсутствие циклов; локальная ацикличность будет означать ацикличность замкнутых ин - тервалов, а / - ацикличность - отсутствие / - цепей с циклами. [27]

Наконец отметим, что эта программа предполагает ацикличность отношения has share. Тем самым предполагается, что отображение отношения собственности фактически является ориентированным ациклическим графом. На самом деле программа также является корректной при менее жестких ограничениях, а именно при условии ацикличности отношения controlled. Это условие непосредственно следует из предыдущего. [28]

Мы можем показать, что ацикличность и строгая ацикличность являются существенными понятиями, хотя и не приведут к исчерпывающему решению вопроса. [29]

Мы сформулируем дополнительно несколько утверждений, гарантирующих ацикличность ассоциированного комплекса и даже его гомотопическую тривиальность. [30]

Страницы: 1 2 3 4