Cтраница 4
Это легко доказывается, поскольку дуги графа G гарантируют, что блокировки элемента А для записи, предшествующие данной блокировке его для чтения, являются одинаковыми в R и S и порядок их следования в обоих расписаниях идентичен. [46]
Через А обозначим множество всех дуг графа. [47]
Предположим, что длины сц дуг графа С ( вершины которого соответствуют районам, а дуги - дорогам) образуют матрицу времен проезда между этими районами. [48]
Предположим, что длины сц дуг графа G ( вершины которого соответствуют районам, а дуги - дорогам) образуют матрицу времен проезда между этими районами. [49]
Множества вершин и инцидентных им дуг графа G, порожденные лишь одним из источников w / еУ, назовем информационными потоками 1-го ранга. [50]
Цикл, проходящий через каждую дугу графа точно один раз, существует тогда и только тогда, когда граф связен и все его вершины четны. [51]
Предположим, что числа на дугах графа рис. 6.3 соответствуют продолжительностям операций. [52]
Состояниям автомата соответствуют вершины графа а дуги графа указывают, в какие состояния переходит автомат при действии соответствующего управления. [53]