Pertanyaan yang diberi tag «complexity-theory»

Saya tahu bahwa set independen maksimum pada grafik bebas segitiga kubik adalah NP-lengkap. Apakah masih NP-complete jika kita memerlukan set independen berukuran persis ?|V|/2|V|/2|V|/2 Pada dasarnya, contoh instal dari masalah himpunan bebas pada masalah grafik bebas segitiga kubik harus memiliki persis node. Contoh TIDAK memiliki kumpulan ukuran independen kurang dari …

11 complexity-theory  np-complete 

Apakah ada algoritma untuk masalah berikut: Diberikan mesin Turing yang menentukan bahasa L , Apakah ada mesin Turing M 2 yang memutuskan L sedemikian rupa sehingga t 2 ( n ) = o ( t 1 ( n ) ) ?M1M1M_1LLLM2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) Fungsi dan t 2 adalah waktu menjalankan …

11 complexity-theory  computability  undecidability  decision-problem 

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Pemecah SAT modern sangat baik dalam memecahkan banyak contoh dunia nyata dari contoh SAT. Namun, kami tahu cara menghasilkan yang sulit: misalnya menggunakan pengurangan dari anjak menjadi SAT dan memberikan nomor RSA sebagai input. Ini menimbulkan pertanyaan: bagaimana jika saya mengambil contoh mudah dari anjak piutang. Alih-alih mengambil dua bilangan …

11 complexity-theory  satisfiability  sat-solvers  factoring 

Misalkan saya diberi satu set terbatas poin di pesawat, dan diminta untuk menggambar kurva C ( P ) yang dapat dibedakan dua kali melalui p i , sedemikian sehingga perimeternya sekecil mungkin. Dengan asumsi p i = ( x i , y i ) dan x i < x i …

11 complexity-theory  np-hard  optimization  computable-analysis 

Saya memiliki tugas pekerjaan rumah yang selama ini saya anggap bertentangan, dan saya akan menghargai setiap petunjuk. Ini adalah tentang memilih masalah yang diketahui, NP-kelengkapan yang terbukti, dan membangun pengurangan dari masalah itu ke masalah berikut saya akan memanggil DGD (diagnosis grafik diarahkan). Masalah Sebuah contoh dari DGD terdiri dari …

11 complexity-theory  np-hard  graph-theory 

Semua orang tahu "Garey & Johnson", yang merupakan referensi masuk ke saya setiap kali saya membutuhkan masalah untuk mengubah dari bukti NP-hardness. Namun saya baru-baru ini menemukan diri saya membutuhkan bukti kekerasan APX, dan saya bertanya-tanya apakah ada kumpulan masalah yang serupa (dan lebih terkini ..?) Yang telah terbukti keras-APX. …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

Kompleksitas Zoo mendefinisikan L INL.sayaNLIN sebagai kelas masalah keputusan yang dipecahkan oleh mesin Turing deterministik dalam waktu linier. L IN⊆ P.L.sayaN⊆PLIN \subseteq P Karena HORN-SAT dapat dipecahkan dalam (seperti yang ditunjukkan dalam algoritma Linear-time untuk menguji kepuasan formula tanduk proposisional (1984) )O ( n )HAI(n)O(n) Algoritma baru untuk memutuskan apakah …

11 complexity-theory  time-complexity  reductions 

Apakah ada algoritma yang dikenal yang secara benar menampilkan "ya" ke masalah NP-complete tanpa secara implisit menghasilkan sertifikat? Saya mengerti bahwa sangat mudah untuk mengubah oracle kepuasan menjadi pencari penugasan memuaskan: hanya beralih pada variabel, setiap kali meminta oracle kepuasan untuk memecahkan hubungannya dengan variabel itu dengan masalah asli. Tapi …

11 algorithms  complexity-theory  np-complete 

Apakah masalah menentukan apakah ekspresi Boolean yang diberikan memuaskan secara komputasi berbeda dari benar-benar menemukan solusi untuk ekspresi? Dengan kata lain, adakah cara lain untuk menemukan bahwa ekspresi yang diberikan adalah memuaskan tanpa secara eksplisit menentukan 'pengaturan yang tepat' untuk variabel Boolean? Atau apakah semua bukti yang mungkin berkurang dalam …

11 complexity-theory  satisfiability 

Saya membaca beberapa kali bahwa tidak mungkin membalik jawaban NDTM secara efisien. Namun, saya tidak mengerti mengapa. Misalnya, mengingat NDTM yang berjalan di , teks ini (bagian 3.3) menyatakan bahwa tidak jelas bagaimana NDTM dapat menentukan dalam waktu cara membalikkan jawabanMMMO(n)O(n)O(n)TTTO(n100)O(n100)O(n^{100})MMM Masalah saya adalah sebagai berikut: NDTM menghasilkan jika ada …

11 complexity-theory  turing-machines 

Dari Wikipedia : Jenis masalah komputasi: Masalah yang paling umum digunakan adalah masalah keputusan . Namun, kelas kompleksitas dapat didefinisikan berdasarkan masalah fungsi, masalah penghitungan, masalah optimisasi, masalah janji, dll. Saya juga melihat definisi NP-complete, NP-hard, NP, ..., didefinisikan untuk masalah keputusan saja. Saya bertanya-tanya mengapa demikian? Apakah itu karena …

11 complexity-theory  terminology 

Saya belajar untuk yang terakhir dalam teori komputasi, dan saya berjuang dengan cara yang tepat untuk menjawab apakah pernyataan ini benar atau salah. Dengan definisi dari kita dapat membangun pernyataan berikut,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin A \iff f(w) \notin B Di sinilah saya terjebak, …

11 complexity-theory  computability  reductions 

Algoritma mesin Turing polinomial-waktu dianggap efisien jika run-time-nya, dalam kasus terburuk, dibatasi oleh fungsi polinomial dalam ukuran input. Saya mengetahui tesis kuat Gereja-Turing: Model perhitungan yang masuk akal dapat disimulasikan secara efisien pada mesin Turing Namun, saya tidak mengetahui teori yang kuat untuk menganalisis kompleksitas komputasi dari algoritma -calculus.λλ\lambda Apakah …

11 complexity-theory  efficiency  computation-models 

Seperti yang saya mengerti, masalah penugasan dalam P karena algoritma Hungaria dapat menyelesaikannya dalam waktu polinomial - O (n 3 ). Saya juga mengerti bahwa masalah penugasan adalah masalah pemrograman linear integer , tetapi halaman Wikipedia menyatakan bahwa ini adalah NP-Hard. Bagi saya, ini menyiratkan masalah penugasan dalam NP-Hard. Tapi …

11 complexity-theory  complexity-classes  linear-programming  integer-programming