对任意有 $1000$ 个顶点且每个顶点度均为 $4$ 的简单图 $G$，求最小的 $n$ 使得一定可以从中去掉 $n$ 条边，使 $G$ 变为二分图

是个结论题，但不知道怎么分析/dk