https://123dok.net/document/zx53m6go-activity-identification-linear-convergence-douglas-rachford-partial-smoothness.html