A linear time algorithm for linearizing quadratic and higher-order shortest path problems

Eranda   Çela , Bettina Klinz, Stefan Lendl, Gerhard J. Woeginger, Lasse Wulf

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Abstract

An instance of the NP-hard Quadratic Shortest Path Problem (QSPP) is called linearizable iff it is equivalent to an instance of the classic Shortest Path Problem (SPP) on the same input digraph. The linearization problem for the QSPP (LinQSPP) decides whether a given QSPP instance is linearizable and determines the corresponding SPP instance in the positive case. We provide a novel linear time algorithm for the LinQSPP on acyclic digraphs which runs considerably faster than the previously best algorithm. The algorithm is based on a new insight revealing that the linearizability of the QSPP for acyclic digraphs can be seen as a local property. Our approach extends to the more general higher-order shortest path problem.
Original languageEnglish
Title of host publicationInteger Programming and Combinatorial Optimization - 24th International Conference, IPCO 2023, Proceedings
EditorsAlberto Del Pia, Volker Kaibel
Place of PublicationCham
PublisherSpringer
Pages466-479
Number of pages14
ISBN (Electronic)978-3-031-32726-1
ISBN (Print)978-3-031-32725-4
DOIs
Publication statusPublished - 2023
Event24th Conference on Integer Programming and Combinatorial Optimization: IPCO 2023 - University of Wisconsin-Madison, Madison, United States
Duration: 21 Jun 202323 Jun 2023

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13904 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference24th Conference on Integer Programming and Combinatorial Optimization
Abbreviated titleIPCO 2023
Country/TerritoryUnited States
CityMadison
Period21/06/2323/06/23

Keywords

  • higher-order shortest path problem
  • linearization
  • quadratic shortest path problem

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fields of Expertise

  • Information, Communication & Computing

Fingerprint

Dive into the research topics of 'A linear time algorithm for linearizing quadratic and higher-order shortest path problems'. Together they form a unique fingerprint.

Cite this