Pertanyaan yang diberi tag «search-problem»

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 

Dalam "Quantum Computation and Quantum Information" Mike dan Ike, algoritma Grover dijelaskan dengan sangat terperinci. Namun, dalam buku ini, dan dalam semua penjelasan yang saya temukan online untuk algoritma Grover, tampaknya tidak disebutkan tentang bagaimana Oracle dibangun, kecuali kita sudah tahu negara bagian mana yang sedang kita cari, mengalahkan tujuan …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

Jika L=NLL=NL\mathsf{L = NL} , maka ada algoritma logspace yang memecahkan versi keputusan 2-SAT. Apakah L=NLL=NL\mathsf{L = NL} diketahui menyiratkan bahwa ada algoritma ruang log untuk mendapatkan tugas yang memuaskan , ketika diberi instance 2-SAT yang memuaskan sebagai input? Jika tidak, bagaimana dengan algoritma yang menggunakan ruang sub-linear (dalam jumlah …

15 sat  search-problem  logspace 

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 

Saya sedang membaca artikel wikipedia tentang masalah delapan ratu. Dinyatakan bahwa, tidak ada formula yang diketahui untuk jumlah pasti solusi. Setelah beberapa pencarian, saya menemukan sebuah makalah bernama "Pada kesulitan menghitung masalah pemetaan lengkap". Dalam tulisan ini ada masalah, terbukti paling keras seperti #queens, yang melampaui #P. Melihat sekilas jumlah …

14 cc.complexity-theory  counting-complexity  search-problem 

Saya punya (mudah-mudahan sederhana, mungkin bodoh) pertanyaan di kertas tengara Babai yang menunjukkan bahwa quasipolynomial.G IGsaya\mathsf{GI} Babai menunjukkan cara menghasilkan sertifikat yang dua grafik untuk isomorfik, dalam waktu kuasipolinomial dalam.Gsaya=(Vi,Ei)Gi=(Vi,Ei)G_i=(V_i,E_i)i∈{1,2}i∈{1,2}i\in\{1,2\}v=|Vi|v=|Vi|v=|V_i| Apakah Babai benar-benar menunjukkan cara menemukan elemen yang memungkinkan simpul ke , atau apakah sertifikat itu hanya pernyataan keberadaan?π∈Svπ∈Sv\pi\in S_vG1G1G_1G2G2G_2 …

13 graph-isomorphism  search-problem 

Sangat mudah untuk melihat bahwa jika maka ada masalah pencarian total yang tidak dapat diselesaikan dalam waktu polinomial (buat masalah pencarian total dengan memiliki saksi untuk keanggotaan dan saksi bukan anggota).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Apakah yang sebaliknya juga benar, yaitu Apakah keberadaan total masalah pencarian tidak dapat dalam waktu polinomial menyiratkan …

13 cc.complexity-theory  reference-request  search-problem 

Kompleksitas kelas PPAD ditemukan oleh Christos Papadimitriou dalam makalah seminalnya tahun 1994 . Kelas dirancang untuk menangkap kerumitan masalah pencarian di mana keberadaan solusi dijamin oleh "Argumen paritas dalam grafik berarah": jika ada titik tidak seimbang dalam grafik berarah maka harus ada yang lain. Tetapi biasanya kelas secara formal didefinisikan …

13 cc.complexity-theory  reductions  search-problem  ppad 

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 

Pertimbangkan masalah berikut. Ada nnn nilai yang tidak diketahui v1,⋯,vn∈Rv1,⋯,vn∈Rv_1, \cdots, v_n \in \mathbb{R} . Tugasnya adalah menemukan indeks yang terbesar hanya menggunakan kueri dari formulir berikut. Kueri ditentukan oleh himpunan S⊆{1,⋯,n}S⊆{1,⋯,n}S \subseteq \{1,\cdots,n\} dan jawaban yang sesuai adalah maxi∈Svimaxi∈Svi\max_{i \in S} v_i . Tujuannya adalah menggunakan pertanyaan sesedikit mungkin. …

10 approximation-algorithms  randomized-algorithms  search-problem  random-walks  binary-trees 

Saya telah memikirkan pertanyaan berikut pada berbagai waktu sejak saya melihat pertanyaan tentang Kriptografi ini . Pertanyaan Biarkan menjadi hubungan TFNP . Dapatkah oracle acak membantu P / poli untuk memecahkan R dengan probabilitas yang tidak dapat diabaikan? Lebih formal, RRRRRR \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} Apakah untuk semua P / …

9 cr.crypto-security  relativization  advice-and-nonuniformity  search-problem  random-oracles