Pertanyaan yang diberi tag «reductions»

Dalam komputabilitas dan kompleksitas, menemukan pemetaan antara masalah yang memungkinkan penyelesaian satu masalah menggunakan solusi dari yang lain. Untuk pengurangan dalam teori bahasa pemrograman (mis. Reduksi beta), lihat [lambda-calculus] atau [term-rewriting].

4
Apa teknik umum untuk mengurangi masalah satu sama lain?
Dalam teori komputasi dan kompleksitas (dan mungkin bidang lainnya), reduksi ada di mana-mana. Ada banyak jenis, tetapi prinsipnya tetap sama: menunjukkan bahwa satu masalah setidaknya sekeras beberapa masalah lainnya dengan memetakan contoh dari ke yang setara dengan solusi di . Pada dasarnya, kami menunjukkan bahwa setiap solver untuk juga dapat …
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
Mengajar kelengkapan NP - Reduksi Turing vs reduksi Karp
Saya tertarik pada pertanyaan tentang cara terbaik untuk mengajarkan kelengkapan NP ke jurusan ilmu komputer. Secara khusus, haruskah kita mengajarkannya menggunakan pengurangan Karp atau menggunakan pengurangan Turing? Saya merasa bahwa konsep pelengkapan dan pengurangan NP adalah sesuatu yang harus dipelajari oleh setiap ilmu komputer. Namun, ketika mengajarkan kelengkapan NP, saya …
1
Menyortir sebagai program linier
Sejumlah masalah mengejutkan memiliki pengurangan yang cukup alami untuk pemrograman linier (LP). Lihat Bab 7 dari [1] untuk contoh-contoh seperti aliran jaringan, pencocokan bipartit, permainan zero-sum, jalur terpendek, bentuk regresi linier, dan bahkan evaluasi sirkuit! Karena evaluasi rangkaian dikurangi menjadi pemrograman linier, setiap masalah dalam harus memiliki formulasi pemrograman linier. …
2
Jika saya dapat memecahkan Sudoku, bisakah saya menyelesaikan Masalah Traveling Salesman Problem (TSP)? Jika ya, bagaimana caranya?
Katakanlah ada program sedemikian rupa sehingga jika Anda memberikan Sudoku yang terisi sebagian dari ukuran apa pun, itu memberi Anda Sudoku lengkap yang sesuai. Bisakah Anda memperlakukan program ini sebagai kotak hitam dan menggunakannya untuk menyelesaikan TSP? Maksud saya, apakah ada cara untuk merepresentasikan masalah TSP sebagai Sudoku yang terisi …
3
Mengubah masalah (matematika) menjadi instance SAT
Apa yang ingin saya lakukan adalah mengubah masalah matematika yang saya miliki menjadi masalah kepuasan boolean (SAT) dan kemudian menyelesaikannya menggunakan SAT Solver. Saya ingin tahu apakah seseorang mengetahui manual, panduan, atau apa pun yang akan membantu saya mengubah masalah saya menjadi instance SAT. Juga, saya ingin menyelesaikan ini lebih …
2
Apakah masalah “subset produk” NP-selesai?
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 …
2
Kurangi masalah berikut menjadi SAT
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 …
2
Jumlah Subset: kurangi khusus ke kasus umum
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 …
3
SETENGAH CLIQUE - NP Lengkap Masalah
Mari saya mulai dengan mencatat bahwa ini adalah masalah pekerjaan rumah, tolong berikan hanya saran dan pengamatan terkait, JANGAN JAWABAN LANGSUNG . Dengan itu, inilah masalah yang saya lihat: Biarkan HALF-CLIQUE = { | adalah grafik tak berarah yang memiliki subgraph lengkap dengan setidaknya node, di mana n adalah jumlah …
2
Bisakah satu menunjukkan kekerasan NP dengan pengurangan Turing?
Dalam tulisan Complexity of the Frobenius Problem oleh Ramírez-Alfonsín, masalah terbukti sebagai NP-complete menggunakan pengurangan Turing. Apakah itu mungkin? Bagaimana sebenarnya? Saya pikir ini hanya mungkin dengan pengurangan banyak waktu polinomial. Apakah ada referensi tentang ini? Apakah ada dua pengertian NP-hardness yang berbeda, bahkan NP-completeness? Tetapi kemudian saya bingung, karena …
1
Bisakah min cut lebih mudah daripada aliran jaringan?
Berkat teorema min-cut max-flow, kami tahu bahwa kami dapat menggunakan algoritma apa pun untuk menghitung aliran maksimum dalam grafik jaringan untuk menghitung a -min-cut. Oleh karena itu, kompleksitas penghitungan potongan minimum ( s , t ) tidak lebih dari kompleksitas penghitungan aliran maksimum ( s , t ) .(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t) Mungkinkah …
2
Pengurangan polinom dari masalah NP-lengkap untuk PCP terbatas
Buku-buku teks di mana-mana mengasumsikan bahwa Masalah Korespondensi Bounded Post adalah NP-complete (tidak lebih dari NNN indeks diizinkan dengan pengulangan). Namun, tidak ada satupun yang menunjukkan pengurangan polinomial waktu yang sederhana (seperti pada, sesuatu yang dapat dipahami oleh seorang mahasiswa sarjana) dari masalah NP-complete lainnya. Namun setiap pengurangan yang dapat …
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.