Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Upper and lower bounds for \(F_v(4,4;5)\) - MaRDI portal

Upper and lower bounds for \(F_v(4,4;5)\) (Q612907)

From MaRDI portal





scientific article; zbMATH DE number 5827380
Language Label Description Also known as
English
Upper and lower bounds for \(F_v(4,4;5)\)
scientific article; zbMATH DE number 5827380

    Statements

    Upper and lower bounds for \(F_v(4,4;5)\) (English)
    0 references
    0 references
    0 references
    0 references
    16 December 2010
    0 references
    Summary: We give a computer assisted proof showing that the unique \((5,3)\)-Ramsey graph is the unique \(K_5\)-free graph of order 13 giving \(_Fv(3,4;5)\leq 13\), then we prove that \(17\leq F_v(2,2,2,4;5)\leq F_v(4,4;5)\leq 23\). This improves the previous best bounds \(16\leq F_v(4,4;5)\leq 25\) provided by Nenov and Kolev.
    0 references

    Identifiers