aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Update benchmarks.mdh48-dfs-improvementsSebastiano Tronto2026-01-1013-51/+53
|
* Update benchmarks, letsgoooo!Sebastiano Tronto2026-01-101-24/+24
|
* Merge branch 'h48-dfs-improvements' of tronto.net:nissy-core into ↵Sebastiano Tronto2026-01-091-6/+7
|\ | | | | | | h48-dfs-improvements
| * Avoid duplicate lookups for tasksSebastiano Tronto2026-01-091-6/+7
| |
* | Merge branch 'h48-dfs-improvements' of tronto.net:nissy-core into ↵Sebastiano Tronto2026-01-091-1/+23
|\| | | | | | | h48-dfs-improvements
| * Probably fix performance for short solutions, big tablesSebastiano Tronto2026-01-091-1/+23
| |
* | Merge branch 'h48-dfs-improvements' of tronto.net:nissy-core into ↵Sebastiano Tronto2026-01-091-9/+7
|\| | | | | | | h48-dfs-improvements
| * Improve visited nodes countSebastiano Tronto2026-01-091-4/+4
| |
| * Small cleanupSebastiano Tronto2026-01-081-5/+3
| |
* | Update benchmark results, but not table yetSebastiano Tronto2026-01-091-24/+24
|/
* Add back simple check, almost irrelevantSebastiano Tronto2026-01-081-0/+4
|
* Skip pipeline if target == 0Sebastiano Tronto2026-01-081-14/+26
|
* unswitchSebastiano Tronto2026-01-081-40/+62
|
* Update docSebastiano Tronto2025-12-281-0/+14
|
* PrefetchSebastiano Tronto2025-12-283-2/+21
|
* First update to docsSebastiano Tronto2025-12-281-8/+11
|
* cleanupSebastiano Tronto2025-12-281-21/+15
|
* Fix bug in appending solutionsSebastiano Tronto2025-12-281-1/+1
|
* H48 prune pipelineSebastiano Tronto2025-12-281-348/+170
|
* Use pval from cocsepdata, but there is no improvementSebastiano Tronto2025-12-241-11/+17
|
* First small improvementsSebastiano Tronto2025-12-241-10/+235
|
* Added cornersx solverSebastiano Tronto2025-12-239-4/+137
|
* Remove file checked in by accidentSebastiano Tronto2025-12-231-153/+0
|
* Added tests for copy_co, renamed some testsSebastiano Tronto2025-12-2243-0/+47
|
* Update benchmarks.md and plotsSebastiano Tronto2025-12-1914-48/+201
|
* Merge branch 'h48-corner-estimate'Sebastiano Tronto2025-12-192-26/+31
|\
| * Minor improvementSebastiano Tronto2025-12-192-26/+31
| | | | | | | | | | | | | | | | | | 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.
* | Merge branch 'h48-corner-estimate'Sebastiano Tronto2025-12-1913-2/+144
|\|
| * Add coordinate solvers for cornersh48-corner-estimateSebastiano Tronto2025-12-1913-2/+144
| |
* | Fix typo in benchmarksSebastiano Tronto2025-12-192-79/+79
|/
* Improve performance of H48 by 10-30% using interleaved fallback tables.Sebastiano Tronto2025-12-170-0/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | (See the last 12 commits or so) H48 now uses interleaved fallback tables, similarly to nxopt / vcube. This allowed us to simplify the code (we don't use k != 2 anymore for H48) and gives some nice performance improvement, although repeated measurements show inconsistent results. The actual speed up depends on the table, and it is more pronounced on larger versions of the solver. The nasty part about using interleaved tables is that they are the most efficient when they are aligned in memory to 512 bits, but the core library defers memory management to the implementor, so there is no way to ensure this. For example, any application that wants to save the tables to a file and then re-load them on a subsequent run (such as our shell and tools) should make sure to load the data in a 512-bit aligned memory buffer. The best we can do on the library side having our main lookup table be 512-bit alinged within the whole solver data (which includes e.g. cocsepdata and a preamble). I have also moved some conditionals around in the various checks in the search dfs hoping to improve the performance further, but the results have been barely noticeable. The benchmarks have been updated. Moreover, there is now a way to re-run them with a single script (see the updates in the benchmarks folder for details). Further attempts at optimizing the code via known techniques (such as prefetching) have failed, but I'll come back to this.
* Clarified that results are in a <details>intertwined-fallback-tableSebastiano Tronto2025-12-171-1/+1
|
* Fix alignmentSebastiano Tronto2025-12-176-7/+53
|
* Improve pruning value fetching and re-do benchmarksSebastiano Tronto2025-12-1716-92/+110
|
* Cleanup mdSebastiano Tronto2025-12-172-19/+21
|
* Remove TODO section in docSebastiano Tronto2025-12-171-17/+0
|
* Update benchmarksSebastiano Tronto2025-12-1721-196/+450
|
* CleanupSebastiano Tronto2025-12-174-8/+8
|
* Move some checks around, small improvementSebastiano Tronto2025-12-171-11/+9
|
* Swap bit pairs in pval_minSebastiano Tronto2025-12-161-5/+4
|
* Update commentsSebastiano Tronto2025-12-142-5/+7
|
* Cleanup, update documentation, fix examplesSebastiano Tronto2025-12-1413-334/+231
|
* Bye bye h0k4Sebastiano Tronto2025-12-145-310/+27
|
* Intertwined table seems to workSebastiano Tronto2025-12-149-34/+178
|
* Updated h48 doc with recent improvementsSebastiano Tronto2025-11-251-5/+22
|
* Merge branch 'master' of tronto.net:nissy-coreSebastiano Tronto2025-11-2524-160/+309
|\
| * Fix duplicate solutions, overflow in maxsols and improve symmetry reduction ↵Sebastiano Tronto2025-11-2424-160/+309
| | | | | | | | | | | | | | | | | | | | | | | | 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.
| * Recovered comment that appeared only in removed fileSebastiano Tronto2025-09-251-1/+6
| |
* | Recovered comment that appeared only in removed fileSebastiano Tronto2025-11-231-1/+6
|/
* Updates to container runner and removed simd from wasm buildSebastiano Tronto2025-08-152-23/+42
|

Generated with cgit - Back to sebastiano.tronto.net