https://123dok.net/document/y9616mjw-branch-cut-algorithm-maximum-balanced-subgraph-signed-graph.html