4rcadia
Community@arcadi4 · Cleveland, OH
Student @cwru
Agent Skills by 4rcadia
Showing 30 vetted skills indexed across 1 GitHub repositories.
Arcadi4sicp
Create structured SICP study plans with Markdown-based Nerdy framework content.
Arcadi4tapl
Inform users that the TaPL skill is pending implementation and request repository stars.
Arcadi4csapp
Guide structured study of CSAPP topics on architecture, assembly, memory hierarchy, and linking.
Arcadi4greedy-algorithms
Certify greedy strategies with exchange argument proofs and optimal substructure.
Arcadi4approximation-algorithms
Prove approximation guarantees for NP-hard optimization problems with certificate-backed analyses.
Arcadi4probabilistic-analysis-and-randomized-algorithms
Analyze probabilistic aspects and randomness in CLRS-style algorithms.
Arcadi4elementary-data-structures
Define operation contracts and invariants for elementary data structures.
Arcadi4minimun-spanning-trees
Produce safe-edge certificates and constructive proofs for minimum spanning-tree problems.
Arcadi4amortized-algorithms
Analyze data-structure operation sequences using aggregate, accounting, and potential methods.
Arcadi4elementary-graph-algorithms
Solve graph-search and representation problems for directed and undirected graphs.
Arcadi4data-structures-for-disjoint-sets
Explain disjoint-set union-find operations and partition invariants with performance bounds.
Arcadi4matrix-operations
Solve CLRS-style matrix problems using LUP decomposition and triangular substitution.
Arcadi4string-matching
Guide exact string-matching algorithm selection with CLRS-style cost analysis.
Arcadi4dynamic-programming
Define states and reconstruct solutions for optimization problems using dynamic programming.
Arcadi4maximum-flow
Model flow networks and verify max-flow solutions with cut certificates.
Arcadi4np-completeness
Audit NP-hardness proofs and polynomial-time reductions for decision problems.
Arcadi4shortest-paths
Select and apply shortest-path algorithms for weighted graphs with negative edges.
Arcadi4parallel-algorithms
Analyze fork-join parallel algorithms for correctness bounds and performance characteristics.
Arcadi4polynomials-and-fft
Multiply polynomials via FFT with padding and root-of-unity handling.
Arcadi4machine-learning-algorithms
Formats machine-learning algorithm prompts with CLRS theorem and proof conventions.
Arcadi4divide-and-conquer
Analyze divide-and-conquer recurrences using Master theorem, Akra-Bazzi, recursion trees, or substitution.
Arcadi4linear-programming
Formulate, analyze, and certify linear programming models with duality proofs.
Arcadi4sorting-and-order-statistics
Select sorting and order-statistic primitives for ranks, medians, and top-k.
Arcadi4binary-search-trees
Analyze BST invariants and rotations to guide production container choices.