Cтраница 4
Аксимэтическое определение каждого класса подмножества влечет за собой определение установившегося транзитивного замыкания ( Л) отношения А. [46]
Базовый директивный ГДП с глубиной 1.| Базовый дирек - [ IMAGE ] ГДП с непри-тивный ГДП - транспо - водимыми элементами зиции с глубиной 1 для директивных ГДП. [47] |
Отметим, что для древовидного ГДП граф, построенный транзитивным замыканием, не обязательно древовидный. [48]
Было показано, что умножение двух булевых матриц эквивалентно вычислению транзитивного замыкания графа. К сожалению, замкнутое полукольцо 0, 1 не является кольцом, и поэтому к умножению булевых матриц неприменимы ни алгоритм Штрас-сена для умножения матриц, ни другие результаты, изложенные ранее в этой главе. [49]
С задачей определения кратчайших путей в графе тесно связана задача транзитивного замыкания бинарного отношения. [50]
Докажите, что не существует выражения реляционной алгебры, эквивалентного операция транзитивного замыкания над конечными отношениями. [51]
Легко видеть, что, каково бы ни было отношение В, транзитивное замыкание В тогда и только тогда не является антирефлекснвным, когда в i рафе отношения В есть контуры. [52]