Een loting voor wie er naar het TjasUur mag ivm het maximum aantal mensen op de ijsbaan.
Op het moment van schrijven is het 15 oktober 2020, wat betekent dat door coronamaatregelen het schaatsseizoen er dit jaar een stuk anders uitziet. Er mag slechts een maximum aantal mensen op de baan van 30, daarom gaan we loten welke Tjassers wanneer mogen schaatsen. Om de loting transparant, eerlijk en zonder fouten te laten verlopen kan je hier de code waarmee de loting gedaan wordt inzien en controleren. In verband met privacy zal er natuurlijk geen data van echte Tjassers op GitHub geplaatst worden, er staan enkel bestanden met testdata hier.
Issues en pull request om fouten te melden/verbeteren zijn welkom!
De loting is niet compleet willekeurig, vandaar ook deze repository, er zijn twee uitzonderingen:
- Leden die minder vaak geschaatst hebben dit seizoen hebben voorang.
- Maar hierbij tellen 3 trainingen voor hardrijders als 2 trainingen voor recreanten.
De eerste uitzondering lijkt mij vrij logisch, we streven er naar iedereen even vaak te laten schaatsen. De tweede uitzondering is omdat hardrijders onder normale omstandigheden 3 trainingen per week hebben en recreanten 2. Omdat er natuurlijk betaald wordt voor een baankaart willen we deze verhouding in stand houden.
Omdat de verhouding van trainingen in de loting meegenomen wordt, mogen recreanten ook naar het zondaguur. Het woensdaguur is van de KNSB en we hebben daar nog geen bericht over ontvangen. Voor nu gaan we er van uit dat er slechts een verwaarloosbaar aantal plekken zal zijn voor ons.
Bij elke training (maandag, donderdag, zondag) zullen 2 trainers en 1 EHBO'er zijn, dat betekent dat er 27 rijders kunnen komen. Op de maandag en donderdag zijn 5 van deze plekken voor Kras, wat betekent dat er 22 plekken voor Tjassers over blijven. Op zondag zijn alle 27 plekken voor Tjassers.
Dit is niet de plek om deze procedure te bespreken, het gaat hier enkel om de implementatie. Vragen of opmerkingen over deze procedure kunnen naar de voorzitter gemaild worden.
Het programma TjasUurLoting.py voert de loting uit en heeft daarbij maar liefst 2 input bestanden en 2 output bestandsnamen nodig.
- Het eerste input bestand is de huidige telling in een
.jsonbestand, hierin staat hoe vaak iedereen geschaatst heeft en wie hardrijder is. In plaats van namen worden email adressen gebruikt, die zijn namelijk altijd uniek. Testbestand:telling_week_n.json - Het tweede input bestand is een
.csvmet mensen hun voorkeur voor welke dagen ze kunnen schaatsen. Hierin is een kolom voor voornaam, achternaam, email en vervolgens een kolom voor elke dag (maandag, donderdag, zondag). Er staat een1of0om de beschikbaarheid van de Tjasser aan te geven. Testbestand:voorkeur_week_n.csv - Het eerste output bestand is de nieuwe telling. Testbestand:
telling_week_n+1.json - Het tweede tekstbestand is de uitslag van de loting. Testbestand:
selectie_week_n.csv
Om het programma te testen met de testdata run:
./TjasUurLoting.py telling_week_n.json voorkeur.csv telling_week_n+1.json selectie_week_n.txt