Chenxu Yang , Gang Yang , Sun-Yuan Hsieh , Yaping Mao , Ralf Klasing
{"title":"使用给定周长的距离监测图形的边缘","authors":"Chenxu Yang , Gang Yang , Sun-Yuan Hsieh , Yaping Mao , Ralf Klasing","doi":"10.1016/j.jcss.2024.103528","DOIUrl":null,"url":null,"abstract":"<div><p>A set <em>M</em> of vertices of a graph <em>G</em> is a <em>distance-edge-monitoring set</em> if for every edge <span><math><mi>e</mi><mo>∈</mo><mi>G</mi></math></span>, there is a vertex <span><math><mi>x</mi><mo>∈</mo><mi>M</mi></math></span> and a vertex <span><math><mi>y</mi><mo>∈</mo><mi>G</mi></math></span> such that <em>e</em> belongs to all shortest paths between <em>x</em> and <em>y</em>. We denote by <span><math><mrow><mi>dem</mi></mrow><mo>(</mo><mi>G</mi><mo>)</mo></math></span> the smallest size of such a set in <em>G</em>. In this paper, we prove that <span><math><mi>dem</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mi>n</mi><mo>−</mo><mo>⌊</mo><mi>g</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>/</mo><mn>2</mn><mo>⌋</mo></math></span> for any connected graph <em>G</em>, which is not a tree, of order <em>n</em>, where <span><math><mi>g</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> is the length of a shortest cycle in <em>G</em>, and give the graphs with <span><math><mi>dem</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>n</mi><mo>−</mo><mo>⌊</mo><mi>g</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>/</mo><mn>2</mn><mo>⌋</mo></math></span>. We also obtain that <span><math><mo>|</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>≥</mo><mi>k</mi><mo>+</mo><mo>⌊</mo><mi>g</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>/</mo><mn>2</mn><mo>⌋</mo></math></span> for every connected graph <em>G</em> with <span><math><mrow><mi>dem</mi></mrow><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>k</mi></math></span> and <span><math><mi>g</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>g</mi></math></span>. Furthermore, the lower bound holds if and only if <span><math><mi>g</mi><mo>=</mo><mn>3</mn></math></span> and <span><math><mi>k</mi><mo>=</mo><mi>n</mi><mo>−</mo><mn>1</mn></math></span> or <span><math><mi>g</mi><mo>=</mo><mn>4</mn></math></span> and <span><math><mi>k</mi><mo>=</mo><mn>2</mn></math></span>. We prove that <span><math><mrow><mi>dem</mi></mrow><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mn>2</mn><mi>n</mi><mo>/</mo><mn>5</mn></math></span> for <span><math><mi>g</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≥</mo><mn>5</mn></math></span>.</p></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"143 ","pages":"Article 103528"},"PeriodicalIF":1.1000,"publicationDate":"2024-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Monitoring the edges of a graph using distances with given girth\",\"authors\":\"Chenxu Yang , Gang Yang , Sun-Yuan Hsieh , Yaping Mao , Ralf Klasing\",\"doi\":\"10.1016/j.jcss.2024.103528\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>A set <em>M</em> of vertices of a graph <em>G</em> is a <em>distance-edge-monitoring set</em> if for every edge <span><math><mi>e</mi><mo>∈</mo><mi>G</mi></math></span>, there is a vertex <span><math><mi>x</mi><mo>∈</mo><mi>M</mi></math></span> and a vertex <span><math><mi>y</mi><mo>∈</mo><mi>G</mi></math></span> such that <em>e</em> belongs to all shortest paths between <em>x</em> and <em>y</em>. We denote by <span><math><mrow><mi>dem</mi></mrow><mo>(</mo><mi>G</mi><mo>)</mo></math></span> the smallest size of such a set in <em>G</em>. In this paper, we prove that <span><math><mi>dem</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mi>n</mi><mo>−</mo><mo>⌊</mo><mi>g</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>/</mo><mn>2</mn><mo>⌋</mo></math></span> for any connected graph <em>G</em>, which is not a tree, of order <em>n</em>, where <span><math><mi>g</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> is the length of a shortest cycle in <em>G</em>, and give the graphs with <span><math><mi>dem</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>n</mi><mo>−</mo><mo>⌊</mo><mi>g</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>/</mo><mn>2</mn><mo>⌋</mo></math></span>. We also obtain that <span><math><mo>|</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>≥</mo><mi>k</mi><mo>+</mo><mo>⌊</mo><mi>g</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>/</mo><mn>2</mn><mo>⌋</mo></math></span> for every connected graph <em>G</em> with <span><math><mrow><mi>dem</mi></mrow><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>k</mi></math></span> and <span><math><mi>g</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>g</mi></math></span>. Furthermore, the lower bound holds if and only if <span><math><mi>g</mi><mo>=</mo><mn>3</mn></math></span> and <span><math><mi>k</mi><mo>=</mo><mi>n</mi><mo>−</mo><mn>1</mn></math></span> or <span><math><mi>g</mi><mo>=</mo><mn>4</mn></math></span> and <span><math><mi>k</mi><mo>=</mo><mn>2</mn></math></span>. We prove that <span><math><mrow><mi>dem</mi></mrow><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mn>2</mn><mi>n</mi><mo>/</mo><mn>5</mn></math></span> for <span><math><mi>g</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≥</mo><mn>5</mn></math></span>.</p></div>\",\"PeriodicalId\":50224,\"journal\":{\"name\":\"Journal of Computer and System Sciences\",\"volume\":\"143 \",\"pages\":\"Article 103528\"},\"PeriodicalIF\":1.1000,\"publicationDate\":\"2024-03-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Computer and System Sciences\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0022000024000230\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"BUSINESS, FINANCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Computer and System Sciences","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022000024000230","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"BUSINESS, FINANCE","Score":null,"Total":0}
Monitoring the edges of a graph using distances with given girth
A set M of vertices of a graph G is a distance-edge-monitoring set if for every edge , there is a vertex and a vertex such that e belongs to all shortest paths between x and y. We denote by the smallest size of such a set in G. In this paper, we prove that for any connected graph G, which is not a tree, of order n, where is the length of a shortest cycle in G, and give the graphs with . We also obtain that for every connected graph G with and . Furthermore, the lower bound holds if and only if and or and . We prove that for .
期刊介绍:
The Journal of Computer and System Sciences publishes original research papers in computer science and related subjects in system science, with attention to the relevant mathematical theory. Applications-oriented papers may also be accepted and they are expected to contain deep analytic evaluation of the proposed solutions.
Research areas include traditional subjects such as:
• Theory of algorithms and computability
• Formal languages
• Automata theory
Contemporary subjects such as:
• Complexity theory
• Algorithmic Complexity
• Parallel & distributed computing
• Computer networks
• Neural networks
• Computational learning theory
• Database theory & practice
• Computer modeling of complex systems
• Security and Privacy.