English
Related papers

Related papers: BusOut is NP-complete

200 papers

We consider several variants of a car-sharing problem. Given are a number of requests each consisting of a pick-up location and a drop-off location, a number of cars, and nonnegative, symmetric travel times that satisfy the triangle…

Data Structures and Algorithms · Computer Science 2020-07-08 Kelin Luo , Frits C. R. Spieksma

In this paper, we investigate the problem of a last-mile delivery service that selects up to $N$ available vehicles to deliver $M$ packages from a centralized depot to $M$ delivery locations. The objective of the last-mile delivery service…

Multiagent Systems · Computer Science 2023-01-05 Meera Ratnagiri , Clare O'Dwyer , Logan E. Beaver , Heeseung Bang , Behdad Chalaki , Andreas A. Malikopoulos

The basic optimal transportation problem consists in finding the most effective way of moving masses from one location to another, while minimizing the transportation cost. Such concept has been found to be useful to understand various…

Computer Science and Game Theory · Computer Science 2011-06-10 Alonso Silva , Hamidou Tembine , Eitan Altman , Merouane Debbah

In the Binary Networked Public Goods game, every player needs to decide if she participates in a public project whose utility is shared equally by the community. We study the problem of deciding if there exists a pure strategy Nash…

Computer Science and Game Theory · Computer Science 2021-12-21 Arnab Maiti , Palash Dey

Boolean games are a succinct representation of strategic games wherein a player seeks to satisfy a formula of propositional logic by selecting a truth assignment to a set of propositional variables under his control. The framework has…

Computer Science and Game Theory · Computer Science 2017-02-14 Egor Ianovski

We consider a scheduling game on parallel related machines, in which jobs try to minimize their completion time by choosing a machine to be processed on. Each machine uses an individual priority list to decide on the order according to…

Computer Science and Game Theory · Computer Science 2023-11-28 Vipin Ravindran Vijayalakshmi , Marc Schröder , Tami Tamir

The purpose of this work is to introduce and characterize the Bounded Acceleration Shortest Path (BASP) problem, a generalization of the Shortest Path (SP) problem. This problem is associated to a graph: the nodes represent positions of a…

Data Structures and Algorithms · Computer Science 2024-04-10 Stefano Ardizzoni , Luca Consolini , Mattia Laurini , Marco Locatelli

We consider the platoon matching problem for a set of trucks with the same origin, but different destinations. It is assumed that the vehicles benefit from traveling in a platoon for instance through reduced fuel consumption. The vehicles…

Systems and Control · Electrical Eng. & Systems 2022-02-18 Alexander Johansson , Ehsan Nekouei , Karl Henrik Johansson , Jonas Mårtensson

We propose a tactical homotopy-aware decision-making framework for game-theoretic motion planning in urban environments. We model urban driving as a generalized Nash equilibrium problem and employ a mixed-integer approach to tame the…

Multiagent Systems · Computer Science 2024-06-21 Michael Khayyat , Alessandro Zanardi , Stefano Arrigoni , Francesco Braghin

The orienteering problem is a well-studied and fundamental problem in transportation science. In the problem, we are given a graph with prizes on the nodes and lengths on the edges, together with a budget on the overall tour length. The…

Optimization and Control · Mathematics 2024-07-04 Eduardo Álvarez-Miranda , Markus Sinnl , Kübra Tanınmış

In a carsharing system, a fleet of cars is distributed at stations in an urban area, customers can take and return cars at any time and station. For operating such a system in a satisfactory way, the stations have to keep a good ratio…

Data Structures and Algorithms · Computer Science 2015-11-10 Sahar Bsaybes , Sven O. Krumke , Alain Quilliot , Annegret K. Wagler , Jan-Thierry Wegener

We build a general theory for characterizing the computational complexity of motion planning of robot(s) through a graph of "gadgets", where each gadget has its own state defining a set of allowed traversals which in turn modify the…

Computational Complexity · Computer Science 2020-01-15 Erik D. Demaine , Dylan H. Hendrickson , Jayson Lynch

Public-transit systems face a number of operational challenges: (a) changing ridership patterns requiring optimization of fixed line services, (b) optimizing vehicle-to-trip assignments to reduce maintenance and operation codes, and (c)…

Systems and Control · Electrical Eng. & Systems 2021-07-02 Ruixiao Sun , Rongze Gui , Himanshu Neema , Yuche Chen , Juliette Ugirumurera , Joseph Severino , Philip Pugliese , Aron Laszka , Abhishek Dubey

Games on graphs provide a natural and powerful model for reactive systems. In this paper, we consider generalized reachability objectives, defined as conjunctions of reachability objectives. We first prove that deciding the winner in such…

Computational Complexity · Computer Science 2012-02-06 Nathanaël Fijalkow , Florian Horn

We consider the interaction among agents engaging in a driving task and we model it as general-sum game. This class of games exhibits a plurality of different equilibria posing the issue of equilibrium selection. While selecting the most…

Suppose that a train is running along a railway network, starting from a designated origin, with the goal of reaching a designated destination. The network, however, is of a special nature: every time the train traverses a switch, the…

Computational Complexity · Computer Science 2017-06-26 Jérôme Dohrau , Bernd Gärtner , Manuel Kohler , Jiří Matoušek , Emo Welzl

It is commonly seen that buses are blocked by the ones in front serving passengers and have to queue outside a curbside bus stop although there are vacant berths at the stop. The resultant bus delays degrade the service level of urban…

Optimization and Control · Mathematics 2021-11-30 Wanjing Ma , Shiqi Ou , Chunhui Yu

The purpose of this article is to examine and limit the conditions in which the P complexity class could be equivalent to the NP complexity class. Proof is provided by demonstrating that as the number of clauses in a NP-complete problem…

Computational Complexity · Computer Science 2008-09-07 Jerrald Meek

We introduce a new decision problem, called Packed Interval Covering (PIC) and show that it is NP-complete.

Computational Complexity · Computer Science 2019-06-11 Abdallah Saffidine , Sébastien Lê Cong , Sophie Pinchinat , François Schwarzentruber

We study the problem of deciding the winner of reachability switching games for zero-, one-, and two-player variants. Switching games provide a deterministic analogue of stochastic games. We show that the zero-player case is NL-hard, the…

Formal Languages and Automata Theory · Computer Science 2023-06-22 John Fearnley , Martin Gairing , Matthias Mnich , Rahul Savani