Approximate Labeling via Graph Cuts Based on Linear Programming | Synapse