ZDD : ZDD演算子・メソッド一覧 : minweight : 重みの最小値

3.38 minweight : 重みの最小値

書式

$obj$ .minweight $\rightarrow$ $zdd$

説明

$obj$ に含まれる項(定数項も含む)のうち、最小の重みをZDD定数オブジェクト $zdd$ で返す。

例

例1: 基本例

> require 'zdd'
> a=ZDD::itemset("a")
> b=ZDD::itemset("b")
> c=ZDD::itemset("c")
> x=5*a-3*b+c
> x.show
 5 a - 3 b + c
> x.minweight.show
 - 3

# 最大値は定数項も含めて求められる。
> x=5*a-3*b+c-10
> x.show
 5 a - 3 b + c - 10
> x.minweight.show
 - 10

# 最大の重みを持つ項を選択する。
> x=5*a-3*b+5*c-3
> x.show
 5 a - 3 b + 5 c - 3
> x.termsEQ(x.minweight).show
 - 3 b - 3

関連

maxweight : 重みの最大値

totalweight : 重みの合計