Pertanyaan yang diberi tag «complexity-theory»

Saya baru saja mulai masuk ke teori komputasi, yang mempelajari apa yang dapat dihitung, seberapa cepat, menggunakan berapa banyak memori dan dengan model komputasi mana. Saya punya pertanyaan yang cukup mendasar, tetapi saya benar-benar berharap beberapa dari Anda dapat membantu saya memahami konsep di baliknya: Mengapa semuanya berpusat di sekitar …

10 complexity-theory  formal-languages 

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 …

10 complexity-theory  reference-request  np-complete  reductions 

Pengantar dan notasi: Berikut ini adalah versi baru dan sederhana dari algoritma saya yang tampaknya berakhir (menurut eksperimen saya), dan sekarang saya ingin membuktikannya. Biarkan notasi xi∈Rpxi∈Rpx_i \in \mathbb{R}^p mengacu pada ppp data titik dimensi (vektor). Saya punya tiga set A, B dan C, sedemikian rupa sehingga |A|=n|A|=n|A| = n …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

Pertimbangkan masalah berikut yang input instansinya adalah grafik sederhana dan bilangan bulat alami .GGGkkk Apakah ada himpunan sehingga adalah bipartit dan ?S⊆ V( G )S⊆V(G)S \subseteq V(G)G - SG-SG - S| S| ≤k|S|≤k|S| \leq k Saya ingin menunjukkan bahwa masalah ini adalah -complete dengan mengurangi 3-SAT, CLIQUE, -DOMINATING SET atau …

10 complexity-theory  np-complete  reductions 

Saya mengambil kursus tentang Kompleksitas Komputasi. Masalah saya adalah saya tidak mengerti metode Relativization . Saya mencoba menemukan sedikit intuisi di banyak buku teks, sayangnya, sejauh ini tidak berhasil. Saya akan menghargai jika seseorang dapat menjelaskan topik ini sehingga saya akan dapat melanjutkan sendiri. Beberapa kalimat berikut adalah pertanyaan dan …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Saya mencari jurusan Ilmu Komputer Teoritis; khususnya, saya tertarik pada teori kompleksitas dan teori automata probabilistik. Ketika saya lulus dalam satu tahun, mata pelajaran matematika apa yang maju (seperti teori Galois atau analisis Harmonic) menurut Anda akan berguna untuk mengambil alih dua semester berikutnya? Mengapa?

10 complexity-theory  automata  education 

Apa kompleksitas komputasi ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory  integers  number-theory 

Pertanyaannya adalah latihan 1.9 dari buku Arora-Barak's Computational Complexity - A Modern Approach : Tentukan mesin RAM Turing menjadi mesin Turing yang memiliki memori akses acak. Kami meresmikan ini sebagai berikut: Mesin memiliki array A tak terbatas yang diinisialisasi ke semua kosong. Ini mengakses array ini sebagai berikut. Salah satu …

10 complexity-theory  turing-machines  machine-models  simulation 

Saya mencoba mengerjakan tugas (diambil dari buku Algoritma - oleh S. Dasgupta, CH Papadimitriou, dan UV Vazirani , Bab 8, masalah 8.6a), dan saya memparafrasekan apa yang dinyatakannya: Mengingat bahwa 3SAT tetap NP-lengkap bahkan ketika terbatas pada rumus di mana setiap literal muncul paling banyak dua kali, menunjukkan bahwa jika …

10 complexity-theory  satisfiability  3-sat 

Formulasi Alternatif Saya datang dengan formulasi alternatif untuk masalah di bawah ini. Formulasi alternatif sebenarnya adalah kasus khusus dari masalah di bawah dan menggunakan grafik bipartit untuk menggambarkan masalah. Namun, saya percaya bahwa formulasi alternatif masih NP-keras. Formulasi alternatif menggunakan set terputus dari node masuk dan keluar yang menyederhanakan definisi …

10 complexity-theory  graphs  graph-theory  np-complete 

Saya memiliki masalah di pikiran saya, saya pikir itu adalah masalah NPC tapi saya tidak tahu bagaimana membuktikannya. Inilah masalahnya: Ada k pulau di sebuah danau yang sangat besar, dan ada n ponton berbentuk kipas. Ponton itu memiliki ukuran yang sama tetapi memiliki arah awal yang berbeda dan berada dalam …

10 complexity-theory  np-complete  np-hard 

Buku saya menyatakan ini Jika masalah keputusan B dalam P dan A dikurangi menjadi B, maka masalah keputusan A ada di P. Masalah keputusan B adalah NP-lengkap jika B di NP dan untuk setiap masalah di A di NP, A dikurangi menjadi B. Masalah keputusan C adalah NP-lengkap jika C …

10 complexity-theory  np-complete  decision-problem 

Definisi P adalah bahasa yang dapat diputuskan oleh algoritma waktu polinomial. Definisi P / poli dapat diartikan sebagai bahasa yang dapat diputuskan oleh sirkuit ukuran polinomial (lihat http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Sekarang, mengapa sirkuit ukuran polinomial tidak dapat disimulasikan dalam waktu polinomial?

10 complexity-theory  time-complexity  circuits 

Sebenarnya saya menemukan bahwa himpunan Bahasa konteks-sensitif, CSLCSL\mathbf{CSL} ( bahasa yang diterima) tidak begitu banyak dibahas sebagai (bahasa reguler) atau (bahasa bebas konteks). Dan juga masalah terbuka tidak begitu terkenal sebagai masalah "analog": " ".R E G C F L D S P A C E ( O ( n …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Wikipedia mengatakan penyatuan berdasarkan peringkat tanpa kompresi jalur memberikan kompleksitas waktu diamortisasi O(logn)O(log⁡n)O(\log n) , dan bahwa penyatuan berdasarkan peringkat dan kompresi jalur memberikan kompleksitas waktu diamortisasi O(α(n))O(α(n))O(\alpha(n)) (di mana αα\alpha adalah kebalikan dari Fungsi Ackerman). Namun, itu tidak menyebutkan waktu berjalan kompresi jalan tanpa peringkat serikat, yang biasanya saya …

10 complexity-theory  time-complexity  union-find