Questions tagged «max-flow-min-cut»

是否可以通过算法测试可计算数是有理数还是整数？换句话说，将有可能为图书馆实现可计算数提供的功能isInteger还是isRational？ 我猜测这是不可能的，并且这在某种程度上与以下事实有关：无法测试两个数字是否相等，但是我看不出如何证明这一点。 编辑：可计算的数字xxx由函数给出，该函数fx(ϵ)fx(ϵ)f_x(\epsilon)可以返回精度为ϵ的的有理近似值：| x − f x（ϵ ）| ≤ ε，对于任何ε > 0。鉴于这样的功能，就是可以测试，如果X ∈ Q或X ∈ ž？xxxϵϵ\epsilon|x−fx(ϵ)|≤ϵ|x−fx(ϵ)|≤ϵ|x - f_x(\epsilon)| \leq \epsilonϵ>0ϵ>0\epsilon > 0x∈Qx∈Qx \in \mathrm{Q}x∈Zx∈Zx \in \mathrm{Z}

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

最大流量问题的一个经典扩展是“随时间的最大流量”问题：您将得到一个有向图，将其两个节点分别作为源和汇，其中每个弧具有两个参数，每容量-单位时间和延迟。同时，也给出一个时间跨度TŤT。目的是计算随时间变化的流量，该流量在时间从源到接收器获得最大数量的物料。可以通过多项式时间中的最小经典最大流量的巧妙经典归约来计算最大值的流量。TŤT 我对此模型的扩展感兴趣，该模型的边缘具有第三个“寿命”参数。如果电弧的寿命为，并且是最早的正向电弧通过的时间，那么我们在时间处销毁电弧。您可以将其视为“超级马里奥兄弟”中的平台，踩到平台后不久就会掉落或被破坏，或者可以将它们视为为边缘供电所需的电池，在开启后无法关闭。（编辑：）决策问题是，当还给定流量值下限，是否可以调度同时满足时间范围上限和流量值下限的流量。ℓℓ\elltŤtt+ℓŤ+ℓt+\ellB乙B 到目前为止，我可以看到此问题对NP来说非常困难（通过3分区）。但是，我实际上并不知道它是否包含在NP中：是否可以保证有一种紧凑表达解决方案的方法？在经典版本中，使用某些特殊类型的最优流来规避此问题。 注意：由于您可能允许或不允许在节点上存储流量，因此上述模型的指定有点不足，并且您可能具有离散时间模型或连续模型。解决这些模型中的任何一个问题都是非常好的。

15 ds.algorithms  graph-algorithms  network-modeling  max-flow-min-cut 

我们知道，可以使用Karger的mincut算法（以非建设性的方式）证明图可以具有的最大mincut数量为。(n2)(n2)n \choose 2 我想知道我们是否可以通过从一组mincut到另一组基数n \ choose 2给出双射的（而不是单射的）证明来证明这一身份(n2)(n2)n \choose 2。没有具体原因，这只是出于好奇。我尝试自己做，但到目前为止还没有成功。我不想让任何人浪费时间在上面，因此，如果问题似乎毫无意义，我将要求主持人采取相应行动。 最佳-阿卡什

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

关于流网络中第二小的 -割，是否知道？或更笼统地说，关于这个问题：ŤsssŤtt 输入：网络和数字，均为二进制。 输出：第个最小的 -切口。ķ ķ 小号吨ñNNķkkķkksssttt 第个最小的 -割是任何 -割，因此恰好有 -割的容量s t （S ，T ）s t k − 1 s tkkksssttt(S,T)(S,T)(S,T)ssstttk−1k−1k-1 sssttt 成对不同，并且 确实小于的容量。(S,T)(S,T)(S,T) 我想知道如何计算以及是否可以有效地完成的情况。k=1k=1k=1

13 cc.complexity-theory  optimization  max-flow-min-cut  flow-problems 

考虑所有边具有单位容量的图。可以找到多项式时间的最小值。 假设我可以将任意边的容量增加到无穷大（等同于合并边两边的节点）。选择最佳边集（其容量将增加到无穷大）以最小切割的最佳方法是什么？kkkkkk

9 ds.algorithms  graph-theory  co.combinatorics  max-flow-min-cut