Archiu:Rush Hour solution - hardest configuration.gif
No es dispon d'una resolució més alta.
Rush_Hour_solution_-_hardest_configuration.gif ((400 × 400 pixels, tamany de l'archiu: 110 kB, MIME tipo: image/gif), buclejat, 294 marcos, 12s)
Nota: degut a llimitacions tècniques, les miniatures d'imàgens GIF d'alta resolució com esta no estaran animades.
Summary
| Description |
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 |
| Date | |
| Source | Own work |
| Author | Árni Dagur, Bernhard Linn, Eva Ósk, Frosti Bjarnason, Sindri Ingólfsson |
Licensing
I, the copyright holder of this work, hereby publish it under the following license:
 
|
This file is made available under the Creative Commons CC0 1.0 Universal Public Domain Dedication. |
| The person who associated a work with this deed has dedicated the work to the public domain by waiving all of their rights to the work worldwide under copyright law, including all related and neighboring rights, to the extent allowed by law. You can copy, modify, distribute and perform the work, even for commercial purposes, all without asking permission.
|
Reproduction
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
Historial de l'image
Puncha en la data/hora per a vore l'image tal i com es mostrava en eixe moment.
| Data/Hora | Miniatura | Dimensions | Usuari | Descripció | |
|---|---|---|---|---|---|
| actual | 21:50 25 maig 2019 | | 400 × 400 (110 kB) | wikimediacommons>ArniDagur | Made image smaller |
Enllaços a l'image
Les següents pàgines enllacen ad esta image:
