Mathematics

Research data from La Sapienza University update understanding of applied mathematics

  2008 NOV 24 - (VerticalNews.com) -- "It is proved that any pseudo-Boolean function f can be represented as f(x) equivalent to z + phi(x,(x) over bar), where z is the minimum of f and phi is a polynomial with positive coefficients in the original variables x(i) and in their complements (x) over bar (i)," scientists in Rome, Italy report.

  "A non-constructivc proof and a constructive one are given," wrote B. Simeone and colleagues, La Sapienza University.

  The researchers concluded: "The latter, which is based on a generalization to pseudo-Boolean functions of the well-known Boolean-theoretical operation ofconsensus, provides a new algorithni for the minimization of pseudo-Boolean functions."

  Simeone and colleagues published their study in Discrete Applied Mathematics (A pseudo-Boolean consensus approach to nonlinear 0-1 optimization. Discrete Applied Mathematics, 2008;156(13):2449-2458).

  For more information, contact B. Simeone, Roma La Sapienza University, Dip Statistics Probabil & Statistics Applied, Piazzale Aldo Moro 5, I-00185 Rome, Italy.

  Publisher contact information for the journal Discrete Applied Mathematics is: Elsevier Science BV, PO Box 211, 1000 AE Amsterdam, Netherlands.

  Keywords: Mathematics, Polynomial, La Sapienza University.

  This article was prepared by VerticalNews Mathematics editors from staff and other reports. Copyright 2008, VerticalNews Mathematics via VerticalNews.com.