feat: add KthLargestMTuple model (#405)#805

Merged

isPANN merged 9 commits intomainfrom

405-kth-largest-m-tuple

Mar 29, 2026

Commits on Mar 28, 2026

Commits on Mar 29, 2026

Merge branch 'main' into 405-kth-largest-m-tuple

isPANN
and
claude
committed
Fix formatting after merge conflict resolution

isPANN
and
claude
committed
Fix paper: correct PP-completeness claim and broken solve command

isPANN
and
claude
committed
Remove unused K field from KthLargestMTuple

isPANN
and
claude
committed
Simplify paper paragraph: remove K references from counting model

isPANN
and
claude
committed
Revert K removal: keep K field for G&J decision formulation

isPANN
and
claude
committed
Merge branch 'main' into 405-kth-largest-m-tuple

isPANN
and
claude
committed