Fix #109: Add LCS to MaximumIndependentSet reduction#173

Closed

zazabap wants to merge 7 commits intoCodingThrust:mainfrom

zazabap:issue-109-lcs-to-maximumindependentset

Commits on Mar 4, 2026

Add plan for #109: LCS to MaximumIndependentSet

zazabap
and
claude
committed
feat: add LongestCommonSubsequence model

zazabap
and
claude
committed
fix: tighten LCS complexity string and three-string test assertion

zazabap
and
claude
committed
feat: add LCS to MaximumIndependentSet reduction rule

zazabap
and
claude
committed
feat: add LCS to MaxIS example program

zazabap
and
claude
committed
chore: regenerate exports and fix formatting after LCS->MaxIS rule

zazabap
and
claude
committed
docs: add LCS and LCS→MaxIS reduction in paper

zazabap
and
claude
committed