Skip to main content

map_unit_weights

problemreductions::rules::unitdiskmapping::triangular::mapping

Function map_unit_weights 

Source 
pub fn map_unit_weights(
    result: &MappingResult,
) -> Result<Vec<i64>, ReductionError>
Expand description

Encode unit source weights exactly in the integer target weights.

Multiplying the base gadget weights by n + 1 preserves the mapping’s primary objective. Adding one at each traced source center then maximizes the source independent-set size among those primary optima.