This is a technical report, containing all the theorem proofs in paper "On Optimal Monitor Placement for Localizing Node Failures via Network Tomography" by Liang Ma, Ting He, Ananthram Swami, Don Towsley, and Kin K. Leung, published in IFIP WG 7.3 Performance, 2015.

翻译：这是一份技术报告,载有所有理论证据,载于梁马、廷海、阿南特拉姆斯瓦米、唐·托斯利和金K.梁在IFIP工作组第7.3工作组《2015年绩效》中发表的题为“通过网络Ximgraphing Ma, Ting He, Ananthram Swami, Don Towsley和Kin K. Leung关于通过网络Ximage 本地化节点失灵的最佳监测定位”的文件中。