  This is a technical report, containing all the theorem proofs and additional
evaluations in paper "Network Capability in Localizing Node Failures via
End-to-end Path Measurements" by Liang Ma, Ting He, Ananthram Swami, Don
Towsley, and Kin K. Leung, published in IEEE/ACM Transactions on Networking,
vol. 25, no. 1, pp. 434-450, 2017.
