Verified:GitHub

role-algorithms:algorithm-design

Design algorithms with formal Big-O complexity analysis and correctness proofs.

14|3|Updated Feb 22, 2026

Search Tags:#complexity analysis #dynamic programming #algorithm design #correctness proofs #greedy algorithms #divide and conquer

Ready to run

npx skills add https://github.com/rnavarych/alpha-engineer --skill role-algorithms-algorithm-design

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: role-algorithms:algorithm-design
Source: https://github.com/rnavarych/alpha-engineer/tree/main/plugins/roles/role-algorithms/skills/algorithm-design
Command: npx skills add https://github.com/rnavarych/alpha-engineer --skill role-algorithms-algorithm-design

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill helps in designing efficient algorithms by providing formal analysis of their time and space complexity, proving their correctness, and selecting the most appropriate algorithmic paradigm for a given problem.

Core Features & Use Cases

Formal Analysis: Analyze algorithms using Big-O, Big-Theta, and Big-Omega notation, including amortized analysis.
Correctness Proofs: Prove algorithm correctness using techniques like loop invariants, induction, and reduction.
Paradigm Selection: Choose between greedy, divide-and-conquer, dynamic programming, and backtracking approaches.
Use Case: When faced with a complex problem like optimizing a delivery route, this Skill can help you analyze different algorithmic approaches (e.g., a greedy approach vs. dynamic programming) and formally prove which one yields the most efficient and correct solution.

Quick Start

Design an algorithm to find the shortest path in a weighted graph and provide its Big-O time complexity.

Frequently Asked Questions about role-algorithms:algorithm-design

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I choose between greedy algorithms and dynamic programming for a specific problem?▼

To prove algorithm correctness, you can use formal techniques like loop invariants, mathematical induction, and reduction. This Skill applies these methods to verify that your algorithm design produces correct results for complex computational problems.

What's the best way to analyze algorithm time complexity with recurrence relations?▼

Analyzing time complexity with recurrence relations involves applying Big-O, Big-Theta, and Big-Omega notation alongside amortized analysis. This Skill designs algorithms with formal analysis to address efficiency and trade-offs accurately.

When do I need amortized analysis for algorithm design?▼

Amortized analysis is needed when individual operations vary in cost but average out over a sequence. This Skill performs formal analysis using amortized methods alongside Big-O and Big-Theta notation to evaluate algorithm efficiency.

Does this approach to algorithm design work for divide and conquer optimization?▼

Yes, this approach works for divide and conquer optimization by selecting it as the optimal algorithmic paradigm. This Skill helps select between divide and conquer, greedy, and dynamic programming approaches to address complex computational trade-offs.