«order-theory» etiketlenmiş sorular

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 

Terim aşırı yüklendiğinden, önce kısa bir tanım. Bir poşet bir dizi kısmi düzenine sahip . İki elemanları göz önüne alındığında , biz tanımlayabilir kendi azından üst bağlanmış olarak (birleştirme) ve benzer tanımlamak bağlı düşük bir en büyük olarak (karşılamak) (birleştirme).XXX≤≤\lea,b∈Xa,b∈Xa,b \in Xx∨yx∨yx \vee yXXXx∧yx∧yx \wedge y Kafes, herhangi iki öğenin …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

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 

Bir asiklik yönlendirilmiş grafiktir biz girdi olarak verilir problemi göz önünde , bir etiketleme fonksiyonu gelen V bir grubu için L toplam sipariş <_l biz istenir (örneğin, tam sayı) ve sözlükbilimsel olarak en küçük topolojik G türünü \ lambda cinsinden hesaplamak . Daha kesin olarak, bir topolojik sıralama arasında G …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

(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 

Bir kısmi sipariş koleksiyonuna sahipseniz, topolojik sıralama, koleksiyonun toplam siparişe bir uzantısı olup olmadığını size bildirir (bu durumda bir uzantı, kısmi siparişlerin her biriyle tutarlı bir toplam sipariştir). Bir varyasyonla karşılaştım: Bir dizi düzeltme . Size tekrarlama yapılmadan çizilen öğelerin dizileri (diziler 1 ile arasında uzunluktadır ).σ 1 , …

12 ds.algorithms  reference-request  order-theory 

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 

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