English
Related papers

Related papers: Tight Lower Bounds for the Workflow Satisfiability…

200 papers

The paper deals with the Feedback Vertex Set problem parameterized by the solution size. Given a graph $G$ and a parameter $k$, one has to decide if there is a set $S$ of at most $k$ vertices such that $G-S$ is acyclic. Assuming the…

Data Structures and Algorithms · Computer Science 2026-01-16 Gaétan Berthe , Marin Bougeret , Daniel Gonçalves , Jean-Florent Raymond

In a recent paper, Braun, Chung and Graham [1] have addressed a single-processor scheduling problem with time restrictions. Given a fixed integer $B \geq 2$, there is a set of jobs to be processed by a single processor subject to the…

Data Structures and Algorithms · Computer Science 2017-03-03 An Zhang , Yong Chen , Lin Chen , Guangting Chen

In the Asymmetric Traveling Salesperson Problem (ATSP) the goal is to find a closed walk of minimum cost in a directed graph visiting every vertex. We consider the approximability of ATSP on topologically restricted graphs. It has been…

Data Structures and Algorithms · Computer Science 2016-01-08 Daniel Marx , Ario Salmasi , Anastasios Sidiropoulos

Many real-world problems can be formulated as a constrained Traveling Salesman Problem (TSP). However, the constraints are always complex and numerous, making the TSPs challenging to solve. When the number of complicated constraints grows,…

Artificial Intelligence · Computer Science 2024-03-11 Jingxiao Chen , Ziqin Gong , Minghuan Liu , Jun Wang , Yong Yu , Weinan Zhang

This paper focuses on the problem of coflow scheduling with precedence constraints in identical parallel networks, which is a well-known $\mathcal{NP}$-hard problem. Coflow is a relatively new network abstraction used to characterize…

Data Structures and Algorithms · Computer Science 2023-12-21 Chi-Yeh Chen

Due to its optimality on a single machine for the problem of minimizing average flow time, Shortest-Remaining-Processing-Time (\srpt) appears to be the most natural algorithm to consider for the problem of minimizing average flow time on…

Data Structures and Algorithms · Computer Science 2010-11-10 Kyle Fox , Benjamin Moseley

We present the first results on the parameterized complexity of reconfiguration problems, where a reconfiguration version of an optimization problem $Q$ takes as input two feasible solutions $S$ and $T$ and determines if there is a sequence…

Computational Complexity · Computer Science 2013-08-23 Amer E. Mouawad , Naomi Nishimura , Venkatesh Raman , Narges Simjour , Akira Suzuki

Makespan minimization on unrelated machines is a classic problem in approximation algorithms. No polynomial time $(2-\delta)$-approximation algorithm is known for the problem for constant $\delta> 0$. This is true even for certain special…

Data Structures and Algorithms · Computer Science 2014-10-29 Deeparnab Chakrabarty , Sanjeev Khanna , Shi Li

We revisit a classical graph-theoretic problem, the \textit{single-source shortest-path} (SSSP) problem, in weighted unit-disk graphs. We first propose an exact (and deterministic) algorithm which solves the problem in $O(n \log^2 n)$ time…

Computational Geometry · Computer Science 2019-03-14 Haitao Wang , Jie Xue

We investigate parameterizing hard combinatorial problems by the size of the solution set compared to all solution candidates. Our main result is a uniform sampling algorithm for satisfying assignments of 2-CNF formulas that runs in…

Discrete Mathematics · Computer Science 2017-08-04 Jean Cardinal , Jerri Nummenpalo , Emo Welzl

We study the classical scheduling problem of minimizing the makespan of a set of unit size jobs with precedence constraints on parallel identical machines. Research on the problem dates back to the landmark paper by Graham from 1966 who…

Data Structures and Algorithms · Computer Science 2025-01-17 Syamantak Das , Andreas Wiese

The exact matching problem is a constrained variant of the maximum matching problem: given a graph with each edge having a weight $0$ or $1$ and an integer $k$, the goal is to find a perfect matching of weight exactly $k$. Mulmuley,…

Data Structures and Algorithms · Computer Science 2024-05-07 Hitoshi Murakami , Yutaro Yamaguchi

The lower and the upper irredundance numbers of a graph $G$, denoted $ir(G)$ and $IR(G)$ respectively, are conceptually linked to domination and independence numbers and have numerous relations to other graph parameters. It is a…

The problem of scheduling non-simultaneously released jobs with due dates on a single machine with the objective to minimize the maximum job lateness is known to be strongly NP-hard. Here we consider an extended model in which the…

Optimization and Control · Mathematics 2023-06-16 Nodari Vakhania , Frank Werner , Alejandro Reynoso

Motivated by the success of bounded model checking framework for finite state machines, Ouaknine and Worrell proposed a time-bounded theory of real-time verification by claiming that restriction to bounded-time recovers decidability for…

Logic in Computer Science · Computer Science 2014-08-18 Shankara Narayanan Krishna , Lakshmi Manasa , Ashutosh Trivedi

The Oven Scheduling Problem (OSP) is a new parallel batch scheduling problem that arises in the area of electronic component manufacturing. Jobs need to be scheduled to one of several ovens and may be processed simultaneously in one batch…

Artificial Intelligence · Computer Science 2022-03-24 Marie-Louise Lackner , Christoph Mrkvicka , Nysret Musliu , Daniel Walkiewicz , Felix Winter

Bin Packing with $k$ bins is a fundamental optimisation problem in which we are given a set of $n$ integers and a capacity $T$ and the goal is to partition the set into $k$ subsets, each of total sum at most $T$. Bin Packing is NP-hard…

Data Structures and Algorithms · Computer Science 2026-03-16 Karl Bringmann , Anita Dürr , Karol Węgrzycki

In this paper we consider single machine scheduling problems with additional non-renewable resource constraints. Examples for non-renewable resources include raw materials, energy, or money. Usually they have an initial stock and…

Optimization and Control · Mathematics 2020-04-03 Péter Györgyi , Tamás Kis

We give new sublinear and parallel algorithms for the extensively studied problem of approximating n-variable r-CSPs (constraint satisfaction problems with constraints of arity r up to an additive error. The running time of our algorithms…

Data Structures and Algorithms · Computer Science 2014-07-31 Grigory Yaroslavtsev

This paper depicts algorithms for solving the decision Boolean Satisfiability Problem. An extreme problem is formulated to analyze the complexity of algorithms and the complexity for solving it. A novel and easy reformulation as a lottery…

Computational Complexity · Computer Science 2016-04-15 Carlos Barrón-Romero