added \abs{} macro
First definitions of ComponentOptimalDecloning.
graph interpretation of ComponentOptimalDecloning