feat: add problem_size() to Problem trait with validation#76

Merged

GiggleLiu merged 15 commits intomainfrom

feat/problem-size-trait

Feb 16, 2026

Commits on Feb 16, 2026

feat: add problem_size() to Problem trait (compile-breaking)

GiggleLiu
and
claude
committed
feat: implement problem_size() for all graph problems

GiggleLiu
and
claude
committed
feat: implement problem_size() for SAT problems

GiggleLiu
and
claude
committed
feat: implement problem_size() for set problems

GiggleLiu
and
claude
committed
feat: implement problem_size() for optimization problems

GiggleLiu
and
claude
committed
feat: implement problem_size() for specialized problems

GiggleLiu
and
claude
committed
feat: validate overhead variable names against problem_size in find_cheapest_path

GiggleLiu
and
claude
committed
test: add problem_size() unit tests for all 21 problem types

GiggleLiu
and
claude
committed
test: add find_cheapest_path integration test with problem_size

GiggleLiu
and
claude
committed
fix: update test ProblemSize variable names to match problem_size() components

GiggleLiu
and
claude
committed
chore: format

GiggleLiu
and
claude
committed
refactor: split ProblemSize into type-level names + instance-level values

GiggleLiu
and
claude
committed
refactor: extract validate_overhead_variables and use ILP for factoring test

GiggleLiu
and
claude
committed
fix: assert_eq in ProblemSize + correct SAT→KColoring edge overhead

GiggleLiu
and
claude
committed
docs: add reduction overhead section to getting-started

GiggleLiu
and
claude
committed