Pertanyaan yang diberi tag «order-theory»

Misalkan saya memiliki poset "S" dan predikat monoton "P" pada S. Saya ingin menemukan satu atau semua elemen maksimal dari S yang memuaskan P. EDIT : Saya tertarik dalam meminimalkan jumlah evaluasi P . Algoritma apa yang ada untuk masalah ini dan properti serta operasi tambahan apa yang mereka butuhkan …

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

Karena istilah ini kelebihan beban, definisi singkat terlebih dahulu. Poset adalah himpunan dianugerahi perintah parsial . Dengan dua elemen , kita dapat mendefinisikan (gabung) sebagai batas atas paling rendah mereka di , dan dengan cara yang sama mendefinisikan (bertemu) (gabung) sebagai batas bawah terbesar.XXX≤≤\lea,b∈Xa,b∈Xa,b \in Xx∨yx∨yx \vee yXXXx∧yx∧yx \wedge y …

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

Saya diberikan sebagai masukan DAG dari simpul dimana setiap simpul adalah tambahan label dengan beberapa .GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Jenis topologi dari adalah suatu penambangan dari simpul ke sedemikian rupa sehingga untuk semua , , jika ada jalur dari ke dalam maka . Saya ingin memutuskan apakah ada semacam …

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

Pertimbangkan poset terbatas di atas item, dan predikat monoton yang tidak diketahui atas (yaitu, untuk , , jika dan maka ) . Saya dapat mengevaluasi dengan memberikan satu simpul dan mencari tahu apakah tahan atau tidak. Tujuan saya adalah untuk menentukan set node sedemikian rupa sehingga digunakan, menggunakan beberapa evaluasi(X,≤)(X,≤)(X, …

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

Pertimbangkan masalah di mana kita diberikan sebagai input grafik asiklik langsung G=(V,E)G=(V,E)G = (V, E) , fungsi pelabelan λλ\lambda dari VVV ke beberapa set LLL dengan urutan total &lt;L&lt;L<_L (misalnya, bilangan bulat), dan di mana kita diminta untuk hitung jenis topologi terkecil GGG dari segi λλ\lambda . Lebih tepatnya, semacam …

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

Pertimbangkan P predikat monoton atas powerset 2 | n | (dipesan dengan disertakan). Dengan "monoton" Maksud saya: ∀ x , y ∈ 2 | n | sedemikian rupa sehingga x ⊂ y , jika P ( x ) maka P ( y ) . Saya mencari algoritma untuk menemukan semua …

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

Jika Anda diberi koleksi pesanan parsial, jenis topologi akan memberi tahu Anda jika ada perpanjangan koleksi ke pesanan total (ekstensi dalam hal ini adalah pesanan total yang konsisten dengan masing-masing pesanan parsial). Saya menemukan variasi: Perbaiki satu set . Anda diberikan urutan elemen yang diambil dari tanpa pengulangan (urutannya panjang …

12 ds.algorithms  reference-request  order-theory 

Perbaiki kelompok terbatas . Saya tertarik pada masalah keputusan berikut: input adalah beberapa elemen dengan urutan parsial pada mereka, dan pertanyaannya adalah apakah ada permutasi dari elemen yang memenuhi pesanan dan sedemikian rupa sehingga komposisi elemen dalam order menghasilkan elemen netral grup .G eGGGGGGeee Secara resmi, masalah -test adalah sebagai …

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

Ada cukup banyak pekerjaan pada masalah komputasi untuk pesanan parsial (misalnya, pengakuan, nomor lompatan, pengakuan grafik komparatif, dll ...). Saya ingin tahu apa pekerjaan khusus untuk kisi telah dilakukan. Saya telah mencari-cari dan tidak menemukan banyak pekerjaan serupa untuk kisi-kisi. Secara khusus, saya tertarik pada apakah masalah kisi berikut telah …

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

Teorema fixpoint Tarski menyatakan, bahwa fixpoint operator monoton pada kisi lengkap adalah kisi lengkap. Sebagai akibatnya, kami memiliki fixpoint terbesar yang unik dan fixpoint paling unik untuk operator monoton pada kisi lengkap. Fixpoint bisa unik tetapi secara umum bisa banyak. Pertanyaan saya adalah, di bawah kondisi apa fungsi monoton dapat …

8 algebra  lattice  order-theory