Størrelsesproblem - diameter

Størrelse-diameter- problemet er problemet med at finde den størst mulige graf (i form af størrelsen af ​​dens toppunktsæt ) med en diameter , således at den største grad af ethvert toppunkt i grafen ikke overstiger [1] . Størrelsen af ​​grafen er afgrænset ovenfra af Moore-grænsen . For og kun Petersen -grafen , Hoffman-Singleton-grafen og muligvis grafen med diameter og grad når Moore-grænsen. Generelt er de største grafer med grad/diameter-værdier meget mindre end Moore-grænsen.

Vi studerer også problemet med at finde den størst mulige digraf , i stedet for graden af ​​grafen, i dette tilfælde bruges graden af ​​udfaldet [2] .

Formel

Lad være  det maksimalt mulige antal grafens hjørnepunkter med en grad, der ikke overstiger , og diameter , så hvor er Moore-grænsen :

Denne grænse nås i meget sjældne tilfælde, så undersøgelsen gik i retning af, hvor tæt grafer eksisterer på Moore-grænsen.

Mængden kaldes graffejlen (her  antallet af hjørner i grafen). En graf siges at have en lille defekt, hvis [3] . Der er en formodning om, at der for grader ikke er nogen -grafer med defekt 2. Man ved kun lidt om grafer med defekt større end 2 [4] .

For asymptotisk adfærd, bemærk at .

For parameteren blev det formodet, at for alle ; ved hvad og hvad .

MaxDDBS

Givet en forbundet værtsgraf[ klargør ] , en øvre grænse for graden og en øvre grænse for diameteren , søges den største undergraf i grafen med en maksimal grad, der ikke overstiger og en diameter, der ikke overstiger . Dette problem kaldes MaxDDBS, og det indeholder størrelse-diameter-problemet som et specialtilfælde (nemlig hvis vi tager en tilstrækkelig stor komplet graf som værtsgraf). Problemet er NP-hårdt .

Noter

  1. Molodtsov, 2004 , s. 109.
  2. Miller, 2010 , s. 341.
  3. Miller, 2010 , s. 337.
  4. Miller, 2010 , s. 338.

Litteratur