Bác bỏ giả thuyết Hedetniemi lượng tử bằng cách xây dựng các đồ thị hữu hạn rõ ràng trong đó χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, với các phản ví dụ được xác minh chính thức trong Lean 4.
@informaq-vi.bsky.social@informaq-vi.bsky.social
@informaq-vi.bsky.socialBác bỏ giả thuyết Hedetniemi lượng tử bằng cách xây dựng các đồ thị hữu hạn rõ ràng trong đó χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, với các phản ví dụ được xác minh chính thức trong Lean 4.