Push Fight!

[Soultaker]

Frelg schreef op donderdag 23 juni 2022 @ 00:37:
Even een check: We zitten met de solver nog op versie solve2-v0.1.5 toch?

solve2-v0.1.5 is inderdaad nog prima. Ik heb ondertussen ook een versie v0.1.6 (Windows executables: pushfight-windows-2022-06-23-45fe009.zip) maar het verschil is beperkt; het enige praktische voordeel is dat het verifiëren van input bestanden multithreaded is (dus de wisseling tussen fasen gaat iets sneller).

Je kunt dus zowel v0.1.5 of v0.1.6 gebruiken. De uitvoer is hetzelfde.

[Frelg]

Soultaker schreef op donderdag 23 juni 2022 @ 01:00:
[...]

Je kunt dus zowel v0.1.5 of v0.1.6 gebruiken. De uitvoer is hetzelfde.

Ok, top!

[scorpionv]

Soultaker schreef op donderdag 23 juni 2022 @ 00:05:

Fase 48

Gebruiker	Chunks	Stellingen
Frelg	2776	6.714.155.585
hansR	2584	6.676.135.985
scorpionv	577	1.672.919.625
__R__	705	1.562.077.655

Fase 50

Gebruiker	Chunks	Stellingen
hansR	2758	6.988.907.227
Frelg	2664	6.384.572.901
scorpionv	592	1.668.680.594
__R__	628	1.544.328.002

Ik voel me vereerd, maar in deze fasen moet ik __R__ toch echt voor laten gaan

[Soultaker]

scorpionv schreef op donderdag 23 juni 2022 @ 08:28:
Ik voel me vereerd, maar in deze fasen moet ik __R__ toch echt voor laten gaan

Je gevoel is terecht, want ik sorteer op aantal doorgerekende stellingen (derde kolom), niet aantal chunks (tweede kolom). Volgens die maatstaf sta je nét boven __R__ (al is het verschil relatief klein).

Dit omdat het aantal onbepaalde stellingen per chunk sterk kan verschillen. Sommige chunks zijn daardoor veel sneller doorgerekend dan anderen.

[scorpionv]

Soultaker schreef op donderdag 23 juni 2022 @ 12:42:
[...]

Je gevoel is terecht, want ik sorteer op aantal doorgerekende stellingen (derde kolom), niet aantal chunks (tweede kolom). Volgens die maatstaf sta je nét boven __R__ (al is het verschil relatief klein).

Dit omdat het aantal onbepaalde stellingen per chunk sterk kan verschillen. Sommige chunks zijn daardoor veel sneller doorgerekend dan anderen.

Ahaa, makes sense!

[Soultaker]

Leaderboards voor de afgelopen fasen:

Fase 54

Gebruiker	Chunks	Stellingen
Frelg	2800	6.698.645.055
hansR	2601	6.391.803.405
scorpionv	628	1.818.705.831
__R__	612	1.617.366.157

Fase 56

Gebruiker	Chunks	Stellingen
hansR	4825	11.603.442.948
scorpionv	944	2.634.824.337
__R__	872	2.272.338.361

Fase 58

Gebruiker	Chunks	Stellingen
hansR	5364	12.946.372.718
__R__	860	2.367.866.455
scorpionv	405	1.142.748.091
Soultaker	12	43.954.200

Hartelijk dank aan allen die meegerekend hebben!

We zitten ondertussen op 8,5 miljoen nieuwe stellingen per fase. Dit is laag genoeg dat ik ga proberen om over te schakelen op een andere rekenmethode. Vooralsnog kan ik die niet distribueren (het bestaat uit twee delen, waarvan de eerste moeilijker te distribueren is dan de tweede) dus voorlopig start ik geen nieuwe fase. Je kunt je solver dus uitschakelen als je wil.

Het is mogelijk dat ik jullie hulp verder niet meer nodig heb, maar ik hou een slag om de arm want ik kan niet precies voorspellen hoe goed de nieuwe aanpak werkt (en hoeveel fasen er nog volgen). Het is mogelijk dat ik later weer om hulp vraag. Ik hou jullie op de hoogte!

[Soultaker]

Het lijkt erop dat de laatste fasen redelijk goed door te rekenen zijn (ik zit inmiddels op fase 72 met ~550.000 nieuwe stellingen, zie de tabel in de TS). Het einde is nog niet bereikt maar ik vermoed dat ik daar vroeger of later wel op uit kom.

Het kan zijn dat ik op het eind nog 1 fase op de traditionele manier wil doorrekenen om te verifiëren dat ik geen stellingen gemist heb.

Ik wilde nog een samenvatting van de totale bijdragen van fase 5 t/m 58 delen:

Gebruiker	Chunks	Stellingen
hansR*	98949	261.800.673.316
Frelg	33208	77.939.736.502
scorpionv	18032	51.217.565.926
__R__*	17625	46.361.847.334
dylan11111*	14517	39.195.242.688
Soultaker*	4964	13.125.388.615
asterix78*	4193	7.518.290.054
thec0mpler*	1993	3.771.168.617
ZakjePatatje	323	1.064.695.356
blottle	273	577.427.109
dedami89	68	224.233.014

De gebruikers gemarkeerd met * hebben ook in fase 1 t/m 4 meegeholpen, maar helaas heb ik daar geen exacte statistieken van, dus die heb ik in bovenstaande tabel niet meegenomen.

Het is duidelijk dat jullie hulp mij heel veel werk en tijd bespaard heeft. Nogmaals bedankt allemaal!

[__R__]

He en wat heb je dan zo direct? Een commandline output met de tekst "ik heb alles berekend" ? Een grafiek? Wat heb je zo concreet als je alles door gerekend hebt?

[Soultaker]

Update: het lijkt er op dat alle stellingen geclassificeerd zijn! Uiteindelijk waren er 98 fasen nodig

__R__ schreef op maandag 27 juni 2022 @ 19:44:
He en wat heb je dan zo direct? Een commandline output met de tekst "ik heb alles berekend" ? Een grafiek? Wat heb je zo concreet als je alles door gerekend hebt?

Ten eerste moet ik de resultaten samenvoegen tot één groot bestand, waar voor elke positie bepaalt wordt of 'ie gewonnen, verloren, of gelijkgespeeld is, en in hoeveel zetten precies. Dat is de eigenlijke uitvoer van het project.

Ten tweede wil ik een simpele tool maken (een webpagina waarschijnlijk) waar je een positie kan invoeren, en die dan aan kan geven of die positie gewonnen is en welke zetten het beste zijn. Dat is eigenlijk de interface die het bovenstaande bestand inzichtelijk moet maken.

Ten derde zou het leuk zijn om de data uit te breiden tot de beginstellingen. Momenteel heb ik alleen de stellingen vanaf zet 1 berekend.

[hansR]

En? Al wat voortgang/nieuws te melden?

[Soultaker]

hansR schreef op donderdag 7 juli 2022 @ 07:54:
En? Al wat voortgang/nieuws te melden?

Ik heb inmiddels de bestanden samengevoegd en geverifieerd. Je kunt de resultaten hier downloaden: https://styx.verver.ch/~maks/pushfight/. merged.bin is een bestand van 401 GB (1 byte per stelling). minimized.bin is een variant waar de onbereikbare stellingen (57%) en de stellingen die door 180-graden rotatie gelijk zijn aan andere stellingen (50%) verwijderd zijn, waardoor het bestand 86 GB groot is.

Je kunt de lookup-min tool gebruiken in combinatie met minimized.bin om een stelling te analyseren.

Ik werk nog aan een webpagina om de analyse van stellingen makkelijker te maken. Omdat ik momenteel wat minder vrije tijd heb kan het nog even duren voor die klaar is

[hansR]

Dankjewel voor de reactie. We volgen met belangstelling ...

[Soultaker]

Update: ik heb een basisversie van de Push Fight app online gezet: https://styx.verver.ch/pushfight/

Er zijn nog een paar kleine bugs/ontbrekende features die ik de komende dagen wil oplossen/toevoegen, maar de basisfunctionaliteit zou moeten werken.

Er zijn twee onderdelen die gebruik maken van de data die jullie hebben helpen uitrekenen. Ten eerste de "Analysis" tab rechts boven: die laat voor de huidige stelling zien wat de mogelijke uitkomsten zijn (de beste altijd bovenaan) inclusief een lijstje van optimale zetten. Ten tweede de "Play best" knop, waarmee je de AI een willekeurige optimale zet laten doen. Op die manier kun je een potje spelen tegen de AI, alleen verliest de AI nooit

Wat leuker is, is om een winnende stelling te genereren en dan proberen te bedenken wat de winnende zet is. Dat kun je als volgt doen: in het Setup scherm kies je Randomize en Start Game. Nu heb je een stelling die meestal in 1 zet te winnen is (omdat er meestal een willekeurig stuk op de rand van het bord staat). Om het interessanter te maken scroll je naar onder en kies je een verliezende zet, bijvoorbeeld, onder loss in 6 of wat je maar wil. De resulterende stelling is, in theorie, te winnen voor de volgende speler. Nu kun je proberen om te winnen tegen de AI, wat met optimaal spel mogelijk moet zijn, maar vaak behoorlijk uitdagend.

[Soultaker]

Nog een update: de web app (https://styx.verver.ch/pushfight/) is inmiddels wat uitgebreid. De grootste verbetering is dat je nu tegen de AI kan spelen met een aanpasbare moeilijkheidsgraad, wat leuker is dan spelen tegen de “perfecte” AI die nooit verliest. Commentaar is welkom

Ik ben niet van plan nog veel functionaliteit toe te voegen. Wel werk ik nog aan een standalone versie die je lokaal kan runnen.

[__R__]

Oe! Even neuzen vanmiddag.

[hansR]

__R__ schreef op dinsdag 26 juli 2022 @ 08:05:
Oe! Even neuzen vanmiddag.

Dat gaan we zeker doen