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].

1
Pengurangan di antara Masalah yang Tidak Diputuskan
Saya minta maaf jika pertanyaan ini memiliki beberapa jawaban sepele yang saya lewatkan. Setiap kali saya mempelajari beberapa masalah yang telah terbukti tidak dapat diputuskan, saya mengamati bahwa buktinya bergantung pada pengurangan ke masalah lain yang telah terbukti tidak dapat diputuskan. Saya mengerti bahwa itu menciptakan semacam urutan pada tingkat …
2
Apakah HORN-SAT dalam LIN, jika demikian mengapa itu bukan indikasi bahwa P = LIN?
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 …
2
Jika A memetakan dapat direduksi menjadi B maka komplemen dari A memetakan dapat direduksi menjadi komplemen B
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, …
1
Seperti apakah kelas kompleksitas, jika kita menggunakan pengurangan Turing?
Untuk alasan tentang hal-hal seperti kelengkapan NP, kami biasanya menggunakan banyak-satu pengurangan (yaitu, pengurangan Karp). Ini mengarah ke gambar seperti ini: (di bawah dugaan standar). Saya yakin kita semua akrab dengan hal semacam ini. Gambar apa yang kita dapatkan, jika kita bekerja dengan pengurangan Turing (yaitu, pengurangan Cook)? Bagaimana gambar …
2
Bisakah kita membuat pengurangan Karp dari pengurangan Cook antara masalah NP?
Kami telah memiliki beberapa pertanyaan tentang hubungan pengurangan Cook dan Karp . Jelas bahwa pengurangan Cook (pengurangan Turing polinomial-waktu) tidak mendefinisikan gagasan yang sama tentang kelengkapan NP seperti pengurangan Karp (pengurangan polynomial-time-one-one), yang biasanya digunakan. Secara khusus, pengurangan Cook tidak dapat memisahkan NP dari co-NP bahkan jika P NP. Jadi …
2
Untuk bahasa
Saya mencoba memberikan bukti sebagai berikut: Untuk bahasa apapun SEBUAHSEBUAHA , terdapat bahasa BBB sehingga A ≤TBSEBUAH≤TBA \le_{\mathrm{T}} B tapi B ≰TA≰TSEBUAH\nleq_{\mathrm{T}} A . Saya berpikir untuk membiarkan BBB menjadi ATMSEBUAHTM.A_{\mathrm{TM}} , tetapi saya menyadari bahwa tidak semua bahasa Turing dapat direduksi menjadi ATMSEBUAHTM.A_{\mathrm{TM}} , jadi A≤TBSEBUAH≤TBA \le _T B …
2
Mengurangi aliran maks ke pencocokan bipartit?
Ada pengurangan terkenal dan elegan dari masalah pencocokan bipartit maksimum untuk masalah max-aliran: kita membuat jaringan dengan node sumber , node terminal , dan satu node untuk setiap item untuk dicocokkan, lalu tambahkan tepi yang tepat.tsssttt Pasti ada cara untuk mengurangi aliran maksimum ke pencocokan bipartit maksimum dalam waktu polinomial, …
1
Kekerasan dan arah pengurangan
Katakanlah kita tahu bahwa masalah A itu sulit, maka kita mengurangi A menjadi masalah yang tidak diketahui B untuk membuktikan B juga sulit. Sebagai contoh: kita tahu pewarnaan 3 itu sulit. Lalu kami mengurangi 3-pewarnaan menjadi 4-pewarnaan. Dengan menggabungkan salah satu warna dalam 3-pewarnaan Anda memiliki 4-pewarnaan, ergo 4-pewarnaan itu …
2
Mesin Turing alfabet tak terbatas
Apakah Mesin Turing yang diizinkan untuk membaca dan menulis simbol dari alfabet tak terbatas lebih kuat daripada TM biasa (itulah satu-satunya perbedaan, mesin masih memiliki sejumlah negara terbatas)? Intuisi tidak memberi tahu saya, karena Anda memerlukan jumlah negara tak terbatas untuk membedakan setiap simbol. Jadi saya pikir beberapa simbol atau …
1
Ekspresifitas dari ekspresi reguler modern
Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa tidak akan pernah berhasil karena jika bahasa seperti itu biasa, …
2
Grafik 3-colorability dapat direduksi sendiri
Saya tertarik pada reducibilitas diri sendiri dari masalah Grafik 3-Coloralibity. Definisi masalah Grafik 3-Coloralibity. Mengingat sebuah grafik diarahkan tidak terdapat cara untuk mewarnai node merah, hijau, dan biru yang ada node yang berdekatan memiliki warna yang sama?GGG Definisi reducibilitas diri. Bahasa dapat direduksi sendiri jika ada mesin turing oracle TM …
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.