ZDD : ZDD演算子・メソッド一覧 : maxcover : コスト最大のアイテム集合の表示

3.33 maxcover : コスト最大のアイテム集合の表示

書式

$obj$ .maxcover $\rightarrow$ $zdd$

説明

$obj$ 含まれるアイテム集合の中で、コストが最大となるアイテム集合をZDDオブジェクト $zdd$ として返す。コストの計算に重みは考慮されないことに注意する。

コストの値を得るにはmaxcostを用いる。コストの設定はsymbol関数で行う。

例

例1: 基本例

> require 'zdd'
# アイテムごとにコストを設定する。
> ZDD::symbol("a",1.0)
> ZDD::symbol("b",0.5)
> ZDD::symbol("c",2.0)

> a=ZDD::itemset("a")
> b=ZDD::itemset("b")
> c=ZDD::itemset("c")

> f=a*b + b*c + c*a
> f.show
 a b + a c + b c
# a b のコスト=1.0+0.5=1.5
# b c のコスト=0.5+2.0=2.5
# a c のコスト=1.0+2.0=3.0
> puts f.maxcover
a c
> puts f.maxcost
3.0
> puts f.mincover
a b
> puts f.mincost
1.5

関連

symbol : アイテムの宣言

cost : アイテム集合のコスト合計

maxcost : コスト最大のアイテム集合のコスト

mincover : コスト最小のアイテム集合の選択

mincost : コスト最小のアイテム集合のコスト