Условия достижимости, базы дуг и растущие деревья презентация Характеристическое свойство определение обозначение пример