Cтраница 2
Пример свободной сети показан на рис. 4.6 а. В свободной сети каждое конфликтное место ( место, из которого выходит более чем одна дуга) является входным для такого множества переходов, в котором при любой разметке любой ( но один) из переходов может сработать или все переходы не могут сработать. Эта сеть не является свободной. [16]
Широкое внедрение светодальномеров в геодезическое производство позволяет полностью отказаться от измерения базисов и построения базисных сетей и перейти к измерению базисных сторон. Базисных сторон в свободной сети должно быть не менее двух. [17]
Число фишек в любой из покрывающих автоматных подсетей постоянно. Общее число фишек в свободной сети ограничено сверху суммой фишек во всех покрывающих плотных подсетях. Тогда, по лемме 4.4, если сеть жива, то она должна быть безопасной, иначе в ней есть неограниченное место. [18]
Критерий безопасности живой свободной сети связан с покрытием ее замкнутыми подсетями, которые представляют собой сильно связные автоматные сети, каждая из которых содержит лишь одну фишку. Заметим, что такая подсеть сама является живой и безопасной сетью. Поэтому можно сказать, что свободная сеть жива и безопасна, если существует покрытие ее живыми и безопасными подсетями. [19]