Формализованный метод и алгоритм компактного преобразования для многосвязанных системстатья