Rakesearch: Difference between revisions

From BOINC Projects
Jump to navigation Jump to search
Al Piskun (talk | contribs)
template
 
Al Piskun (talk | contribs)
No edit summary
 
(8 intermediate revisions by the same user not shown)
Line 1: Line 1:
<div style="background-color: #D4E2FC; border-top: 1px solid #5F92F2; font-size: bigger; padding-left: 15px; margin: 12px -5px -5px -5px;">'''BOINC project page template'''</div>
{{Infobox software
| name                = RakeSearch
| logo                = Squares.png
| logo caption        = RakeSearch project logo


Insert Rakesearch logo (example image):[[File:{{#setmainimage:Boinc logo 3d.png|109x48px}}|alt=example image|center|frameless]]
| status              = Active
| category            = Mathematics
| compute              = CPU
| dependencies        =


[https://rake.boincfast.ru/rakesearch/ '''''Rakesearch'''''] is a '''''[[wikipedia:Volunteer computing|volunteer distributed computing]]''''' project that uses [https://boinc.berkeley.edu/ '''''BOINC'''''] and needs your help to ...
| developer            = Natalia Nikitina, hoarfrost
| author              = Natalia Nikitina
| sponsor              = Karelian Research Center of the Russian Academy of Sciences
| maintainer          = The searchers team, Karelian Research Center of the Russian Academy of Sciences
| released            = {{Start date and age|2017|09|08}}
| repository          = [https://github.com/sirzooro/RakeSearch GitHub (community-optimized client)]


== Why Rakesearch? ==
| programming language = C++
| operating system    = Windows, Linux


* why this topic/object of study?
| stats as of          = {{Start date and age|2026|05|23}}
| average performance  = 12,351 GigaFLOPS
| active users        = 522
| total users          = 2528
| active hosts        = 1661
| total hosts          = 13104
 
| website              = {{URL|https://rake.boincfast.ru/rakesearch/}}
}}
 
[https://rake.boincfast.ru/rakesearch/ '''''RakeSearch'''''] is a BOINC based '''''[[wikipedia:Volunteer computing|volunteer computing]]''''' project that needs your help to process diagonal Latin squares.
 
== Background: Latin squares and their diagonals ==
 
A '''[[wikipedia:Latin square|Latin square]]''' of order <math>n</math> is an <math>n \times n</math> array filled with <math>n</math> different symbols, each occurring exactly once in every row and exactly once in every column.<ref>{{cite encyclopedia |title=Latin square |encyclopedia=Wikipedia |url=https://en.wikipedia.org/wiki/Latin_square |access-date=2026-05-23}}</ref> Formally, it is a set of <math>n^2</math> triples <math>(r, c, s)</math> such that all ordered pairs <math>(r, c)</math>, <math>(r, s)</math>, and <math>(c, s)</math> are distinct.
 
A '''diagonal Latin square''' (DLS) of order <math>n</math> is a Latin square in which both the main diagonal and the main antidiagonal also contain each of the <math>n</math> symbols exactly once.<ref>{{cite web |title=A274171 |url=https://oeis.org/A274171 |website=OEIS |access-date=2026-05-23}}</ref> This additional constraint makes diagonal Latin squares considerably rarer and more difficult to enumerate than ordinary Latin squares. They are closely related to magic squares and have applications in experimental design and combinatorics.
 
Two Latin squares <math>A</math> and <math>B</math> of the same order <math>n</math> are said to be '''orthogonal''' if, when superimposed, every ordered pair of symbols appears exactly once across the <math>n^2</math> cells. A pair of mutually orthogonal diagonal Latin squares is abbreviated '''ODLS'''. It has been proved that ODLS of order <math>n</math> exist for all <math>n</math> except <math>n \in \{2, 3, 6, 10, 14, 15, 18, 26\}</math>, with the first three being provably impossible.<ref>{{cite journal |title=Orthogonal diagonal latin squares of order 14 |journal=Journal of the Australian Mathematical Society |doi=10.1017/S1446788700011782 |url=https://www.cambridge.org/core/product/51221E11F72A8B0A07E0C95AA18D9192 |access-date=2026-05-23}}</ref>
 
The '''orthogonality graph''' of a set of diagonal Latin squares has one node per DLS and an edge between any two squares that are mutually orthogonal. Characterizing these graphs for squares of increasing order is a central goal of RakeSearch.
 
== Why RakeSearch? ==
 
The total number of diagonal Latin squares grows super-exponentially with order. The number of reduced DLS of order 9 alone runs into the billions, making brute-force enumeration of all objects impractical on any single machine or even on conventional HPC clusters within a reasonable timeframe.<ref name="about">{{cite web |title=About RakeSearch project |url=https://rake.boincfast.ru/rakesearch/about.php |website=RakeSearch |access-date=2026-05-23}}</ref> Volunteer distributed computing provides the only viable path to exhaustively probe the structure of the space for orders 9 and above.
 
Beyond sheer scale, many key quantities — such as the number of transversals, the spectrum of intercalates, and the structure of orthogonality graphs — were either entirely unknown or known only approximately before the project began. Several of these have since been confirmed or newly computed by RakeSearch and submitted to the On-Line Encyclopedia of Integer Sequences (OEIS).<ref name="pubs">{{cite web |title=Publications on RakeSearch project |url=https://rake.boincfast.ru/rakesearch/publications.php |website=RakeSearch |access-date=2026-05-23}}</ref>


== Goal ==
== Goal ==
* summarize the objectives and challenges which the project addresses, before jumping into details
 
Investigate the diagonal Latin squares space. Specifically, the project aims to:
 
* Enumerate and characterize the orthogonality graphs of diagonal Latin squares of orders 9, 10, and beyond.
* Determine exact values for numerical characteristics of DLS such as the number of transversals, diagonal transversals, and intercalates.
* Confirm, extend, or newly establish integer sequences in the OEIS related to DLS.
* Support joint experiments with the related [[Gerasim@home]] project on the BOINC platform.


== Methods ==
== Methods ==
* always including "why BOINC"?
[[File:Sampel Penyelesaian Sudoku.gif|thumb|Penyelesaian Sudoku]]
* insert MediaWiki image or upload[[File:Example of a GUI.png|alt=example mediawiki image|none|thumb|example MediaWiki image]]
<ref name="about"/> The enormous size of the diagonal Latin squares space makes it unfeasible to enumerate all its objects in reasonable time. Sophisticated search methods and the BOINC platform are essential to meet the computational requirements.
* impactful final statement
 
RakeSearch implements an application that picks up separate pairs of mutually orthogonal DLS, which allows reconstruction of full graphs of their orthogonality.
 
The core strategy is a '''rake search''': starting from a single DLS, the application systematically searches for all squares that are row-permutational ODLS partners to it, building up the local neighborhood in the orthogonality graph. A work unit corresponds to one such search rooted at a particular base square. The full set of work units covers the entire space at the current order.
 
For order 9, the complete space comprised approximately 23.3 million work units. As of January 2018, after roughly five months of operation, over 1.2 million units had been processed.<ref>{{cite web |title=RakeSearch project technical update 2018-01-06 |url=https://tsbt.co.uk/forum/viewtopic.php?p=60199&t=8214 |website=The Scottish Boinc Team |access-date=2026-05-23}}</ref>
 
A community-developed optimized application, maintained separately on GitHub, provides substantially faster runtimes on both x86 and x86_64 hardware using SSE2 and SSSE3 instruction sets.<ref>{{cite web |title=RakeSearch (GitHub, sirzooro) |url=https://github.com/sirzooro/RakeSearch |website=GitHub |access-date=2026-05-23}}</ref>
 
=== Active applications ===
 
As of May 2026, the project runs four application streams:<ref>{{cite web |title=RakeSearch server status |url=https://rake.boincfast.ru/rakesearch/server_status.php |website=RakeSearch |access-date=2026-05-23}}</ref>
 
* '''Joint search of ODLS12 with Gerasim project''' — searching for orthogonal pairs of diagonal Latin squares of order 12 in collaboration with the Gerasim@home project.
* '''Joint search of DLS spectra with Gerasim project''' — computing spectra of numerical characteristics in collaboration.
* '''Generalized symmetries in parastrophic slices for DLS of order 10''' — studying structural symmetries in the order-10 space.
* '''Spectra of Latin squares''' — constructing spectra of numerical characteristics (transversals, intercalates, etc.) for Latin squares of higher orders.
 
=== Source code ===
 
* [https://yadi.sk/d/BowN1CH4Lfg0qA Diagonal Latin squares of Rank 9 (R9)]
* [https://yadi.sk/d/adWagBGhPfsPgA Diagonal Latin squares of Rank 10 (R10)]
 
== History ==
 
RakeSearch was launched on '''8 September 2017''', initially as a Linux-only CPU project hosted on the BOINC infrastructure operated by the boincfast.ru community.<ref>{{cite web |title=RakeSearch |url=https://hardforum.com/threads/rakesearch.1944163/ |website=[H]ard|Forum |access-date=2026-05-23}}</ref> Windows application support was added in the months following launch. The project was presented at the BOINC:FAST 2017 conference, where two presentations on ODLS generated by row permutation were given.<ref name="pubs"/>
 
In its first phase, the project focused on exhaustive characterization of the DLS space of order 9 (R9). The R9 search was formally completed and archived, with all results, workunits, graphs, and source code published.<ref name="about"/>
 
The project subsequently moved to order 10 (R10), and later to higher-order experiments including searches for spectra of transversals and intercalates for orders up to 25 and beyond. Following a period of inactivity and a hardware failure (loss of both mirror SSD discs), the project was relaunched with new hardware and updated BOINC server software.<ref>{{cite web |title=RakeSearch — new experiment |url=https://tsbt.co.uk/forum/viewtopic.php?t=35031 |website=The Scottish Boinc Team |access-date=2026-05-23}}</ref>
 
The project is a collaboration with [[Gerasim@home]], also operated by Eduard Vatutin and colleagues, which handles related enumeration tasks on the BOINC platform at gerasim.boinc.ru.


== Project team / Sponsors ==
== Project team / Sponsors ==
The project is developed and maintained by '''[http://mathem.krc.karelia.ru/member.php?id=632&plang=e Natalia Nikitina]''' (Institute of Applied Mathematical Research, Karelian Research Center of the Russian Academy of Sciences, Petrozavodsk) and the volunteer known as '''hoarfrost''', with the broader '''The searchers team''' at the [[Wikipedia:Karelian Research Center of the Russian Academy of Sciences|Karelian Research Center of the Russian Academy of Sciences]].<ref name="rsd2019">{{cite book |last1=Manzyuk |first1=Maxim |last2=Nikitina |first2=Natalia |last3=Vatutin |first3=Eduard |chapter=Start-up and the Results of the Volunteer Computing Project RakeSearch |title=Supercomputing. RuSCDays 2019 |series=Communications in Computer and Information Science |volume=1129 |pages=725–734 |year=2019 |publisher=Springer |doi=10.1007/978-3-030-36592-9_59}}</ref>
Scientific co-authors on published results include Eduard Vatutin (Southwest State University, Kursk), Maxim Manzyuk (Internet portal BOINC.RU, Moscow), Oleg Zaikin, Stepan Kochemazov, Alexey Belyshev, Alexander Albertian, Ilya Kurochkin, Alexander Kripachev, Alexey Pykhtin, Ilya Chernov, and Evgeny Ivashko, among others.<ref name="pubs"/>
The project received financial support from the Russian Foundation for Basic Research under grant numbers 18-07-00628_a, 18-37-00094_mol_a, and 17-07-00317_a.<ref name="rsd2019"/>


== Scientific results ==
== Scientific results ==
* external links
[[File:BOINC logo.png|right|frameless|150x150px|The BOINC platform, on which RakeSearch runs.]]
RakeSearch has produced a range of verified mathematical results since its launch. Completed search archives and the discovered orthogonality graphs are published on the [https://rake.boincfast.ru/rakesearch/graphs.html project graphs page].<ref name="about"/>
 
=== OEIS sequences confirmed, updated, or newly discovered ===
 
The following sequences in the [[wikipedia:On-Line Encyclopedia of Integer Sequences|On-Line Encyclopedia of Integer Sequences]] (OEIS) have been confirmed, updated (values corrected), rechecked (independently re-derived), or newly established based on RakeSearch experiments:<ref name="pubs"/>
 
{| class="wikitable"
! Sequence !! Description !! Status
|-
| [https://oeis.org/A287644 A287644] || Maximal number of transversals in a diagonal Latin square of order <math>n</math>|| Confirmed
|-
| [https://oeis.org/A287645 A287645] || Minimal number of transversals in a diagonal Latin square of order <math>n</math>|| Confirmed
|-
| [https://oeis.org/A287647 A287647] || Minimal number of diagonal transversals in a diagonal Latin square of order <math>n</math>|| Confirmed
|-
| [https://oeis.org/A287648 A287648] || Maximal number of diagonal transversals in a diagonal Latin square of order <math>n</math>|| Confirmed
|-
| [https://oeis.org/A287651 A287651] || Number of reduced pairs of orthogonal diagonal Latin squares of order <math>n</math>|| Updated
|-
| [https://oeis.org/A287695 A287695] || Maximal number of normalized DLS that can be orthogonal to the same DLS of order <math>n</math>|| Confirmed
|-
| [https://oeis.org/A287764 A287764] || Number of main classes of diagonal Latin squares of order <math>n</math>|| Rechecked
|-
| [https://oeis.org/A307163 A307163] || Minimal number of intercalates in a diagonal Latin square of order <math>n</math>|| Confirmed
|-
| [https://oeis.org/A307164 A307164] || Maximal number of intercalates in a diagonal Latin square of order <math>n</math>|| Confirmed
|-
| [https://oeis.org/A309210 A309210] || Number of main classes of extended self-orthogonal DLS of order <math>n</math>|| Updated
|-
| [https://oeis.org/A329685 A329685] || Number of main classes of self-orthogonal DLS of order <math>n</math>|| Confirmed
|-
| [https://oeis.org/A330391 A330391] || Number of main classes of DLS of order <math>n</math> with at least one orthogonal diagonal mate || Updated
|-
| [https://oeis.org/A333366 A333366] || Number of main classes of doubly self-orthogonal DLS of order <math>n</math>|| Confirmed
|-
| [https://oeis.org/A338250 A338250] || Number of isomorphism classes of pairs of orthogonal DLS of order <math>n</math>|| New
|-
| [https://oeis.org/A339926 A339926] || Number of pairs of orthogonal DLS of order <math>n</math>|| New
|}
 
=== SAT-based search ===
 
RakeSearch has also hosted a SAT-CMS-based (cube-and-conquer) experiment to search for orthogonal diagonal Latin squares of order 10, with found pairs published on the [https://rake.boincfast.ru/rakesearch/sat_cms_results.php project site].<ref name="about"/> This method was described formally in a 2021 paper.<ref>{{cite book |last1=Vatutin |first1=Eduard |last2=Zaikin |first2=Oleg |last3=Manzyuk |first3=Maxim |last4=Nikitina |first4=Natalia |chapter=Searching for Orthogonal Latin Squares via Cells Mapping and BOINC-Based Cube-and-Conquer |title=Supercomputing. RuSCDays 2021 |year=2021 |publisher=Springer |doi=10.1007/978-3-030-92864-3_38}}</ref>


== Scientific publications ==
== Scientific publications ==
Format example:
 
# Durech, J., B. Carry, M. Delbo, M. Kaasalainen and M. Viikinkoski. [https://arxiv.org/abs/1502.04816 Asteroid Models from Multiple Data Sources.] (2015). DOI: 10.48550/ARXIV.1502.04816.
The following is a list of conference papers with results arising from RakeSearch. Source: [https://boinc.berkeley.edu/pubs.php#Rakesearch BOINC Publications list] and the [https://rake.boincfast.ru/rakesearch/publications.php project publications page].
 
=== Conference papers ===
 
* {{cite book |last1=Vatutin |first1=Eduard |last2=Belyshev |first2=Alexey |last3=Nikitina |first3=Natalia |last4=Manzuk |first4=Maxim |last5=Albertian |first5=Alexander |last6=Kurochkin |first6=Ilya |last7=Kripachev |first7=Alexander |last8=Pykhtin |first8=Alexey |chapter=Diagonalization and Canonization of Latin Squares |title=Supercomputing. RuSCDays 2023 |year=2023 |publisher=Springer |doi=10.1007/978-3-031-49435-2_4}}
 
* {{cite book |last1=Vatutin |first1=Eduard |last2=Zaikin |first2=Oleg |last3=Manzyuk |first3=Maxim |last4=Nikitina |first4=Natalia |chapter=Searching for Orthogonal Latin Squares via Cells Mapping and BOINC-Based Cube-and-Conquer |title=Supercomputing. RuSCDays 2021 |year=2021 |publisher=Springer |doi=10.1007/978-3-030-92864-3_38}}
 
* {{cite book |last1=Vatutin |first1=Eduard |last2=Belyshev |first2=Alexey |chapter=Enumerating the Orthogonal Diagonal Latin Squares of Small Order for Different Types of Orthogonality |title=Supercomputing. RuSCDays 2020 |year=2020 |publisher=Springer |doi=10.1007/978-3-030-64616-5_50}}
 
* {{cite book |last1=Ivashko |first1=Evgeny |last2=Nikitina |first2=Natalia |chapter=Replication of "Tail" Computations in a Desktop Grid Project |title=Supercomputing. RuSCDays 2020 |year=2020 |publisher=Springer |doi=10.1007/978-3-030-64616-5_52}}
 
* {{cite conference |last1=Vatutin |first1=Eduard |last2=Zaikin |first2=Oleg |last3=Kochemazov |first3=Stepan |last4=Zhuravlev |first4=Andrey |chapter=On polynomial reduction of problems based on diagonal Latin squares to the exact cover problem |title=Second International Conference Information, Computation, and Control Systems for Distributed Environments 2020 (ICCS-DE 2020) |year=2020 |url=https://ceur-ws.org/Vol-2638/paper26.pdf}}
 
* {{cite book |last1=Manzyuk |first1=Maxim |last2=Nikitina |first2=Natalia |last3=Vatutin |first3=Eduard |chapter=Start-up and the Results of the Volunteer Computing Project RakeSearch |title=Supercomputing. RuSCDays 2019 |series=Communications in Computer and Information Science |volume=1129 |pages=725–734 |year=2019 |publisher=Springer |doi=10.1007/978-3-030-36592-9_59}}
 
* {{cite book |last1=Chernov |first1=Ilya |chapter=On Sharing Workload in Desktop Grids |title=Supercomputing. RuSCDays 2018 |year=2018 |publisher=Springer |doi=10.1007/978-3-030-05807-4_51}} (uses statistics from RakeSearch)
 
=== Papers in press / recent ===
 
* Vatutin, E. et al. ''Simulation of Volunteer Computing in a Desktop Grid System'', Russian Supercomputing Days 2024. DOI: [https://link.springer.com/chapter/10.1007/978-3-031-78462-0_9 10.1007/978-3-031-78462-0_9] (uses statistics from RakeSearch)
 
* Vatutin, E. et al. ''Construction of heuristic approximations of the spectra of the number of intercalates in diagonal Latin squares of orders 10-25'', National Supercomputing Forum 2024 (NSCF-2024). (in press)
 
* Vatutin, E. et al. ''Construction of the spectra of intercalates number in the Latin squares of orders 18-28 using volunteer distributed computing in the BOINC platform'', Recognition 2025. (in press)
 
* Vatutin, E. et al. ''Using spectra of numerical characteristics of Latin squares during getting spectra of diagonal Latin squares'', Science and Education in the Development of Industrial, Social and Economic Spheres of Russian Regions. Murom, 2025. (in press)
 
=== Presentations ===
 
* [https://rake.boincfast.ru/rakesearch/files/evatutin_ls_sp_grid25.pdf Modification of the load balancing method in a desktop grid for solving problems of constructing Latin square spectra], GRID'2025, 2025.
* [https://rake.boincfast.ru/rakesearch/files/rsc-2019_dskgrid_4_Nikitina.pdf Start-up and the results of the volunteer computing project RakeSearch], Russian Supercomputing Days 2019.
* [https://rake.boincfast.ru/rakesearch/files/slides_BOINCWorkshop2018.pdf Petrozavodsk Desktop Grid Community], BOINC Workshop 2018.
* [https://rake.boincfast.ru/rakesearch/files/slides_Recognition_2018.pdf Characterizing orthogonal diagonal Latin squares of order 9 discovered in a distributed computing project], Recognition-2018.
* [https://rake.boincfast.ru/rakesearch/files/RakeSearch_en.pdf ODLS generated by rows permutation], BOINC:FAST 2017.
 
== Server status ==
 
As of 23 May 2026, the project server reports the following statistics:<ref>{{cite web |title=RakeSearch server status |url=https://rake.boincfast.ru/rakesearch/server_status.php |website=RakeSearch |date=2026-05-23 |access-date=2026-05-23}}</ref>
 
{| class="wikitable"
! Metric !! Value
|-
| Current GigaFLOPS || 12,351.63
|-
| Users with credit || 2,528
|-
| Users with recent credit || 522
|-
| Computers with credit || 13,104
|-
| Computers with recent credit || 1,661
|-
| Tasks ready to send || 15,463
|-
| Tasks in progress || 16,012
|}
 
Research progress on current enumeration targets (percentage of space explored):
 
{| class="wikitable"
! Target !! Progress (%)
|-
| E0043 || 6.315
|-
| E1056 || 1.391
|-
| E1067 || 5.670
|-
| E1076 || 0.065
|-
| E1079 || 2.037
|}
 
== Contributing ==
 
To participate, [https://boinc.berkeley.edu/download.php download and install the BOINC client] and attach to the project at <code>https://rake.boincfast.ru/rakesearch/</code>. The project currently supports Windows (x86_64) and Linux platforms, with CPU-only computation. Account creation requires either registration through the project website (an invitation code from Crunch_4Science is needed for web registration) or direct attachment via the BOINC Manager.
 
== See also ==
 
* [[wikipedia:Latin square|Latin square]]
* [[wikipedia:Orthogonal Latin squares|Orthogonal Latin squares]]
* [[wikipedia:BOINC|BOINC]]
* [[wikipedia:Volunteer computing|Volunteer computing]]
* [[Gerasim@home]]
 
== References ==
 
{{Reflist}}
 
== External links ==
 
* [https://rake.boincfast.ru/rakesearch/ RakeSearch official website]
* [https://rake.boincfast.ru/rakesearch/publications.php Project publications page]
* [https://rake.boincfast.ru/rakesearch/graphs.html Discovered orthogonality graphs]
* [https://github.com/sirzooro/RakeSearch Community-optimized client on GitHub]
* [https://boinc.berkeley.edu/pubs.php#Rakesearch RakeSearch at BOINC Publications list]
* [http://evatutin.narod.ru/indexeng.html Personal page of Eduard I. Vatutin]
 
[[Category:Volunteer computing projects]]
[[Category:BOINC projects]]
[[Category:Mathematics projects]]
[[Category:Combinatorics]]

Latest revision as of 13:25, 28 May 2026



RakeSearch
Project
StatusActive
CategoryMathematics
ComputeCPU
Development
DeveloperNatalia Nikitina, hoarfrost
AuthorNatalia Nikitina
SponsorKarelian Research Center of the Russian Academy of Sciences
MaintainerThe searchers team, Karelian Research Center of the Russian Academy of Sciences
Initial releaseSeptember 8, 2017  (9 years ago)
RepositoryGitHub (community-optimized client)
Software
Written inC++
Operating systemWindows, Linux
BOINC statistics
Stats as ofMay 23, 2026  (0 years ago)
Performance12,351 GigaFLOPS
Active users522
Total users2,528
Active hosts1,661
Total hosts13,104
Metadata
Websitehttps://rake.boincfast.ru/rakesearch/

RakeSearch is a BOINC based volunteer computing project that needs your help to process diagonal Latin squares.

Background: Latin squares and their diagonals

A Latin square of order <math>n</math> is an <math>n \times n</math> array filled with <math>n</math> different symbols, each occurring exactly once in every row and exactly once in every column.[1] Formally, it is a set of <math>n^2</math> triples <math>(r, c, s)</math> such that all ordered pairs <math>(r, c)</math>, <math>(r, s)</math>, and <math>(c, s)</math> are distinct.

A diagonal Latin square (DLS) of order <math>n</math> is a Latin square in which both the main diagonal and the main antidiagonal also contain each of the <math>n</math> symbols exactly once.[2] This additional constraint makes diagonal Latin squares considerably rarer and more difficult to enumerate than ordinary Latin squares. They are closely related to magic squares and have applications in experimental design and combinatorics.

Two Latin squares <math>A</math> and <math>B</math> of the same order <math>n</math> are said to be orthogonal if, when superimposed, every ordered pair of symbols appears exactly once across the <math>n^2</math> cells. A pair of mutually orthogonal diagonal Latin squares is abbreviated ODLS. It has been proved that ODLS of order <math>n</math> exist for all <math>n</math> except <math>n \in \{2, 3, 6, 10, 14, 15, 18, 26\}</math>, with the first three being provably impossible.[3]

The orthogonality graph of a set of diagonal Latin squares has one node per DLS and an edge between any two squares that are mutually orthogonal. Characterizing these graphs for squares of increasing order is a central goal of RakeSearch.

Why RakeSearch?

The total number of diagonal Latin squares grows super-exponentially with order. The number of reduced DLS of order 9 alone runs into the billions, making brute-force enumeration of all objects impractical on any single machine or even on conventional HPC clusters within a reasonable timeframe.[4] Volunteer distributed computing provides the only viable path to exhaustively probe the structure of the space for orders 9 and above.

Beyond sheer scale, many key quantities — such as the number of transversals, the spectrum of intercalates, and the structure of orthogonality graphs — were either entirely unknown or known only approximately before the project began. Several of these have since been confirmed or newly computed by RakeSearch and submitted to the On-Line Encyclopedia of Integer Sequences (OEIS).[5]

Goal

Investigate the diagonal Latin squares space. Specifically, the project aims to:

  • Enumerate and characterize the orthogonality graphs of diagonal Latin squares of orders 9, 10, and beyond.
  • Determine exact values for numerical characteristics of DLS such as the number of transversals, diagonal transversals, and intercalates.
  • Confirm, extend, or newly establish integer sequences in the OEIS related to DLS.
  • Support joint experiments with the related Gerasim@home project on the BOINC platform.

Methods

Penyelesaian Sudoku

[4] The enormous size of the diagonal Latin squares space makes it unfeasible to enumerate all its objects in reasonable time. Sophisticated search methods and the BOINC platform are essential to meet the computational requirements.

RakeSearch implements an application that picks up separate pairs of mutually orthogonal DLS, which allows reconstruction of full graphs of their orthogonality.

The core strategy is a rake search: starting from a single DLS, the application systematically searches for all squares that are row-permutational ODLS partners to it, building up the local neighborhood in the orthogonality graph. A work unit corresponds to one such search rooted at a particular base square. The full set of work units covers the entire space at the current order.

For order 9, the complete space comprised approximately 23.3 million work units. As of January 2018, after roughly five months of operation, over 1.2 million units had been processed.[6]

A community-developed optimized application, maintained separately on GitHub, provides substantially faster runtimes on both x86 and x86_64 hardware using SSE2 and SSSE3 instruction sets.[7]

Active applications

As of May 2026, the project runs four application streams:[8]

  • Joint search of ODLS12 with Gerasim project — searching for orthogonal pairs of diagonal Latin squares of order 12 in collaboration with the Gerasim@home project.
  • Joint search of DLS spectra with Gerasim project — computing spectra of numerical characteristics in collaboration.
  • Generalized symmetries in parastrophic slices for DLS of order 10 — studying structural symmetries in the order-10 space.
  • Spectra of Latin squares — constructing spectra of numerical characteristics (transversals, intercalates, etc.) for Latin squares of higher orders.

Source code

History

RakeSearch was launched on 8 September 2017, initially as a Linux-only CPU project hosted on the BOINC infrastructure operated by the boincfast.ru community.[9] Windows application support was added in the months following launch. The project was presented at the BOINC:FAST 2017 conference, where two presentations on ODLS generated by row permutation were given.[5]

In its first phase, the project focused on exhaustive characterization of the DLS space of order 9 (R9). The R9 search was formally completed and archived, with all results, workunits, graphs, and source code published.[4]

The project subsequently moved to order 10 (R10), and later to higher-order experiments including searches for spectra of transversals and intercalates for orders up to 25 and beyond. Following a period of inactivity and a hardware failure (loss of both mirror SSD discs), the project was relaunched with new hardware and updated BOINC server software.[10]

The project is a collaboration with Gerasim@home, also operated by Eduard Vatutin and colleagues, which handles related enumeration tasks on the BOINC platform at gerasim.boinc.ru.

Project team / Sponsors

The project is developed and maintained by Natalia Nikitina (Institute of Applied Mathematical Research, Karelian Research Center of the Russian Academy of Sciences, Petrozavodsk) and the volunteer known as hoarfrost, with the broader The searchers team at the Karelian Research Center of the Russian Academy of Sciences.[11]

Scientific co-authors on published results include Eduard Vatutin (Southwest State University, Kursk), Maxim Manzyuk (Internet portal BOINC.RU, Moscow), Oleg Zaikin, Stepan Kochemazov, Alexey Belyshev, Alexander Albertian, Ilya Kurochkin, Alexander Kripachev, Alexey Pykhtin, Ilya Chernov, and Evgeny Ivashko, among others.[5]

The project received financial support from the Russian Foundation for Basic Research under grant numbers 18-07-00628_a, 18-37-00094_mol_a, and 17-07-00317_a.[11]

Scientific results

The BOINC platform, on which RakeSearch runs.
The BOINC platform, on which RakeSearch runs.

RakeSearch has produced a range of verified mathematical results since its launch. Completed search archives and the discovered orthogonality graphs are published on the project graphs page.[4]

OEIS sequences confirmed, updated, or newly discovered

The following sequences in the On-Line Encyclopedia of Integer Sequences (OEIS) have been confirmed, updated (values corrected), rechecked (independently re-derived), or newly established based on RakeSearch experiments:[5]

Sequence Description Status
A287644 Maximal number of transversals in a diagonal Latin square of order <math>n</math> Confirmed
A287645 Minimal number of transversals in a diagonal Latin square of order <math>n</math> Confirmed
A287647 Minimal number of diagonal transversals in a diagonal Latin square of order <math>n</math> Confirmed
A287648 Maximal number of diagonal transversals in a diagonal Latin square of order <math>n</math> Confirmed
A287651 Number of reduced pairs of orthogonal diagonal Latin squares of order <math>n</math> Updated
A287695 Maximal number of normalized DLS that can be orthogonal to the same DLS of order <math>n</math> Confirmed
A287764 Number of main classes of diagonal Latin squares of order <math>n</math> Rechecked
A307163 Minimal number of intercalates in a diagonal Latin square of order <math>n</math> Confirmed
A307164 Maximal number of intercalates in a diagonal Latin square of order <math>n</math> Confirmed
A309210 Number of main classes of extended self-orthogonal DLS of order <math>n</math> Updated
A329685 Number of main classes of self-orthogonal DLS of order <math>n</math> Confirmed
A330391 Number of main classes of DLS of order <math>n</math> with at least one orthogonal diagonal mate Updated
A333366 Number of main classes of doubly self-orthogonal DLS of order <math>n</math> Confirmed
A338250 Number of isomorphism classes of pairs of orthogonal DLS of order <math>n</math> New
A339926 Number of pairs of orthogonal DLS of order <math>n</math> New

SAT-based search

RakeSearch has also hosted a SAT-CMS-based (cube-and-conquer) experiment to search for orthogonal diagonal Latin squares of order 10, with found pairs published on the project site.[4] This method was described formally in a 2021 paper.[12]

Scientific publications

The following is a list of conference papers with results arising from RakeSearch. Source: BOINC Publications list and the project publications page.

Conference papers

  • "Diagonalization and Canonization of Latin Squares". In:(2023}).Supercomputing. RuSCDays 2023. Springer. DOI: 10.1007/978-3-031-49435-2_4.
  • "Searching for Orthogonal Latin Squares via Cells Mapping and BOINC-Based Cube-and-Conquer". In:(2021}).Supercomputing. RuSCDays 2021. Springer. DOI: 10.1007/978-3-030-92864-3_38.
  • "Enumerating the Orthogonal Diagonal Latin Squares of Small Order for Different Types of Orthogonality". In:(2020}).Supercomputing. RuSCDays 2020. Springer. DOI: 10.1007/978-3-030-64616-5_50.
  • "Replication of "Tail" Computations in a Desktop Grid Project". In:(2020}).Supercomputing. RuSCDays 2020. Springer. DOI: 10.1007/978-3-030-64616-5_52.
  • Vatutin, Eduard.(2020})."Second International Conference Information, Computation, and Control Systems for Distributed Environments 2020 (ICCS-DE 2020)".link.


  • "Start-up and the Results of the Volunteer Computing Project RakeSearch". In:(2019}).Supercomputing. RuSCDays 2019. Springer. pp. 725–734. DOI: 10.1007/978-3-030-36592-9_59.(Communications in Computer and Information Science, vol. 1129).
  • "On Sharing Workload in Desktop Grids". In:(2018}).Supercomputing. RuSCDays 2018. Springer. DOI: 10.1007/978-3-030-05807-4_51. (uses statistics from RakeSearch)

Papers in press / recent

  • Vatutin, E. et al. Simulation of Volunteer Computing in a Desktop Grid System, Russian Supercomputing Days 2024. DOI: 10.1007/978-3-031-78462-0_9 (uses statistics from RakeSearch)
  • Vatutin, E. et al. Construction of heuristic approximations of the spectra of the number of intercalates in diagonal Latin squares of orders 10-25, National Supercomputing Forum 2024 (NSCF-2024). (in press)
  • Vatutin, E. et al. Construction of the spectra of intercalates number in the Latin squares of orders 18-28 using volunteer distributed computing in the BOINC platform, Recognition 2025. (in press)
  • Vatutin, E. et al. Using spectra of numerical characteristics of Latin squares during getting spectra of diagonal Latin squares, Science and Education in the Development of Industrial, Social and Economic Spheres of Russian Regions. Murom, 2025. (in press)

Presentations

Server status

As of 23 May 2026, the project server reports the following statistics:[13]

Metric Value
Current GigaFLOPS 12,351.63
Users with credit 2,528
Users with recent credit 522
Computers with credit 13,104
Computers with recent credit 1,661
Tasks ready to send 15,463
Tasks in progress 16,012

Research progress on current enumeration targets (percentage of space explored):

Target Progress (%)
E0043 6.315
E1056 1.391
E1067 5.670
E1076 0.065
E1079 2.037

Contributing

To participate, download and install the BOINC client and attach to the project at https://rake.boincfast.ru/rakesearch/. The project currently supports Windows (x86_64) and Linux platforms, with CPU-only computation. Account creation requires either registration through the project website (an invitation code from Crunch_4Science is needed for web registration) or direct attachment via the BOINC Manager.

See also

References

  1. Latin square. Wikipedia. Retrieved 2026-05-23}}.
  2. A274171. OEIS. Retrieved 2026-05-23}.
  3. Orthogonal diagonal latin squares of order 14. Journal of the Australian Mathematical Society. DOI: 10.1017/S1446788700011782. Retrieved 2026-05-23}.
  4. 4.0 4.1 4.2 4.3 4.4 About RakeSearch project. RakeSearch. Retrieved 2026-05-23}.
  5. 5.0 5.1 5.2 5.3 Publications on RakeSearch project. RakeSearch. Retrieved 2026-05-23}.
  6. RakeSearch project technical update 2018-01-06. The Scottish Boinc Team. Retrieved 2026-05-23}.
  7. RakeSearch (GitHub, sirzooro). GitHub. Retrieved 2026-05-23}.
  8. RakeSearch server status. RakeSearch. Retrieved 2026-05-23}.
  9. RakeSearch. [H]ard. Retrieved 2026-05-23}.
  10. RakeSearch — new experiment. The Scottish Boinc Team. Retrieved 2026-05-23}.
  11. 11.0 11.1 "Start-up and the Results of the Volunteer Computing Project RakeSearch". In:(2019}).Supercomputing. RuSCDays 2019. Springer. pp. 725–734. DOI: 10.1007/978-3-030-36592-9_59.(Communications in Computer and Information Science, vol. 1129).
  12. "Searching for Orthogonal Latin Squares via Cells Mapping and BOINC-Based Cube-and-Conquer". In:(2021}).Supercomputing. RuSCDays 2021. Springer. DOI: 10.1007/978-3-030-92864-3_38.
  13. (2026-05-23}).RakeSearch server status. RakeSearch. Retrieved 2026-05-23}.

External links