动态有向超图中限制不交B-路算法设计
Design of Restricted Disjoint B-Path Algorithm in Dynamic Directed Hypergraph
DOI: 10.12677/AAM.2022.114203, PDF,    科研立项经费支持
作者: 米文燕, 张淑蓉:太原理工大学,数学学院,山西 太原
关键词: 有向超图容错性动态网络B-路不交路径Directed Hypergraph Fault Tolerance Dynamic Network B-Path Disjoint Path
摘要: 超图在现实生活中有很重要的应用价值,比如信息传递、货物运输、商品配送等问题都可以归约到超图中建立数学模型并设计优化算法。而网络环境是会随时间发生连续动态变化的,故本文主要研究动态超图中的连通性问题。同时,由于大规模网络中故障的发生是不可避免的,而且是极具破坏性的,所以,提高网络的生存性能,保证网络的容错性有很重要的研究价值。设计不交超路径是提高网络容错性的主要解决方案。由于超路中B-路有很好的结构性质和广泛的应用背景,因此,本文在时变超图网络中考虑满足时间限制的不交B-路构建问题。目前由于动态网络研究的复杂性,连续时间动态网络背景的处理方法大多是采用时间离散化转换为静态网络去求近似解,本文考虑当给定起始时刻时,在时间范围[0,Τ]内每条超弧的延迟函数为连续时间动态函数的情况下,针对不交B-路问题给出最优解的求解算法,并证明算法的正确性及运算复杂度。
Abstract: Hypergraph has very important application value in real life, for example, information transmission, goods transportation, commodity distribution and other problems can be reduced to hypergraph to establish mathematical model and design optimization algorithm. The network environment will change continuously and dynamically with time, so this paper mainly studies the connectivity problem in dynamic hypergraph. At the same time, the occurrence of faults in large-scale networks is inevitable and extremely destructive. Therefore, it has important research value to improve the survival performance of networks and ensure the fault tolerance of networks. Designing disjoint hyperpath is the main solution to improve network fault tolerance. Because the B-path in hyperpath has good structural properties and wide application background, we consider the construction of disjoint B-paths satisfying time constraints in time-varying hypergraph networks in this paper. At present, due to the complexity of dynamic network research, most of the processing methods of continuous time dynamic network background adopt time discretization to static network to obtain approximate solutions. However, in this paper, when the starting time is given, the delay function of each super-arc within the time range [0,Τ] is continuous time dynamic function, the algorithm for solving the optimal solution of the disjoint B-path problem is given. Finally, the correctness and computational complexity of the algorithm are proved.
文章引用:米文燕, 张淑蓉. 动态有向超图中限制不交B-路算法设计[J]. 应用数学进展, 2022, 11(4): 1857-1869. https://doi.org/10.12677/AAM.2022.114203

参考文献

[1] Marcotte, P. and Nguyen, S. (1998) Hyperpath Formulations of Traffic Assignment Problems. In: Marcotte, P. and Nguyen, S., Eds., Equilibrium and Advanced Transportation Modelling, Springer, Boston, 175-200. [Google Scholar] [CrossRef
[2] Nguyen, S., Pallottino, S. and Gendreau, M. (1998) Implicit Enumeration of Hyperpaths in a Logit Model for Transit Networks. Transportation Science, 32, 54-64. [Google Scholar] [CrossRef
[3] Pretolani, D. (2000) A Directed Hypergraph Model for Random Time Dependent Shortest Paths. European Journal of Operational Research, 123, 315-324. [Google Scholar] [CrossRef
[4] Boley, H. (1977) Directed Recursive Labelnode Hypergraphs: A New Representation-Language. Artificial Intelligence, 9, 49-85. [Google Scholar] [CrossRef
[5] Torres, A. and Araoz, J. (1988) Combinatorial Models for Searching in Knowledge Bases. Acta Científica Venezolana, 39, 387-394.
[6] Ausiello, G., D’Atri, A. and Saccà, D. (1983) Graph Algorithms for Functional Dependency Manipulation. Journal of the ACM (JACM), 30, 752-766. [Google Scholar] [CrossRef
[7] Carraresi, P., Gallo, G. and Rago, G. (1993) A Hypergraph Model for Constraint Logic Programming and Applications to Bus Drivers’ Scheduling. Annals of Mathematics and Artificial Intelligence, 8, 247-270. [Google Scholar] [CrossRef
[8] Gallo, G. and Scutella, M.G. (1998) Directed Hypergraphs as a Modelling Paradigm. Rivista di Matematica per le Scienze Economiche e Sociali, 21, 97-123. [Google Scholar] [CrossRef
[9] Italiano, G.F. and Nanni, U. (1989) Online Maintenance of Minimal Directed Hypergraphs. 3rd Italian Conference on Theoretical Computer Science, Mantova, 2-4 November 1989, 335-349.
[10] Gallo, G., Longo, G., Palottino, S. and Nguyen, S. (1993) Directed Hypergraphs and Applications. Discrete Applied Mathematics, 42, 177-201. [Google Scholar] [CrossRef
[11] Suurballe, J.W. (1974) Disjoint Paths in a Network. Networks, 4, 125-145. [Google Scholar] [CrossRef
[12] Suurballe, J.W. and Tarjan, R.E. (1984) A Quick Method for Finding Shortest Pairs of Disjoint Paths. Networks, 14, 325-336. [Google Scholar] [CrossRef
[13] Yang, B., Zheng, S.Q. and Katukam, S. (2003) Finding Two Disjoint Paths in a Network with Min-Min Objective Function. Parallel and Distributed Computing and Systems Vol.1, Department of Computer Science, University of Texas at Dallas, Richardson.
[14] Fleischer, R., Ge, Q., Li, J. and Zhu, H. (2007) Efficient Algorithms for k-Disjoint Paths Problems on DAGs. International Conference on Algorithmic Applications in Management, Portland, 6-8 June 2007, 134-143. [Google Scholar] [CrossRef
[15] Fortune, S., Hopcroft, J. and Wyllie, J. (1980) The Directed Subgraph Homeomorphism Problem. Theoretical Computer Science, 10, 111-121. [Google Scholar] [CrossRef
[16] Parpalea, M. and Ciurea, E. (2011) The Quickest Maximum Dynamic Flow of Minimum Cost. International Journal of Applied Mathematics and Informatics, 5, 266-274.
[17] Cai, X., Sha, D. and Wong, C.K. (2001) Time-Varying Minimum Cost Flow Problems. European Journal of Operational Research, 131, 352-374. [Google Scholar] [CrossRef
[18] Ding, B., Yu, J.X. and Qin, L. (2008) Finding Time-Dependent Shortest Paths over Large Graphs. Proceedings of the 11th International Conference on Extending Database Technology: Advances in Database Technology, Nantes, 25-29 March 2008, 205-216. [Google Scholar] [CrossRef
[19] Wang, Y., Li, G. and Tang, N. (2019) Querying Shortest Paths on Time Dependent Road Networks. Proceedings of the VLDB Endowment, 12, 1249-1261. [Google Scholar] [CrossRef