De OASIS research group van INRIA maakt bekend de oplossing voor het nKoninginnenprobleem voor n = 25 berekend te hebben, daarbij gebruik makend van een Java grid.
Wij hebben in Nederland maar één Koningin, en als we het Republikeins Genootschap mogen geloven is dat er één teveel. Voor wiskundigen kunnen er echter niet genoeg Koninginnen zijn, op een schaakbord wel te verstaan. Het nKoninginnenprobleem bestaat in het berekenen van het maximale aantal koninginnen (n) dat je kunt plaatsen op een schaakbord met de afmetingen n x n, zonder dat deze elkaar bedreigen (kunnen slaan). (De ene koningin houdt de andere als het ware in toom).Volgens de INRIA research groep zijn er ‘two quadrillion’ oplossingen gevonden, maar dat is dan volgens de enigszins megalomane Engelse 'short scale'. Wij houden het in het Nederlands voorlopig op twee biljard, 2,207,893,435,808,352 = 2 x 10 ^15, iets meer dan twee miljoen maal een miljard met andere woorden. Opmerkelijk is overigens dat de oplossing voor n = 24 maar tien maal kleiner is. Voor de oplossing van het probleem is gebruik gemaakt van een Java Grid library van ProActive. De omgeving was verder nogal heterogeen: GNU/Linux, Windows, diverse JVM's (Java Virtual Machines, Java versies met andere woorden), PII en PIV van 450 MHz tot 3.4 GHz, et cetera. De berekening werd over een periode van zes maanden uitgevoerd in P2P modus gebruikmakende van ongeveer 260 desktops van het INRIA-instituut op momenten dat deze CPU cycli 'over' hadden. INRIA staat voor 'Institut national de Recherche Informatique et Automatique'. Verder is er gebruik gemaakt van een ProActive grid libraray, die het schrijven van programma's verspreid over een Lan, een cluster van workstations of op een grid vereenvoudigt.Verder gegevens:Start datum: 8 oktober 2004Eind datum: 11 juni 2005Duur berekening: 4444h 54m 52s 854 dus 185 dagen 4 uur, 54 minuten 52 seconden en 854 milliseconden.Geaccumuleerde duur van de bereking: 464344h 35m 33s 553 dus 53 jaar 2 dagen 16 huur 35 minuten 33 seconden en 553 milliseconden.Meer inlichtingen hier.Vorig record n = 24 - September 28 2004Oplossingen 227.514.171.973.736Totale CPU tijd = 49271h 29m 57s 622 = 5 jaar, 6 maanden, berekeningsduur 413h 27m 57s 847 = 17 dagen.2 april 2025 Schrijf in voor al weer de twaalfde editie van ons jaarlijkse congres met wederom een ijzersterke sprekers line-up. Op deze editie behandelen wij belangrijke thema’s als Moderne (Native-Cloud) Data Architecturen, Datawarehouse Desi...
3 april 2025 (halve dag)Praktische workshop met Alec Sharp [Halve dag] Deze workshop door Alec Sharp introduceert conceptmodellering vanuit een non-technisch perspectief. Alec geeft tips en richtlijnen voor de analist, en verkent datamodellering op c...
7 t/m 9 april 2025Praktische workshop met internationaal gerenommeerde spreker Alec Sharp over het modelleren met Entity-Relationship vanuit business perspectief. De workshop wordt ondersteund met praktijkvoorbeelden en duidelijke, herbruikbare richt...
10, 11 en 14 april 2025Praktische driedaagse workshop met internationaal gerenommeerde spreker Alec Sharp over herkennen, beschrijven en ontwerpen van business processen. De workshop wordt ondersteund met praktijkvoorbeelden en duidelijke, herbruikba...
20 en 21 mei 2025 Deze workshop behandelt de implementatie van Knowledge Graphs en Large Language Models binnen organisaties en biedt een uitgebreid raamwerk waarin geavanceerde technieken worden gecombineerd met praktijkcases en oefeningen. Het vo...
22 mei 2025 Workshop met BPM-specialist Christian Gijsels over AI-Gedreven Business Analyse met ChatGPT. Kunstmatige Intelligentie, ongetwijfeld een van de meest baanbrekende technologieën tot nu toe, opent nieuwe deuren voor analisten met innovatie...
2 t/m 4 juni 2025 De DAMA DMBoK2 beschrijft 11 disciplines van Data Management, waarbij Data Governance centraal staat. De Certified Data Management Professional (CDMP) certificatie biedt een traject voor het inleidende niveau (Associate) tot en me...
Alleen als In-house beschikbaarWorkshop met BPM-specialist Christian Gijsels over business analyse, modelleren en simuleren met de nieuwste release van Sparx Systems' Enterprise Architect, versie 16.Intensieve cursus waarin de belangrijkste basisfunc...
Deel dit bericht