无圈反向超图中Min-Max不相交反向超路算法设计
Design of Min-Max Disjoint Backward Hy-perpaths Algorithm in Acyclic Backward Hypergraph
摘要: 超图与反向超图是计算机网络和通信网络采用的一类重要的网络拓扑结构,为提高网络以及传输路径容错性,不相交路径设计与优化成为重要的研究课题。本文在有向无圈的反向超图中,当每一条反向超弧的尾节点数不超过给定常数λ时,对构建源点与汇点间两条点不相交反向超路(B超路)的Min-Max优化问题进行研究,使得两条反向超路中权值较大者的值能够达到全局最小。为解决该问题,首先构造并设计了基于原图的辅助图,该辅助图也是有向无圈的反向超图,并将原问题转化为辅助图的多权值函数B超路优化问题。从而设计了伪多项式算法得到该问题的最优解。基于该算法,进一步给出了近似算法的设计方案得到(1+ε)近似解,从而有效降低了计算复杂性。
Abstract: Hypergraph and backward hypergraph are an important class of the network topology used in computer networks and communication networks. In order to improve the fault tolerance of net-works and transmission paths, the design and optimization of disjoint paths have become im-portant research topics. In this paper, in the directional acyclic backward hypergraph, when the tail node number of each backward hyperarc does not exceed the given constant λ , the Min-Max opti-mization problem of constructing two node-disjoint backward hyperpaths (B-hyperpaths) from the source node to the sink node is researched, so that the value of the greater weight in this two node-disjoint backward hyperpaths can reach the global minimum. In order to solve this problem, the auxiliary hypergraph based on the original hypergraph is constructed and designed firstly, which is also a directional acyclic backward hypergraph. The original problem is transformed into a B-hyperpath optimization problem with multi-weight function in the auxiliary hypergraph. Thus a pseudo-polynomial algorithm is designed to obtain an optimal solution to the problem. Based on this algorithm, the design scheme of the approximation algorithm is further given to obtain an (1+ε) approximate solution which effectively reduce the complexity of calculation.
文章引用:余娩霞, 张淑蓉. 无圈反向超图中Min-Max不相交反向超路算法设计[J]. 应用数学进展, 2023, 12(2): 526-536. https://doi.org/10.12677/AAM.2023.122056

参考文献

[1] 姚春龙, 李旭, 沈岚. 公交出行最优路径搜索的有向赋权图模型[J]. 计算机应用研究, 2013, 30(4): 1058-1063.
[2] 王雪伟, 刘三阳, 张朝辉. k-不相交路径的容错拓扑控制算法[J]. 吉林大学学报(理学版), 2017, 55(3): 635-640.
[3] Shiloach, Y. and Perl, Y. (1978) Finding Two Disjoint Paths between Two Pairs of Vertices in a Graph. Journal of the ACM (JACM), 25, 1-9. [Google Scholar] [CrossRef
[4] Fleischer, R., Ge, Q., Li, J. and Zhu, H. (2007) Efficient Algorithms for k-Disjoint Paths Problems on Dags. In: Kao, M.-Y. and Li, X.-Y., Eds., International Conference on Algorithmic Applications in Management, Springer, Berlin, 134-143. [Google Scholar] [CrossRef
[5] Berge, C. (1973) Graphs and Hypergraphs.
[6] Noh, H., Hickman, M. and Khani, A. (2012) Hyperpaths in Network Based on Transit Schedules. Transportation Research Rec-ord, 2284, 29-39. [Google Scholar] [CrossRef
[7] Pretolani, D. (2000) A Directed Hypergraph Model for Random Time Dependent Shortest Paths. European Journal of Operational Research, 123, 315-324. [Google Scholar] [CrossRef
[8] 崔阳, 杨炳儒. 超图在数据挖掘领域中的几个应用[J]. 计算机科学, 2010, 37(6): 220-222.
[9] Nielsen, L.R., Andersen, K.A. and Pretolani, D. (2005) Finding the K Shortest Hyperpaths. Computers and Operations Research, 32, 1477-1497. [Google Scholar] [CrossRef
[10] Ausiello, G., Italiano, G.F. and Nanni, U. (1998) Hypergraph Tra-versal Revisited: Cost Measures and Dynamic Algorithms. In: Ausiello, G., Italiano, G.F. and Nanni, U., Eds., Interna-tional Symposium on Mathematical Foundations of Computer Science, Springer, Berlin, 1-16. [Google Scholar] [CrossRef
[11] Borndörfer, R. and Karbstein, M. (2012) A Note on Menger’s Theorem for Hypergraphs.
[12] Gao, J., Zhao, Q., Ren, W., Swami, A., Ramanathan, R. and Bar-Noy, A. (2014) Dynamic Shortest Path Algorithms for Hypergraphs. IEEE/ACM Transactions on Networking, 23, 1805-1817. [Google Scholar] [CrossRef
[13] Frank, A. (2011) Connections in Combinatorial Optimization. Oxford University Press, Oxford.
[14] Gallo, G., Longo, G., Pallottino, S. and Nguyen, S. (1993) Directed Hyper-graphs and Applications. Discrete Applied Mathematics, 42, 177-201. [Google Scholar] [CrossRef
[15] Ritz, A. and Murali, T.M. (2014) Pathway Analysis with Signaling Hypergraphs. In: Proceedings of the 5th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics, Newport Beach, 20-23 September 2014, 249-258. [Google Scholar] [CrossRef