Reduction Builder
SkillDev toolsConstruct and verify polynomial-time reductions between computational problems
Instructions available. Your AI can read the instructions. Execution depends on the setup they require.
Account requirements not reviewed. Check the skill instructions before use; ahel provides instructions and does not run this skill.
Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.
Then ask your AI: use the Reduction Builder skill
What this skill tells your AI
The instructions your AI receives, as published by a5c-ai/babysitter in library/specializations/domains/science/computer-science/skills/reduction-builder/SKILL.md and read by ahel’s review.
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
- Problem Analysis: Understand source and target problem structures
- Gadget Selection: Choose or design appropriate gadgets
- Reduction Construction: Build the polynomial-time mapping
- Correctness Proof: Prove both directions of the reduction
- Time Analysis: Verify polynomial running time
Tools/Libraries
- Graph visualization
- LaTeX documentation
- Formal verification tools
Signals
- GitHub stars
- 2k
- Forks
- 112
- Last commit
- Sep 2026
Advanced
- Item type
- skill
- Key
reduction-builder- Source
- github.com/a5c-ai/babysitter