我一直在努力寻求一种形式化并彻底证明以下内容的方法：
我们获得了城市的街道网络。证明如果我们可以通过创建最多p个blockins来删除该网络中的所有周期，那么我们可以通过反转最多p条街道的一种方式来删除城市网络中的所有周期。
封锁是指阻塞街道的一种方式。反转-（在双向道路上）是指其中一种方式已反转，然后两种方式都相同。逆转（在单向街道的情况下）意味着唯一的方法是逆转
现在，问题开始转化为具有随机有向图，这可能需要删除一些周期。 通过BLOCKING方法，可以保证如果最多阻塞p个节点，则将获得DAG。因此，简而言之，问题是要证明在结果和步骤（去除/反转的边数）上，阻塞是等效的。
对于测试两条街道的等效性，这是多余的：
用于阻止：
A ---> B，B <--- A
通过阻塞变为A ---> B / A <--- B，而另一个被阻塞
对于反转，它仍然变为A ---> B / B ----> A，其中一种反转方式
但是我应该怎么做才能证明它们在单向街道上是等效的？我曾尝试在有向图中对不同的周期进行测试，以查看恢复一个拱门是否可以创建更多的周期，而实际上它只是保持相同的数量或减少它们。但是我不知道如何正式证明这两个操作的等效性。
答案 0 :(得分：0)
这是数学（图论）问题。
证明的概述是将p块映射为p反转以获得相同的结果（删除所有循环）
双向道路上的阻塞和反转具有相同的效果（使街道为单向）。
主要是要证明一条路的反转不会留下一个循环，而该循环可以通过阻塞该路而消除。这可以通过假设反转将离开/创建一个被阻塞的循环来看出。该路段的方向与封锁同一条街所防止的路段方向相反。因此，我们有两个周期在一条街道上以相反的方向相遇。可以将这些循环（不包含街道）合并为一个不包含该街道的循环，因此该街道上的街区不会删除该循环。根本就需要封锁那条街。