AIRO Springer Series 1 Patrizia Daniele Laura Scrimali Editors New Trends in Emerging Complex Real Life Problems ODS, Taormina, Italy, September 10–13, 2018 AIRO Springer Series Volume 1 Editor-in-chief DanieleVigo,DipartimentodiIngegneriadell’EnergiaElettricaedell’Informazione “Guglielmo Marconi”, Alma Mater Studiorum Università di Bologna, Bologna, Italy Series editors Alessandro Agnetis, Dipartimento di Ingegneria dell’Informazione e Scienze Matematiche, Università degli Studi di Siena, Siena, Italy Edoardo Amaldi, Dipartimento di Elettronica, Informazione e Bioingegneria (DEIB), Politecnico di Milano, Milan, Italy Francesca Guerriero, Dipartimento di Ingegneria Meccanica, Energetica e Gestionale (DIMEG), Università della Calabria, Rende, Italy Stefano Lucidi, Dipartimento di Ingegneria Informatica Automatica e Gestionale “Antonio Ruberti” (DIAG), Università di Roma “La Sapienza”, Rome, Italy Enza Messina, Dipartimento di Informatica Sistemistica e Comunicazione, Università di Milano-Bicocca, Milan, Italy Antonio Sforza, Dipartimento di Ingegneria Elettrica e delle Tecnologie dell’Informazione, Università degli Studi di Napoli Federico II, Naples, Italy TheAIROSpringerSeriesfocusesontherelevanceofoperationsresearch(OR)in the scientific world and in real life applications. The series publishes contributed volumes, lectures notes, and monographs in English language resulting from workshops, conferences, courses, schools, seminars, and research activities carried out by AIRO, Associazione Italiana di Ricerca Operativa - Optimization and Decision Sciences: http://www.airo.org/ index.php/it/. The books in the series will discuss recent results and analyze new trends focusing on the following areas: Optimization and Operation Research, including Continuous, Discrete and Network Optimization, and related industrial and territorial applications. Interdisciplinary contributions, showing a fruitful col- laboration of scientists with researchers from other fields to address complex applications, are welcome. The series is aimed at providing useful reference material to students, academic and industrial researchers at an international level. More information about this series at http://www.springer.com/series/15947 Patrizia Daniele Laura Scrimali (cid:129) Editors New Trends in Emerging Complex Real Life Problems ODS, Taormina, Italy, – September 10 13, 2018 123 Editors Patrizia Daniele Laura Scrimali Department ofMathematics Department ofMathematics andComputer Science andComputer Science University of Catania University of Catania Catania, Italy Catania, Italy ISSN 2523-7047 ISSN 2523-7055 (electronic) AIROSpringer Series ISBN978-3-030-00472-9 ISBN978-3-030-00473-6 (eBook) https://doi.org/10.1007/978-3-030-00473-6 LibraryofCongressControlNumber:2018958352 ©SpringerNatureSwitzerlandAG2018 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpart of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission orinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilar methodologynowknownorhereafterdeveloped. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfrom therelevantprotectivelawsandregulationsandthereforefreeforgeneraluse. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authorsortheeditorsgiveawarranty,expressorimplied,withrespecttothematerialcontainedhereinor for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictionalclaimsinpublishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface This book contains the contributions of the International Conference on OptimizationandDecisionScience(ODS2018),heldinTaormina(Messina),Italy, from September 10 to 13, 2018. ODS2018 was the 48th annual meeting of AIRO, theItalianOperationsResearchSociety,andwasorganizedincooperationwiththe Department of Mathematics and Computer Science (DMI) of the University of Catania. ODS2018 was addressed to the entire Operations Research community working in the field of optimization, problem-solving, and decision-making methods.Itsaimwastobringtogetherscholarsanddecision-makersfromboththe academicand the industrialdomain in order to present results with the potential to solve concrete problems and to provide new insights, bridging the researcher– practitioner gap. Thisbookpresentsstate-of-the-artknowledgerelatingtooptimization,decisions science,andproblem-solvingmethods, aswell asalarge variety ofapplications of extreme importance in relation to computer science, mathematical physics, engi- neering,statistics,andeconomics.Itconstitutesafinecollectionofmethodological andapplication-orientedpapersthatcharacterizethecurrentresearchinchallenging and worthwhile areas. The papers included in this volume present new develop- ments in topics of great interest, such as scheduling, routing, heuristics and meta- heuristics, logistics, healthcare, Bayesianoptimization,supplychain management, and game theory. The selection of papers also provides novel applications in the optimal design of photovoltaic installations, parking pricing problems, industrial IoTnetworks,cybersecurityinvestments,andautonomousdriving.Combiningnew methodological advances with a wide variety of real applications, this volume is certainly of great value not only to researchers and practitioners working in these areas but also to the Operations Research community. Theworkincludesinternationalcontributionsattestingtothesuccessandglobal dimensionoftheproject.Somepaperswereselectedfor publicationasfullpapers, and some were accepted as short presentations. The peer-review process was conducted by experts in Operations Research and related fields. All the abstracts can be found at the website: http://www.airoconference.it/ods2018/. v vi Preface Moreover, we are to host three outstanding contributions given by internation- ally distinguished professors, namely Nicholas Hall (Ohio State University, USA), Panos Pardalos (University of Florida, USA), and Maria Grazia Speranza (University of Brescia, Italy), which increase the overall quality of the book and provide a deeper understanding of the fields of interest faced here. Finally, we would like to express our thanks to the invited speakers for their invaluable contributions, to the authors for their work and dedication, and to all members of the Program Committee and auxiliary reviewers who helped by offeringtheirexpertiseandtime.SpecialgratitudeshouldbeaddressedtoSpringer for strongly supporting us during the publishing process. Catania, Italy Patrizia Daniele September 2018 Laura Scrimali Contents INFORMS, Analytics, Research and Challenges . . . . . . . . . . . . . . . . . . 1 Nicholas G. Hall On the Limits of Computation in Non-convex Optimization . . . . . . . . . 11 Panos M. Pardalos Operations Research in Transportation and Supply Chain Management. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 M. Grazia Speranza Energy Optimization of a Speed-Scalable and Multi-states Single Machine Scheduling Problem. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 MohammadMohsen Aghelinejad, Yassine Ouazene and Alice Yalaoui Constrained Job Rearrangements on a Single Machine . . . . . . . . . . . . . 33 Arianna Alfieri, Gaia Nicosia, Andrea Pacifici and Ulrich Pferschy Reducing Overcrowding at the Emergency Department Through a Different Physician and Nurse Shift Organisation: A Case Study . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 Roberto Aringhieri, Giovanni Bonetta and Davide Duma Integrating Mental Health into a Primary Care System: A Hybrid Simulation Model. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 Roberto Aringhieri, Davide Duma and Francesco Polacchi Cost Minimization of Library Electronic Subscriptions . . . . . . . . . . . . . 65 Laura Bigram, Patrick Hosein and Jonathan Earle The Mahalanobis Distance for Feature Selection Using Genetic Algorithms: An Application to BCI . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 Maria Elena Bruni, D. Nguyen Duy, Patrizia Beraldi and Antonio Violi vii viii Contents An Iterated Local Search Algorithm for the Pollution Traveling Salesman Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83 Valentina Cacchiani, Carlos Contreras-Bolton, John W. Escobar, Luis M. Escobar-Falcon, Rodrigo Linfati and Paolo Toth Data Throughput Optimization for Vehicle to Infrastructure Communications. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 Angela Sara Cacciapuoti, Marcello Caleffi, Adriano Masone, Antonio Sforza and Claudio Sterle Evaluation of Cascade Effects for Transit Networks . . . . . . . . . . . . . . . 103 Antonio Candelieri, Ilaria Giordani, Bruno G. Galuzzi and Francesco Archetti Maximizing Lifetime for a Zone Monitoring Problem Through Reduction to Target Coverage. . . . . . . . . . . . . . . . . . . . . . . . . 111 F. Carrabs, R. Cerulli, C. D’Ambrosio and A. Raiconi Mathematical Formulations for the Optimal Design of Resilient Shortest Paths . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 Marco Casazza, Alberto Ceselli and Andrea Taverna A Two-Stage Stochastic Model for Distribution Logistics with Transshipment and Backordering: Stochastic Versus Deterministic Solutions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131 Rossana Cavagnini, Luca Bertazzi and Francesca Maggioni An Optimization Model to Rationalize Public Service Facilities. . . . . . . 141 M. Cavola, A. Diglio and C. Piccolo An Efficient and Simple Approach to Solve a Distribution Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151 C. Cerrone, M. Gentili, C. D’Ambrosio and R. Cerulli First-Time Interaction Under Revenue-Sharing Contract and Asymmetric Beliefs of Supply-Chain Members . . . . . . . . . . . . . . . . 161 Tatyana Chernonog Monte Carlo Sampling for the Probabilistic Orienteering Problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169 Xiaochen Chou, Luca Maria Gambardella and Roberto Montemanni A Genetic Algorithm Framework for the Orienteering Problem with Time Windows. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179 Claudio Ciancio, Annarita De Maio, Demetrio Laganà, Francesco Santoro and Antonio Violi A Financial Optimization Model with Short Selling and Transfer of Securities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189 Gabriella Colajanni and Patrizia Daniele Contents ix Strong Nash Equilibria for Cybersecurity Investments with Nonlinear Budget Constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199 Patrizia Daniele and Laura Scrimali Situation Awareness and Environmental Factors: The EVO Oil Production . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209 MassimodeFalco,NicolaMastrandrea,WathiqMansoorandLuigiRarità A Freight Adviser for a Delivery Logistics Service e-Marketplace . . . . . 219 Annarita De Maio, Antonio Violi, Demetrio Laganà and Patrizia Beraldi Specification and Aggregate Calibration of a Quantum Route Choice Model from Traffic Counts. . . . . . . . . . . . . . . . . . . . . . . . 227 Massimo Di Gangi and Antonino Vitetta Modeling and Solving the Packet Routing Problem in Industrial IoT Networks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237 Luigi Di Puglia Pugliese, Dimitrios Zorbas and Francesca Guerriero An Origin-Destination Based Parking Pricing Policy for Improving Equity in Urban Transportation. . . . . . . . . . . . . . . . . . . 247 Mariano Gallo and Luca D’Acierno Bayesian Optimization for Full Waveform Inversion . . . . . . . . . . . . . . . 257 Bruno G. Galuzzi, Riccardo Perego, Antonio Candelieri and Francesco Archetti A Decomposition-Based Heuristic for the Truck Scheduling Problem in a Cross-Docking Terminal. . . . . . . . . . . . . . . . . . . . . . . . . . 265 Manlio Gaudioso, M. Flavia Monaco and Marcello Sammarra Offline Patient Admission, Room and Surgery Scheduling Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275 RositaGuido,VittorioSolina,Giovanni Mirabelli andDomenicoConforti Equilibria on Networks with Uncertain Data—A Comparison of Different Solution Approaches . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 285 Joachim Gwinner and Friedemann Sebastian Winkler Construction of Discrete Time Graphs from Real Valued Railway Line Data . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293 Steven Harrod An Integer Linear Programming Formulation for Routing Problem of University Bus Service. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 303 Selin Hulagu and Hilmi Berk Celikoglu