Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

2
Kekerasan menghasilkan contoh masalah yang lebih sulit daripada kompleksitas masalah yang dihasilkan
Dalam film Inception Cobb meminta Ariadne untuk merancang labirin yang membutuhkan waktu dua kali lebih banyak untuk merancang. Ini cocok untuk masalah umum di mana kita memiliki situasi di mana kita terbatas sumber daya dengan jumlah tertentu dan siapa pun yang akan memverifikasi bahwa masalah ini berada dalam kelas kompleksitas …
2
Partisi satu set bilangan bulat ke dalam himpunan bagian dengan jumlah yang ditentukan
Saya melihat masalah ini: Sebuah peningkatan urutan non bilangan bulat positif m1,m2,...,mkm1,m2,...,mkm_1,m_2,..., m_k dikatakan n-realisasi jika set In={1,2,...,n}In={1,2,...,n}I_n=\{1,2,..., n\} dapat dibagi menjadi kkk saling himpunan bagian menguraikan S1,S2,...,SkS1,S2,...,SkS_1,S_2,...,S_k sedemikian rupa sehingga ∑x∈Six=mi∑x∈Six=mi\sum_{x\in S_i} x = m_i untuk setiap1≤i≤k1≤i≤k1\leq i \leq k . dalam makalah "PARTISI DARI SATU INTEGER KE DALAM …
1
Asimetri yang aneh dalam penokohan yang baik
Ada beberapa teorema, kebanyakan dalam teori grafik dan optimasi kombinatorial, yang sering disebut sebagai penokohan yang baik. Mereka biasanya menempatkan properti di , dengan menunjukkan bahwa suatu properti dapat bertahan, atau ada beberapa kendala yang teridentifikasi dengan baik yang mencegahnya menahan. Seringkali mereka disajikan sebagai teorema min-max, lihat pertanyaan sebelumnya …
1
apa yang diketahui tentang persimpangan set efisien
Katakanlah Anda memiliki sejumlah set bilangan bulat ( ), dan Anda ingin menghitung persimpangan dari beberapa dari mereka ( ∩ S 1 , S 3 , S 7 mungkin query, tetapi Anda ingin untuk mendukung banyak pertanyaan seperti itu, atau bahkan mungkin semua pertanyaan yang mungkin)S1,S2...SnS1,S2...SnS_1, S_2 ... S_n∩S1,S3,S7∩S1,S3,S7\cap S_1, …
1
Apa konteks aksiomatik (teori himpunan) P vs NP dan NP = EXPTIME dugaan?
Ketika dugaan atau P ≠ N P diatur (misalnya oleh Clay Mathematical Institute oleh S. Cook, lihat di sini ) sistem aksiomatik matematika apa yang diasumsikan?P=NPP=NP\mathbf{P} = \mathbf{NP}P≠NPP≠NP\mathbf{P} \neq \mathbf{NP} Untuk membuktikan atau menyangkal pernyataan seperti itu, Anda perlu mengasumsikan beberapa aksioma. Yang mana Hanya aritmetika Peano (bahasa formal orde …
3
Apakah ada masalah yang membagi-dan-menaklukkan / rekursi terbukti tidak berguna?
Ketika kami mencoba membuat algoritma untuk masalah baru, bagi-dan-taklukkan (menggunakan rekursi) adalah salah satu pendekatan pertama yang kami coba. Tetapi dalam beberapa kasus, pendekatan ini tampaknya tidak membuahkan hasil karena masalahnya menjadi jauh lebih rumit ketika inputnya bertambah. Pertanyaan saya adalah: adakah masalah yang bisa kita buktikan bahwa pendekatan membagi …
1
Masalah dalam AM atau MA
Apa saja contoh masalah yang diketahui berada dalam AMAM\mathsf{AM} (resp. MAMA\mathsf{MA} ) yang tidak diketahui berada dalam NPNP\mathsf{NP} atau dalam BPPBPP\mathsf{BPP} ? Untuk AMAM\mathsf{AM} , saya tahu dua contoh berikut: Grafik non-isomorfisme: Diberikan dua grafik berlabel GGG dan HHH , apakah mereka grafik yang sama hingga permutasi simpul? Protokol batas …
1
Konsekuensi nondeterminisme mempercepat perhitungan deterministik
Jika berisi kelas masalah waktu superpolinomial, yaituNPNP\mathsf{NP} untuk beberapa fungsi , D T I M E ( t ) ⊆ N P ,t∈nω(1)t∈nω(1)t \in n^{\omega(1)}DTIME(t)⊆NPDTIME(t)⊆NP\mathsf{DTIME}(t) \subseteq \mathsf{NP} P⊊NPP⊊NP\mathsf{P} \subsetneq \mathsf{NP} Tetapi apakah ada konsekuensi menarik lain yang nontrivial (yaitu bukan konsekuensi dari ) jika nondeterminisme dapat mempercepat perhitungan deterministik?P⊊NPP⊊NP\mathsf{P} \subsetneq …
1
Varian variasi aritmatika multidimensi
Untuk d⃗ ∈Nnd→∈Nn\vec{d} \in \mathbb{N}^n , misalkan Q(d⃗ )⊂NnQ(d→)⊂NnQ(\vec{d}) \subset \mathbb{N}^n adalah himpunan simpul dari kubus dimensi- nnn diskalakan ke arah koordinat ke- iii oleh didid_i , yaitu Q(d⃗ ={⟨±d1,…,±dn⟩}Q(d→={⟨±d1,…,±dn⟩}Q(\vec{d} = \{\langle \pm d_1, \ldots, \pm d_n\rangle\} . Pertimbangkan masalah berikut: Diberikan satu set titik dalam NnNn\mathbb{N}^n dan angka kkk …
3
Kesenjangan eksponensial pada lapisan jaringan saraf
Saya membacanya di sini bahwa ada keluarga fungsi yang memerlukan node pada jaringan saraf dengan paling banyak lapisan untuk mewakili fungsi sementara hanya perlu jika jaringan saraf memiliki setidaknya lapisan. Itu merujuk pada sebuah makalah oleh Hastad. Saya tidak menemukannya. Bisakah seseorang memberi tahu saya judul makalahnya? Saya pikir ini …
2
Apakah relatisasi didefinisikan dengan baik?
Menurut BGS teorema [1], ada oracle sehingga .SEBUAHSEBUAHAPSEBUAH≠ NPSEBUAHPSEBUAH≠NPSEBUAHP^A\neq NP^A Jika operasi relativiasi adalah fungsi yang terdefinisi dengan baik, orang akan berharap bahwa dari seseorang akan dapat menyimpulkan bahwa , misalnya akan mengikuti dari BGS. Namun, masih terbuka.B ↦ BSEBUAHB↦BSEBUAHB\mapsto B^ABSEBUAH≠ CSEBUAHBSEBUAH≠CSEBUAHB^A\neq C^AB ≠ CB≠CB\neq CP≠ NPP≠NPP\neq NPP≠ NPP≠NPP\neq NP …
1
Kompleksitas bukti dan batas bawah
Salah satu cara untuk membuktikan NP CoNp adalah untuk menunjukkan bahwa untuk setiap sistem bukti proposisi dihitung dalam waktu polinomial, terdapat sebuah keluarga tautologies yang membutuhkan panjang bukti yang super polinomial (wrt panjang tautologi yang terbukti). Hasil seperti itu dari Haken dan Ajtai memperbaiki sistem bukti proposisional dan membuktikan bahwa …
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.