racket based solver-aided programming
racket based solver-aided programming
ZOZO's Contact Solver (for physics-based simulations)
https://github.com/st-tech/ppf-contact-solver
#HackerNews #ZOZO #Contact #Solver #physics #simulations #simulation #technology #GitHub
Update http://Kryptografie.de, https://Kryptanalyse.de, http://MysteryMaster.de
neu: #Kryptoanalyse-Tool (#Solver) zum automatischen Brechen von monoalphabetischen Substitutions-#Chiffren
Update http://Kryptografie.de, https://Kryptanalyse.de, http://MysteryMaster.de
neu: #Kryptoanalyse-Tool (#Solver) zum automatischen Brechen von monoalphabetischen Substitutions-#Chiffren
Sudoku 3/3
Die Webseite heißt "Sudoku-Labor" weil ich hier verschiedene Versuche zum Thema gemacht habe. Und auch die Besucher können hier experimentieren.
Man kann mit dem Smartphone ein Sudoku aufnehmen oder ein gespeichertes Bild laden. Mein OCR versucht, das Rätsel zu analysieren. Danach können sie es lösen lassen.
Mit einer Zufallsfunktion können sie Rätsel erzeugen lassen (dauert etwas 😉 ). Sie können eigene Rätsel erzeugen und diese prüfen. Und es gibt eine Auswahl von Rätseln, die sie lösen und downloaden können.
Viel Spaß 🙂 .
Sudoku 2/3
Also habe ich beschlossen, zu beweisen, dass man Sudokus ganz leicht ausrechnen kann.
Na ja, ich musste einige Umwege machen bis es glückte. Und auf diesen Wegen konnte ich feststellen, dass Sudoku mathematisch sehr interessant ist.
So haben erst kürzlich Forschungen ergeben, dass die kleinste Anzahl Vorgaben für ein eindeutiges Sudoku (mit nur einer Lösung) 17 ist.
Des Weiteren gilt: Ein Rätsel mit 17 Zahlen, welches unlösbar ist, ist extrem selten.
Nun ist mir aber schon zwei Mal geglückt, ein unlösbares 17er Spiel zu erzeugen.
Hier isses, vielleicht kann es einer von Euch lösen.