Library / Mathematical Modeling DPF
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 13:10:03 UTC

MMP-REPRESENT - Why does counting the records overcount the assignments?

  • Situation: A request can be left unassigned or assigned option 0 or 1. The data format uses a presence bit and an option bit.
  • Question: Does counting the records count the intended assignments?
  • First useful result or blocker: A representation with three possibilities per request, or weights that correct duplicate representations. When the presence bit is zero, either option bit denotes the same absent assignment.
  • Start with: MMP.10 - Construct and Revise a Mathematical Constraint Formulation, especially :5.2. Construct a valid representation, then determine whether its multiplicities preserve the requested count or sampling law.
  • Stop or return: Use a sufficient count or representation. Reopen the translation when requirements or the requested operation change; a representation adequate for finding an assignment can still distort counting.