Agent-Skills.md

Agent Skills: Complexity Class Oracle

Classify problems into complexity classes with supporting evidence and proof strategies

complexity-theoryID: a5c-ai/babysitter/complexity-class-oracle

Repository

a5c-ai/babysitter
a5c-aiLicense: MIT
244

Install this agent skill to your local

pnpm dlx add-skill https://github.com/a5c-ai/babysitter/tree/HEAD/plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/complexity-class-oracle

Skill Files

Browse the full folder contents for complexity-class-oracle.

Download Skill

Loading file tree…

plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/complexity-class-oracle/SKILL.md

Skill Metadata

Name
complexity-class-oracle
Description
Classify problems into complexity classes with supporting evidence and proof strategies

Complexity Class Oracle

Purpose

Provides expert guidance on classifying computational problems into complexity classes and understanding class relationships.

Capabilities

  • Determine membership in P, NP, co-NP, PSPACE, EXPTIME
  • Identify complete problems for each class
  • Query known complexity results database
  • Suggest proof strategies for classification
  • Generate complexity landscape diagrams
  • Explain class inclusions and separations

Usage Guidelines

  1. Problem Characterization: Formalize the computational problem
  2. Class Investigation: Check membership in relevant classes
  3. Evidence Collection: Gather evidence for classification
  4. Strategy Selection: Choose proof strategy for membership
  5. Documentation: Generate classification report

Tools/Libraries

  • Complexity Zoo database
  • Diagram generation
  • LaTeX documentation