Als «lattice» getaggte Fragen

1
Ein topologischer Raum im Zusammenhang mit SAT: Ist er kompakt?
Das Erfüllbarkeit Problem ist natürlich, ein grundsätzliches Problem in der theoretischen CS. Ich habe mit einer Version des Problems mit unendlich vielen Variablen gespielt. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Grundeinstellung. Sei eine nicht leere und möglicherweise unendliche Menge von Variablen . Ein Literal ist entweder eine Variable oder ihre Negation . Eine Klausel …


3
Abstand zwischen zwei Partitionen bearbeiten
Ich habe zwei Partitionen von und suche nach dem Bearbeitungsabstand zwischen ihnen.[1…n][1…n][1 \ldots n] Auf diese Weise möchte ich die minimale Anzahl von einzelnen Übergängen eines Knotens in eine andere Gruppe finden, die erforderlich sind, um von Partition A zu Partition B zu gelangen. Zum Beispiel wäre der Abstand von …


2
Ausreichende Bedingungen, um einen eindeutigen Fixpunkt (nicht einen eindeutigen kleinsten / größten Fixpunkt) für monotone Funktionen auf dem gesamten Gitter zu gewährleisten
Tarskis Fixpunktsatz besagt, dass die Fixpunkte eines monotonen Operators auf einem vollständigen Gitter ein vollständiges Gitter sind. Infolgedessen haben wir einen eindeutigen größten Fixpunkt und einen eindeutigen kleinsten Fixpunkt für einen monotonen Operator auf einem vollständigen Gitter. Die Fixpunkte können eindeutig sein, im Allgemeinen jedoch viele. Meine Frage wäre, unter …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.