bookmark_borderbookmark
Stay organized with collections
Save and categorize content based on your preferences.
Note: This documentation is automatically generated.
This constraint ensures that the graph is a covering of all nodes by
circuits and loops, such that all circuits contain exactly one distinguished
node. Those distinguished nodes are meant to be depots.
This constraint does not need ExactlyOnePerRowAndPerColumn() to be correct,
but it does not propagate degree deductions (only fails if a node has more
than one outgoing arc or more than one incoming arc), so that adding
ExactlyOnePerRowAndPerColumn() should work better.
TODO(user): Make distinguished nodes an array of Boolean variables,
so this can be used for facility location problems.
[[["Easy to understand","easyToUnderstand","thumb-up"],["Solved my problem","solvedMyProblem","thumb-up"],["Other","otherUp","thumb-up"]],[["Missing the information I need","missingTheInformationINeed","thumb-down"],["Too complicated / too many steps","tooComplicatedTooManySteps","thumb-down"],["Out of date","outOfDate","thumb-down"],["Samples / code issue","samplesCodeIssue","thumb-down"],["Other","otherDown","thumb-down"]],["Last updated 2024-08-06 UTC."],[[["The `CircuitCoveringPropagator` class ensures that a graph is covered by circuits and loops, with each circuit containing exactly one designated depot node."],["This constraint does not require `ExactlyOnePerRowAndPerColumn()` for correctness, but it benefits from its inclusion for better performance because it does not propagate degree deductions, and will only fail if a node has more than one outgoing or incoming arc."],["The class includes methods like `IncrementalPropagate`, `Propagate`, `RegisterWith`, and `SetLevel` to manage and control the circuit propagation process."],["The `CircuitCoveringPropagator` class constructor takes a graph, a vector of distinguished nodes, and a model as arguments, as well as being automatically generated."]]],["The `CircuitCoveringPropagator` class ensures a graph covers all nodes with circuits/loops, each containing a single distinguished node (depot). It doesn't require `ExactlyOnePerRowAndPerColumn()` but works better with it. The class methods include: `CircuitCoveringPropagator` (constructor), `IncrementalPropagate`, `Propagate`, `RegisterWith`, and `SetLevel`. It can be used for facility location problems. Key actions are to ensure graph coverage and the propagation of the constraint.\n"]]
