Urutan parsial adalah hubungan biner atas himpunan yang refleksif, antisimetris, dan transitif.
Misalkan saya memiliki grafik asiklik terarah dengan bobot bilangan real pada simpulnya. Saya ingin menemukan pemesanan topologi DAG di mana, untuk setiap awalan pemesanan topologis, jumlah bobot adalah non-negatif. Atau jika Anda lebih suka terminologi teoretis pesanan, saya memiliki urutan...
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...
Mengingat satu set keluarga himpunan bagian dari alam semesta . Biarkan dan kami ingin menjawab adalah .FF\mathcal{F}UUUS1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal FS1⊆S2S1⊆S2S_1 \subseteq S_2 Saya mencari struktur data yang memungkinkan saya untuk dengan cepat menjawab ini. Aplikasi saya adalah dari teori...
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...
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...
Pertanyaan ini dimotivasi oleh pertanyaan MathOverflow oleh Peng Zhang . Valiant menunjukkan bahwa menghitung klik maksimal dalam grafik umum adalah # P-complete, tetapi bagaimana jika kita membatasi pada grafik yang tidak dapat dibandingkan (yaitu, kita ingin menghitung antichains maksimal dalam...
Ini adalah tindak lanjut dari pertanyaan David Eppstein baru-baru ini dan dimotivasi oleh masalah yang sama. Misalkan saya memiliki barang dengan bobot bilangan real pada simpulnya. Awalnya, semua simpul tidak ditandai. Saya dapat mengubah set simpul yang ditandai dengan (1) menandai titik tanpa...
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 elemen minimal P , yaitu, x ∈ 2 | n | sedemikian rupa...
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...
Mari menjadi grafik asiklik diarahkan , dan membiarkan λ menjadi fungsi pelabelan memetakan setiap titik v ∈ V untuk label λ ( v ) di beberapa alfabet yang terbatas L . Menulis n : = | V | , Sebuah semacam topologi dari G adalah bijection σ dari { 1 , ... , n } ke V (yaitu, pemesananG=(V,E)G=(V,E)G...
Sebuah antichain dalam DAG adalah bagian A ⊆ V dari simpul yang berpasangan terjangkau, yaitu, tidak ada v ≠ v ' ∈ A sehingga v dapat dicapai dari v ' di E . Dari teorema Dilworth dalam teori urutan parsial, diketahui bahwa jika DAG tidak memiliki ukuran antik dari ukuran k ∈ N , maka dapat...
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...
Saya memiliki masalah berikut: Input: dua set interval dan T (semua titik akhir adalah bilangan bulat). Pertanyaan: adakah bijih monoton f : S → T ?SSSTTTf: S→ Tf:S→Tf:S \to T Bijection adalah monoton wrt set masuknya order pada dan T . ∀ X ⊆ Y ∈ S , f ( X ) ⊆ f ( Y )SSSTTT∀ X⊆ Y∈ S, f ( X) ⊆ f(...