Eine Teilordnung ist eine binäre Beziehung über eine Menge, die reflexiv, antisymmetrisch und transitiv ist.
Angenommen, ich habe einen gerichteten azyklischen Graphen mit reellen Zahlengewichten auf seinen Eckpunkten. Ich möchte eine topologische Reihenfolge der DAG finden, in der für jedes Präfix der topologischen Reihenfolge die Summe der Gewichte nicht negativ ist. Oder wenn Sie eine...
Angenommen, ich habe einen Satz "S" und ein monotonisches Prädikat "P" auf S. Ich möchte ein oder alle maximalen Elemente von S finden, die P erfüllen. EDIT : Ich bin daran interessiert, die Anzahl der Bewertungen von P zu minimieren . Welche Algorithmen gibt es für dieses Problem und welche...
Gegeben sei eine Menge Familie FF\mathcal{F} von Teilmengen eines Universums UUU . Sei S1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal F und wir wollen antworten, ist S1⊆S2S1⊆S2S_1 \subseteq S_2 . Ich bin auf der Suche nach einer Datenstruktur, die es mir ermöglicht, diese schnell zu beantworten. Meine...
Man betrachte einen endlichen Satz über Elementen und ein unbekanntes monotones Prädikat über (dh für jedes , , wenn und dann ). . Ich kann auswerten, indem ich einen Knoten bereitstelle und herausfinde, ob P ( x ) gilt oder nicht. Mein Ziel ist es, die Menge der Knoten x ∈ X so genau zu bestimmen,...
Als Eingabe wird mir ein DAG GGG von Eckpunkten gegeben, wobei jeder Eckpunkt zusätzlich mit einigen .nnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Eine topologische Art von ist eine Bijektion von den Eckpunkten von nach so dass für alle , , wenn es einen Pfad von nach in dann . Ich...
Diese Frage wird durch eine MathOverflow-Frage von Peng Zhang motiviert . Valiant hat gezeigt, dass das Zählen maximaler Cliquen in einem allgemeinen Graphen # P-vollständig ist, aber was ist, wenn wir uns auf Unvergleichbarkeitsgraphen beschränken (dh, wir möchten maximale Antichains in einem...
Dies ist eine Fortsetzung von David Eppsteins jüngster Frage und wird durch dieselben Probleme motiviert. Angenommen, ich habe einen Tag mit reellen Zahlengewichten auf seinen Scheitelpunkten. Anfangs sind alle Scheitelpunkte nicht markiert. Ich kann die Menge der markierten Scheitelpunkte ändern,...
Man betrachte ein monotones Prädikat über dem Potenzsatz 2 | n | (bestellt durch Aufnahme). Mit "monoton" meine ich: ∀ x , y ∈ 2 | n | so dass x ⊂ y , wenn P ( x ) dann P ( y ) . Ich suche einen Algorithmus, um alle minimalen Elemente von P zu finden , dh x ∈ 2 | n | so dass P ( x...
Sei ein gerichteter azyklischer Graph und sei λ eine Markierungsfunktion, die jeden Scheitelpunkt v ∈ V auf eine Markierung λ ( v ) in einem endlichen Alphabet L abbildet . Schreiben von n : = | V | , eine topologische Art von G ist eine Bijektion σ von { 1 , … , n } nach V (dh eine Ordnung vonG =...
Eine Antichain in einer DAG ist eine Teilmenge A ⊆ V von Scheitelpunkten, die paarweise nicht erreichbar sind, dh es gibt kein v ≠ v ' ∈ A, so dass v von v ' in E erreichbar ist . Aus dem Dilworth-Theorem in der Teilordnungstheorie ist bekannt, dass DAG, wenn es keine Antichain der Größe k ∈ N hat...
Es wurde viel an Rechenproblemen für Teilaufträge gearbeitet (z. B. Erkennung, Sprungzahl, Erkennung von Vergleichbarkeitsgraphen usw.). Ich bin gespannt, welche gitterspezifischen Arbeiten durchgeführt wurden. Ich habe mich umgesehen und nicht viel ähnliche Arbeit für Gitter gefunden. Insbesondere...
Ich habe folgendes Problem: Eingabe: zwei Sätze von Intervallen und T (alle Endpunkte sind ganze Zahlen). Abfrage: Gibt es eine monotone Bijektion f : S → T ?S.SST.TTf: S.→ T.f:S→Tf:S \to T Die Bijektion ist monotone WRT der Mengeninklusion Reihenfolge auf und T . ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( Y...