具有不合理权重的最大流算法的反例？
众所周知，如果某些权重不合理，则具有胖管试探法（两种用于最大流量的算法）的福特-福克森或埃德蒙兹-卡尔普不需要停止。实际上，它们甚至可以收敛于错误的价值！但是，我可以在文献中找到的所有示例[以下参考文献以及其中的参考文献]仅使用一个非理性值：共轭黄金比率ϕ′= （5–√− 1 ）/ 2ϕ′=（5-1个）/2\phi' = (\sqrt{5}-1)/2，以及其他为有理值或为的有理倍数的值 ϕ′ϕ′\phi'。我的主要问题是： 一般问题：其他非理性价值观会怎样？ 例如（（但不必觉得您必须回答所有这些问题-我会发现对任何一个问题或上述一般问题下的其他问题的回答都很有趣）： 给予任何 α ＆Element; [Rα∈[R\alpha \in \mathbb{R}，能否构造（甚至表明存在）这样的反例？ 更弱：是否有实例已知的是，使用一种非理性的值本质上的不同，从ϕ′ϕ′\phi'？也就是说，有一些αα\alpha 这不是...的有理倍数 ϕ′ϕ′\phi' （或更强烈地说，不在 Q（ϕ′）问（ϕ′）\mathbb{Q}(\phi')），因此有一些福特（Ford-Fulkerson）和/或埃德蒙兹·卡普（Edmonds-Karp）的反例， Q（α）问（α）\mathbb{Q}(\alpha)？ 另一方面，是否存在非理性 αα\alpha使得福特富尔克森（分别，埃德蒙斯-卡普）与正确的值暂停所有的图，其权重是从所有Q ∪{qα ：q∈ Q }问∪{qα：q∈问}\mathbb{Q} \cup \{q\alpha : q \in \mathbb{Q}\}？（或更强烈地说，来自Q（α）问（α）\mathbb{Q}(\alpha)？） 在所有情况下，我都想假设像真实RAM模型那样，以便在恒定时间内完成实数的精确算术和精确比较。 （已知还有其他一些最大流量算法可以在强多项式时间内运行，甚至具有任意实数，这也许就是为什么这种类型的问题可能没有得到进一步探讨的原因。 ，我对此仍然感到好奇。） 参考文献 Zwick TCS 1999给出了Ford-Fulkerson的最小反例 Queyranne或Queyranne Math给出了Edmonds-Karp的反例。歌剧 Res。1980年，尽管我不知道那是最小的。 这些都可以在Jeff Erickson的讲义中找到，第一个在23.5节中，第二个在第23课的练习14中。