TY - JOUR
T1 - Approximation of some NP-hard optimization problems by finite machines, in probability
AU - Hong, Dawei
AU - Birget, Jean Camille
N1 - Funding Information:
E-mail addresses: [email protected] (D. Hong), [email protected] (J.-C. Birget). 1Second author’s research supported in part by NSF grant DMS-9203981.
PY - 2001
Y1 - 2001
N2 - We introduce a subclass of NP optimization problems which contains some NP-hard problems, e.g., bin covering and bin packing. For each problem in this subclass we prove that with probability tending to 1 (exponentially fast as the number of input items tends to infinity), the problem is approximable up to any chosen relative error bound ε > 0 by a deterministic finite-state machine. More precisely, let Π be a problem in our subclass of NP optimization problems, let ε > 0 be any chosen bound, and assume there is a fixed (but arbitrary) probability distribution for the inputs. Then there exists a finite-state machine which does the following: On an input I (random according to this probability distribution), the finite-state machine produces a feasible solution whose objective value M(I) satisfies P(|Opt(I)-M(I)|/max{Opt(I),M(I)}≥ε)≤Ke-hn, when n is large enough. Here K and h are positive constants.
AB - We introduce a subclass of NP optimization problems which contains some NP-hard problems, e.g., bin covering and bin packing. For each problem in this subclass we prove that with probability tending to 1 (exponentially fast as the number of input items tends to infinity), the problem is approximable up to any chosen relative error bound ε > 0 by a deterministic finite-state machine. More precisely, let Π be a problem in our subclass of NP optimization problems, let ε > 0 be any chosen bound, and assume there is a fixed (but arbitrary) probability distribution for the inputs. Then there exists a finite-state machine which does the following: On an input I (random according to this probability distribution), the finite-state machine produces a feasible solution whose objective value M(I) satisfies P(|Opt(I)-M(I)|/max{Opt(I),M(I)}≥ε)≤Ke-hn, when n is large enough. Here K and h are positive constants.
KW - Approximation
KW - Finite-state machines
KW - NP-optimization problems
KW - Probabilistic analysis of algorithms
UR - https://www.scopus.com/pages/publications/0034915033
UR - https://www.scopus.com/pages/publications/0034915033#tab=citedBy
U2 - 10.1016/S0304-3975(00)00016-5
DO - 10.1016/S0304-3975(00)00016-5
M3 - Article
AN - SCOPUS:0034915033
SN - 0304-3975
VL - 259
SP - 323
EP - 339
JO - Theoretical Computer Science
JF - Theoretical Computer Science
IS - 1-2
ER -