Компонента связности
максимальный связный подграф данного графа
n-элементное упорядоченное множество (x1, x2, ... , xn), составленное из представителей заданных n множеств M1, M2, ... , Mn так, что xk ∈ Mk при каждом k
Рассмотрена процедура синтеза программного обеспечения, представляющая упорядочение набора программных модулей, реализующих множество операций. Определено описание этого набора как трансверсалей семейства алгоритмических признаков программы. Для нахождения наибольшей по весу частичной трансверсали семейства алгоритмических признаков программы используется жадный алгоритм. Подобный подход применен и для оценки надежности (вероятности связности случайного графа, представляемого случайным матроидом) программного обеспечения. Предложена модель надежности сети связи программных модулей.
максимальный связный подграф данного графа
аксиальный вектор
дифференциал функции нескольких переменных