Skip to content

Add MaximumClique<SimpleGraph, One> variant with weight cast and reductions#1055

Open
GiggleLiu wants to merge 1 commit intomainfrom
bmf-biclique-cover
Open

Add MaximumClique<SimpleGraph, One> variant with weight cast and reductions#1055
GiggleLiu wants to merge 1 commit intomainfrom
bmf-biclique-cover

Conversation

@GiggleLiu
Copy link
Copy Markdown
Contributor

Summary

  • Register MaximumClique<SimpleGraph, One> variant so reduction paths from MIS<SimpleGraph, One> no longer require unnecessary weight promotion to i32 before reaching MaximumClique.
  • Add maximumclique_casts.rs covering the new One variant and ensure round-tripping from MIS to MaxClique works without weight promotion.
  • Consolidate three duplicate complement_edges implementations into graph_helpers::complement_edges (DRY).

Test plan

  • `make test` passes
  • `make clippy` reports no warnings
  • `pred path MaximumIndependentSet MaximumClique` resolves without forcing an `i32` detour for unit-weight inputs

…ctions

Register the One (unit weight) variant for MaximumClique so reduction paths
from MIS/SimpleGraph/One no longer require unnecessary weight promotion to
i32 before reaching MaxClique. Consolidate complement_edges into graph_helpers
to eliminate 3 duplicate copies (DRY).

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant