name: amortized-analysis-assistant
description: Apply amortized analysis techniques including aggregate, accounting, and potential methods
allowed-tools:
- Bash
- Read
- Write
- Edit
- Glob
- Grep
metadata:
specialization: computer-science
domain: science
category: algorithm-analysis
phase: 6
graph:
domains: [domain:computer-science]
specializations: [specialization:theoretical-computer-science]
skillAreas: [skill-area:np-hard-heuristics, skill-area:mathematical-reasoning, skill-area:dynamic-programming]
workflows: [workflow:research-grant-lifecycle]
roles: [role:computational-scientist, role:research-engineer]
Amortized Analysis Assistant
Purpose
Provides expert guidance on amortized analysis of data structures and algorithms using multiple analysis techniques.
Capabilities
- Aggregate method calculations
- Accounting method with credit tracking
- Potential function design and verification
- Banker's method for persistent data structures
- Generate amortized bounds documentation
- Handle complex operation sequences
Usage Guidelines
- Method Selection: Choose appropriate amortized analysis method
- Potential Design: Design potential function for potential method
- Credit Tracking: Track credits for accounting method
- Bound Derivation: Derive amortized cost bounds
- Documentation: Generate clear analysis documentation
Tools/Libraries
- Symbolic computation
- LaTeX documentation
- Proof assistants