Template:PTIME equals

From Groupprops

This problem is polynomial-time equivalent to the following basic problem: [[{{{1}}}]]