Rough problem formulation created.
We justified the NP-completeness of the problem.
Completed problem formulation.
completed formulation