aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/h48/solve.h (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Fix integer conversions in code, tests and some toolsc-portabilitySebastiano Tronto2026-04-061-4/+4
|
* Use macro for [static N]Sebastiano Tronto2026-04-041-30/+30
|
* Improve Windows build support.Sebastiano Tronto2026-03-011-6/+6
| | | | | | | - Use multithreading (works with a sufficiently recent version of the Microsoft developer tools / C SDK). - Detect CPU architecture and use AVX2 or NEON when appropriate. - Automatically detect python installation path.
* Improve performance of H48 solver with prefetchingSebastiano Tronto2026-01-121-133/+242
| | | | | | | | | With this commit we re-structure how the node expansion in the H48 solution search works to allow prefetching of pruning values, showing performance improvements in the range of 30-45% on x86, depending on table size and solution length. A small bug fix related to appending solutions is included in this commit.
* Minor improvementSebastiano Tronto2025-12-191-2/+7
| | | | | | | | | Add a trivial check to H48 solver. The benchmarks show, surprisingly, a more noticeable improvement for larger solvers (h10, h11). I was expecting it to be more noticeable for smaller solvers. It is likely that this change is irrelevant to performance and all changes in the benchmark results are just random chance.
* Improve pruning value fetching and re-do benchmarksSebastiano Tronto2025-12-171-20/+16
|
* Move some checks around, small improvementSebastiano Tronto2025-12-171-11/+9
|
* Cleanup, update documentation, fix examplesSebastiano Tronto2025-12-141-12/+8
|
* Bye bye h0k4Sebastiano Tronto2025-12-141-48/+13
|
* Intertwined table seems to workSebastiano Tronto2025-12-141-3/+27
|
* Fix duplicate solutions, overflow in maxsols and improve symmetry reduction ↵Sebastiano Tronto2025-11-241-37/+41
| | | | | | | | | | | | for H48. This commit fixes two bugs: - A bug that caused duplicates solutions for symmetric scrambles. - An overflow in the maxsols parameter for the H48 solver, which caused it to find much fewer solutions than existed. Moreover, the H48 solvers has been improved by reducing by symmetry not only from the starting position, but also up to the first 4 moves.
* Wrapped pthread use in custom APISebastiano Tronto2025-08-111-13/+13
|
* All coordinates unsignedSebastiano Tronto2025-07-291-5/+5
|
* Trick fixSebastiano Tronto2025-06-181-6/+21
|
* Change min depth for H48 tasks heuristic sortSebastiano Tronto2025-06-181-1/+1
|
* Big speedup for H48 solver (heuristic sort of tasks)Sebastiano Tronto2025-06-181-19/+46
|
* More improvements to web solverSebastiano Tronto2025-05-301-8/+8
|
* Removed VLA notation from function parameters.Sebastiano Tronto2025-05-271-6/+6
| | | | | I found out that this gives undefined behavior when then size is 0. Better not to have it at all, it is confusing for other developers anyway.
* Avoid pausing for logging only if poll_status() is null (h48 solver).Sebastiano Tronto2025-05-261-10/+7
| | | | | | | | | | | | This is a small amendment to c6a77f30f64be73a5e55e06336975f2ecfbb2324, which changed the way we log solutions while the h48 solver is running. With the method recently introduced, the main thread checks for solutions to log every 0.5 seconds, resulting in a possible slowdown of at most 0.5s per solve. The solutions are also logged when all worker threads are completed. With this new method, when the poll_status() callback function is NULL, which likely means nissy is not run interactively, we rely only on the final log on completion of the worker threads. This means less frequent logging, but at no performance cost.
* CleanupSebastiano Tronto2025-05-251-1/+2
|
* Quick fix for bugSebastiano Tronto2025-05-251-9/+8
|
* Do all loggin in main threadSebastiano Tronto2025-05-231-57/+79
| | | | | | | | | | | | | | | | | Before this committ, the solver (via the generic solution-appender routines in src/solve/solutions.h) and the H48 data generator did some logging in the worker threads, without using any locks. This was not nice, but in practice it did not cause any problem, because the log messages were rare. However, this turned out to be a problem when building to WASM, because web workers do not have access to the main JS memory, and therefore they cannot call functions from the main JS. This includes not only the callback functions for logging, but also those for polling the status of the solver (run / pause / stop). This commit fixes this at the cost or being somewhat inelegant: the solutions are not logged as they are found, but only every 500ms.
* Refactor solver dispatch and checkdataSebastiano Tronto2025-05-181-0/+34
|
* Added stop / pause / resume solve to APISebastiano Tronto2025-04-291-5/+64
|
* NISSSebastiano Tronto2025-04-251-16/+15
|
* Adjusted solvers, fixed bugSebastiano Tronto2025-04-231-7/+8
|
* Update tests for oriented_cube_tSebastiano Tronto2025-04-221-2/+2
|
* Always use unsigned char * for data buffersSebastiano Tronto2025-04-211-9/+9
| | | | | Before this commit I was inconsistently using one of void *, char * and uint8_t *.
* Improved logging, especially for solveSebastiano Tronto2025-04-191-10/+11
|
* Small rework of optimal vs maxsolsSebastiano Tronto2025-04-171-10/+12
| | | | | | | | | | | | | | I wanted to make the "optimal" and "maxsolutions" options mutually exclusive, but in the end I decided there is value in keeping both (e.g. for specifying a limit to the number of solutions when asking for "all" optimal"). Now optimal cannot be negative anymore, for the same reason of maxsolutions. The interface user (shell, UI) will have to take care of handling this in a way that makes sense for the user. Usually this means setting the maximum number of solutions to UINT_MAX (or a similar very high number) when the user wants "all optimal".
* Log solutions as they are foundSebastiano Tronto2025-04-151-3/+3
|
* simplified allowedmoves logicSebastiano Tronto2025-04-011-5/+16
|
* More safety with pointers using VLA function parametersSebastiano Tronto2025-03-251-9/+9
|
* Big cleanup for appendsolution()Sebastiano Tronto2025-03-241-163/+74
| | | | | | | | | | With this PR the appendsolution routine is extracted from the h48 solver and the new coordinate solver and made generic. This has many advantages: - less repetition (even if the two versions are different enough that *for now* it was not a big deal) - smaller h48/solve.h file, which is already a big beast - easier to test the appendsolution() routine separately
* Some safety with move arrays, small refactor appendcharSebastiano Tronto2025-03-221-29/+19
|
* Working (?) version of coordinate solverSebastiano Tronto2025-03-091-4/+3
|
* More progress on coordinate solverSebastiano Tronto2025-03-071-1/+1
|
* Fixed alignment bugSebastiano Tronto2024-12-161-0/+1
|
* Fix rare bug, but one more bug to goSebastiano Tronto2024-12-151-4/+4
|
* Actually fix the bugSebastiano Tronto2024-12-151-3/+5
|
* Solve bug related to duplicate solutionsSebastiano Tronto2024-12-151-40/+54
|
* Implemented 'optimal' optionSebastiano Tronto2024-12-151-7/+19
|
* Allow choosing number of threads when calling solve()Sebastiano Tronto2024-12-141-7/+10
|
* Merge the "solver-experiments" branch that I have been working on forSebastiano Tronto2024-12-071-164/+446
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | a few weeks. This include mainly three things: 1. Various tweaks for a total performance gain of around 30%. 2. Take into account symmetries and avoid repeated work. This required a re-work of the splitting into tasks before the solve. 3. Add a second fallback table (eoesep). This gives huge performance gains for particular scrambles (e.g. superflip). After merging this commit, remove and re-generate all pruning tables. Squashed commit of the following: commit 60f0705d2d69050e6a30581a2810f686d6f69b80 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Sat Dec 7 16:06:48 2024 +0100 Fix indentation commit cc5d489a251812b6188c0ba264ac6cb2236f1afe Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Sat Dec 7 15:56:19 2024 +0100 Updated documentation commit a3f605dd628546e52564f82b139feb473b0725f3 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Sat Dec 7 14:01:11 2024 +0100 use eoesep table as second fallback commit c75e43c9116c64f97e92b0fe038be8a032925a72 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Fri Dec 6 16:13:23 2024 +0100 First commit for gendata_eoesep commit fea7688ab8bdc5ae0c3480622e2510a3bcd39248 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Dec 3 17:31:00 2024 +0100 Add scramble to tool commit 66866cb71dea4ca8278ecb9e90ff4295771feb42 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Dec 3 17:22:59 2024 +0100 Added tool to check multiple solutions commit ef65611c772c3996bddca8d181da3538e0af1674 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Dec 3 17:16:20 2024 +0100 Write all solutions for symmetric positions commit e3ded26db7d7d4ae7c0e2488151ed14f581f7b8e Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Nov 26 09:14:54 2024 +0100 Added symmetry filter (TODO: print excluded solutions) commit 864c437a9751c58d58562650ca9eba4a9e6ad3eb Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Mon Nov 25 14:51:13 2024 +0100 Improved task split commit b88926d36d7ab0c64c5fe3bb954fd15d41267fba Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Fri Nov 22 19:06:41 2024 +0100 Reworked tasks for multi-threading in view of symmetry filter commit 26fa653f97df8cd601aecb80eaf89f0a00e9ba9f Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Thu Oct 31 15:37:43 2024 +0100 Added transform move commit 19f655ef94d658eaa2fefb5cea3c167a3ec58db6 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Thu Oct 31 09:29:15 2024 +0100 Clarified doc commit 3b0fe1e5ef8b628854e30f0f0067300e2763c954 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Thu Oct 31 08:36:58 2024 +0100 Handle solved cube correctly commit 57705cbc4982e3abe97a36ed64871738d4f721c0 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Thu Oct 31 08:24:30 2024 +0100 Close file commit fc7d462b58bcf3d3a3fbf26c1f3bd04c640a4898 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Oct 29 15:05:48 2024 +0100 Removed stats tool commit 359bf7cb49ef405ee76ed662207d47cb2abcc5a9 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Oct 29 15:01:51 2024 +0100 Updated theory doc commit 39c315af562bc4ce896f41004388a4c34d475d37 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Oct 29 14:51:40 2024 +0100 Remove unused constants commit 57a5d24538aa59a4df9221dad2f99e9f0286bd9d Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Tue Oct 29 10:20:38 2024 +0100 Add tool to solve scrambles from file commit 07e2918c216636891b1fa6adecc9756086a901e9 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Mon Oct 28 17:00:00 2024 +0100 Add make table to tool commit f5e5266c654eb027a5a35c57cc618555246f5e5e Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Mon Oct 28 09:35:49 2024 +0100 Remove old solver, other small things commit a1ec78025b7959dbb845213f7f4e6851ecebc204 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Sun Oct 27 02:00:29 2024 +0200 Improvements commit 8eea23dbe888d923e662e24ae969130e2c67b999 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Sat Oct 26 12:24:19 2024 +0200 Makefile fix commit 3fc3927beacc78971cefeb42da8d71fe6c015fc1 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Fri Oct 25 18:25:09 2024 +0200 More performance gains commit 7b4efa1f9af9722de1ab9ccfc27899825a0d12c4 Author: Sebastiano Tronto <sebastiano@tronto.net> Date: Fri Oct 25 15:53:20 2024 +0200 Alternative solver implementation, small performance gain
* Fixed performance regressionSebastiano Tronto2024-10-181-12/+13
|
* Add node and fallback benchmarkingSebastiano Tronto2024-10-181-5/+20
|
* Removed redundant coordinate computationSebastiano Tronto2024-10-161-6/+10
|
* EOF fixenricotenuti2024-10-151-1/+1
|
* Neon uint8x8_t corners and minor fixesenricotenuti2024-10-151-3/+3
|
* Fallback tablesSebastiano Tronto2024-10-141-11/+40
|

Generated with cgit - Back to sebastiano.tronto.net