הפריכו את שיער הקוונטי של Hedetniemi על ידי בנייה של גרפים סופיים מפורשים כאשר χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, כאשר הדוגמות הנגדיות אומתו באופן פורמלי ב-Lean 4.
@informaq-he.bsky.social@informaq-he.bsky.social
@informaq-he.bsky.socialהפריכו את שיער הקוונטי של Hedetniemi על ידי בנייה של גרפים סופיים מפורשים כאשר χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, כאשר הדוגמות הנגדיות אומתו באופן פורמלי ב-Lean 4.