NP-Completeness of Reallocation Problems with Restricted Block Volume
نویسنده
چکیده
A reallocation problem is defined as determining whether blocks can be moved from their current boxes to their destination boxes in the number of moves less than or equal to a given positive integer. This problem is defined simply and has many practical applications. We previously proved the following results: The reallocation problem such that the block volume is restricted to one volume unit for all blocks can be solved in linear time. But the reallocation problem such that the block volume is not restricted is NP-complete, even if no blocks have bypass boxes. But the computational complexity of the reallocation problems such that the range of the block volume is restricted has not yet been known. We prove that the reallocation problem is NP-complete even if the block volume is restricted to one or two volume units for all blocks and no blocks have bypass boxes. Furthermore, we prove that the reallocation problem is NP-complete, even if there are only two blocks such that each block has the volume units of fixed positive integer greater or equal than two, the volume of the other blocks is restricted to one volume unit, and no blocks have bypass boxes. Next, we consider such a block that must stays in a same box both in the initial state and in the final state but can be moved to another box for making room for other blocks. We prove that the reallocation problem such that an instance has such blocks is also NP-complete even if the block volume is restricted to one volume unit for all blocks. key words: reallocation, computational complexity, NP-
منابع مشابه
The Complexity of Planar Counting Problems
We prove the #P-hardness of the counting problems associated with various satisfiability, graph, and combinatorial problems, when restricted to planar instances. These problems include 3Sat, 1-3Sat, 1-Ex3Sat, Minimum Vertex Cover, Minimum Dominating Set, Minimum Feedback Vertex Set, X3C, Partition Into Triangles, and Clique Cover. We also prove the NP-completeness of the Ambiguous Satisfiabilit...
متن کاملLecture 1 : The PCP Theorem – Introduction and two views
It is more convenient to work with the decision equivalents as they are simpler though they are polynomially equivalent to the original computational problems. The theory of NP-completeness discusses the hardness of these computational problems by studying the hardness of the equivalent decision problems. Similarly, when we study approximation algorithms for computational problems, it is often ...
متن کاملOn a variant of Monotone NAE-3SAT and the Triangle-Free Cut problem
In this paper we define a restricted version of Monotone NAE-3SAT and show that it remains NP-Complete even under that restriction. We expect this result would be useful in proving NP-Completeness results for problems on k-colourable graphs (k ≥ 5). We also prove the NPCompleteness of the Triangle-Free Cut problem.
متن کاملInversion of 2D Cellular Automata: Some Complexity Results
Durand, B. Inversion of 2D cellular automata: some complexity results, Theoretical Computer Science 134 (1994) 387401. In this paper, we prove the co-NP-completeness of the following decision problem: “Given a twodimensional cellular automaton & (even with Von Neumann neighborhood), is & injective when restricted to finite configurations not greater than its length?” In order to prove this resu...
متن کاملNP-completeness of anti-Kekulé and matching preclusion problems
Anti-Kekulé problem is a concept of chemical graph theory precluding the Kekulé structure of molecules. Matching preclusion and conditional matching preclusion were proposed as measures of robustness in the event of edge failure in interconnection networks. It is known that matching preclusion problem on bipartite graphs is NP-complete. In this paper, we mainly prove that anti-Kekulé problem on...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000