39
Bearbeitungen
Kurs42 To CNF:Hauptseite: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Kurs42 To CNF:Hauptseite (Quelltext anzeigen)
Version vom 15. April 2020, 18:25 Uhr
, 15. April 2020→Blocken mit Kurs42_To_CNF
Keine Bearbeitungszusammenfassung |
|||
| Zeile 40: | Zeile 40: | ||
Ein Klick auf den Button ''Berechne!'' führt eine Berechnung gemäß der Maximalwerte und Regeln durch. | Ein Klick auf den Button ''Berechne!'' führt eine Berechnung gemäß der Maximalwerte und Regeln durch. | ||
Das Ergebnis wird in einem Tab, z.B. ''B1_SAT'' in sechs Fenstern dargestellt, die sich von selbst erklären. Wenn es mathematisch kein Ergebnis geben kann, erscheint ''UNSAT'' als Name des Tabs. | Das Ergebnis wird in einem Tab, z.B. ''B1_SAT'' in sechs Fenstern dargestellt, die sich von selbst erklären. Wenn es mathematisch kein Ergebnis geben kann, erscheint ''UNSAT'' als Name des Tabs. | ||
Hier könnte es sein, dass es keine Lösung gibt, in der es keine Umwähler gibt. Dann stellt erhöht man die Zahl der Umwähler solange, bis ein Egebnis möglich ist. So lässt sich die Mindestzahl an Umwähler ermitteln. Dieses Ergebnis enhält allerdings noch eine viel zu große Kursgrößendifferenz, die sich im nächsten Schritt optimieren lässt. Siehe dazu unten ''Strategien und Tipps''. | |||
=== Daten in Kurs42 importieren === | === Daten in Kurs42 importieren === | ||