Pesquisadores provaram QMA=QMA1, demonstrando que sistemas de prova quântica de Merlin-Arthur podem alcançar completude perfeita sem sacrificar o poder computacional usando um conjunto universal de portas Hadamard, Toffoli e X.
@informaq-pt.bsky.social