Theoretical Computer Science ( IF 0.9 ) Pub Date : 2020-02-28 , DOI: 10.1016/j.tcs.2020.02.032 Andreas Karrenbauer , Pavel Kolev , Kurt Mehlhorn
The Physarum computing model is an analog computing model motivated by the network dynamics of the slime mold Physarum Polycephalum. In previous works, it was shown that it can solve a class of linear programs. We extend these results to a more general dynamics motivated by situations where the slime mold operates in a non-uniform environment.
Let , , and . We show under fairly general conditions that the non-uniform Physarum dynamics converges to the optimum solution of the weighted basis pursuit problem minimize subject to and . Here, f and x are m-dimensional vectors of real variables, q minimizes the energy subject to the constraints and , and is the reactivity of edge e to the difference at time t and in state x. Previously convergence was only shown for the uniform case for all e, x, and t.
We also show convergence for the dynamics where each is an increasing differentiable function with (satisfying some mild conditions). Previously, convergence was only shown for the special case of the shortest path problem on a graph consisting of two nodes connected by parallel edges.
中文翻译:
非均匀动力的收敛
Physarum计算模型是一种模拟计算模型,该模型是由粘液霉菌Physarum Polycephalum的网络动力学驱动的。在以前的工作中,它可以解决一类线性程序。我们将这些结果扩展到更广泛的动态范围,这些动态范围是由粘液模在非均匀环境中运行的情况引起的。
让 , 和 。我们在相当普遍的条件下证明了非均匀的Phys骨动力学 收敛到最佳解决方案 加权基准追踪问题的最小化 服从 和 。在这里,f和x是实变量的m维向量,q使能量最小 受约束 和 和 是边e对差异的反应性在时间t和状态x。以前仅在统一情况下显示收敛对于所有e,x和t。
我们还展示了动力学的收敛性 每个在哪里 是一个越来越微分的功能 (满足一些温和的条件)。以前,仅在图上最短路径问题的特殊情况下才显示收敛性,该图由两个由平行边连接的节点组成。