Quadratization of symmetric pseudo-Boolean functions

Anthony, Martin, Boros, Endre, Crama, Yves and Gruber, Aritanan (2016) Quadratization of symmetric pseudo-Boolean functions. Discrete Applied Mathematics, 203 . pp. 1-12. ISSN 0166-218X

PDF - Accepted Version Restricted to Repository staff only until 2 February 2017. Download (399Kb)

• LSE expert's profile

• Published item via DOI

Abstract

A pseudo-Boolean function is a real-valued function f(x) = f(x1; x2; : : : ; xn) of n binary variables, that is, a mapping from f0; 1gn to R. For a pseudo-Boolean function f(x) on f0; 1gn, we say that g(x; y) is a quadratization of f if g(x; y) is a quadratic polynomial depending on x and on m auxiliary binaryvariables y1; y2; : : : ; ym such that f(x) = minfg(x; y) : y 2 f0; 1gmg forall x 2 f0; 1gn. By means of quadratizations, minimization of f is reduced to minimization (over its extended set of variables) of the quadratic functiong(x; y). This is of practical interest because minimization of quadratic functions has been thoroughly studied for the last few decades, and much progress has been made in solving such problems exactly or heuristically. A related paper [1] initiated a systematic study of the minimum number of auxiliary y-variables required in a quadratization of an arbitrary function f (a natural question, since the complexity of minimizing the quadratic function g(x; y) depends, among other factors, on the number of binary variables). In this paper, we determine more precisely the number of auxiliary variables required by quadratizations of symmetric pseudo-Boolean functions f(x), those functions whose value depends only on the Hamming weight of the input x (the number of variables equal to 1).

Item Type:	Article
Official URL:	http://www.journals.elsevier.com/discrete-applied-...
Additional Information:	© 2016 Elsevier B.V.
Library of Congress subject classification:	Q Science > QA Mathematics
Sets:	Departments > Mathematics
Project and Funder Information:	Project ID Funder Name Funder ID IIS-1161476 National Science Foundation http://dx.doi.org/10.13039/100000001 P7/36 Belgian Science Policy Office UNSPECIFIED BEX-2387050/15061676 National Fund for Scientific Research UNSPECIFIED UNSPECIFIED CAPES (Brazil)/Fulbright (USA) fellowship process UNSPECIFIED
Projects:	IIS-1161476, P7/36, BEX-2387050/15061676
Funders:	National Science Foundation, Belgian Science Policy Office, National Fund for Scientific Research, CAPES (Brazil)/Fulbright (USA) fellowship process
Date Deposited:	16 Dec 2015 10:40
URL:	http://eprints.lse.ac.uk/64723/

Actions (login required)

Record administration - authorised staff only