316 research outputs found
Complexity and Inapproximability Results for Parallel Task Scheduling and Strip Packing
We study the Parallel Task Scheduling problem with a
constant number of machines. This problem is known to be strongly NP-complete
for each , while it is solvable in pseudo-polynomial time for each . We give a positive answer to the long-standing open question whether
this problem is strongly -complete for . As a second result, we
improve the lower bound of for approximating pseudo-polynomial
Strip Packing to . Since the best known approximation algorithm
for this problem has a ratio of , this result
narrows the gap between approximation ratio and inapproximability result by a
significant step. Both results are proven by a reduction from the strongly
-complete problem 3-Partition
Precedence-constrained scheduling problems parameterized by partial order width
Negatively answering a question posed by Mnich and Wiese (Math. Program.
154(1-2):533-562), we show that P2|prec,|, the
problem of finding a non-preemptive minimum-makespan schedule for
precedence-constrained jobs of lengths 1 and 2 on two parallel identical
machines, is W[2]-hard parameterized by the width of the partial order giving
the precedence constraints. To this end, we show that Shuffle Product, the
problem of deciding whether a given word can be obtained by interleaving the
letters of other given words, is W[2]-hard parameterized by , thus
additionally answering a question posed by Rizzi and Vialette (CSR 2013).
Finally, refining a geometric algorithm due to Servakh (Diskretn. Anal. Issled.
Oper. 7(1):75-82), we show that the more general Resource-Constrained Project
Scheduling problem is fixed-parameter tractable parameterized by the partial
order width combined with the maximum allowed difference between the earliest
possible and factual starting time of a job.Comment: 14 pages plus appendi
Quadratic equations over free groups are NP-complete
We prove that the problems of deciding whether a quadratic equation over a
free group has a solution is NP-complete
Testing systems of identical components
We consider the problem of testing sequentially the components of a multi-component reliability system in order to figure out the state of the system via costly tests. In particular, systems with identical components are considered. The notion of lexicographically large binary decision trees is introduced and a heuristic algorithm based on that notion is proposed. The performance of the heuristic algorithm is demonstrated by computational results, for various classes of functions. In particular, in all 200 random cases where the underlying function is a threshold function, the proposed heuristic produces optimal solutions
Approximation Algorithms for Scheduling Parallel Jobs: Breaking the Approximation Ratio of 2
In this paper we study variants of the non-preemptive parallel job scheduling problem in which the number of machines is polynomially bounded in the number of jobs. For this problem we show that a schedule with length at most (1 + ε)OPT can be calculated in polynomial time. Unless P = NP, this is the best possible result (in the sense of approximation ratio), since the problem is strongly NP-hard. For the case, where all jobs must be allotted to a subset of consecutive machines, a schedule with length at most (1.5 + ε)OPT can be calculated in polynomial time. The previously best known results are algorithms with absolute approximation ratio 2. Furthermore, we extend both algorithms to the case of malleable jobs with the same approximation ratios
FPTAS for optimizing polynomials over the mixed-integer points of polytopes in fixed dimension
We show the existence of a fully polynomial-time approximation scheme (FPTAS)
for the problem of maximizing a non-negative polynomial over mixed-integer sets
in convex polytopes, when the number of variables is fixed. Moreover, using a
weaker notion of approximation, we show the existence of a fully
polynomial-time approximation scheme for the problem of maximizing or
minimizing an arbitrary polynomial over mixed-integer sets in convex polytopes,
when the number of variables is fixed.Comment: 16 pages, 4 figures; to appear in Mathematical Programmin
The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games
We analyse the computational complexity of finding Nash equilibria in simple
stochastic multiplayer games. We show that restricting the search space to
equilibria whose payoffs fall into a certain interval may lead to
undecidability. In particular, we prove that the following problem is
undecidable: Given a game G, does there exist a pure-strategy Nash equilibrium
of G where player 0 wins with probability 1. Moreover, this problem remains
undecidable if it is restricted to strategies with (unbounded) finite memory.
However, if mixed strategies are allowed, decidability remains an open problem.
One way to obtain a provably decidable variant of the problem is restricting
the strategies to be positional or stationary. For the complexity of these two
problems, we obtain a common lower bound of NP and upper bounds of NP and
PSPACE respectively.Comment: 23 pages; revised versio
The Directed Dominating Set Problem: Generalized Leaf Removal and Belief Propagation
A minimum dominating set for a digraph (directed graph) is a smallest set of
vertices such that each vertex either belongs to this set or has at least one
parent vertex in this set. We solve this hard combinatorial optimization
problem approximately by a local algorithm of generalized leaf removal and by a
message-passing algorithm of belief propagation. These algorithms can construct
near-optimal dominating sets or even exact minimum dominating sets for random
digraphs and also for real-world digraph instances. We further develop a core
percolation theory and a replica-symmetric spin glass theory for this problem.
Our algorithmic and theoretical results may facilitate applications of
dominating sets to various network problems involving directed interactions.Comment: 11 pages, 3 figures in EPS forma
An Analogy between Bin Packing Problem and Permutation Problem: A New Encoding Scheme
Part 2: Knowledge Discovery and SharingInternational audienceThe bin packing problem aims to pack a set of items in a minimum number of bins, with respect to the size of the items and capacity of the bins. This is an NP-hard problem. Several approach methods have been developed to solve this problem. In this paper, we propose a new encoding scheme which is used in a hybrid resolution: a metaheuristic is matched with a list algorithm (Next Fit, First Fit, Best Fit) to solve the bin packing problem. Any metaheuristic can be used but in this paper, our proposition is implemented on a single solution based metaheuristic (stochastic descent, simulated annealing, kangaroo algorithm). This hybrid method is tested on literature instances to ensure its good results
- …