Porządek częściowy to relacja binarna na zbiorze, który jest zwrotny, antysymetryczny i przechodni.
Załóżmy, że mam ukierunkowany wykres acykliczny z wagami liczb rzeczywistych na jego wierzchołkach. Chcę znaleźć uporządkowanie topologiczne DAG, w którym dla każdego prefiksu uporządkowania topologicznego suma wag jest nieujemna. Lub jeśli wolisz terminologię teoretyczną, mam ważoną częściową...
Załóżmy, że mam poset „S” i monotoniczny predykat „P” na S. Chcę znaleźć jeden lub wszystkie maksymalne elementy S spełniające P. EDIT : Jestem zainteresowany minimalizując liczbę ocen P . Jakie algorytmy istnieją dla tego problemu i jakich właściwości i dodatkowych operacji wymagają na S? Co z...
Biorąc pod uwagę określoną rodzinę podzbiorów uniwersum . Niech a my chcemy odpowiedzieć to .FF\mathcal{F}UUUS1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal FS1⊆S2S1⊆S2S_1 \subseteq S_2 Szukam struktury danych, która pozwoli mi szybko odpowiedzieć na to pytanie. Moja aplikacja pochodzi z teorii grafów, w...
Rozważmy skończoną posetę ponad elementów, a nieznany monotoniczny predykat nad (tj. Dla dowolnego , , jeśli i to ) . Mogę ocenić , podając jeden węzeł i sprawdzając, czy utrzymuje, czy nie. Moim celem jest określenie dokładnie zestawu węzłów tak, że P (x) utrzymuje, przy użyciu jak najmniejszej...
Ja jako dane wyjściowe DAG z n wierzchołków gdzie każdy wierzchołek x dodatkowo znakowane pewnym S ( x ) ⊆ { 1 , ... , N } .GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Topologicznym rodzajem jest bijection f z wierzchołków G do { 1 , … , n } taki, że dla wszystkich x , y ,...
To pytanie jest motywowane pytaniem MathOverflow Peng Zhanga . Valiant wykazał, że zliczanie maksymalnych klików na wykresie ogólnym jest zakończone metodą # P, ale co jeśli ograniczymy się do wykresów nieporównywalności (tzn. Chcemy policzyć maksymalne antichains w skończonym zestawie)? To pytanie...
Jest to kontynuacja ostatniego pytania Davida Eppsteina i jest motywowana tymi samymi problemami. Załóżmy, że mam wierzchołek z ciężarami na liczbach rzeczywistych na jego wierzchołkach. Początkowo wszystkie wierzchołki są nieoznaczone. Mogę zmienić zestaw zaznaczonych wierzchołków, albo (1)...
Rozważ monotoniczny predykat PPP nad zestawem mocy 2|n|2|n|2^{|n|}(uporządkowane przez włączenie). Przez „monotoniczny” rozumiem: ∀x,y∈2|n|∀x,y∈2|n|\forall x, y \in 2^{|n|}tak, że x ⊂ yx⊂yx \subset y , jeśli P.( x )P(x)P(x) to P.( y)P(y)P(y) . Szukam algorytmu, aby znaleźć wszystkie minimalne...
Niech być skierowany acykliczny wykres i pozwolić λ być funkcją znakowania mapowanie każdego wierzchołka v ∈ V do naklejania Î ( v ) w pewnym skończonym alfabetu L . Zapisywanie n : = | V | , A topologiczna sortowania z G jest bijection σ z { 1 , ... , N } do V (tj zamawianiaG=(V,E)G=(V,E)G = (V,...
Antyłańcuch w DAG jest podzbiorem wierzchołków, które są parami nieosiągalny, czyli, nie ma taki sposób, że jest dostępne z w . Z twierdzenia Dilwortha w teorii częściowego porządku wiadomo, że jeśli DAG nie ma antychainu o rozmiarze , wówczas może zostać rozłożony na połączenie co najwyżej...
Dużo pracy poświęcono problemom obliczeniowym dla zamówień częściowych (np. Rozpoznawanie, numer skoku, rozpoznawanie wykresu porównywalności itp.). Jestem ciekawy, jaką pracę wykonano dla sieci. Szukałem wokoło i nie znalazłem podobnej pracy dla krat. W szczególności jestem zainteresowany tym,...
Mam następujący problem: Dane wejściowe: dwa zestawy przedziałów i (wszystkie punkty końcowe są liczbami całkowitymi). Pytanie: czy istnieje biotonia monotoniczna ?T f : S → TS.S.ST.T.Tfa: S→ T.fa:S.→T.f:S \to T Bijection jest monotoniczne WRT kolejnością włączenie do i . T ∀ X ⊆ Y ∈ S , f ( X )...