Dykstra's algorithm