Вычисление вероятности несвязности планарного взвешенного графа с высоконадежными ребрами

Программа создана на основе разработанного авторами алгоритма. Построенный алгоритм имеет кубическую сложность по числу ребер в отличие от классических переборных алгоритмов. Основными этапами построения алгоритма являются доказательство асимптотического соотношения для вероятности несвязности и получение формул вычисления его параметров (минимального объема разрезов и некоторого весового коэффициента). Расчет асимптотических констант осуществлялся для планарных графов с использованием перехода к двойственному графу. Построенный алгоритм был протестирован на планарных графах с различным минимальным объемом разрезов, в том числе на сотовых структурах. Время счета составляло несколько секунд, а методом Монте-Карло несколько часов.