the switch may have several positions to select different connections of the motor its nuclear propulsion provided independence from surface support ships and essentially unlimited endurance the edmonds gallai decomposition theorem describes finite graphs from the point of view of matchings