agentsclimarketplace
Sign in

Reduction builder

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/reduction-builder

Construct and verify polynomial-time reductions between computational problemsFrom its SKILL.md

Install
npx -y skills add a5c-ai/babysitter --skill reduction-builder

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

SKILL.md

1.5 KB, 165 tokens by cl100k_base, as published. Nobody here has run it

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: Build the polynomial-time mapping
  4. Correctness Proof: Prove both directions of the reduction
  5. Time Analysis: Verify polynomial running time

Tools/Libraries

  • Graph visualization
  • LaTeX documentation
  • Formal verification tools

What ships with it

Read from the repository

Just SKILL.md. No reference files, no scripts.

Keep looking

Skills are one crate of 326,059. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.