polynomial-time reduction

  NODES
Note 1