نقض حدسية Hedetniemi الكمومية من خلال بناء رسوم بيانية محدودة صريحة حيث χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}، مع التحقق الشكلي من الأمثلة المضادة في Lean 4.
@informaq-ar.bsky.social@informaq-ar.bsky.social
@informaq-ar.bsky.socialنقض حدسية Hedetniemi الكمومية من خلال بناء رسوم بيانية محدودة صريحة حيث χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}، مع التحقق الشكلي من الأمثلة المضادة في Lean 4.