The cost type used by landmark ff synergy heuristic can be set with lm_cost_type
option of landmark heuristic or transform option of synergy declaration:
lm_ff_syn(lm_rhw(lm_cost_type=normal), admissible=false,
transform=adapt_costs(normal))
While for admissible=true Fast Downward uses the transform option and ignores
the lm_cost_type option, for admissible=false both options are considered.
Following example shows the different results of for different options:
openstacks-opt08-strips/p01.pddl
--heuristic "hlm,hff=lm_ff_syn(lm_rhw(lm_cost_type=cost_type), admissible=false,
transform=adapt_costs(cost_type))"
--search "lazy_greedy([hff,hlm],preferred=[hff,hlm])"
lm_cost_type=cost_type transform=adapt(cost_type) Expansions
normal normal 536
normal one 41
one normal 28
one one 18
We wish to clarify the use of cost type with landmark ff synergy heuristic. If
the heuristic intends to use an unique cost type, we should provide a single
option for cost type in the long term. Otherwise, we should document how the
existing options interleave within the landmark ff synergy heuristic.
|