Pertanyaan yang diberi tag «cc.complexity-theory»

Untuk dapat menjelaskan masalah P vs NP kepada non-matematikawan, saya ingin memiliki contoh pedagogis tentang kapan pencarian Brute Force dapat dihindari. Masalahnya idealnya harus segera dimengerti dan triknya seharusnya tidak terlalu mudah atau terlalu sulit. Yang terbaik yang saya hasilkan sejauh ini adalah SUBSET_PRODUCT_IS_ZERO Masalahnya mudah dipahami (diberikan satu set …

8 cc.complexity-theory  np-hardness  soft-question  complexity-classes  p-vs-np 

Saya membaca buku terkenal Alon and Spencer tentang metode probabilistik dalam kombinatorik. Apakah ada survei atau catatan kuliah tentang kemajuan dan hubungan terkini dengan topik teoretis kompleksitas metode berikut di luar buku teks ini? generator pseudorandom membodohi model perhitungan beton, grafik expander. kompleksitas batas bawah untuk model perhitungan konkret seperti …

8 cc.complexity-theory  reference-request  co.combinatorics  soft-question  survey 

Pertimbangkan bahasa . Tentukan (urutan bit tak terbatas) dengan rumus rekursifs ( L ) ∈ { 0 , 1 } ωL.LLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )n= χL.( S ( L )&lt; n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) [Saya menggunakan indeks …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization 

Saat mempelajari masalah dalam teori permainan algoritmik, saya tertarik pada kompleksitas pertanyaan pengoptimalan berikut: Masalah Diberikan: set tanah diberikan oleh n ,U= [ n ] = { 1 , ... , n }U=[n]={1,…,n}U = [n] = \{1,\ldots,n\}nnn peringkat diberikan sebagai total pesanan ⟨ S i , σ i ⟩ mana …

8 cc.complexity-theory  ds.algorithms  np-hardness  optimization 

Apa yang ada beberapa aplikasi dekomposisi grafik modular dalam teori kompleksitas / TCS? Saya terutama tertarik pada penggunaannya dalam bukti atau batas atas / bawah jika itu terjadi. [1] Dekomposisi grafik modular , Wikipedia. [2] Referensi untuk Dekomposisi Modular , TCS.SE.

8 reference-request  graph-theory  graph-algorithms  application-of-theory  cc.complexity-theory 

Saya harap pertanyaan ini tidak terlalu naif untuk situs ini. Dalam matematika (topologi, geometri, aljabar) adalah umum bagi seseorang untuk membedakan antara dua objek dengan menghasilkan invarian aljabar atau numerik, dan membuktikan bahwa dua objek memiliki nilai yang berbeda. Saya bertanya-tanya sejauh mana ini telah dicoba dengan kelas kompleksitas (atau …

8 cc.complexity-theory  complexity-classes  algebra 

Bahasa whileprogram dapat mengekspresikan fungsi yang dapat dihitung secara komputasi. (Ini benar bahkan jika satu-satunya operasi aritmatika pada variabel adalah, katakanlah, kenaikan dan pengurangan.) Jika whiledigantikan oleh for, membuat loop selalu dibatasi, bahasa kemudian hanya dapat mengekspresikan fungsi rekursif primitif. Baru-baru ini saya menjadi sadar akan kelas fungsi-fungsi dasar , …

8 cc.complexity-theory  computability  pl.programming-languages 

Net (dikenal juga sebagai FreeNet, atau NetWalk) adalah permainan puzzle yang dimainkan di kotak dengan objek-objek berikut:n × nn×nn \times n ada komputer ; setiap komputer menempati satu sel dan memiliki satu kabel tautan;mmm setiap komputer harus terhubung ke unit pusat yang menempati satu sel dan memiliki 1, 2 atau …

8 cc.complexity-theory  reference-request  np-hardness  puzzles 

Dalam makalah Savitch 1969, "Hubungan Antara Nondeterministik dan Kompleksitas Pita Deterministik", ia menyatakan bahwa "semua fungsi penyimpanan umum L (n)&gt; = lg n dapat diukur. Khususnya, setiap polinomial dalam n dan lg n dapat diukur." Definisinya yang dapat diukur adalah: "Suatu fungsi L (n) dikatakan dapat diukur jika ada beberapa …

8 cc.complexity-theory  pspace  space-complexity 

Tidak sulit untuk menunjukkan bahwa mengurutkan array angka sulit untuk . Jika input adalah array dari 1s dan 0s maka pada dasarnya fungsi (diberikan bit, output jumlah 1s dalam biner) karena lengkap untuk dan dimungkinkan untuk mengkonversi angka unary ke angka biner dan (logaritmik) angka biner kecil ke angka unary …

8 cc.complexity-theory  circuit-complexity  sorting 

Apakah mungkin untuk menemukan pengurangan penghitungan dari #SAT ke #HornSAT? Saya belum menemukan pertanyaan ini diposting di sini, jadi memutuskan untuk memeriksa apakah ada yang punya jawaban untuk ini. Biarkan saya menjelaskan apa yang saya maksud dengan menghitung pengurangan. Misalkan adalah dua masalah penghitungan. Sebagai contoh, #SAT menanyakan berapa banyak …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

Apakah itu diketahui sesuatu tentang bahasa yang dikenali oleh automaton counter multihead deterministik dua arah atau logspace TM dengan counter (model setara)? Kelas ini bernama Aux2DC dalam makalah penasihat saya . Atau tentang kelas nondeterministik seperti itu? Saya telah memperoleh bahwa kelas bahasa yang dikenali oleh maschine nondeterministic seperti itu …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata 

Apakah masalah berikut NP-hard? Diberikan satu set bilangan real (target) x 1 , … , x N dan "trisula" yang didefinisikan oleh dua jarak a , b dari pusat trisula, berapakah angka minimum K dari posisi p 1 , ... , p K dari trisula untuk mencakup semua target, yaitu …

8 cc.complexity-theory  np-hardness  set-cover 

Misalkan kita ingin menemukan elemen terkecil dari himpunan , yang elemennya diindeks dari ke . Kami tidak memiliki akses ke nilai-nilai elemen ini, tetapi kami dapat membandingkan dua elemen untuk melihat mana yang lebih kecil. Untuk setiap indeks dan , ada terkait biaya untuk membandingkan th dan th unsur . …

8 cc.complexity-theory  ds.algorithms  reference-request  online-algorithms 

Apakah diketahui jika tensor rank tiga dimensi tensor terletak pada VNP (non-deterministic class valiant)? Jika ya, apa yang diketahui tentang peringkat tensor dimensi tinggi? Sebenarnya saya tertarik pada masalah yang jauh lebih sederhana. Saya ingin tahu apakah seseorang dapat membangun polinomial non-nol kelas yang terletak di VNP, dalam n 3 …

8 cc.complexity-theory  algebraic-complexity