agentsclimarketplace
Sign in

Complexity class oracle

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/complexity-class-oracle

Classify problems into complexity classes with supporting evidence and proof strategiesFrom its SKILL.md

Install
npx -y skills add a5c-ai/babysitter --skill complexity-class-oracle

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

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

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.