Programm zum Lösen von Logikrätseln |
22.02.2012, 00:13 | JavaBar | Auf diesen Beitrag antworten » |
Programm zum Lösen von Logikrätseln Ich suche nach eine Software oder geeigneten Sprache, mit der man so Logikrätsel smart lösen kann. Aufbau eines Logikrätsels: Es gibt jeweils m verschiedene Objekte, diese haben n Eigenschaften, von denen es jeweils m verschiedene Werte gibt. z.B.: Vornamen: Anton, Bert, Klaus, Theo Nachnamen: Bauer, Hauser, Kienzle, Mayer Autos: Audi, BMW, Jaguar, Porsche Parkplätze: 1, 2, 3, 4 Beim Rätsel muss man die richtigen Kombinationen ermitteln, also im Beispiel: Wie heisst die jeweilige Person mit Vor- und Nachnamen, welches Auto fährt sie und wo parkt dieses? Bei m verschiedenen Objekten (= Werte je Eigenschaft) und n Eigenschaften ergeben sich Gesamtkombinationsmöglichkeiten. Bei 4 Eigenschaften mit jeweils 4 Werten ergeben sich 13824 Kombinationsmöglichkeiten, bei 4 Eigenschaften mit jeweils 5 Werten ergeben sich 1728000 Kombinationsmöglichkeiten. Durch konkrete Hinweise werden Zahl dieser Möglichkeiten eingeschränkt, bis sie - durch genügend Hinweise - eindeutig ist. Es gibt verschiedene Arten von Hinweisen, z.B. a) Theo parkt seinen Wagen nicht auf Platz 3. b) Anton fährt einen Porsche. Durch eine solche Aussage gilt automatisch: Alle Aussagen, die für den Porsche gelten, gelten auch für den "Wagen von Anton", und alle Aussagen, die auf den "Besitzer des Porsche" treffen, gelten auch für Anton. c) Berts Wagen parkt weiter links als der BMW (die Parkplätze seien von links nach rechts mit 1 bis 4 durchnummeriert) Daraus lässt sich direkt folgern: - Bert fährt keinen BMW - Berts Wagen steht nicht auf Platz 4 - Der BMW steht nicht auf Platz 1 Es gibt auch Entweder- oder- Aussagen wie: d) Entweder fährt Klaus einen Audi oder der Jaguar parkt auf Platz 2 Jede Aussage schränkt die Anzahl der Kombinationsmöglichkeiten ein, wenn nicht, ergibt sie sich aus anderen Aussagen. Gibt es ein Programm/Sprache, bei dem man solche Aussagen formulieren kann, das ausgeben kann, wieviele Lösungsmöglichkeiten es gibt, ausgeben kann, was z.B. zu dem Porsche, evtl. auch Folgerungen ausgeben kann. Z.B. wenn bekannt ist, Herrn Hausers Auto steht auf Platz 2 oder 4 und der BMW steht auf Platz 1 oder 3, ergibt sich -> Der BMW gehört nicht Herrn Hauser. Anmerkung: Es gibt auch Logikrätsel, wo ein Wert mehrfach vorkommen kann, z.B. es gibt 4 Autos, aber 2 davon sind rot. Da lässt sich aus dem Satz "Anton parkt links vom roten Ferrari" nicht folgern "Anton fährt kein rotes Auto". Kennt jemand eine solche Software? Viele Grüße Egon |
||
22.02.2012, 23:26 | Abakus | Auf diesen Beitrag antworten » |
RE: Programm zum Lösen von Logikrätseln Hallo, sowas lässt sich zB in PROLOG gut machen, das ist eine Programmiersprache. Abakus |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
Die Neuesten » |