Correctness (I) Suppose (G,X,k) is transformed into (G',X,k) G' is an induced subgraph of G – G-S is -free implies that G'-S is -free Reverse direction: any solution S in G' is a solution in G – Proof… 14
{}