О единственности минимального рёберного $1$-расширения гиперкуба

Одним из важных свойств надёжных вычислительных систем является их отказоустойчивость. Для её исследования можно использовать аппарат теории графов. Рассматриваются минимальные рёберные расширения графа, которые являются моделью для исследования отказа связей вычислительной системы. Граф $G^* = (V^*, \alpha^*)$ с $n$ вершинами называется минимальным рёберным $k$-расширением $n$-вершинного графа $G = (V, \alpha)$, если граф $G$ вкладывается в каждый граф, получающийся из $G^*$ удалением любых его $k$ рёбер, и имеет при этом минимально возможное число рёбер. Гиперкуб $Q_n$ — это регулярный $2^n$-вершинный граф порядка $n$, представляющий собой декартово произведение $n$ полных $2$-вершинных графов $K_2$. Гиперкуб является распространённой топологией для построения вычислительных систем. Ранее было описано семейство графов $Q^*_n$, представители которого при $n>1$ являются минимальными рёберными $1$-расширениями соответствующих гиперкубов. Проведённый вычислительный эксперимент показал, что при $n \leq 4$ эти расширения являются единственными с точностью до изоморфизма. Получено аналитическое доказательство единственности минимальных рёберных $1$-расширений гиперкубов при $n \leq 4$ и установлено одно общее свойство произвольного минимального рёберного $1$-расширения гиперкуба при $n > 2$.