It is not the case that A coNP certificate must be verifiable in polynomial time in the length of the original input ⟨n,m⟩, not in the length of auxiliary components of the certificate.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.