Widerlegte die Quantum-Hedetniemi-Vermutung durch die Konstruktion expliziter endlicher Graphen, wobei χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, mit formal verifizierten Gegenbeispielen in Lean 4.
@informaq-de.bsky.social@informaq-de.bsky.social
@informaq-de.bsky.socialWiderlegte die Quantum-Hedetniemi-Vermutung durch die Konstruktion expliziter endlicher Graphen, wobei χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, mit formal verifizierten Gegenbeispielen in Lean 4.