Gang Yang, Jiannan Zhou, Changxiang He, Yaping Mao
{"title":"网络的距离边缘监测集","authors":"Gang Yang, Jiannan Zhou, Changxiang He, Yaping Mao","doi":"10.1007/s00236-024-00453-z","DOIUrl":null,"url":null,"abstract":"<div><p>It is important to be able to monitor the network and detect this failure when a connection (an edge) fails. For a vertex set <i>M</i> and an edge <i>e</i> of the graph <i>G</i>, let <i>P</i>(<i>M</i>, <i>e</i>) be the set of pairs (<i>x</i>, <i>y</i>) with a vertex <i>x</i> of <i>M</i> and a vertex <i>y</i> of <i>V</i>(<i>G</i>) such that <i>e</i> belongs to all shortest paths between <i>x</i> and <i>y</i>. A vertex set <i>M</i> of the graph <i>G</i> is <i>distance-edge-monitoring set</i> if every edge <i>e</i> of <i>G</i> is monitored by some vertex of <i>M</i>, that is, the set <i>P</i>(<i>M</i>, <i>e</i>) is nonempty. The distance-edge-monitoring number of a graph <i>G</i>, recently introduced by Foucaud, Kao, Klasing, Miller, and Ryan, is defined as the smallest size of distance-edge-monitoring sets of <i>G</i>. In this paper, we determine the bounds of the distance-edge-monitoring number of grid-based pyramids and the exact value of distance-edge-monitoring number for <i>M</i>(<i>t</i>)-graph and Sierpiński-type graphs. We also compare the distance-edge-monitoring set with average degree, the size of edge set and the size of vertex set of <i>G</i>, where <i>G</i> is <i>M</i>(<i>t</i>)-graph or Sierpiński-type graphs.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"61 2","pages":"183 - 198"},"PeriodicalIF":0.4000,"publicationDate":"2024-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Distance-edge-monitoring sets of networks\",\"authors\":\"Gang Yang, Jiannan Zhou, Changxiang He, Yaping Mao\",\"doi\":\"10.1007/s00236-024-00453-z\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>It is important to be able to monitor the network and detect this failure when a connection (an edge) fails. For a vertex set <i>M</i> and an edge <i>e</i> of the graph <i>G</i>, let <i>P</i>(<i>M</i>, <i>e</i>) be the set of pairs (<i>x</i>, <i>y</i>) with a vertex <i>x</i> of <i>M</i> and a vertex <i>y</i> of <i>V</i>(<i>G</i>) such that <i>e</i> belongs to all shortest paths between <i>x</i> and <i>y</i>. A vertex set <i>M</i> of the graph <i>G</i> is <i>distance-edge-monitoring set</i> if every edge <i>e</i> of <i>G</i> is monitored by some vertex of <i>M</i>, that is, the set <i>P</i>(<i>M</i>, <i>e</i>) is nonempty. The distance-edge-monitoring number of a graph <i>G</i>, recently introduced by Foucaud, Kao, Klasing, Miller, and Ryan, is defined as the smallest size of distance-edge-monitoring sets of <i>G</i>. In this paper, we determine the bounds of the distance-edge-monitoring number of grid-based pyramids and the exact value of distance-edge-monitoring number for <i>M</i>(<i>t</i>)-graph and Sierpiński-type graphs. We also compare the distance-edge-monitoring set with average degree, the size of edge set and the size of vertex set of <i>G</i>, where <i>G</i> is <i>M</i>(<i>t</i>)-graph or Sierpiński-type graphs.</p></div>\",\"PeriodicalId\":7189,\"journal\":{\"name\":\"Acta Informatica\",\"volume\":\"61 2\",\"pages\":\"183 - 198\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2024-03-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Acta Informatica\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00236-024-00453-z\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, INFORMATION SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Informatica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00236-024-00453-z","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0
摘要
重要的是能够监控网络,并在连接(边)失效时检测到这种故障。对于图 G 的顶点集 M 和边 e,让 P(M,e)成为具有 M 的顶点 x 和 V(G)的顶点 y,且 e 属于 x 和 y 之间所有最短路径的对 (x, y) 的集合。如果图 G 的每条边 e 都受到 M 的某个顶点的监控,即集合 P(M, e) 非空,那么图 G 的顶点集 M 就是距离-边监控集。Foucaud, Kao, Klasing, Miller 和 Ryan 最近提出了图 G 的距离边监控数,它被定义为 G 的距离边监控集的最小大小。在本文中,我们确定了基于网格的金字塔的距离边监控数的边界,以及 M(t)-graph 和 Sierpiński-type 图的距离边监控数的精确值。我们还比较了距离边监控集与 G 的平均度、边集大小和顶点集大小(其中 G 为 M(t)-graph 或 Sierpiński-type 图)。
It is important to be able to monitor the network and detect this failure when a connection (an edge) fails. For a vertex set M and an edge e of the graph G, let P(M, e) be the set of pairs (x, y) with a vertex x of M and a vertex y of V(G) such that e belongs to all shortest paths between x and y. A vertex set M of the graph G is distance-edge-monitoring set if every edge e of G is monitored by some vertex of M, that is, the set P(M, e) is nonempty. The distance-edge-monitoring number of a graph G, recently introduced by Foucaud, Kao, Klasing, Miller, and Ryan, is defined as the smallest size of distance-edge-monitoring sets of G. In this paper, we determine the bounds of the distance-edge-monitoring number of grid-based pyramids and the exact value of distance-edge-monitoring number for M(t)-graph and Sierpiński-type graphs. We also compare the distance-edge-monitoring set with average degree, the size of edge set and the size of vertex set of G, where G is M(t)-graph or Sierpiński-type graphs.
期刊介绍:
Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics.
Topics of interest include:
• semantics of programming languages
• models and modeling languages for concurrent, distributed, reactive and mobile systems
• models and modeling languages for timed, hybrid and probabilistic systems
• specification, program analysis and verification
• model checking and theorem proving
• modal, temporal, first- and higher-order logics, and their variants
• constraint logic, SAT/SMT-solving techniques
• theoretical aspects of databases, semi-structured data and finite model theory
• theoretical aspects of artificial intelligence, knowledge representation, description logic
• automata theory, formal languages, term and graph rewriting
• game-based models, synthesis
• type theory, typed calculi
• algebraic, coalgebraic and categorical methods
• formal aspects of performance, dependability and reliability analysis
• foundations of information and network security
• parallel, distributed and randomized algorithms
• design and analysis of algorithms
• foundations of network and communication protocols.