Reputation: 11385
For a problem to qualify for the NP class :
What is the significance of the polynomial output length ?
PS : I think that polynomial output length is a necessary pre-condition for the output to be verifiable in polynomial time. (But then just saying that solutions can be verified in polynomial time will still be sufficient.)
Upvotes: 2
Views: 393
Reputation: 881
The polynomial length imposition is because you are modeling the machine as a universal turing machine.
In thi case, the output "tape" would have to be of polynomial length.
It is not because you are using a modern language and expecting polynomial length results.
Upvotes: 1