approximation-ratio-calculator
Analyze and prove approximation ratios for optimization algorithms
a5c-ai
244
complexity-class-oracle
Classify problems into complexity classes with supporting evidence and proof strategies
a5c-ai
244
probabilistic-analysis-toolkit
Analyze randomized algorithms with probability theory tools and concentration inequalities
a5c-ai
244
reduction-builder
Construct and verify polynomial-time reductions between computational problems
a5c-ai
244
turing-machine-simulator
Simulate Turing machines for computability analysis and algorithm demonstration
a5c-ai
244