Grice

摘要： E 结论1*：\(\exists u\)，\(\forall v((u,v)\in E)\)，均满足$d_v>d_u$。则无解 结论1为无解的必要条件，下面通过构造证明其为充要条件 令$f(u)$为与$u$相邻的，$d_x$最小的任意一点 \(\forall u\)，除$(f(u),u)\(外的边均 阅读全文