Туранстар теоремасы - Turáns theorem - Wikipedia

Жылы графтар теориясы, Туран теоремасы қосуға болатын жиектердің санын шектейді бағытталмаған граф ол жоқ толық ішкі сызба берілген мөлшерде. Бұл орталық нәтижелердің бірі экстремалды графтар теориясы, берілген қасиеттерге ие ең үлкен немесе ең кіші графиктерді зерттейтін аймақ және -ның ерекше жағдайы болып табылады тыйым салынған субографиялық проблема берілген ішкі графикасы жоқ графиктің шеттерінің максималды саны бойынша.

Мысалы -шың бірде-біреуі жоқ график - вертикс кликасы жиынтығын бөлу арқылы құрылуы мүмкін төбелер тең немесе шамамен бірдей өлшемді бөліктер, және екі шыңды екі түрлі бөлікке жататын кез-келген жиекпен байланыстыру. Алынған график Туран графигі . Туран теоремасы Туран графигінің барлық арасында жиектер саны ең көп екендігі туралы айтады Қр+1-Тегін n-текс сызбалары.

Туран теоремасы және Туран графиктері бірінші рет сипатталған және зерттелген Венгр математик Пал Туран 1941 жылы.[1] The ерекше жағдай теоремасының үшбұрышсыз графиктер ретінде белгілі Мантель теоремасы; оны 1907 жылы голландиялық математик Виллем Мантель айтты.[2]

Мәлімдеме

Туран теоремасы әрбір графикте айтылған бірге құрамында жоқ шыңдар подграфта ең көп болатын жиектер саны бар

Туран графигіндегі жиектер саны бірдей формулада келтірілген , демек, бұл Туран теоремасын формуламен теңестіруге болады -жоқ графикалық қарапайым графиктер -кликтер, шеттерінің максималды саны бар.[3]

Дәлелдер

Aigner & Ziegler (2018) Туран теоремасының бес түрлі дәлелдерін келтіріңіз.[3]

Туранның түпнұсқа дәлелі шыңдар санына индукцияны қолданады. Берілген -текс -ден артық бос граф шыңдар мен шеттердің максималды саны, дәлелдеу кликті табады (ол максимум бойынша болуы керек), оны жояды және қалғанына индукцияны қолданады -тегін шолу. Қалған субографияның әрбір шыңы ең көп дегенде іргелес болуы мүмкін сандық шыңдар, және санды қосу жиектері индуктивті санымен осылайша алынған -vertex субографиясы нәтиже береді.[1][3]

Басқа дәлел Paul Erdős максималды дәрежелі шыңды табады а - еркін график және оны көршілес емес кез-келген жұп арасындағы жиектерді алып тастап, сол төбеде жаңа график құру үшін қолданады және көршінің және көршінің емес барлық жұптарының арасындағы жиектерді қосу. Жаңа график қалады -тегін және кем дегенде сонша жиегі бар. Көршілерінің подографында бірдей құрылысты рекурсивті түрде қайталау ақырында Туран графигімен бірдей графикті шығарады (. жиынтығы тәуелсіз жиындар, әр екі шыңның арасындағы шеттері әр түрлі тәуелсіз жиындардан тұрады) және қарапайым есептеулер барлық тәуелсіз жиынтық өлшемдері мүмкіндігінше тең болған кезде осы графиктің шеттерінің саны максималды болатынын көрсетеді.[3][4]

Мотзкин және Страус (1965) Туран теоремасын ықтималдық әдіс іздеу арқылы ықтималдықтың дискретті үлестірілуі берілген шыңдарда - кездейсоқ таңдалған жиектердің күтілетін санын көбейтетін еркін график индукцияланған субография, әрбір шыңы берілген ықтималдықпен өз бетінше субографқа енгізілген. Ықтималдықпен үлестіру үшін шыңға арналған , бұл күтілетін сан . Кез-келген осындай үлестіруді ықтималдықты іргелес емес төбелер жұбы арасында бірнеше рет ауыстыру арқылы өзгертуге болады, осылайша күтілетін мән азаяды және нөлдік емес ықтималдығы бар шыңдар кликке жатады, одан максималды күтілетін мән мынада: ең . Демек, біркелкі үлестіру үшін күтілетін мән, бұл шеттердің дәл бөлінген бөлігіне тең , сондай-ақ ең көп дегенде , ал шеттердің саны ең көп дегенде .[3][5]

Дәлел Нога Алон және Джоэл Спенсер, олардың кітабынан Ықтималдық әдісі, деп санайды кездейсоқ ауыстыру а. шыңдарының -тегін график және осы ауыстырудың префиксімен құрылған ең үлкен клик. Кез-келген шыңның қосылу ықтималдығын есептеу арқылы оның дәрежесіне байланысты осы кликтің күтілетін өлшемін көрсетуге болады , қайда - бұл шыңның дәрежесі . Кем дегенде осындай мөлшердегі клик болуы керек, сондықтан . Көмегімен бұл теңсіздікті кейбір алгебралық манипуляциялар Коши-Шварц теңсіздігі және қол алысу леммасы нәтижесін дәлелдейді.[3] Қараңыз Шартты ықтималдықтар әдісі § Туран теоремасы көбірек.

Эйнгер мен Зиглер соңғы бес дәлелдің бірін «бәрінен де әдемі» деп атайды; оның шығу тегі түсініксіз. Бұл максимум үшін леммаға негізделген -тегін график, көршілес емес а өтпелі қатынас, егер керісінше болса және көршілес емес және іргелес болғанда а -осы үш шыңның бірін немесе екеуін жойып, оларды қалған шыңдардың біреуінің көшірмелерімен ауыстыру арқылы көбірек жиектері бар еркін график. Көршілес емес симметриялы және рефлексивті болғандықтан (ешқандай шың өзіне іргелес емес), ол эквиваленттік қатынас кімдікі эквиваленттік сыныптар кез-келген максималды графикті Туран графигімен бірдей формада беріңіз. Екінші дәлелдеудегідей, қарапайым есептеу көрсеткендей, барлық тәуелсіз жиынтық өлшемдері теңдікке жақын болған кезде жиектер саны көбейтіледі.[3]

Мантель теоремасы

Туран теоремасының ерекше жағдайы Mantel теоремасы: жиектерінің максимум саны -текс үшбұрышсыз граф болып табылады [2] Басқаша айтқанда, ішіндегі жиектердің жартысына жуығын жою керек үшбұрышсыз графикті алу үшін.

Мантель теоремасының нығайтылған формасында кез-келген Гамильтон графигі кем дегенде болатындығы айтылған жиектері болуы керек толық екі жақты график немесе болуы керек панциклді: оның құрамында үшбұрыш ғана емес, сонымен қатар графиктің төбелерінің санына дейінгі барлық басқа ұзындықтағы циклдар болуы керек.[6]

Mantel теоремасының тағы бір күшейе түсуі әрбірінің шеттері екенін айтады -vertex графигі ең көп жағдайда қамтылуы мүмкін клиптер олар жиектер немесе үшбұрыштар. Қорытынды ретінде, график қиылысу нөмірі (оның барлық шеттерін жабу үшін қажетті минималды минимум саны) - ең көбі .[7]

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

  • Эрдис-тас теоремасы, Туран теоремасын тыйым салынған кликалардан тыйым салынған Туран графиктеріне дейін жалпылау

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

  1. ^ а б Туран, Пол (1941), «Графтар теориясының экстремалды мәселесі туралы», Matematikai және Fizikai Lapok (венгр тілінде), 48: 436–452
  2. ^ а б Мантел, В. (1907), «28-мәселе (Х. Гувентак, В. Мантель, Дж. Тейшейра де Маттестің, Ф. Шухтың және В. А. Витхофтың шешімі)», Wiskundige Opgaven, 10: 60–61
  3. ^ а б в г. e f ж Айгер, Мартин; Зиглер, Гюнтер М. (2018), «41-тарау: Туранның графикалық теоремасы», КІТАПТАН алынған дәлелдер (6-шы басылым), Спрингер-Верлаг, 285–289 б., дои:10.1007/978-3-662-57265-8_41, ISBN  978-3-662-57265-8
  4. ^ Эрдис, Пал (1970), «Turán Pál gráf tételéről» [Туран графикалық теоремасында] (PDF), Математикай Лапок (венгр тілінде), 21: 249–251, МЫРЗА  0307975
  5. ^ Моцкин, Т.; Штраус, Е. Г. (1965), «Графиктер үшін Максима және Туран теоремасының жаңа дәлелі», Канадалық математика журналы, 17: 533–540, дои:10.4153 / CJM-1965-053-6, МЫРЗА  0175813
  6. ^ Бонди, Дж. А. (1971), «I панциклдік графиктер», Комбинаторлық теория журналы, B сериясы, 11 (1): 80–84, дои:10.1016/0095-8956(71)90016-5
  7. ^ Эрдоус, Пауыл; Гудман, А.В.; Поса, Луис (1966), «Графикті белгіленген қиылыстар бойынша ұсыну» (PDF), Канадалық математика журналы, 18 (1): 106–112, дои:10.4153 / CJM-1966-014-3, МЫРЗА  0186575