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