expr_entropy.c File Reference

Detailed Description

handler for -x*log(x) expressions

Author

Benjamin Mueller

Fabian Wegscheider

Ksenia Bestuzheva

Definition in file expr_entropy.c.

#include "scip/expr_entropy.h"
#include "scip/expr_value.h"
#include "scip/expr.h"
#include <string.h>

Go to the source code of this file.

Macros
#define	EXPRHDLR_NAME   "entropy"
#define	EXPRHDLR_DESC   "entropy expression (-x*log(x))"
#define	EXPRHDLR_PRECEDENCE   81000
#define	EXPRHDLR_HASHKEY   SCIPcalcFibHash(7477.0)

Functions
static SCIP_Real	reversePropBinarySearch (SCIP *scip, SCIP_Real xmin, SCIP_Real xmax, SCIP_Bool increasing, SCIP_Real targetval)
static SCIP_RETCODE	reverseProp (SCIP *scip, SCIP_INTERVAL exprinterval, SCIP_INTERVAL childinterval, SCIP_INTERVAL *interval)
static	SCIP_DECL_EXPRCOPYHDLR (copyhdlrEntropy)
static	SCIP_DECL_EXPRSIMPLIFY (simplifyEntropy)
static	SCIP_DECL_EXPRCOPYDATA (copydataEntropy)
static	SCIP_DECL_EXPRFREEDATA (freedataEntropy)
static	SCIP_DECL_EXPRPARSE (parseEntropy)
static	SCIP_DECL_EXPREVAL (evalEntropy)
static	SCIP_DECL_EXPRBWDIFF (bwdiffEntropy)
static	SCIP_DECL_EXPRINTEVAL (intevalEntropy)
static	SCIP_DECL_EXPRESTIMATE (estimateEntropy)
static	SCIP_DECL_EXPRINITESTIMATES (initestimatesEntropy)
static	SCIP_DECL_EXPRREVERSEPROP (reversepropEntropy)
static	SCIP_DECL_EXPRHASH (hashEntropy)
static	SCIP_DECL_EXPRCURVATURE (curvatureEntropy)
static	SCIP_DECL_EXPRMONOTONICITY (monotonicityEntropy)
static	SCIP_DECL_EXPRINTEGRALITY (integralityEntropy)
SCIP_RETCODE	SCIPincludeExprhdlrEntropy (SCIP *scip)
SCIP_RETCODE	SCIPcreateExprEntropy (SCIP *scip, SCIP_EXPR **expr, SCIP_EXPR *child, SCIP_DECL_EXPR_OWNERCREATE((*ownercreate)), void *ownercreatedata)
SCIP_Bool	SCIPisExprEntropy (SCIP *scip, SCIP_EXPR *expr)

Macro Definition Documentation

EXPRHDLR_NAME

#define EXPRHDLR_NAME   "entropy"

Definition at line 44 of file expr_entropy.c.

EXPRHDLR_DESC

#define EXPRHDLR_DESC   "entropy expression (-x*log(x))"

Definition at line 45 of file expr_entropy.c.

EXPRHDLR_PRECEDENCE

#define EXPRHDLR_PRECEDENCE   81000

Definition at line 46 of file expr_entropy.c.

EXPRHDLR_HASHKEY

#define EXPRHDLR_HASHKEY   SCIPcalcFibHash(7477.0)

Definition at line 47 of file expr_entropy.c.

Function Documentation

reversePropBinarySearch()

static SCIP_Real reversePropBinarySearch ( SCIP *  scip, SCIP_Real  xmin, SCIP_Real  xmax, SCIP_Bool  increasing, SCIP_Real  targetval  )

static

helper function for reverseProp() which returns an x* in [xmin,xmax] s.t. the distance -x*log(x) and a given target value is minimized; the function assumes that -x*log(x) is monotone on [xmin,xmax];

Parameters

scip	SCIP data structure
xmin	smallest possible x
xmax	largest possible x
increasing	-x*log(x) is increasing or decreasing on [xmin,xmax]
targetval	target value

Definition at line 61 of file expr_entropy.c.

References SCIP_INVALID, SCIP_Real, SCIPisEQ(), SCIPisGE(), SCIPisLE(), SCIPisLT(), and x.

Referenced by reverseProp().

reverseProp()

static SCIP_RETCODE reverseProp ( SCIP *  scip, SCIP_INTERVAL  exprinterval, SCIP_INTERVAL  childinterval, SCIP_INTERVAL *  interval  )

static

helper function for reverse propagation; needed for proper unittest

Parameters

scip	SCIP data structure
exprinterval	bounds on the expression
childinterval	bounds on the interval of the child
interval	resulting interval

Definition at line 112 of file expr_entropy.c.

References FALSE, MAX, MIN, NULL, reversePropBinarySearch(), SCIP_INTERVAL_INFINITY, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPepsilon(), SCIPintervalEntropy(), SCIPintervalGetInf(), SCIPintervalGetSup(), SCIPintervalIntersect(), SCIPintervalIsEmpty(), SCIPintervalIsSubsetEQ(), SCIPintervalSet(), SCIPintervalSetBounds(), SCIPintervalSetEmpty(), SCIPisGT(), and TRUE.

Referenced by SCIP_DECL_EXPRREVERSEPROP().

SCIP_DECL_EXPRCOPYHDLR()

static SCIP_DECL_EXPRCOPYHDLR ( copyhdlrEntropy  )

static

expression handler copy callback

Definition at line 233 of file expr_entropy.c.

References SCIP_CALL, SCIP_OKAY, and SCIPincludeExprhdlrEntropy().

SCIP_DECL_EXPRSIMPLIFY()

static SCIP_DECL_EXPRSIMPLIFY ( simplifyEntropy  )

static

simplifies an entropy expression

Definition at line 242 of file expr_entropy.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcaptureExpr(), SCIPcreateExprValue(), SCIPexprGetChildren(), SCIPexprGetNChildren(), SCIPgetValueExprValue(), and SCIPisExprValue().

SCIP_DECL_EXPRCOPYDATA()

static SCIP_DECL_EXPRCOPYDATA ( copydataEntropy  )

static

expression data copy callback

Definition at line 287 of file expr_entropy.c.

References NULL, SCIP_OKAY, and SCIPexprGetData().

SCIP_DECL_EXPRFREEDATA()

static SCIP_DECL_EXPRFREEDATA ( freedataEntropy  )

static

expression data free callback

Definition at line 299 of file expr_entropy.c.

References NULL, SCIP_OKAY, and SCIPexprSetData().

SCIP_DECL_EXPRPARSE()

static SCIP_DECL_EXPRPARSE ( parseEntropy  )

static

expression parse callback

Definition at line 309 of file expr_entropy.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPcreateExprEntropy(), SCIPparseExpr(), SCIPreleaseExpr(), and TRUE.

SCIP_DECL_EXPREVAL()

static SCIP_DECL_EXPREVAL ( evalEntropy  )

static

expression (point-) evaluation callback

Definition at line 334 of file expr_entropy.c.

References NULL, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPdebugMsg, SCIPexprGetChildren(), SCIPexprGetData(), SCIPexprGetEvalValue(), and SCIPexprGetNChildren().

SCIP_DECL_EXPRBWDIFF()

static SCIP_DECL_EXPRBWDIFF ( bwdiffEntropy  )

static

expression derivative evaluation callback

Definition at line 365 of file expr_entropy.c.

References NULL, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPexprGetChildren(), SCIPexprGetEvalValue(), SCIPexprGetNChildren(), and SCIPisExprValue().

SCIP_DECL_EXPRINTEVAL()

static SCIP_DECL_EXPRINTEVAL ( intevalEntropy  )

static

expression interval evaluation callback

Definition at line 392 of file expr_entropy.c.

References NULL, SCIP_INTERVAL_INFINITY, SCIP_OKAY, SCIPexprGetActivity(), SCIPexprGetChildren(), SCIPexprGetData(), SCIPexprGetNChildren(), SCIPintervalEntropy(), SCIPintervalIsEmpty(), and SCIPintervalSetEmpty().

SCIP_DECL_EXPRESTIMATE()

static SCIP_DECL_EXPRESTIMATE ( estimateEntropy  )

static

expression estimator callback

Definition at line 412 of file expr_entropy.c.

References EXPRHDLR_NAME, FALSE, NULL, REALABS, SCIP_OKAY, SCIP_Real, SCIPepsilon(), SCIPexprGetHdlr(), SCIPexprhdlrGetName(), SCIPisEQ(), SCIPisInfinity(), SCIPisPositive(), SCIPisZero(), and TRUE.

SCIP_DECL_EXPRINITESTIMATES()

static SCIP_DECL_EXPRINITESTIMATES ( initestimatesEntropy  )

static

initial estimates callback

Definition at line 486 of file expr_entropy.c.

References EXPRHDLR_NAME, FALSE, MAX, NULL, SCIP_Bool, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIPepsilon(), SCIPexprGetHdlr(), SCIPexprGetNChildren(), SCIPexprhdlrGetName(), SCIPisEQ(), SCIPisGE(), SCIPisInfinity(), SCIPisLE(), and TRUE.

SCIP_DECL_EXPRREVERSEPROP()

static SCIP_DECL_EXPRREVERSEPROP ( reversepropEntropy  )

static

expression reverse propagation callback

Definition at line 551 of file expr_entropy.c.

References SCIP_Interval::inf, NULL, reverseProp(), SCIP_CALL, SCIP_INTERVAL_INFINITY, SCIP_OKAY, SCIPexprGetNChildren(), and SCIPintervalIsEmpty().

SCIP_DECL_EXPRHASH()

static SCIP_DECL_EXPRHASH ( hashEntropy  )

static

entropy hash callback

Definition at line 572 of file expr_entropy.c.

References EXPRHDLR_HASHKEY, NULL, SCIP_OKAY, and SCIPexprGetNChildren().

SCIP_DECL_EXPRCURVATURE()

static SCIP_DECL_EXPRCURVATURE ( curvatureEntropy  )

static

expression curvature detection callback

Definition at line 587 of file expr_entropy.c.

References FALSE, NULL, SCIP_EXPRCURV_CONCAVE, SCIP_OKAY, SCIPexprGetNChildren(), and TRUE.

SCIP_DECL_EXPRMONOTONICITY()

static SCIP_DECL_EXPRMONOTONICITY ( monotonicityEntropy  )

static

expression monotonicity detection callback

Definition at line 609 of file expr_entropy.c.

References SCIP_Interval::inf, NULL, SCIP_CALL, SCIP_MONOTONE_DEC, SCIP_MONOTONE_INC, SCIP_MONOTONE_UNKNOWN, SCIP_OKAY, SCIP_Real, SCIPevalExprActivity(), SCIPexprGetActivity(), SCIPexprGetChildren(), and SCIP_Interval::sup.

SCIP_DECL_EXPRINTEGRALITY()

static SCIP_DECL_EXPRINTEGRALITY ( integralityEntropy  )

static

expression integrality detection callback

Definition at line 638 of file expr_entropy.c.

References FALSE, NULL, and SCIP_OKAY.