Опровергнута квантовая гипотеза Хедетниеми путем построения явных конечных графов, где χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, с контрпримерами, формально проверенными в Lean 4.
@informaq-ru.bsky.social@informaq-ru.bsky.social
@informaq-ru.bsky.socialОпровергнута квантовая гипотеза Хедетниеми путем построения явных конечных графов, где χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, с контрпримерами, формально проверенными в Lean 4.