{"title":"Piercing families of convex sets in the plane that avoid a certain subfamily with lines","authors":"Daniel McGinnis","doi":"10.1016/j.comgeo.2024.102087","DOIUrl":null,"url":null,"abstract":"<div><p>We define a <span><math><mi>C</mi><mo>(</mo><mi>k</mi><mo>)</mo></math></span> to be a family of <em>k</em> sets <span><math><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> such that <span><math><mtext>conv</mtext><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∪</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>i</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo><mo>∩</mo><mtext>conv</mtext><mo>(</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>∪</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>j</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo><mo>=</mo><mo>∅</mo></math></span> when <span><math><mo>{</mo><mi>i</mi><mo>,</mo><mi>i</mi><mo>+</mo><mn>1</mn><mo>}</mo><mo>∩</mo><mo>{</mo><mi>j</mi><mo>,</mo><mi>j</mi><mo>+</mo><mn>1</mn><mo>}</mo><mo>=</mo><mo>∅</mo></math></span> (indices are taken modulo <em>k</em>). We show that if <span><math><mi>F</mi></math></span> is a family of compact, convex sets that does not contain a <span><math><mi>C</mi><mo>(</mo><mi>k</mi><mo>)</mo></math></span>, then there are <span><math><mi>k</mi><mo>−</mo><mn>2</mn></math></span> lines that pierce <span><math><mi>F</mi></math></span>. Additionally, we give an example of a family of compact, convex sets that contains no <span><math><mi>C</mi><mo>(</mo><mi>k</mi><mo>)</mo></math></span> and cannot be pierced by <span><math><mrow><mo>⌈</mo><mfrac><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></mfrac><mo>⌉</mo></mrow><mo>−</mo><mn>1</mn></math></span> lines.</p></div>","PeriodicalId":51001,"journal":{"name":"Computational Geometry-Theory and Applications","volume":null,"pages":null},"PeriodicalIF":0.4000,"publicationDate":"2024-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computational Geometry-Theory and Applications","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0925772124000099","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
We define a to be a family of k sets such that when (indices are taken modulo k). We show that if is a family of compact, convex sets that does not contain a , then there are lines that pierce . Additionally, we give an example of a family of compact, convex sets that contains no and cannot be pierced by lines.
期刊介绍:
Computational Geometry is a forum for research in theoretical and applied aspects of computational geometry. The journal publishes fundamental research in all areas of the subject, as well as disseminating information on the applications, techniques, and use of computational geometry. Computational Geometry publishes articles on the design and analysis of geometric algorithms. All aspects of computational geometry are covered, including the numerical, graph theoretical and combinatorial aspects. Also welcomed are computational geometry solutions to fundamental problems arising in computer graphics, pattern recognition, robotics, image processing, CAD-CAM, VLSI design and geographical information systems.
Computational Geometry features a special section containing open problems and concise reports on implementations of computational geometry tools.