{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:13:30Z","timestamp":1750220010981,"version":"3.41.0"},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","license":[{"start":{"date-parts":[[2022,12,13]],"date-time":"2022-12-13T00:00:00Z","timestamp":1670889600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Computational Geometry: Solving Hard Optimization Problems","award":["FE407\/21-1"],"award-info":[{"award-number":["FE407\/21-1"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["ACM J. Exp. Algorithmics"],"published-print":{"date-parts":[[2022,12,31]]},"abstract":"<jats:p>\n            We consider a spectrum of geometric optimization problems motivated by contexts such as satellite communication and astrophysics. In the problem\n            <jats:sc>Minimum Scan Cover with Angular Costs<\/jats:sc>\n            , we are given a graph\n            <jats:italic>G<\/jats:italic>\n            that is embedded in Euclidean space. The edges of\n            <jats:italic>G<\/jats:italic>\n            need to be scanned, i.e., probed from both of their vertices. To scan their edge, two vertices need to face each other; changing the heading of a vertex incurs some cost in terms of energy or rotation time that is proportional to the corresponding rotation angle. Our goal is to compute schedules that minimize the following objective functions: (i) in\n            <jats:sc>Minimum Makespan Scan Cover<\/jats:sc>\n            (MSC-MS), this is the time until all edges are scanned; (ii) in\n            <jats:sc>Minimum Total Energy Scan Cover<\/jats:sc>\n            (MSC-TE), the sum of all rotation angles; and (iii) in\n            <jats:sc>Minimum Bottleneck Energy Scan Cover<\/jats:sc>\n            (MSC-BE), the maximum total rotation angle at one vertex.\n          <\/jats:p>\n          <jats:p>Previous theoretical work on MSC-MS revealed a close connection to graph coloring and the cut cover problem, leading to hardness and approximability results. In this article, we present polynomial-time algorithms for one-dimensional (1D) instances of MSC-TE and MSC-BE but NP-hardness proofs for bipartite 2D instances. For bipartite graphs in 2D, we also give 2-approximation algorithms for both MSC-TE and MSC-BE. Most importantly, we provide a comprehensive study of practical methods for all three problems. We compare three different mixed-integer programming and two constraint programming approaches and show how to compute provably optimal solutions for geometric instances with up to 300 edges. Additionally, we compare the performance of different meta-heuristics for even larger instances.<\/jats:p>","DOI":"10.1145\/3567674","type":"journal-article","created":{"date-parts":[[2022,10,12]],"date-time":"2022-10-12T13:13:28Z","timestamp":1665580408000},"page":"1-28","source":"Crossref","is-referenced-by-count":0,"title":["Minimum Scan Cover and Variants: Theory and Experiments"],"prefix":"10.1145","volume":"27","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3022-7877","authenticated-orcid":false,"given":"Kevin","family":"Buchin","sequence":"first","affiliation":[{"name":"Department of Computer Science, TU Dortmund, Dortmund, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9270-9871","authenticated-orcid":false,"given":"Alexander","family":"Hill","sequence":"additional","affiliation":[{"name":"Department of Computer Science, TU Braunschweig, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9062-4241","authenticated-orcid":false,"given":"S\u00e1ndor","family":"Fekete","sequence":"additional","affiliation":[{"name":"Department of Computer Science, TU Braunschweig, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3786-916X","authenticated-orcid":false,"given":"Linda","family":"Kleist","sequence":"additional","affiliation":[{"name":"Department of Computer Science, TU Braunschweig, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0544-2257","authenticated-orcid":false,"given":"Irina","family":"Kostitsyna","sequence":"additional","affiliation":[{"name":"Department of Mathematics &amp; Computer Science, TU Eindhoven, Eindhoven, The Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1573-3496","authenticated-orcid":false,"given":"Dominik","family":"Krupke","sequence":"additional","affiliation":[{"name":"Department of Computer Science, TU Braunschweig, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0314-6094","authenticated-orcid":false,"given":"Roel","family":"Lambers","sequence":"additional","affiliation":[{"name":"Department of Mathematics &amp; Computer Science, TU Eindhoven, The Netherlands"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0116-7238","authenticated-orcid":false,"given":"Martijn","family":"Struijs","sequence":"additional","affiliation":[{"name":"Department of Mathematics &amp; Computer Science, TU Eindhoven, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2022,12,13]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539796312721"},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2015.04.004"},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0305-0483(98)00042-5"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2006.06.060"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703434267"},{"key":"e_1_3_1_7_2","first-page":"138","volume-title":"Proceedings of the Symposium on Discrete Algorithms (SODA\u201901)","author":"Arkin Esther M.","year":"2001","unstructured":"Esther M. Arkin, Michael A. Bender, Erik D. Demaine, S\u00e1ndor P. Fekete, Joseph S. B. Mitchell, and Saurabh Sethia. 2001. Optimal covering tours with turn costs. In Proceedings of the Symposium on Discrete Algorithms (SODA\u201901). 138\u2013147."},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-015-0076-9"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v26i1.13784"},{"key":"e_1_3_1_10_2","first-page":"62:1\u201362:5","volume-title":"Proceedings of the Symposium on Computational Geometry (SoCG\u201917)","author":"Becker Aaron T.","year":"2017","unstructured":"Aaron T. Becker, Mustapha Debboun, S\u00e1ndor P. Fekete, Dominik Krupke, and An Nguyen. 2017. Zapping Zika with a mosquito-managing drone: Computing optimal flight patterns with minimum turn cost. In Proceedings of the Symposium on Computational Geometry (SoCG\u201917). 62:1\u201362:5."},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/359094.359101"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.comgeo.2011.05.003"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1287\/opre.2.4.393"},{"key":"e_1_3_1_14_2","unstructured":"Erik D. Demaine Joseph S. B. Mitchell and Joseph O\u2019Rourke. 2001. The Open Problems Project. Retrieved from http:\/\/cs.smith.edu\/\u00f5rourke\/TOPP\/."},{"key":"e_1_3_1_15_2","first-page":"43:1\u201343:18","volume-title":"Proceedings of the Symposium on Computational Geometry (SoCG\u201920)","volume":"164","author":"Fekete S\u00e1ndor P.","year":"2020","unstructured":"S\u00e1ndor P. Fekete, Linda Kleist, and Dominik Krupke. 2020. Minimum scan cover with angular transition costs. In Proceedings of the Symposium on Computational Geometry (SoCG\u201920), Vol. 164. 43:1\u201343:18."},{"key":"e_1_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17402-6_19"},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611975499.15"},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-7721(96)00012-0"},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16926-7_13"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-008-1577-3"},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1029\/2001JA000147"},{"key":"e_1_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.actaastro.2017.08.011"},{"key":"e_1_3_1_23_2","first-page":"3","volume-title":"Proceedings of the Southeastern Conference on Combinatorics, Graph Theory, and Computing (SEICCGTC\u201973)","author":"Lov\u00e1sz L\u00e1szl\u00f3","year":"1973","unstructured":"L\u00e1szl\u00f3 Lov\u00e1sz. 1973. Coverings and colorings of hypergraphs. In Proceedings of the Southeastern Conference on Combinatorics, Graph Theory, and Computing (SEICCGTC\u201973). 3\u201312."},{"key":"e_1_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/321043.321046"},{"key":"e_1_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.5555\/891890"},{"key":"e_1_3_1_26_2","doi-asserted-by":"publisher","DOI":"10.21105\/joss.01230"},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/800133.804350"}],"container-title":["ACM Journal of Experimental Algorithmics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3567674","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3567674","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:12Z","timestamp":1750182672000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3567674"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,13]]},"references-count":26,"alternative-id":["10.1145\/3567674"],"URL":"https:\/\/doi.org\/10.1145\/3567674","relation":{},"ISSN":["1084-6654","1084-6654"],"issn-type":[{"type":"print","value":"1084-6654"},{"type":"electronic","value":"1084-6654"}],"subject":[],"published":{"date-parts":[[2022,12,13]]}}}