From 9d5045641e0a6061fac2197d5a08f17ef4b5fb0d Mon Sep 17 00:00:00 2001 From: David Rajaratnam Date: Tue, 18 Jan 2022 10:22:34 +1100 Subject: [PATCH] Added more move heuristic configuration for only false non-shortest path --- encodings/path/move_choice_open_heur_nf.lp | 12 ++++++++++ encodings/path_lb_mhnf.lp | 28 ++++++++++++++++++++++ 2 files changed, 40 insertions(+) create mode 100644 encodings/path/move_choice_open_heur_nf.lp create mode 100644 encodings/path_lb_mhnf.lp diff --git a/encodings/path/move_choice_open_heur_nf.lp b/encodings/path/move_choice_open_heur_nf.lp new file mode 100644 index 0000000..478a8fa --- /dev/null +++ b/encodings/path/move_choice_open_heur_nf.lp @@ -0,0 +1,12 @@ +% ------------------------------------------------------------------------------ +% Domain heuristics for improving move selection based on precomputed shortest +% path relations. Distinguish between domain and non-domain minpath +% calculations. +% ------------------------------------------------------------------------------ +#include "minpath.lp". + +#heuristic move(P,V,V') : edge(V,V',_), path(P,V''), + not shortest_path(V,V'',_,V'). [1,false] + +% ------------------------------------------------------------------------------ +% ------------------------------------------------------------------------------ diff --git a/encodings/path_lb_mhnf.lp b/encodings/path_lb_mhnf.lp new file mode 100644 index 0000000..bfed001 --- /dev/null +++ b/encodings/path_lb_mhnf.lp @@ -0,0 +1,28 @@ +%!flags! --heuristic=Domain +%!desc! Use lower bounds and move heuristic +% ------------------------------------------------------------------------------ +% The "fast" path encoding with no options. +% ------------------------------------------------------------------------------ + +#include "path/show_basic.lp". + +#include "common/task_assignment.lp". +#include "common/task_sequencing_direct.lp". + +#include "path/task_to_path.lp". + +#include "path/move_choice_open.lp". + +#include "path/move_sequencing.lp". + +#include "path/visit_ordering.lp". + +#include "path/path_encoding.lp". + +#include "path/path_encoding_lb.lp". + +#include "path/move_choice_open_heur_nf.lp". + +% ------------------------------------------------------------------------------ +% ------------------------------------------------------------------------------ +