Pertanyaan yang diberi tag «reductions»

Reduksi adalah transformasi dari satu masalah ke masalah lain. Contoh penggunaan reduksi adalah untuk menunjukkan jika masalah P tidak dapat ditentukan. Ini akan dicapai dengan mengubah atau melakukan pengurangan masalah keputusanPmenjadi masalah yang tidak dapat ditentukan. Jika ini dapat dicapai maka kami telah menunjukkan bahwa masalah P ini tidak dapat ditentukan.

2
Apakah PPAD benar-benar menangkap gagasan menemukan simpul yang tidak seimbang lainnya?
Kompleksitas kelas PPAD ditemukan oleh Christos Papadimitriou dalam makalah seminalnya tahun 1994 . Kelas dirancang untuk menangkap kerumitan masalah pencarian di mana keberadaan solusi dijamin oleh "Argumen paritas dalam grafik berarah": jika ada titik tidak seimbang dalam grafik berarah maka harus ada yang lain. Tetapi biasanya kelas secara formal didefinisikan …
1
Pengurangan antar bahasa dengan kepadatan berbeda?
The kepadatan dari bahasa adalah fungsi didefinisikan sebagai Misalkan dan adalah bahasa atas beberapa alfabet yang terbatas, banyak-satu logspace mengurangi ke , dan tidak di . Fungsi yang polynomially terkait jika ada polinomial dan sehingga untuk semua , danXXXdX:N→NdX:N→Nd_X \colon \mathbb{N} \to \mathbb{N}dX(n)=|{x∈X∣|x|≤n}|.dX(n)=|{x∈X∣|x|≤n}|.d_X(n) = |\{x\in X \mid |x| \le n\}|.AAABBBAAABBBBBBL=DSPACE(logn)L=DSPACE(log⁡n)\textsf{L} …
3
Apakah ada pengurangan untuk game “door and pressure plate” yang tidak meledak panjang solusinya?
Makalah ini memberikan bukti bahwa dalam permainan dengan pintu dan pelat penekan, sulit bagi PSPACE untuk menentukan apakah avatar (pemain) dapat mencapai lokasi tertentu. Ini dibuktikan dengan pengurangan dari TQBF , dan lamanya solusi yang dihasilkan tergantung secara eksponensial pada jumlah quantifiers universal dalam formula. Apakah ada pengurangan dari mesin …
1
Model SAT unik vs Tepat
SAT unik adalah masalah yang terkenal: diberi rumus CNF , apakah benar F memiliki satu model?FFFFFF Saya tertarik pada masalah «Persis -SAT»: diberikan rumus CNF F dan integer m > 1 , apakah benar F memiliki model m persis ?mmmFFFm > 1m>1m>1FFFmmm Kedua masalah terlihat serupa. Jadi pertanyaan saya adalah: …
3
Calculus of Constructions: kompres ekspresi ke bentuk terkecilnya
Saya sadar bahwa Kalkulus Konstruksi sangat normal, artinya setiap ekspresi memiliki normal untuk itu tidak boleh beta, dikurangi eta lebih lanjut. Jadi sebenarnya ini adalah ekspresi paling efisien yang menghitung nilai yang sama dengan ekspresi asli. Tetapi dalam kasus-kasus tertentu, normalisasi dapat mengurangi ekspresi kecil menjadi ekspresi besar (dalam hal …
2
Jumlah kejadian variabel terbatas dalam 1-in-3 SAT
Adakah hasil yang diketahui pada kelas kompleksitas 1-in-3-SAT dengan jumlah kejadian variabel yang terbatas? Saya datang dengan pengurangan pelit berikut dengan Peter Nightingale, tapi saya ingin mengutip sesuatu jika ini diketahui. Inilah trik yang kami buat. Ini menunjukkan bahwa 1-in-3-SAT terbatas pada 3 kejadian per variabel adalah NP lengkap dan …
1
Mengapa masalah NP-complete tidak memiliki rasio perkiraan yang sama?
Karena 2 masalah NP-lengkap secara definisi dapat direduksi satu sama lain, sehingga solusi untuk salah satunya dapat diperoleh dengan menggunakan kotak hitam untuk menyelesaikan yang lain, mengapa mereka tidak memiliki rasio pendekatan yang sama (merujuk pada mitra pengoptimalannya) )? Saya kira beberapa drift polinomial konstan atau bahkan dapat dipahami tetapi …
5
Contoh pengurangan-FPT yang bukan merupakan pengurangan waktu polinomial
Dalam kompleksitas parametrized orang menggunakan reduksi fixed-parameter-tractable (FPT) untuk membuktikan W [t] -kekerasan. Secara teoritis pengurangan FPT bukan pengurangan waktu polinomial, karena dapat dijalankan secara eksponensial pada parameter k. Tetapi dalam praktiknya semua pengurangan FPT yang saya lihat adalah pengurangan p-time, yang berarti W [t] -kurang bukti hampir selalu menyiratkan …
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.