Hi all,
here is a summary of the major things that are new in the version control
repository:
1. I implemented the so-called “DeBondt” compact states encoding:
http://tech.groups.yahoo.com/group/fc-solve-discuss/message/1115
This allows us to represent positions in always less than 16 8-bit bytes
instead of in an encoding scheme that can often contain more (and used 24
bytes for parity).
This was first prototyped in Perl and later on translated to C. After some bugs
were ironed, it appears to be working nicely and to conserve RAM.
2. I implemented some 64-bit-enabling fixes for some limits in the core
libfreecell-solver code. It used to use only ints (which are often 32-bit on
64-bit platforms), and now it supports larger limits. Some API functions were
added to handle this.
3. The TODO.txt file was heavily cleaned up and many items were removed:
* Add super_method_type.
* Divide the scan type variable into two variables: super-scan
(DFS vs BeFS/BFS/Opt) and sub-scan (random_dfs, soft_dfs, etc.), to
facilitate multiplexing them.
* Inline fc_solve_free_instance()
*
Remove the "ST Name" trace.
It is no longer needed.
4. I converted some identifiers that uses the old terminology "card_num"
instead of "rank" to "rank.
5. Added a convenient way to test if an fcs_card_t was empty or not.
6. Got rid of many warnings in the board_gen/ directory and refactored the code
there a little.
7. There's now a separate branch called
“ spqjea_priority_queue_by_peter_sanders__trial ” where we play with Prof.
Peter Sanders’s KNHeap priority queue from this paper:
http://www.mpi-inf.mpg.de/%7Esanders/papers/spqjea.ps.gz
So far it appears to break backwards compatibility (with the exact expected
output), and, while the number of moves is shorter it performs somewhat
lower, appears to take somewhat more time. This may be caused by the fact that
the priority queue's functions are no longer inlined (because they are written
in C++ and use extern "C" wrappers), but it's hard to tell. Finally, compiling
the files emits many compiler warnings.
------------
Best regards,
Shlomi Fish
--
-----------------------------------------------------------------
Shlomi Fish http://www.shlomifish.org/
My Aphorisms - http://www.shlomifish.org/humour.html
There is an IGLU Cabal, but its only purpose is to deny the existence of an
IGLU Cabal.
— Martha Greenberg
Please reply to list if it's a mailing list post - http://shlom.in/reply .
Received on Wed Jul 18 2012 - 04:49:58 IDT