Файл:Rush Hour solution - hardest configuration.gif
Перейти к навигации
Перейти к поиску
Нет версии с бо́льшим разрешением.
Rush_Hour_solution_-_hardest_configuration.gif (400 × 400 пкс, размер файла: 110 КБ, MIME-тип: image/gif, закольцованный, 294 фрейма, 12 с)
 | Этот файл находится на Викискладе. Сведения о нём показаны ниже.
Викисклад — централизованное хранилище для свободных файлов, используемых в проектах Викимедиа.
|
Краткое описание
| Описание |
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 |
| Дата | |
| Источник | Собственная работа |
| Автор | Árni Dagur, Bernhard Linn, Eva Ósk, Frosti Bjarnason, Sindri Ingólfsson |
Лицензирование
Я, владелец авторских прав на это произведение, добровольно публикую его на условиях следующей лицензии:
 
|
Этот файл доступен на условиях Creative Commons CC0 1.0 Универсальной передачи в общественное достояние (Universal Public Domain Dedication). |
| Лица, связанные с работой над этим произведением, решили передать данное произведение в общественное достояние, отказавшись от всех прав на произведение по всему миру в рамках закона об авторских правах (а также связанных и смежных прав), в той степени, которую допускает закон. Вы можете копировать, изменять, распространять, исполнять данное произведение в любых целях, в том числе в коммерческих, без получения на это разрешения автора.
|
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
История файла
Нажмите на дату/время, чтобы посмотреть файл, который был загружен в тот момент.
| Дата/время | Миниатюра | Размеры | Участник | Примечание | |
|---|---|---|---|---|---|
| текущий | 21:50, 25 мая 2019 | | 400 × 400 (110 КБ) | ArniDagur | Made image smaller |
| 21:10, 25 мая 2019 |  | 600 × 600 (157 КБ) | ArniDagur | User created page with UploadWizard |
Использование файла
Следующая страница использует этот файл:
Глобальное использование файла
Данный файл используется в следующих вики:
- Использование в de.wikipedia.org
- Использование в en.wikipedia.org
