vertrac’t #2: c’t-Racetrack

c’t-Racetrack ist eine Variante des klassischen Papier-und-Bleistift-Autorennens: Fahren Sie den virtuellen Rennwagen in möglichst wenig Schritten vom Start ans Ziel, ohne dabei ein Hindernis zu berühren. Die genaue Aufgabenstellung steht in c’t 23/15, Seite 48.

Einsendeschluss war der 30. November 2015. Bitte schicken Sie keine Löungen mehr ein.

Die Auflösung erscheint in c’t 1/17. Tauschen Sie sich einstweilen gerne im Forum zum ursprünglichen Artikel über die Lösungen aus.

Veröffentlichte Programme

Einige Teilnehmer haben ihre Lösungen für die Allgemeinheit zugänglich gemacht. Hier sind sie:

• Jonathan Frech: Ein Python-Programm, mit dem man die Lösung interaktiv zusammenklicken kann.
• Armin Biere: Ein "Model Checker" in C, mit Visualisierung und Video dazu.
• Matthias Henning: Ein Lösungsprogramm in C# auf GitHub.
  

Die Schnellsten

• Jonathan Frech (17.10.15 21:23)
• Herbert König (17.10.15 23:29)
• Wolfgang Täger*+ (18.10.15 00:00, 30.11. 21:08+)
• Armin Giesel* (18.10.15 00:33)
• Andreas Matthies*+ (18.10.15 16:28, 20.10. 19:37*)
• Tobias T.*+ (18.10.15 16:33)
  
• Stephan Trebs*+ (18.10.15 21:00, 23.10. 21:55*))
• Matthias Meixner*+ (18.10.15 21:37)
• Georg Fritsch* (18.10.15 23:39, 19.10. 15:47*)
• Carsten Wieneke* (19.10.15 11:09, 20.10. 18:27*)
  
• Martin Rudolph (19.10.15 21:43)
• Mathias Schenker (19.10.15 22:01)
• Manfred Lüdtke* (20.10.15 00:29, 06.11.15 22:34*)
• Zoltán Zomotor* (20.10.15 14:31)
• Bernd Heistermann* (20.10.15 16:59, 21.10. 14:39*)
• Christian Harms* (20.10.15 20:49)
• Uwe Lange* (20.10.15 21:19, 23.10. 00:11*)
• Frank Biedermann (21.10.15 00:11)
• Norbert Biermann*+ (21:10.15 07:26)
• Sebastian Macke*+ (21.10.15 09:22)
  
• Marco Ehle* (21.10.15 13:21)
• Torsten Werk (21.10.15 18:47)
• Gunnar Zarncke*+ (23.10.15 00:59)
• Thomas Wagner+ (24.10.15 08:21)
• Mathias Menzel* (24.10.15 11:14)
• Michiel van der Meulen*+ (24.10.15 19:47)
• Stefan Bieger+ (24.10.15 22:15, 30.10.15 00:29*)
• Dieter Groß (25.10.15 10:12)
• Thomas Steinfeld*+ (25.10.15 14:46)
  
• Marco Bertholdt*+ (25.10.15 21:38)
  
• Christoph Vielhauer*+(25.10.15 22:32)
• Jörg Sautter* (26.10.15 00:20)
  
• Gerd Kilian*+(26.10.15 08:44)
  
• Uwe Schulz* (26.10.15 10:57)
• Frank Heyne* (26.10.15 19:35)
• Andreas Schmidt*+ (26.10.15 23:04)
• Jörg-Michael Grassau*+ (27.10.15 15:30)
• Sebastian Bognár*+ (27.10.15 16:47)
• Dominik A. Tröster* (27.10.15 16:49)
• Stefan Franke*+ (28.10.15 08:25)
  
• Daniel Hein*+ (28.10.15 13:49)
• Stefan Taube*+ (28.10.15 20:45)
• Klaus Alt+ (29.10.15 16:10)
• Remko van der Meulen* (30.10.15 13:56)
• Bernhard Seybold* (30.10.15 13:57)
• Simon Tomschik*+ (30.10.15 22:19)
• Heinz Lippuner (31.10.15 14:05)
• Hagen von Eitzen*+ (01.11.15 13:52)
• Herbert König*+ (02.11.15 08:26)
• Uwe Düffert* (02.11.15 11:38)
  
• Wolfgang Rülfing* (04.11.15 17:28)
• Hans Abegglen* (04.11.15 21:54)
• Joachim Wilke* (05.11.15 08:31)
• Frank Nestel & Sohn*+ (05.11.15 16:18)
• Helge Keller* (06.11.15 17:02)
• Reinhard Griedelbach (07.11.15 15:16)
• Thomas Grunenberg (09.11.15 18:02)
  
• Falco Bethke (09.11.15 18:26)
• Manfred Forster* (11.11.15 14:40)
• Claus Rieber*+ (11.11.15 16:27)
  
• Uwe Falck* (11.11.15 17:07, 13.11. 17:44*)
• Siegfried Klein (11.11.15 18:32)
• Ulrich Habbe* (11.11.15 21:25)
• Armin Biere*+ (13.11.15 18:28)
• Wolfram Hinderer* (16.11.15 00:23)
• Hermann Kleier*+ (16.11.15 23:19)
• Ulrich Knopf (18.11.15 10:03)
• Frank Renner (22.11.15 12:30)
  
• Thorsten Ehlers* (22.11.15 21:47)
• Peter Abegglen* (23.11.15 22:14)
• Ralf Dieter Renz+ (24.11.15 22:24)
• Ulrich Rapp* (26.11.15 20:29)
• Ralf Herminghaus*+ (26.11.15 23:46)
• Marc Peter*+ (27.11.15 01:58)
• Erwin Hennighausen (27.11.15 13:39)
• Jan Watermann (28.11.15 00:14)
• Michael Prähofer*+ (28.11.15 11:08)
• Timo Pohl* (28.11.15 19:46)
  
• Michael Jarosch+ (29.11.15 14:07)
• Matthias Henning+ (29.11.15 16:13)
• Simon Zillich (29.11.15 19:44)
• Franz Mauch (29.11.15 20:45)
• Rüdiger Meyer (29.11.15 21:58)
• Ulrich Möhrke*+ (30.11.15 06:26)
• Andres Tönnesmann*+ (30.11.15 18:28)
• Boris Hartmann*+ (30.11.15 19:17)
• Tim Schliebe*+ (30.11.15 20:29)
• Matthias Lange* (30.11.15 21:48)
  
• Volker Schmid+ (30.11.15 23:42)
• Igor Urich* (30.11.15 23:55)
  

* Lösung mit der (bisher) minimalen Anzahl von Schritten

+ Lösungsalgorithmus programmiert

Vielen Dank für die Teilnahme an alle 92 Rennfahrer, die es auf die Liste geschafft haben, und den einen, der nur das Abbremsen vergessen hat. (bo)