An Analysis Of One Approximation Algorithm For Graph Linearization