Русская Википедия:Гипотеза Франкла

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

Гипотеза Франкла — гипотеза в комбинаторике, известная как открытая задача с элементарной формулировкой.

Формулировки

Для любого конечного семейства множеств замкнутого относительно объединения и содержащего непустое множество найдётся элемент принадлежащий хотя бы половине множеств из семейства.

На языке теории решёток.

В любой конечной решётке существует элемент х, который не соединение двух любых мелких элементов, таких, что число элементов, большее или равное х составляет больше половины решетки, с равенством только в случае, если решетка является булевой решеткой.[1] Эта версия гипотезы верна и для нескольких естественных классов решёток[2].

Частичные результаты

  • Гипотеза верна для семейств из не более чем 46 множеств.Шаблон:Sfnp
  • Гипотеза верна для семейств множеств из не более чем 11 элементов.[3]
  • Гипотеза верна для семейств множеств, в которой самое маленькое множество имеет один или два элемента.[4]
  • Для некоторой постоянной <math>\varepsilon>0</math>, гипотеза верна для по крайней мере <math>(\tfrac{1}{2}-\varepsilon){\cdot}2^n</math> различных семейств подмножеств из <math>n</math>-элементного множества.Шаблон:Sfnp

История

Оригинальная формулировка Петера Франкла давалась через семейства замкнутые относительно пересечений. Самое раннее упоминание в печати даётся в 1985 году.

Примечания

Шаблон:Примечания Шаблон:Изолированная статья

  1. Шаблон:Harvtxt
  2. Шаблон:Harvtxt; Шаблон:Harvtxt; Шаблон:Harvtxt
  3. Шаблон:Harvtxt, Шаблон:Harvtxt, Шаблон:Harvtxt
  4. Шаблон:Harvtxt, since rediscovered by several other authors. If a one-element or two-element set S exists, some element of S belongs to at least half the sets in the family, but the same property does not hold for three-element sets, due to counterexamples of Sarvate, Renaud, and Ronald Graham.