Русская Википедия:Показатель короткости

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Показатель короткости — это числовой параметр семейства графов, который показывает, насколько далеки от гамильтоновости могут быть графы семейства. Интуитивно, если <math>e</math> является показателем короткости графа семейства <math>{\mathcal F}</math>, тогда любой граф с <math>n</math> вершинами имеет цикл длины, близкой к <math>n^e</math>, но некоторые графы не имеют более длинные циклы. Более точно, для любого упорядочения графов в <math>{\mathcal F}</math> в последовательность <math>G_0, G_1, \dots</math>, и функции <math>h(G)</math>, определённой как длина наибольшего цикла в графе <math>G</math>, показатель короткости определяется какШаблон:Sfn

<math>\liminf_{i\to\infty} \frac{\log h(G_i)}{\log |V(G_i)|}.</math>

Это число всегда находится в интервале от 0 до 1. Показатель равен 1, если графы семейства всегда содержат гамильтонов или близкий к гамильтонову цикл, и 0, если наибольшая длина циклов в графах семейства может быть меньше любой постоянной степени от числа вершин.

Показатель короткости полиэдральных графов равен <math>\log_3 2\approx 0,631</math>. Построение, основанное на многогранниках Кли, показывает, что некоторые полиэдральные графы имеют наибольший цикл длиной <math>O(n^{\log_3 2})</math>Шаблон:Sfn, и было также доказано, что любой полиэдральный граф содержит цикл, длиной <math>\Omega(n^{\log_3 2})</math>Шаблон:Sfn. Полиэдральные графы — это графы, которые одновременно являются планарными и вершинно 3-связными. Факт вершинной 3-связности здесь важен, поскольку существует множество вершинно 2-связных планарных графов (таких как полные двудольные графы <math>K_{2,n}</math>) с показателем короткости 0. Есть много дополнительных результатов относительно показателя короткости ограниченных подклассов планарных и полиэдральных графовШаблон:Sfn.

Вершинно 3-связные кубические графы (без требования планарности) также имеют показатель короткости, который (как было показано) лежит строго между 0 и 1Шаблон:SfnШаблон:Sfn.

Примечания

Шаблон:Примечания

Литература

Шаблон:Refbegin

Шаблон:Refend Шаблон:Rq