Issue468

Title closed nodes are closed again with multi-path dependency option
Priority bug Status resolved
Superseder Nosy List erez, florian, malte
Assigned To Keywords
Optional summary

Created on 2014-09-17.13:46:16 by florian, last changed by florian.

Messages
msg3570 (view) Author: florian Date: 2014-09-27.21:23:06
Merged. I'll send an email to Gabi and Salomé.
msg3566 (view) Author: malte Date: 2014-09-27.19:27:23
Looks good to merge. Once it's merged, please also let Gabi and Salomé know
about this change because they have started looking at the current search code.
msg3565 (view) Author: florian Date: 2014-09-27.19:25:45
Results are in:
http://ai.cs.unibas.ch/_tmp_files/pommeren/issue468-base-issue468-v1-compare.html

There are still some unexplained errors from issue467, but otherwise all failed
assertions are gone. The new version is even slightly faster in most cases
although the effect is tiny.
msg3561 (view) Author: florian Date: 2014-09-27.16:08:19
Yes. Its called astar_lmcount_lm_merged_rhw_hm in lab, but the config is the same.
msg3560 (view) Author: malte Date: 2014-09-27.16:05:45
Is this seq-opt-bjolp?
msg3559 (view) Author: florian Date: 2014-09-27.16:02:57
I pulled and merged the latest changes from default and updated the experiment.

> Florian, can you check which of the configs in our standard experiments use
> mpd=True (including the built-in aliases like bjolp) and set up an experiment
> for this? (Or find someone else to do this?)

Out of the cofigs in lab that we usally use for testing, only one config uses
mpd=true. The same config is used in some portfolios with different time
settings and in a selmax config which is currently disabled. For now, I'll just
run the config individually on all tasks in the optimal suite.
msg3450 (view) Author: florian Date: 2014-09-19.12:23:16
Erez, I do not have write access to your repo so I sent you a pull request
adding the experiment file and tags. I'll start the experiment with this version.
msg3444 (view) Author: florian Date: 2014-09-18.18:05:34
Thanks, I'll set up the experiment.
msg3435 (view) Author: erez Date: 2014-09-17.19:17:11
Ok, fix is at the repository at:

https://bitbucket.org/batman/downward-fixes/branch/issue468

Let me know if you don't have read permissions
msg3434 (view) Author: malte Date: 2014-09-17.19:02:50
Thanks, Erez, that would be great.

Florian, can you check which of the configs in our standard experiments use
mpd=True (including the built-in aliases like bjolp) and set up an experiment
for this? (Or find someone else to do this?)
msg3433 (view) Author: erez Date: 2014-09-17.18:59:52
I figures this out: it's not closed nodes being closed again, it's dead end 
nodes being closed. The diff below seems to fix this.
Should I create a branch with the issue name in downward-fixes?

diff -r a38b046fe1e5 src/search/eager_search.cc
@@ -264,6 +264,8 @@
 
         if (use_multi_path_dependence) {
             assert(last_key_removed.size() == 2);
+            if (node.is_dead_end())
+            		continue;
             int pushed_h = last_key_removed[1];
             assert(node.get_h() >= pushed_h);
             if (node.get_h() > pushed_h) {
msg3430 (view) Author: florian Date: 2014-09-17.17:33:54
Yes, this happens in the default branch, too.
msg3429 (view) Author: erez Date: 2014-09-17.15:59:53
I'd be happy to try and debug this (now that AAAI submissions are done). Is this 
in the main branch of the public repository?
msg3422 (view) Author: malte Date: 2014-09-17.13:49:53
Changed the title because the bug must be in the search code, not in the
heuristics. It's probably harmless, but we need to reconsider our invariants
here. Added a cross-reference from issue207.
msg3419 (view) Author: florian Date: 2014-09-17.13:46:16
The following assertion fails when searching with
"astar(lmcount(lm_rhw()),mpd=true)" on large airport tasks, e.g. p37. this only
happens with mpd=true.

search_space.cc:117: void SearchNode::close(): Assertion `info.status ==
SearchNodeInfo::OPEN' failed.
History
Date User Action Args
2014-09-27 21:23:06floriansetstatus: chatting -> resolved
messages: + msg3570
2014-09-27 19:27:23maltesetmessages: + msg3566
2014-09-27 19:25:45floriansetmessages: + msg3565
2014-09-27 16:08:19floriansetmessages: + msg3561
2014-09-27 16:05:45maltesetmessages: + msg3560
2014-09-27 16:02:57floriansetmessages: + msg3559
2014-09-19 12:23:16floriansetmessages: + msg3450
2014-09-18 18:05:34floriansetmessages: + msg3444
2014-09-17 19:17:11erezsetmessages: + msg3435
2014-09-17 19:02:50maltesetmessages: + msg3434
2014-09-17 18:59:52erezsetmessages: + msg3433
2014-09-17 17:33:54floriansetmessages: + msg3430
2014-09-17 15:59:53erezsetnosy: + erez
messages: + msg3429
2014-09-17 13:49:53maltesetstatus: unread -> chatting
messages: + msg3422
title: Closed nodes are closed again with lmcount -> closed nodes are closed again with multi-path dependency option
2014-09-17 13:46:16floriancreate