Message5850

Author jendrik
Recipients andrew.coles, erez, florian, jendrik, malte, silvia
Date 2016-12-08.14:53:00
Content
Two changes for reducing memory consumption have been made in the pull request so far: 

issue213-v1 uses ints instead of GlobalOperator pointers for storing the parent operator.
issue213-v2 (in addition to changes by v1) uses IntHashSet instead of std::unordered_set for storing the closed-list.

I have run an experiment comparing v1 and v2 for blind search in a 64-bit build:

http://ai.cs.unibas.ch/_tmp_files/seipp/issue213-v2-blind-m64-issue213-v1-issue213-v2-compare.html

Memory consumption is significantly reduced, but runtimes go up.

v2 recovers the loss in total coverage for blind search incurred by switching to 64-bit builds:  

version   coverage
------------------
base-m32:      617
base-m64:      602
  v1-m64:      606 
  v2-m64:      624
History
Date User Action Args
2016-12-08 14:53:00jendriksetmessageid: <1481205180.37.0.780419173636.issue213@unibas.ch>
2016-12-08 14:53:00jendriksetrecipients: + jendrik, malte, erez, andrew.coles, silvia, florian
2016-12-08 14:53:00jendriklinkissue213 messages
2016-12-08 14:53:00jendrikcreate