Logical Goldrausch

[Enigmemulo]

Auch am Rhein gibt es Leute, die Gold schürfen, wenn auch nur aus Hobby, denn rentabel ist das nicht. An einem Tag stehen sechs Goldwäscher an durchnummerierten Plätzen und gehen ihrem Hobby nach. Bestimme Vor-, Nach- und Spitznamen der Leute sowie ihr Alter, die Nummer ihres Standplatzes und wie viel Gold sie in welcher Zeit gewaschen haben. Um die Hinweise kurz zu halten, werden auch folgende Personenbezeichnungen verwendet: 29j ist der 29-jährige Mensch, 120mg der Mensch, der 120mg gewaschen hat usw.

Anton ist älter als 140mg und der älter als Pfanne
Becker ist älter als Nr. 2 und der älter als als 4h
Nr. 5 ist älter als 5h und der älter als 110mg
Cordes hat mehr gewaschen als Nr. 6 und der mehr als Specki
Goldfinger hat mehr gewaschen als Emil und der mehr als 3h
Friederich hat mehr gewaschen als Fischer und der mehr als Pfanne
Dittrich hat eine höhere Nummer als 29j und der eine höhere als 4,5h
100mg hat eine höhere Nummer als 5h und der eine höhere als Mr. Spock
120mg hat eine höhere Nummer als Lala und der eine höhere als 33j
Berta hat länger gestanden als 29j und der länger als 90mg
Friedrich hat länger gestanden als Nr. 5 und der länger als Althaus
Hörnchen hat länger gestanden als Nr. 1 und der länger als 32j
Berta und Dora sind zusammen 60 Jahre alt und standen an benachbarten Plätzen
Christian, Fischer und Lala haben zusammen 350mg gewaschen
Erhard, Hörnchen und Anton haben zusammen 11,5h gestanden
Anton, 31j und Althaus haben zusammen 310mg gewaschen
Dora, Dittrich und Mr. Spock haben die ungeraden Plätze
Bei genau einer Person fangen Vor- und Nachname mit demselben Buchstaben an

[mikelbig]

Puh... irgendwas entgeht mir noch.

[Enigmemulo]

Der Goldrausch ist eine ganz harte Nuss, die wohl nur mit dem Rücksetzverfahren zu lösen ist:

Wenn man nicht mehr weiter weiß, speichert man unter dem Namen Goldrausch ab, dann rät man ein Plus, trägt aber an dieser Stelle eine 1 ein und speichert ab jetzt unter Goldrausch1 ab und löst weiter.
Jetzt gibt es drei Möglichkeiten:
1. Man findet eine Lösung, dann hat man richtig geraten und ist fertig.
2. Man findet einen Widerspruch, dann hat man falsch geraten, geht in die Datei Goldrausch zurück und trägt da, wo die 1 war, ein Minus ein und löst weiter.
3. Man steht wieder auf dem Schlauch, dann rät man wieder ein Plus, trägt da eine 2 ein und speichert unter Goldrausch2 ab usw.

Natürlich sollte man nicht irgendwo ein Plus raten, sondern da, wo es Zusatzinformation gibt bzw. wo es nur zwei Möglichkeiten gibt, sodass falsches Raten auch zu einem Plus führt.

Auf die Art kriegt man jedes Logical geknackt, die Frage ist, ob man die Zeit investieren will. Und ja, ich hatte Langeweile ...

[mikelbig]

Naja, eine Breitensuche aller möglichen Lösungen geht natürlich immer. Einfach von allen möglichen Kombinationen diejenigen streichen, die auf Grund der Informationen nicht gehen können, und in dem Rest dann nach Widersprüchen suchen.
Aber das hat nichts mit Logik zu tun.

Bei diesem Logical führt, soweit ich das sehe, keine der Aussagen unmittelbar zu einem Plus, auch nicht die Summe aller Aussagen. Man ist daher auf's Raten angewiesen.
Natürlich sind manche Nonogramme, aber auch Sudokus nur auf diese Art zu lösen. Ich persönlich finde aber, dass die dann nicht besonders sorgfältig erstellt wurden.
Man könnte natürlich argumentieren, dass Ausprobieren auch nur eine Form des logischen Ausschlusses ist - nur halt mit einer mitunter extremen Iterationstiefe.


So oder so, ich werde es erst einmal zurücklegen müssen - falls ich mal an extremer Langeweile leide, mache ich weiter.

Trotzdem danke für das Logical - und die vorbereiteten Tabellen.

[auru]

Lösung:

Mehr ->

Vorname: Anton * Berta * Christian * Dora * Emil * Friedrich
Zeit: 3h * 5h * 2,5h * 4h * 4,5h * 3,5h
Platz: Nr. 5 * Nr. 4 * Nr. 6 * Nr. 3 * Nr. 2 * Nr. 1
Menge: 90mg * 120mg * 100mg * 140mg * 110mg * 130mg
Alter: 32j * 31j * 28j * 29j * 30j * 33j
Spitzname: Specki * Goldfinger * Pfanne * Lala * Hörnchen * Mr. Spock
Nachname: Dittrich * Becker * Althaus * Erhardt * Fischer * Cordes

[Enigmemulo]

Na wer sagt's denn, mann muss nur lange genug warten, dann löst es doch noch einer.