Agent skill

recurrence-solver

Solve recurrence relations using multiple methods including Master Theorem and generating functions

Stars 514
Forks 31

Install this agent skill to your Project

npx add-skill https://github.com/a5c-ai/babysitter/tree/main/library/specializations/domains/science/computer-science/skills/recurrence-solver

Metadata

Additional technical details for this skill

phase
6
domain
science
category
algorithm-analysis
specialization
computer-science

SKILL.md

Recurrence Solver

Purpose

Provides expert guidance on solving recurrence relations arising from divide-and-conquer and recursive algorithm analysis.

Capabilities

  • Apply Master Theorem (all three cases)
  • Substitution method with guess verification
  • Recursion tree analysis with visualization
  • Generating functions for complex recurrences
  • Akra-Bazzi method for generalized recurrences
  • Handle non-standard recurrence forms

Usage Guidelines

  1. Recognition: Identify recurrence structure and applicable methods
  2. Master Theorem: Check and apply Master Theorem cases
  3. Substitution: Formulate and verify guess for complex cases
  4. Tree Analysis: Build recursion tree for intuition
  5. Verification: Validate solutions with base cases

Tools/Libraries

  • SymPy
  • Visualization libraries
  • Symbolic algebra systems

Expand your agent's capabilities with these related and highly-rated skills.

a5c-ai/babysitter

gsd-tools

Central utility skill for GSD operations. Provides config parsing, slug generation, timestamps, path operations, and orchestrates calls to other specialized skills. Acts as the unified entry point that the original gsd-tools.cjs provided via its lib/ modules (commands, config, core, init).

514 31
Explore
a5c-ai/babysitter

model-profile-resolution

Resolve model profile (quality/balanced/budget) at orchestration start and map agents to specific models. Enables cost/quality tradeoffs by selecting appropriate AI models for each agent role.

514 31
Explore
a5c-ai/babysitter

verification-suite

Plan structure validation, phase completeness checks, reference integrity verification, and artifact existence confirmation. Provides the structured verification layer ensuring GSD artifacts are well-formed and complete.

514 31
Explore
a5c-ai/babysitter

state-management

STATE.md reading, writing, and field-level updates. Provides cross-session state persistence via .planning/STATE.md with structured fields for current task, completed phases, blockers, decisions, and quick tasks.

514 31
Explore
a5c-ai/babysitter

git-integration

Git commit patterns, formats, and conventions for GSD methodology. Provides atomic commits per task, structured commit messages, planning file commits, branch management, and milestone tag operations.

514 31
Explore
a5c-ai/babysitter

frontmatter-parsing

YAML frontmatter parsing and manipulation for .planning/ documents. Provides read, write, update, query, and validation operations on frontmatter blocks in GSD markdown artifacts.

514 31
Explore

Didn't find tool you were looking for?

Be as detailed as possible for better results