Exact Algorithms for L1-TV Regularization of Real-Valued or Circle-Valued Signals