TY - CHAP

T1 - Reducing a target interval to a few exact queries

AU - Nederlof, J.

AU - van Leeuwen, E.J.

AU - van der Zwaan, G.R.J.

PY - 2012/1/1

Y1 - 2012/1/1

N2 - Many combinatorial problems involving weights can be formulated as a so-called ranged problem. That is, their input consists of a universe u, a (succinctly-represented) set family \mathcal{f} \subseteq 2^{u}f?2 u \mathcal{f} \subseteq 2^{u}, a weight function ?:u?{1,…,n}, and integers 0?=?l?=?u?=?8. Then the problem is to decide whether there is an x \in \mathcal{f}x?fx \in \mathcal{f} such that l?=? e?x ?(e)?=?u. Well-known examples of such problems include knapsack, subset sum, maximum matching, and traveling salesman. In this paper, we develop a generic method to transform a ranged problem into an exact problem (i.e. A ranged problem for which l?=?u). We show that our method has several intriguing applications in exact exponential algorithms and parameterized complexity, namely: , in exact exponential algorithms, we present new insight into whether subset sum and knapsack have efficient algorithms in both time and space. In particular, we show that the time and space complexity of subset sum and knapsack are equivalent up to a small polynomial factor in the input size. We also give an algorithm that solves sparse instances of knapsack efficiently in terms of space and time. In parameterized complexity, we present the first kernelization results on weighted variants of several well-known problems. In particular, we show that weighted variants of vertex cover and dominating set, traveling salesman, and knapsack all admit polynomial randomized turing kernels when parameterized by |u|. Curiously, our method relies on a technique more commonly found in approximation algorithms.

AB - Many combinatorial problems involving weights can be formulated as a so-called ranged problem. That is, their input consists of a universe u, a (succinctly-represented) set family \mathcal{f} \subseteq 2^{u}f?2 u \mathcal{f} \subseteq 2^{u}, a weight function ?:u?{1,…,n}, and integers 0?=?l?=?u?=?8. Then the problem is to decide whether there is an x \in \mathcal{f}x?fx \in \mathcal{f} such that l?=? e?x ?(e)?=?u. Well-known examples of such problems include knapsack, subset sum, maximum matching, and traveling salesman. In this paper, we develop a generic method to transform a ranged problem into an exact problem (i.e. A ranged problem for which l?=?u). We show that our method has several intriguing applications in exact exponential algorithms and parameterized complexity, namely: , in exact exponential algorithms, we present new insight into whether subset sum and knapsack have efficient algorithms in both time and space. In particular, we show that the time and space complexity of subset sum and knapsack are equivalent up to a small polynomial factor in the input size. We also give an algorithm that solves sparse instances of knapsack efficiently in terms of space and time. In parameterized complexity, we present the first kernelization results on weighted variants of several well-known problems. In particular, we show that weighted variants of vertex cover and dominating set, traveling salesman, and knapsack all admit polynomial randomized turing kernels when parameterized by |u|. Curiously, our method relies on a technique more commonly found in approximation algorithms.

U2 - 10.1007/978-3-642-32589-2_62

DO - 10.1007/978-3-642-32589-2_62

M3 - Chapter

SN - 978-3-642-32588-5

T3 - Lecture Notes in Computer Science

SP - 718

EP - 727

BT - Mathematical Foundations of Computer Science 2012

A2 - Branislav, R.

A2 - Sassone, V.

A2 - Widmayer, P.

PB - Springer

CY - Berlin Heidelberg

ER -