A simple algorithm that proves half-integrality of bidirected network programming