Wie man Logikrätsel mit Computerhilfe löst
Mithilfe von Python und der Bibliothek PySAT Rätsel lösen: Um Probleme zu formalisieren, brauchen Sie boolesche Algebra. In all das führt dieser Artikel ein.
(Bild: KI | Collage c’t)
Lesezeit:
14 Min.
Von
- Oliver Lau
Das folgende Rätsel war kürzlich im Subreddit r/puzzles zu finden. Zur Klarstellung fügen wir noch hinzu, dass die Flasche, die Vase und die Holzschüssel als menschengemacht gelten. Flasche und Vase sind aus Glas, Banane und Sonnenblume sind gelb, Tannenzapfen und Holzschüssel sind braun und der Rotwein ist rot.
Charlotte will ein Stillleben malen, hat es aber noch nicht in Szene gesetzt. Folgende acht Gegenstände hat sie parat:
- einen grünen Apfel
- eine grüne Vase
- rote Weintrauben
- eine Flasche Rotwein
- eine Banane
- eine Sonnenblume
- einen Tannenzapfen
- eine Holzschüssel
Welche Gegenstände wählt sie als Motiv aus, wenn sie nach folgenden Regeln vorgeht?
Das war die Leseprobe unseres heise-Plus-Artikels "Wie man Logikrätsel mit Computerhilfe löst". Mit einem heise-Plus-Abo können sie den ganzen Artikel lesen und anhören.Immer mehr Wissen. Das digitale Abo für IT und Technik.
Smarte Überwachung: Füllstand von Wassertanks messen und digital abfragen
Jetzt bitte leise: AirPods 4 mit ANC im Test
iPhone 16 Pro, 16 Pro Max, 16 und 16 Plus im Test: Bessere Kamera, WiFi 7 & mehr
Falt-Phones im Test: Pixel 9 Pro Fold, Honor Magic V3 und Samsung Galaxy Fold6
Solargenerator EcoFlow Delta Pro 3 im Test