Une nouvelle extension de fonctions aux intervalles baśee sur le regroupement d'occurrences

Translated title of the contribution: A new extension of the functions at intervals based on the occurrence grouping

IGNACIO DANIEL ARAYA ZAMORANO, Bertrand Neveu, Gilles Trombettoni

Research output: Contribution to conferencePaperpeer-review

1 Scopus citations

Abstract

When a function f is monotonic w.r.t. a variable in a given domain, it is well-known that the monotonicity based interval extension of f computes a sharper image than the natural interval extension does. This paper presents a so-called "occurrence grouping" interval extension [f]og of a function f. When f is not monotonic w.r.t. a variable x in the given domain [B], we try to transform f into a new function fog that is monotonic in two subsets xa and xb of the occurrences of x. fog is increasing w.r.t. xa and decreasing w.r.t. xb. [f] og is the interval extension by monotonicity of fog and produces a sharper interval image than the natural extension does. For finding a good occurrence grouping, we propose a linear program and an algorithm that minimize a Taylor-based overestimation of the image diameter of [f]og. Finally, experiments show the benefits of this new interval extension for solving systems of equations.

Translated title of the contributionA new extension of the functions at intervals based on the occurrence grouping
Original languageFrench
Pages13-22
Number of pages10
StatePublished - 1 Dec 2010
EventSixiemes Journees Francophones de Programmation par Contraintes, JFPC 2010 - 6th French Speaking Conference on Constraint Programming, JFPC 2010 - Caen, France
Duration: 9 Jun 201011 Jun 2010

Conference

Conference
CountryFrance
CityCaen
Period9/06/1011/06/10

Fingerprint Dive into the research topics of 'A new extension of the functions at intervals based on the occurrence grouping'. Together they form a unique fingerprint.

Cite this