File:Rush Hour solution - hardest configuration.gif
Aus Wikimedia Commons, dem freien Medienarchiv
Zur Navigation springen
Zur Suche springen
Rush_Hour_solution_-_hardest_configuration.gif (400 × 400 Pixel, Dateigröße: 110 KB, MIME-Typ: image/gif, Endlosschleife, 294 Bilder, 12 s)
Dateiinformationen
Strukturierte Daten
Bildtexte
Beschreibung[Bearbeiten]
BeschreibungRush Hour solution - hardest configuration.gif |
English: Minimum solution of the hardest possible Rush Hour configuration. The number of steps is 93. The UPPAAL model checker was used to compute the solution. It was visualised using the Pygame library.
See http://www.ulb.ac.be/di/algo/secollet/papers/crs06.pdf |
Datum | |
Quelle | Eigenes Werk |
Urheber | Árni Dagur, Bernhard Linn, Eva Ósk, Frosti Bjarnason, Sindri Ingólfsson |
Lizenz[Bearbeiten]
Ich, der Urheber dieses Werkes, veröffentliche es unter der folgenden Lizenz:
Diese Datei wird unter der Creative-Commons-Lizenz „CC0 1.0 Verzicht auf das Copyright“ zur Verfügung gestellt. | |
Die Person, die das Werk mit diesem Dokument verbunden hat, übergibt dieses weltweit der Gemeinfreiheit, indem sie alle Urheberrechte und damit verbundenen weiteren Rechte – im Rahmen der jeweils geltenden gesetzlichen Bestimmungen – aufgibt. Das Werk kann – selbst für kommerzielle Zwecke – kopiert, modifiziert und weiterverteilt werden, ohne hierfür um Erlaubnis bitten zu müssen.
http://creativecommons.org/publicdomain/zero/1.0/deed.enCC0Creative Commons Zero, Public Domain Dedicationfalsefalse |
Reproduction[Bearbeiten]
The following ffmpeg command was used to turn individual frames into a gif:
ffmpeg -f image2 -i frame%d.jpeg -framerate 15 -s 400x400 out.gif
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
Version vom | Vorschaubild | Maße | Benutzer | Kommentar | |
---|---|---|---|---|---|
aktuell | 21:50, 25. Mai 2019 | 400 × 400 (110 KB) | ArniDagur (Diskussion | Beiträge) | Made image smaller | |
21:10, 25. Mai 2019 | 600 × 600 (157 KB) | ArniDagur (Diskussion | Beiträge) | User created page with UploadWizard |
Du kannst diese Datei nicht überschreiben.
Dateiverwendung
Keine Seiten verwenden diese Datei.
Globale Dateiverwendung
Die nachfolgenden anderen Wikis verwenden diese Datei:
- Verwendung auf de.wikipedia.org
- Verwendung auf en.wikipedia.org
- Verwendung auf ru.wikipedia.org