«partial-order» etiketlenmiş sorular

Köşelerinde gerçek sayı ağırlıkları olan yönlendirilmiş bir asiklik grafiğim olduğunu varsayalım. Topolojik sıralamanın her öneki için ağırlıkların toplamının negatif olmadığı DAG'ın topolojik sıralamasını bulmak istiyorum. Veya, sipariş teorik terminolojisini tercih ederseniz, ağırlıklı bir kısmi düzene sahibim ve her öneki negatif olmayan bir ağırlığa sahip olacak şekilde doğrusal bir uzantı istiyorum. …

45 ds.algorithms  directed-acyclic-graph  partial-order 

Diyelim ki "S" ve S'de "P" yi gösteren monotonik bir "S" ifadesi var. EDIT : P değerlendirme sayısını en aza indirmekle ilgileniyorum . Bu problem için hangi algoritmalar var ve S için hangi özellikleri ve ek işlemleri gerektiriyorlar? Peki ya önemli özel durumlar, örneğin: S doğrusal bir düzendir - o …

28 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Bir dizi ailesini Verilen Bir evrenin alt kümelerinin . Bırakın ve cevaplamak istiyoruz .FF\mathcal{F}UUUS1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal FS1⊆S2S1⊆S2S_1 \subseteq S_2 Buna hızlı bir şekilde cevap vermemi sağlayacak bir veri yapısı arıyorum. Uygulamam, bir tepe noktasını ve çevresini silmenin herhangi bir yalıtılmış köşe noktası bırakıp bırakmadığını görmek istediğim grafik teorisinden ve her …

20 graph-algorithms  ds.data-structures  partial-order 

I girişi DAG olarak verilen am GGG ve nnn her bir köşe köşe xxx ilave olarak bir ile etiketlenir S(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} . Bir topolojik sıralama GGG bir bijection olan fff köşe gelen GGG için {1,…,n}{1,…,n}\{1, \ldots, n\} , öyle ki tüm xxx , yyy , bir yol …

15 sorting  directed-acyclic-graph  partial-order  matching  order-theory 

n öğe (X,≤)(X,≤)(X, \leq)üzerinde sonlu bir postayı düşünün ve P , X üzerinde bilinmeyen bir monotonik yüklem (yani herhangi bir x , y ∈ X , eğer P ( x ) ve x ≤ y sonra P ( y ) ise ). P'yi bir x x X düğümü sağlayarak ve …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

Bu soru Peng Zhang'ın bir MathOverflow sorusu tarafından motive edilmiştir . Valiant, genel bir grafikte maksimal klipleri saymanın # P tam olduğunu gösterdi, ancak karşılaştırılamazlık grafikleriyle kısıtlarsak (yani, sonlu bir posetteki maksimum antiksinleri saymak istiyorsak)? Bu soru, daha önce ele alındığından şüpheleneceğim kadar doğal görünüyor, ancak literatürde bulamadım.

13 cc.complexity-theory  counting-complexity  partial-order  clique 

(dahil etme sırasına göre) güç kümesi üzerinde monoton bir yüklem düşünün . "Tekdüze" ile kastediyorum: , , eğer sonra . Ben tüm asgari unsurları bulmak için bir algoritma için arıyorum yani, öyle ki ama , . Genişliğine yana olduğu , n tercih n / 2 \2 | n | ∀ …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Bu David Eppstein'ın son sorusunun bir devamıdır ve aynı problemler tarafından motive edilir. Köşelerinde gerçek sayı ağırlıkları olan bir dagım olduğunu varsayalım. Başlangıçta, tüm köşeler işaretsizdir. İşaretli köşe kümesini (1) işaretlenmemiş selefleri olmayan bir tepe noktasını işaretleyerek veya (2) işaretli halefleri olmayan bir tepe noktasını işaretleyerek değiştirebilirim. (Böylece, işaretli köşeler …

12 ds.algorithms  directed-acyclic-graph  partial-order 

Bir antichain a DAG olan bir alt-kümesi , yani hiçbir vardır, ikili erişilemiyor köşelerin olacak şekilde erişilebilir olup de . Kaynaktan Dilworth teoremi kısmi sıralama teorik olarak, bilinmektedir ki DAG bir boyutta antichain ise , o zaman en az bir birliğe ayrışabilir ayrık zincirleri, yani yönlendirilmiş yollar.(V,E)(V,E)(V, E)A⊆VA⊆VA \subseteq Vv≠v′∈Av≠v′∈Av …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order 

Let bir olmak yönlendirilmiş asiklik grafik ve izin her köşe koyan bir etiketleme fonksiyonu bir etiket için sonlu bir alfabe içinde . YazmaBir topolojik sıralama arasında bir eşleşme olduğu dan üzere (yani, bir sipariş bir dizi olarak) bu şekilde her o (ör. ye bir kenar varsaλ v ∈ V λ …

11 cc.complexity-theory  sorting  directed-acyclic-graph  partial-order 

Sonlu bir grup sabitleyin . Aşağıdaki karar sorunuyla ilgileniyorum: girdi, G'nin üzerinde kısmi bir düzen bulunan bazı unsurlarıdır ve soru, düzeni tatmin eden unsurların bir permütasyonu olup olmadığı ve buradaki elemanların bileşimi sipariş grubun nötr elementini verir e .G,GGG,GGeee Resmi olarak, testi problemiG,GG aşağıdaki gibidir, burada grubu sabittir:G,GG Girdi: sonlu …

11 np-hardness  sorting  gr.group-theory  partial-order  order-theory 

Aşağıdaki sorunum var: Giriş: iki set ve aralığı (tüm uç noktalar tamsayılardır). Sorgu: monoton bijection var mı?T f : S → TSSSTTTf: S→ Tf:S→Tf:S \to T Bijection, ve ayarlanan dahil etme düzeni ile monotondur . T ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Kısmi siparişler için hesaplama problemleri (örn. Tanıma, atlama sayısı, karşılaştırılabilirlik grafiği tanıma vb.) Üzerinde oldukça fazla çalışma yapılmıştır. Kafeslere özgü hangi çalışmanın yapıldığını merak ediyorum. Etrafı araştırdım ve kafesler için çok benzer bir iş bulamadım. Özellikle, aşağıdaki kafes problemlerinin araştırılıp araştırılmadığıyla ilgileniyorum: Kafes tanıma: DAG veya kısmi bir düzen verildiğinde …

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory