It is not the case that Hartmanis and Hopcroft's framework for structural complexity treats class membership as a property of formal languages, not of mathematical problems per se, so asserting FACTORIZATION 'is in' NP ∩ coNP without specifying the encoding and decision variant commits a use-mention conflation.
?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.