Stay organized with collections
Save and categorize content based on your preferences.
C++ Reference: class CircuitCoveringPropagator
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 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"]]