feat: add 11 Tier 1a + 1b medium-confidence reduction rules (#770)#804

Merged

isPANN merged 19 commits intomainfrom

feat/770-tier1a-tier1b-medium-batch

Mar 30, 2026

Commits on Mar 28, 2026

feat: add PaintShop -> QUBO reduction (#649)

zazabap
and
claude
committed
feat: add MinimumVertexCover -> MinimumHittingSet reduction (#200)

zazabap
and
claude
committed
feat: add PartitionIntoPathsOfLength2 -> BoundedComponentSpanningForest reduction (#241)

zazabap
and
claude
committed
feat: add HamiltonianCircuit -> LongestCircuit reduction (#358)

zazabap
and
claude
committed
feat: add Partition -> SubsetSum reduction (#387)

zazabap
and
claude
committed
feat: add RootedTreeArrangement -> RootedTreeStorageAssignment reduction (#424)

zazabap
and
claude
committed
feat: add SubsetSum -> CapacityAssignment reduction (#426)

zazabap
and
claude
committed
feat: add LongestCommonSubsequence -> MaximumIndependentSet reduction (#109)

zazabap
and
claude
committed
feat: add MinimumVertexCover -> EnsembleComputation reduction (#204)

zazabap
and
claude
committed
feat: add KClique -> BalancedCompleteBipartiteSubgraph reduction (#231)

zazabap
and
claude
committed
feat: add KColoring(K3) -> TwoDimensionalConsecutiveSets reduction (#437)

zazabap
and
claude
committed
fix: correct LCS->MIS example_db target_config
zazabap
committed

Commits on Mar 29, 2026