Kreivi Meinel

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 21. kesäkuuta 2022 tarkistetusta versiosta . vahvistus vaatii 1 muokkauksen .

Meinelin graafi  on graafi, jossa missä tahansa parittomassa syklissä, jonka pituus on viisi tai enemmän, on vähintään kaksi sointua, eli kaksi reunaa, jotka yhdistävät syklin ei-naapuripisteitä [1] . Sointuja voi olla ei-leikkaus (kuten kuvassa), tai ne voivat leikata.

Meinelin graafit on nimetty Henry Meinelin mukaan (tunnetaan myös Meinelin olettamuksesta ), joka osoitti vuonna 1976 olevansa täydellisiä graafisia [2] kauan ennen kuin vahvisti vahvan täydellisen graafisen oletuksen , joka kuvaa täydellisesti täydelliset graafit. Markosyan ja Karapetyan löysivät itsenäisesti saman tuloksen [3] .

Täydellisyys

Meinelin graafit ovat täydellisten graafien alaluokka. Mikä tahansa Meinelin graafin luotu aligraafi on toinen Meinelin graafi, ja missä tahansa Meinelin graafissa suurimman klikkin koko on yhtä suuri kuin pienin määrä värejä, jotka tarvitaan graafin värittämiseen . Siten Meinelin graafit täyttävät täydellisen graafin määritelmän, jonka mukaan klikkiluku on yhtä suuri kuin minkä tahansa generoidun osagraafin kromaattinen luku [1] [2] [3] .

Meinel-graafia kutsutaan myös erittäin vahvasti täydellisiksi graafeiksi, koska (kuten Meinel ehdotti ja Hlang todisti) ne voidaan kuvata ominaisuudella, joka yleistää ehdottoman täydellisten graafien ominaisuuden määritelmän - missä tahansa Meinelin graafin generoidussa aligraafissa mikä tahansa kärki kuuluu riippumattomaan joukkoon , joka leikkaa minkä tahansa maksimaalisen klikkin [1] [4] .

Aiheeseen liittyvät graafiluokat

Meinel-graafit sisältävät sointukaavioita , pariteettikaavioita ja niiden alaluokkia, intervallikaavioita , etäisyyden periytyviä graafisia , kaksiosaisia ​​graafisia ja reunaperfekteitä graafisia [1] .

Vaikka Meinelin graafit muodostavat hyvin yleisen graafien alaluokan, ne eivät sisällä kaikkia täydellisiä kaavioita. Esimerkiksi talo (viisikulmio, jossa on yksi sointu) on täydellinen, mutta se ei ole Meinelin graafi.

Algoritmit ja monimutkaisuus

Meinel-graafit voidaan tunnistaa polynomiajassa [5] , ja jotkin graafien optimointiongelmat, mukaan lukien graafin väritys , jotka ovat NP-kovia mielivaltaisille kaavioille, voidaan ratkaista polynomiajassa Meinelin graafisille [6] [7] .

Muistiinpanot

  1. 1 2 3 4 Meyniel-kaaviot Arkistoitu 28. heinäkuuta 2019 Wayback Machinessa , Information System on Graph Classes and their Inclusions, haettu 25.9.2016.
  2. 12 Meyniel , 1976 , s. 339-342.
  3. 1 2 Markosyan, Karapetyan, 1976 , s. 292-296.
  4. Hoàng, 1987 , s. 302–312.
  5. Burlet, Fonlupt, 1984 , s. 225–252.
  6. Hertz, 1990 , s. 231-240.
  7. Roussel, Rusu, 2001 , s. 107–123.

Kirjallisuus