Pertanyaan yang diberi tag «np»

Parity-P adalah seperangkat bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara jumlah genap atau ganjil dari jalur "penerimaan" (daripada jumlah jalur penerimaan yang nol atau tidak nol). Dengan demikian Parity-P pada dasarnya adalah adik kandung PP kerdil: sementara PP menghitung apakah jumlah jalur penerimaan mesin NP …

18 cc.complexity-theory  complexity-classes  np 

Jaringan switch (namanya diciptakan) dibuat dengan tiga jenis node: satu simpul Mulai satu simpul ujung satu atau lebih Switch node Node switch memiliki 3 pintu keluar: Kiri, Atas, Kanan; memiliki dua status L dan R dan status target TL atau TR . Setiap sakelar dapat dilintasi dengan aturan berikut: selalu …

17 ds.algorithms  reference-request  graph-algorithms  np 

Biarkan dan pertimbangkan masalah keputusan0≤p≤10≤p≤10\le p\le 1 CLIQUE Input: integer , grafik dengan simpul dan edge Pertanyaan: apakah G berisi klik pada sekurang-kurangnya simpul s ?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Sebuah instance dari CLIQUE berisi proporsi dari semua kemungkinan edge. Jelas, CLIQUE mudah untuk beberapa nilai . CLIQUE hanya berisi …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Saya membaca bahwa pemrograman linear integer dapat dipecahkan dalam waktu polinominal jika jumlah variabel diperbaiki, yaitu . Jika jumlah variabel tumbuh secara logaritmik, yaitu untuk input ukuran , apakah masalahnya masih dapat dipecahkan dalam waktu polinominal atau apakah ini merupakan masalah terbuka?nnnn∈O(1)n∈O(1)n \in O(1)n∈O(log2(N))n∈O(log2⁡(N))n \in O(\log_2(N))NNN

16 cc.complexity-theory  np  open-problem 

Dari sudut pandang matematika / komputasi murni abstrak, (bagaimana) seseorang dapat menemukan atau alasan tentang masalah seperti 3-SAT, Subset Sum, Travelling Salesman dll.,? Apakah kita bahkan dapat menalarinya dengan cara yang bermakna hanya dengan sudut pandang fungsional ? Apakah itu mungkin? Saya telah merenungkan pertanyaan ini murni dari sudut penyelidikan …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

FewP adalah kelas N PNPNP -masalah dengan polinom terikat pada jumlah solusi (dalam ukuran input). Tidak ada dikenal N PNPNP masalah -Lengkap di f e w PfewPfewP . Saya tertarik pada seberapa jauh kita dapat memperluas pengamatan ini. Apakah ada alam N PNPNP masalah -Lengkap dengan kuasi-polinomial atas terikat pada …

15 cc.complexity-theory  np 

Apakah ada , bahasa NP- atau P-lengkap yang memiliki keluarga kelompok simetri G n (atau groupoid , tetapi kemudian pertanyaan algoritmik menjadi lebih terbuka) bertindak (dalam waktu polinomial) pada set L n = { l ∈ L ∣ | aku | = n } sedemikian sehingga ada beberapa orbit, yaitu …

14 np  algebra  gr.group-theory  complexity  symmetry 

Disebutkan dalam komentar di postingan lain bahwa kelengkapan PSPACE menyiratkan kekerasan APX. Adakah yang bisa menjelaskan / berbagi referensi untuk itu? Apakah ini "ketat"? (yaitu, apakah ada masalah PSPACE-complete yang masalah optimasi mengakui perkiraan faktor konstan dalam waktu poli?) Bagaimana dengan kelengkapan untuk beberapa level PH? Apakah itu menyiratkan kekerasan …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Teorema Rice menyatakan bahwa setiap properti nontrivial dari set yang dikenali oleh beberapa mesin Turing tidak dapat diputuskan. Saya mencari teorema tipe-Beras kompleksitas-yang memberi tahu kita sifat nontrivial dari set NP mana yang tidak bisa dipraktikkan.

14 cc.complexity-theory  computability  np 

Inilah masalahnya: Kami memiliki kotak dengan beberapa angka dari 1..N di beberapa sel. Itu diperlukan untuk menentukan apakah itu bisa diselesaikan ke kotak ajaib. Contoh: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ …

13 cc.complexity-theory  np-hardness  np  puzzles 

Pertanyaan itu muncul pada saya ketika saya mendapatkan jawaban Dana Moshkovitz untuk topik lain . Biarkan LLL menjadi NP Bahasa, dan membiarkan RLRLR_L menjadi masing- NP hubungan. Kita tahu bahwa ada beberapa polinomial ppp sehingga: ∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL∀x∈L,,∃w∈0,1p(|x|)(x,w)∈RL\forall x \in L, \\, \exists w \in \\{0,1\\}^{p(|x|)} \quad (x,w) \in R_L Pernyataan di …

13 cc.complexity-theory  np 

Asumsikan P NP.≠≠\ne Teorema Ladner mengatakan bahwa ada masalah NP Menengah (masalah dalam NP yang tidak dalam P atau NP-Lengkap). Saya telah menemukan beberapa referensi terselubung online yang menyarankan (saya pikir) bahwa ada banyak "level" dari bahasa yang saling direduksi dalam NPI yang pasti tidak semuanya runtuh menjadi satu. Saya …

13 cc.complexity-theory  np  np-intermediate 

Dalam catatan kuliah ini oleh Ola Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf , dikatakan bahwa kita tidak tahu apakah Euclidean TSP ada di NP: Alasannya adalah karena kita tidak tahu bagaimana cara menghitung akar kuadrat secara efisien. Di sisi lain ada makalah ini oleh Papadimitriou: http://www.sciencedirect.com/science/article/pii/0304397577900123 mengatakan itu adalah NP-lengkap, yang juga berarti itu …

12 np  tsp  computing-over-reals 

Apakah ada masalah NP lengkap (atau bahkan NP-keras, atau NP) yang memiliki sifat topologi yang baik untuk dipelajari. Apakah masalah NP memiliki formulasi teori simpul? Kita tahu tentang hasil # tentang polinomial Jones. Masalah grafik (embeddings?), Khususnya pewarnaan grafik dapat dilihat memiliki sifat teori simpul yang bagus. Ini adalah pertanyaan …

12 ct.category-theory  np 

Properti grafik disebut herediter jika ditutup sehubungan dengan menghapus simpul (yaitu, semua subgraf yang diinduksi mewarisi properti). Properti grafik disebut aditif jika ditutup sehubungan dengan mengambil serikat terputus-putus. Tidak sulit untuk menemukan sifat-sifat yang turun temurun, tetapi tidak aditif. Dua contoh sederhana: \;\;\; (1) Grafik selesai. \;\;\; (2) Grafik tidak …

12 cc.complexity-theory  graph-theory  graph-algorithms  np