Pertanyaan yang diberi tag «complexity-theory»

Apakah analisis yang dihaluskan menemukan jalannya ke dalam analisis aliran utama dari algoritma? Apakah biasa bagi perancang algoritma untuk menerapkan analisis yang diperhalus pada algoritme mereka?

24 algorithms  complexity-theory  algorithm-analysis 

Saya baru-baru ini membaca tentang algoritma untuk memeriksa bisimilaritas dan membaca bahwa masalahnya adalah P-complete . Selain itu, konsekuensi dari ini adalah bahwa masalah ini, atau masalah P-lengkap, tidak mungkin memiliki algoritma paralel yang efisien. Apa intuisi di balik pernyataan terakhir ini?

23 complexity-theory  parallel-computing 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Dalam artikel Wikipedia ini tentang masalah Clique dalam teori graph, ia menyatakan di awal bahwa masalah menemukan klik ukuran K, dalam grafik G adalah NP-complete: Klik juga …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

Saya mencari beberapa petunjuk dalam pertanyaan yang diajukan oleh instruktur saya. Jadi saya baru tahu masalah keputusan ini adalah :NP-completeNP-complete\sf{NP\text{-}complete} Dalam grafik , apakah ada spanning tree dalam G yang berisi sekumpulan S = { x 1 , x 2 , … , x n } sebagai daun. Saya menemukan …

23 complexity-theory  graphs  np-complete 

Saya ingin memulai pertanyaan dengan mengatakan saya seorang programmer, dan saya tidak memiliki banyak latar belakang dalam teori kompleksitas. Satu hal yang saya perhatikan adalah bahwa sementara banyak masalah adalah NP-lengkap, ketika diperluas ke masalah optimasi, beberapa jauh lebih sulit untuk diperkirakan daripada yang lain. Contoh yang baik adalah TSP. …

22 complexity-theory  optimization  np  approximation 

Mari kita asumsikan bahwa . adalah kelas masalah di yang tidak ada di atau di -hard. Anda dapat menemukan daftar masalah yang diduga sebagai sini .N P I N P P N P N P IP ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}N P INPI\mathsf{NPI}N PNP\mathsf{NP}PP\mathsf{P}N PNP\mathsf{NP}NPINPI\mathsf{NPI} Teorema Ladner memberi tahu kita …

22 complexity-theory  np-hard 

Jadi saya mengerti ide bahwa masalah keputusan didefinisikan sebagai Apakah ada jalur P sehingga biaya lebih rendah dari C? dan Anda dapat dengan mudah memeriksa ini benar dengan memverifikasi jalur yang Anda terima. Namun, bagaimana jika tidak ada jalur yang sesuai dengan kriteria ini? Bagaimana Anda memverifikasi jawaban "tidak" tanpa …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

Masalah subset-jumlah adalah masalah klasik NP-complete: Diberikan daftar angka dan target , adakah subset angka dari yang menjumlahkan ke ?k L kL.LLkkkL.LLkkk Seorang siswa bertanya kepada saya apakah varian masalah yang disebut masalah "subset produk" ini adalah NP-complete: Diberikan daftar angka dan target , adakah subset angka dari yang produknya …

21 complexity-theory  np-complete  reductions 

Salah satu motivasi yang mungkin untuk mempelajari kelas kompleksitas komputasi adalah untuk memahami kekuatan berbagai jenis sumber daya komputasi (keacakan, non-determinisme, efek kuantum, dll.). Jika kita melihatnya dari perspektif ini, maka sepertinya kita dapat memperoleh satu aksioma yang masuk akal untuk setiap upaya mengkarakterisasi perhitungan mana yang layak dalam beberapa …

21 complexity-theory  oracle-machines 

Inilah masalahnya. Diberikan , di mana setiap . Apakah ada subset dengan ukuran paling banyak sehingga untuk semua ? Saya mencoba mengurangi masalah ini menjadi SAT. Gagasan saya tentang solusi adalah memiliki variabel untuk masing-masing 1 hingga . Untuk setiap , buat klausa jika . Kemudian dan semua klausa ini …

21 complexity-theory  reductions  np-hard 

Misalkan kita memiliki grafik diarahkan dan dua node dan . Saya ingin tahu apakah sudah ada algoritma untuk menghitung masalah keputusan berikut:G=(V,E)G=(V,E)G=(V,E)AAABBB Apakah setidaknya ada dua jalur antara dan dengan panjang yang sama?AAABBB Bagaimana dengan kerumitannya? Bisakah saya menyelesaikannya dalam waktu polinomial? Saya ingin menambahkan batasan baru pada grafik, mungkin …

20 complexity-theory  graph-theory  time-complexity  graphs 

Baru-baru ini saya menemukan di sebuah makalah [1] versi simetris khusus dari SAT yang disebut 2/2/4-SAT . Tetapi ada banyak -varian lengkap di luar sana, misalnya: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Beberapa varian lainnya dapat ditelusuri: - , Planar-NAE- , ...222SATSAT\text{SAT}SATDUDUK\text{SAT} Apakah ada makalah survei (atau halaman web) …

20 complexity-theory  reference-request  satisfiability 

Saya mengalami keraguan berikut tentang kompleksitas Menara Hanoi , di mana saya ingin komentar Anda. Apakah itu dalam NP? Mencoba jawaban: Misalkan Peggy (prover) memecahkan masalah & mengirimkannya ke Victor (pemverifikasi). Victor dapat dengan mudah melihat bahwa keadaan akhir dari solusinya adalah benar (dalam waktu linier) tetapi dia tidak akan …

20 complexity-theory  time-complexity 

Ini terinspirasi oleh pertanyaan wawancara . Kami diberi array bilangan bulat dan harus menentukan apakah ada yang berbeda sedemikian rupa sehingga i < j < ka1,…,ana1,…,ana_1, \dots, a_ni<j<ki<j<ki \lt j \lt k ak−aj=aj−aiak−aj=aj−aia_k - a_j = a_j - a_i k−j=j−ik−j=j−ik - j = j - i yaitu, urutan dan keduanya …

20 algorithms  complexity-theory  lower-bounds 

Wikipedia menyatakan masalah jumlah subset sebagai menemukan subset dari multiset integer yang diberikan, yang jumlahnya adalah nol. Lebih lanjut ia menyatakan bahwa itu sama dengan menemukan subset dengan jumlah untuk setiap diberikan .ssssss Jadi saya percaya karena keduanya setara, harus ada pengurangan di kedua sisi. Yang dari ke nol adalah …

20 complexity-theory  reductions  np-hard