Pertanyaan yang diberi tag «complexity-theory»

Pertanyaan yang terkait dengan kompleksitas (komputasi) penyelesaian masalah

2
Apakah ada tugas yang dapat dipecahkan dalam waktu polinomial tetapi tidak dapat diverifikasi dalam waktu polinomial?
Seorang kolega saya dan saya baru saja menekan beberapa catatan dari salah satu profesor kami. Catatan menyatakan bahwa ada tugas-tugas yang mungkin diselesaikan dalam waktu polinomial (berada dalam kelas PF) tetapi yang TIDAK dapat diverifikasi dalam waktu polinomial (TIDAK dalam kelas NPF). Untuk menguraikan tentang kelas-kelas ini: Kami mendapatkan beberapa …
2
Mengapa kami percaya bahwa PSPACE ≠ EXPTIME?
Saya mengalami kesulitan memahami mengapa PSPACE secara umum diyakini berbeda dari EXPTIME. Jika PSPACE adalah serangkaian masalah yang dapat dipecahkan dalam polinomial ruang dalam ukuran input , lalu bagaimana mungkin ada kelas masalah yang mengalami ledakan waktu eksponensial yang lebih besar dan tidak menggunakan ruang eksponensial?f(n)f(n)f(n) Jawaban Yuval Filmus sudah …
4
Bagaimana saya bisa memverifikasi solusi untuk Traveling Salesman Problem dalam waktu polinomial?
Jadi, masalah keputusan TSP (Traveling salesman) adalah masalah NP yang lengkap . Tetapi saya tidak mengerti bagaimana saya dapat memverifikasi bahwa solusi yang diberikan untuk TSP sebenarnya optimal dalam waktu polinomial, mengingat bahwa tidak ada cara untuk menemukan solusi optimal dalam waktu polinomial (yang karena masalahnya bukan pada P)? Adakah …
1
Seberapa sulit menghitung jumlah jalur sederhana antara dua node dalam grafik terarah?
Ada algoritma polinomial yang mudah untuk memutuskan apakah ada jalur antara dua node dalam grafik terarah (cukup lakukan traversal grafik rutin dengan, katakanlah, pencarian-kedalaman-pertama). Namun tampaknya, secara mengejutkan, masalahnya menjadi lebih sulit jika alih-alih menguji keberadaan kami ingin menghitung jumlah jalur. Jika kita mengizinkan jalur untuk menggunakan kembali simpul maka …
4
Masalah umum 3SUM (k-SUM)?
Masalah 3SUM mencoba mengidentifikasi 3 bilangan bulat dari himpunan dengan ukuran sehingga .S n a + b + c = 0a , b , cSebuah,b,ca,b,cSSSnnna+b+c=0Sebuah+b+c=0a + b + c = 0 Diduga bahwa tidak ada solusi yang lebih baik daripada kuadratik, yaitu . Atau dengan kata lain: .o ( n …
3
Mengapa Relativization menjadi penghalang?
Ketika saya menjelaskan bukti Baker-Gill-Solovay bahwa ada oracle yang dapat kita miliki, , dan sebuah oracle yang dengannya kita dapat memiliki kepada teman , muncul pertanyaan mengapa teknik seperti itu tidak cocok untuk membuktikan masalah , dan saya tidak bisa memberikan jawaban yang memuaskan.P=NPP=NP\mathsf{P} = \mathsf{NP}P ≠ N PP≠NPP≠NP\mathsf{P} \neq …
1
Subset jumlah masalah dengan banyak kondisi keterbagian
Biarkan SSS menjadi satu set bilangan alami. Kami menganggap SSS dalam urutan parsial yang dapat dibagi, yaitu s1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 . Membiarkan α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V barangantik}}\}. Jika kita mempertimbangkan masalah jumlah bagian di mana multiset angka berada di SSS …
2
Mengapa tipe void C tidak analog dengan tipe kosong / bawah?
Wikipedia serta sumber lain yang saya temukan daftar voidtipe C sebagai tipe unit sebagai lawan dari tipe kosong. Saya menemukan ini membingungkan karena menurut saya voidlebih cocok dengan definisi tipe kosong / bawah. Tidak ada nilai yang dihuni void, sejauh yang saya tahu. Suatu fungsi dengan tipe kembali dari kekosongan …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
3
Mengukur tingkat kesulitan SAT
Diberikan instance dari SAT, saya ingin dapat memperkirakan seberapa sulitnya untuk menyelesaikan instance. Salah satu caranya adalah dengan menjalankan solver yang ada, tetapi jenis itu mengalahkan tujuan memperkirakan kesulitan. Cara kedua mungkin mencari rasio klausa terhadap variabel, seperti yang dilakukan untuk transisi fase secara acak-SAT, tapi saya yakin metode yang …
6
Menghasilkan Kombinasi dari serangkaian pasangan tanpa pengulangan elemen
Saya memiliki satu set pasangan. Setiap pasangan berbentuk (x, y) sedemikian rupa sehingga x, y milik bilangan bulat dari kisaran [0,n). Jadi, jika n adalah 4, maka saya memiliki pasangan berikut: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Saya sudah memiliki pasangan. Sekarang, saya harus membangun kombinasi menggunakan n/2pasangan sehingga tidak …
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.