Pertanyaan yang diberi tag «complexity-theory»

Pertanyaan yang terkait dengan kompleksitas (komputasi) penyelesaian masalah

1
Kompleksitas yang diketahui paling cepat untuk algoritma ILP kombinasi?
Saya bertanya-tanya, apa algoritma yang paling terkenal, dalam hal notasi Big- , untuk menyelesaikan Integer Linear Programming?OOO Saya tahu bahwa masalah adalah -Lengkap, jadi aku tidak mengharapkan apa-apa polinomial. Dan saya tahu ada banyak heuristik dan yang digunakan dalam aplikasi praktis seperti CPLEX, tapi saya lebih tertarik pada formalitas, kompleksitas …
1
Bukti teorema Karp-Lipton
Saya mencoba memahami bukti teorema Karp-Lipton sebagaimana dinyatakan dalam buku "Kompleksitas Komputasi: Suatu pendekatan modern" (2009). Secara khusus, buku ini menyatakan sebagai berikut: Teorema Karp-Lipton Jika NP , maka PH .P ∖ p o l y⊆⊆\subseteq P∖ p o l yP∖halHailyP_{\backslash poly} =Σp2=Σ2hal= \Sigma^p_2 Bukti: Dengan Teorema 5.4, untuk menunjukkan …
2
Apakah ada algoritma yang efisien untuk ekuivalensi ekspresi?
misal ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) Ekspresi berasal dari aljabar sekolah menengah biasa, tetapi terbatas pada penambahan dan perkalian aritmatika (misalnya ), tanpa inversi, pengurangan atau pembagian. Surat adalah variabel.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Jika ini membantu, kami dapat melarang ekspresi apa pun yang dapat diwakili dengan nilai numerik selain ; yaitu bukan atau atau :x 2 …
6
Menemukan XOR maks dari dua angka dalam satu interval: dapatkah kita melakukan lebih baik daripada kuadratik?
Misalkan kita diberi dua angka dan dan kita ingin menemukan untuk l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Algoritma naif hanya memeriksa semua pasangan yang mungkin; misalnya dalam ruby, kita akan memiliki: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| …
2
Apakah ada kelas kompleksitas yang ditetapkan dengan bilangan real?
Seorang siswa baru-baru ini meminta saya untuk memeriksa bukti kekerasan NP untuk mereka. Mereka melakukan pengurangan sepanjang garis: Saya mengurangi masalah ini P′P′P' yang dikenal sebagai NP-lengkap untuk masalah saya PPP (dengan banyak-satu pengurangan poli-waktu), jadi PPP adalah NP-keras. Jawaban saya pada dasarnya: Karena PPP memiliki instance dengan nilai-nilai dari …
3
Kompleksitas masalah Adopsi Kucing
Ini muncul ketika saya mencoba untuk menjawab pertanyaan ini pada Minimalisasi Panjang Kabel . Saya akan menyebutnya masalah "perkawinan poligami", tetapi internet, jadi anak kucing. Yay! Misalkan kita memiliki anak kucing yang perlu diadopsi oleh N orang, M > N . Untuk setiap anak kucing, saya dan setiap orang j …
2
Beberapa pertanyaan tentang komputasi paralel dan kelas NC
Saya memiliki sejumlah pertanyaan terkait tentang kedua topik ini. Pertama, sebagian besar teks kompleksitas hanya menutupi kelas . Apakah ada sumber daya yang baik yang mencakup penelitian lebih mendalam? Sebagai contoh, sesuatu yang membahas semua pertanyaan saya di bawah ini. Juga, saya berasumsi bahwa masih melihat cukup banyak penelitian karena …
1
Pengurangan langsung dari
Kita tahu bahwa adalah di N L oleh Immerman-Szelepcsényi Teorema Teorema dan karena s t - c o n n e c t i v i t y adalah Karenanya, N L - h a r d s t - n ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} adalah banyak-satu ruang log dapat direduksi menjadi s …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.