Amortized Analysis Assistant

---
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

1. **Method Selection**: Choose appropriate amortized analysis method
2. **Potential Design**: Design potential function for potential method
3. **Credit Tracking**: Track credits for accounting method
4. **Bound Derivation**: Derive amortized cost bounds
5. **Documentation**: Generate clear analysis documentation

## Tools/Libraries

- Symbolic computation
- LaTeX documentation
- Proof assistants