Questions tagged «weighted-graphs»


3
图的最小生成树何时不唯一
给定一个加权的无向图G:哪些条件必须成立,以便G 有多个最小生成树? 我知道,当所有权重都不同时,MST是唯一的,但是您不能撤销此声明。如果图中有多个权重相同的多重边,则可能有多个MST,但也可能只有一个: 在此示例中,左侧的图具有唯一的MST,而右侧的图则没有。 我最能找到MST非唯一性的条件是: 考虑图G中的所有无弦循环(不包含其他循环的循环)。如果在这些循环中的任何一个中最大加权边存在多次,则该图将没有唯一的最小生成树。 我的想法是像这样一个周期 使用n个顶点,您可以精确地忽略其中一条边,但仍将所有顶点连接在一起。因此,您有多种选择来删除具有最大权重的边缘以获得MST,因此MST不是唯一的。 但是,然后我想到了这个示例: 您可以看到此图的确有一个符合我的条件的循环:(E,F,G,H),但据我所知,最小生成树是唯一的: 因此,看来我的情况不正确(或者可能不完全正确)。我非常感谢为最小生成树的非唯一性找到必要和充分条件的任何帮助。

2
加权图的最小生成树在给定的权重下具有相同数量的边吗?
如果加权图具有两个不同的最小生成树和,那么这是真的,对于任何边缘在,在边缘的数量用相同的重量(包括本身)与的边数相同,权重与?相同。如果这个说法是正确的,那我们怎么证明呢?T 1 = (V 1,E 1)T 2 = (V 2,E 2)e E 1 E 1 e e E 2 eGGGŤ1个= (V1个,E1个)T1=(V1,E1)T_1 = (V_1, E_1)Ť2= (V2,E2)T2=(V2,E2)T_2 = (V_2, E_2)ËeeË1个E1E_1Ë1个E1E_1ËeeËeeË2E2E_2Ëee

2
嵌入欧氏平面(2D)的图形的最短非相交路径
您将使用哪种算法来找到图的最短路径,该最短路径被嵌入到欧几里德平面中,因此该路径不应包含任何自相交(在嵌入中)? 例如,在下面的图表中,你想从去。通常,像Dijkstra算法那样的算法会产生如下序列:(0 ,0 )→ (- 3 ,2 )(0,0)→(-3,2)(0,0) \rightarrow (-3,2) [(0 ,0 )→3(0 ,3 )→2√(1 ,2 )→4(- 3 ,2 )] = 7 + 2–√。[(0,0)→3(0,3)→2(1个,2)→4(-3,2)]=7+2。\left[ (0,0) \stackrel {3}{\rightarrow} (0,3) \stackrel{\sqrt{2}}{\rightarrow} (1,2) \stackrel{4}{\rightarrow} (-3,2) \right] = 7+\sqrt{2}. 完整图: 最短的路径: 最短的非相交路径: 但是,此路径在欧几里得平面上相交,因此我需要一种算法,该算法可以为我提供最短的非相交序列,在这种情况下: [(0 ,0 )→3(0 ,3 )→3(0 ,6 )→5(- 3 ,2 )] = …

1
推断优化类型
在工作中,我的任务是推断一些有关动态语言的类型信息。我将语句序列重写为嵌套let表达式,如下所示: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then { T; Z } else { F; Z } 由于我从一般类型信息开始,并试图推断出更具体的类型,因此自然的选择是精简类型。例如,条件运算符返回其真假分支类型的并集。在简单的情况下,它效果很好。 但是,在尝试推断以下类型时遇到了障碍: function …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 


2
什么是马尔可夫链?
我目前正在阅读一些有关马尔可夫链集总的文章,但我看不到马尔可夫链与普通有向加权图之间的区别。 例如,在文章“ 马尔可夫链中的最佳状态空间集总”中,它们提供了CTMC(连续时间马尔可夫链)的以下定义: 我们通过转换率矩阵考虑状态空间为的有限CTMC, 其转换速率矩阵为 。(S,Q)(S,Q)(\mathcal{S}, Q)S={x1,x2,…,xn}S={x1,x2,…,xn}\mathcal{S} = \{x_1, x_2, \ldots, x_n\}Q:S×S→R+Q:S×S→R+Q: \mathcal{S} \times \mathcal{S} \to \mathbb{R}^+ 他们根本没有提到马尔可夫特性,实际上,如果边缘的权重代表概率,那么我相信马尔可夫特性微不足道,因为该概率仅取决于链的当前状态,而不取决于导致链的路径。对它。 在关于集总性的关系属性的另一篇文章中,马尔可夫链的定义类似: 马尔可夫链将表示为三元组 ,其中是的有限状态集,是表示从一种状态到另一种状态的概率的转移概率矩阵,而是代表系统在特定状态下启动的可能性的初始概率分布。MMM(S,P,π)(S,P,π)(S, P, \pi)SSSMMMPPPππ\pi 同样,没有提及过去或未来或独立。 第三篇论文《简单O(m logn)时间马尔可夫链集总法》中,他们不仅从未声明边缘的权重是概率,而且甚至说: 在许多应用中,值是非负的。但是,我们不做这个假设,因为在某些应用中故意将选择为,这通常使其为负数。W(s,s′)W(s,s′)W(s, s')W(s,s)W(s,s)W(s, s)−W(s,S∖{s})−W(s,S∖{s})-W(s, S \setminus \{s\}) 而且,有人指出,集总应该是减少状态数量同时保持Markov属性的一种方法(通过将“等效”状态聚合为更大的状态)。但是,对我来说,这似乎只是在简单地对概率求和,甚至不保证从聚合状态到聚合状态的跃迁的概率在范围内。那么,集总实际上保留了什么?[0,1][0,1][0,1] 因此,我看到两种可能性: 我不明白什么是马尔可夫链,或者 在这些论文中使用术语马尔可夫链是伪造的 有人可以澄清情况吗? 看起来确实有不同的社区在使用该术语,它们的含义千差万别。从我认为的这3篇文章看来,马尔可夫特性显得微不足道或毫无用处,而在另一类论文中,它看起来却很基础。

1
加权有向无环图中可能具有负权重的最小st割
我遇到了以下问题: 给定一个带实值边权重且有两个顶点s和t的有向无环图,请计算最小切角。 对于一般图形,这是NP难的,因为可以通过简单地反转边权重来微不足道地减小最大割(如果我错了,请纠正我)。 DAG的情况如何?最小切割(或最大切割)可以在多项式时间内求解吗?它是NP难的吗?如果是,是否有任何已知的近似算法? 我试图在此方面找到工作,但未能(也许我只是在搜索中使用了错误的关键字),所以我希望有人可能对此有所了解(或找到)。
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.