Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings

Releases: CodingThrust/problem-reductions

v0.6.0

11 Jun 09:44
@github-actions github-actions

Choose a tag to compare

What's Changed

  • Fix variant hints in path errors and IsomorphicSpanningTree complexity by @GiggleLiu in #1042
  • Beautify paper: cover page, indices, CLI args, page numbering by @isPANN in #1045
  • fix paper completeness check false warning by @isPANN in #1049
  • fix: remove 8 unsound reductions, fix 8 buggy rules (#1006) by @isPANN in #1052
  • Add variant-level aliases; introduce 2SAT and 3SAT by @GiggleLiu in #1054
  • Paper review sessions 1-6: entries 1-60 by @isPANN in #1051
  • Redefine BMF as exact factorization; fix BicliqueCover semantics; add BMF → BicliqueCover by @GiggleLiu in #1056
  • Add MaximumClique<SimpleGraph, One> variant with weight cast and reductions by @GiggleLiu in #1055
  • Switch broken CBM example in README to MIS by @GiggleLiu in #1064
  • Align CBM serialized form with declared schema by @GiggleLiu in #1065
  • Make MIS → KingsSubgraph reduction deterministic (#1061) by @isPANN in #1063
  • Fix #1059: add pred extract for lifting external target-space solutions by @isPANN in #1060
  • Batch-add 13 Backlog Models + 26 Backlog Rules by @isPANN in #1067

Full Changelog: v0.5.0...v0.6.0

Contributors

GiggleLiu and isPANN
Assets 2
Loading

v0.5.0

11 Apr 13:42
@github-actions github-actions

Choose a tag to compare

What's Changed

Read more

Contributors

GiggleLiu, isPANN, and zazabap
Loading

v0.4.0

18 Mar 13:32
@github-actions github-actions

Choose a tag to compare

What's Changed

New Contributors

Read more

Contributors

GiggleLiu, hmyuuu, and 2 other contributors
Loading

v0.3.0

20 Feb 07:47
@github-actions github-actions

Choose a tag to compare

What's Changed

  • feat: add pred CLI tool for problem reductions by @GiggleLiu in #82
  • feat: add QUBO→ILP and CircuitSAT→ILP reductions by @GiggleLiu in #85
  • feat(cli): CLI UX improvements by @GiggleLiu in #84
  • fix: close completeness gaps from review-implementation audit (#88) by @GiggleLiu in #89

Full Changelog: v0.2.0...v0.3.0

Contributors

GiggleLiu
Loading

v0.2.0

16 Feb 17:58
@github-actions github-actions

Choose a tag to compare

What's Changed

  • Design: trait system refactoring for contributor ergonomics by @GiggleLiu in #50
  • perf: optimize pathdecomposition and add ground truth tests by @GiggleLiu in #54
  • Fix #47: Add HamiltonianCycle model by @GiggleLiu in #57
  • Remove weight type parameter from CircuitSAT and KColoring by @GiggleLiu in #56
  • Fix #52: TravelingSalesman to ILP reduction by @GiggleLiu in #60
  • Simplify variant system and clean up type hierarchy by @GiggleLiu in #66
  • Add parity tests against Julia ProblemReductions.jl by @GiggleLiu in #65
  • feat: variant-aware reduction paths with resolve_path by @GiggleLiu in #68
  • Refactor: address KISS and DRY violations (#70) by @GiggleLiu in #71
  • refactor: variant-level reduction graph with path-based API by @GiggleLiu in #72
  • Fix #73: Refactor graph problem constructors to take graph as input by @GiggleLiu in #74
  • Close Julia parity test gaps: BicliqueCover, BMF, SAT→CircuitSAT, reduction paths by @GiggleLiu in #75
  • feat: add problem_size() to Problem trait with validation by @GiggleLiu in #76
  • Reduce exported functions (#77) by @GiggleLiu in #79
  • Rewrite getting-started with Factoring→SpinGlass and path overhead API by @GiggleLiu in #78
  • Reduce exported functions (closes #77) by @GiggleLiu in #80

Full Changelog: v0.1.1...v0.2.0

Contributors

GiggleLiu
Loading

v0.1.1

11 Feb 04:44
@github-actions github-actions

Choose a tag to compare

Full Changelog: v0.1.0...v0.1.1

Loading

v0.1.0

11 Feb 04:29
@github-actions github-actions

Choose a tag to compare

What's Changed

  • feat: Feature parity with ProblemReductions.jl by @GiggleLiu in #4
  • feat: Implement remaining reduction rules by @GiggleLiu in #7
  • docs: Add reduction classification and detailed survey by @GiggleLiu in #9
  • feat: Implement set-theoretic reduction path finding by @GiggleLiu in #12
  • feat: Implement Factoring → ILP reduction (issue #21) by @GiggleLiu in #22
  • feat: Implement integer programming solver for Coloring problem by @GiggleLiu in #20
  • feat: Add grid graph mapping for unit disk reductions by @GiggleLiu in #13
  • feat: Add problem variants, documentation improvements, and reduction macro by @GiggleLiu in #25
  • Restructure tests: split test and source code by @isPANN in #27
  • Implement 6 problem-to-QUBO reductions (Issue #18) by @GiggleLiu in #29
  • docs: polish reductions.typ with theorem labels and cleanup by @GiggleLiu in #31
  • JSON schema export & interactive reduction diagram (#33, #34) by @GiggleLiu in #36
  • docs: replace Rust code with JSON schema tables in paper by @GiggleLiu in #38
  • fix: use directed edges instead of bidirectional in reduction graph by @GiggleLiu in #42
  • docs: improve example instances implementation plan by @GiggleLiu in #41

New Contributors

Full Changelog: https://github.com/CodingThrust/problem-reductions/commits/v0.1.0

Contributors

GiggleLiu and isPANN
Loading

AltStyle によって変換されたページ (->オリジナル) /