Эрдес-Поса теоремасы - Erdős–Pósa theorem

Математикалық пәнінде графтар теориясы, Эрдес-Поса теоремасы, атындағы Paul Erdős және Лайос-Поса, функциясы бар екенін айтады f(к) әрқайсысы үшін оң бүтін сан к, әр графта кем дегенде болады к шыңы-ажырату циклдар немесе ол бар кері байланыс шыңы ең көп дегенде f(к) әр циклды қиып өтетін шыңдар. Сонымен қатар, f(к) = Θ (к журнал к) мағынасында Үлкен O белгісі. Осы теоремаға байланысты циклдар деп аталады Erdős – Pósa меншігі.

Теорема кез-келген ақырлы сан үшін айтады к тиісті (ең аз) мән бар f(к), жиынтығы жоқ әр графикте болатын қасиетімен к шыңдар-дизъюнктік циклдар, барлық циклдар аспауы керек f(к) төбелер. Бұл жарияланбаған нәтижені жалпылау Бела Боллобас, онда көрсетілген f(2) = 3. Erdős & Pósa (1965) шекараларын алды c1к журнал к < f(к) < c2к журнал к жалпы жағдай үшін. Іс үшін к = 2, Ловас (1965) толық сипаттама берді. Восс (1969) дәлелденді f(3) = 6 және 9 ≤ f(4) ≤ 12.

Erdős – Pósa меншігі

Отбасы F графиктің немесе гиперографтар функциясы бар болса, Erdős – Pósa қасиетіне ие болады f: әрбір (гипер-) график үшін G және барлық бүтін сан к келесілердің бірі дұрыс:

  • G қамтиды к тік сызықты субграфтардың әрқайсысы графикке изоморфты F; немесе
  • G шыңдар жиынтығын қамтиды C ең үлкен мөлшерде f(к) осындай GC графында изоморфты субографиясы жоқ F.

Анықтама көбінесе келесідей болады. Егер біреуімен белгіленсе ν(G) шыңдарының бөлінетін субграфтарының максималды саны G графикке изоморфты F және арқылы τ(G) жойылатын шыңдардың ең аз саны G графикке изоморфты субграфсыз график қалдырады F, содан кейін τ(G) ≤ f(ν(G)), кейбір функциялар үшін f: тәуелді емес G.


Осы терминологияға қайта оралған Эрдис-Поса теоремасы отбасы деп айтады F барлық циклдардан тұратын Erdős-Pósa қасиетіне ие, шектеу функциясы бар f(к) = Θ (к журнал к). Робертсон және Сеймур (1986) мұны едәуір жалпылаған. График берілген H, рұқсат етіңіз F(H) бар барлық графиктердің тобын белгілеңіз H сияқты кәмелетке толмаған. Олардың қорытындысы ретінде тор минор теоремасы, Робертсон мен Сеймур мұны дәлелдеді F(H) Erdős-Pósa қасиетіне ие болады, егер ол болса H Бұл жазықтық график. Сонымен қатар, қазір сәйкес шекара функциясы екені белгілі болды f(к) = Θ (к) егер H Бұл орман (Fiorini, Joret & Wood 2013 ), ал f(к) = Θ (к журнал к) әрбір басқа жазықтық график үшін H (Cames van Batenburg және басқалар. 2019 ж ). Ерекше жағдай H үшбұрышы - Эрдог-Поса теоремасына тең.

Әдебиеттер тізімі

  • Эрдоус, Пауыл; Поса, Лайос (1965). «Графиктегі тәуелсіз тізбектер туралы». Канадалық математика журналы. 17: 347–352. дои:10.4153 / CJM-1965-035-8.CS1 maint: ref = harv (сілтеме)
  • Робертсон, Нил; Сеймур, Пол (1986). «Графикалық кәмелетке толмағандар. V. Пландық графиканы қоспағанда». Комбинаторлық теория журналы, В сериясы. 41: 92–114. дои:10.1016/0095-8956(86)90030-4.CS1 maint: ref = harv (сілтеме)
  • Восс, Хайнц-Юрген (1969). «Eigenschaften von Graphen, die keine k + 1 knotenfremde Kreise enthalten». Mathematische Nachrichten. 40: 19–25. дои:10.1002 / mana.19690400104.CS1 maint: ref = harv (сілтеме)
  • Ловас, Ласло (1965). «Тәуелсіз тізбектері жоқ графиктер туралы». Мат Лапок. 16: 289–299.CS1 maint: ref = harv (сілтеме)
  • Кеймс ван Батенбург, Вутер; Гюнь, Тони; Джорет, Гвенел; Раймонд, Жан-Флорент (2019). «Planes кәмелетке толмағандарға арналған қатаң Erdős-Pósa функциясы». Комбинаторика саласындағы жетістіктер. 2: 33б. дои:10.19086 / aic.10807.CS1 maint: ref = harv (сілтеме)
  • Фиорини, Самуил; Джорет, Гвенел; Вуд, Дэвид Р. (2013). «Орманнан тыс кәмелетке толмағандар және Эрдо-Поса меншігі алынып тасталды». Комбинаторика, ықтималдық және есептеу. 22 (5): 700–721. arXiv:1204.5192. дои:10.1017 / S0963548313000266.CS1 maint: ref = harv (сілтеме)

Сондай-ақ қараңыз