Reduction Builder Purpose Provides expert guidance on constructing polynomial-time reductions for NP-completeness proofs and problem classification. Capabilities - Gadget library for common reductions (3-SAT, Vertex Cover, etc.) - Reduction verification (correctness in both directions) - Polynomial-time verification - Visualization of gadget constructions - Generate reduction documentation - Chain multiple reductions Usage Guidelines 1. Problem Analysis : Understand source and target problem structures 2. Gadget Selection : Choose or design appropriate gadgets 3. Reduction Construction : Buil…