Pertanyaan yang diberi tag «reference-request»

Saya mencari referensi tentang `mengurangi 'pengurangan Turing ke banyak-satu pengurangan. Dalam benak saya ada pernyataan tentang bentuk berikut (pernyataan yang serupa juga akan memuaskan saya): Dalil. Jika , maka A ≤ 2 f m B t t .A≤fTBA≤TfB\mathsf{A}\leq_T^f \mathsf{B}A≤2fmBttA≤m2fBtt\mathsf A\leq_m^{2^f}\mathsf B^{tt} di mana " " dan " ≤ f m …

8 cc.complexity-theory  reference-request  complexity-classes 

Saya tertarik pada bagaimana seseorang membuktikan bahwa kalimat itu relativis. Tentu saja, membuktikan bahwa sebuah kalimat tidak terelatifkan adalah sederhana, seperti yang terlihat dalam hasil Baker-Gill-Solovay; tetapi bagaimana seseorang membuktikan bahwa suatu kalimat memang relatif, yaitu, bahwa itu benar relatif terhadap oracle mana pun? Adakah teknik yang diketahui untuk mencapai …

8 cc.complexity-theory  reference-request  relativization 

Misalkan adalah subgraph interval maksimum yang diinduksi dari grafik . Jika， Lalu berapakah jumlah terkecil ?G = ( V , E ) n = | V | V ( H )HHHG = ( V, E)G=(V,E)G=(V,E)n = | V|n=|V|n=|V|V( H)V(H)V(H) Jumlahnya paling banyak： pertimbangkan seperangkat lubang terpisah.43 n / 43n/43n/4444 Bisakah …

8 reference-request  extremal-combinatorics  interval-graphs 

Mari tentukan masalah SAT: Diberikan , rumus 3-CNF yang memuaskan, dan , rumus 2-CNF ( dan didefinisikan pada variabel yang sama). Apakah memuaskan?( 3 , 2 )s(3,2)s(3,2)_sF3F3F_3F2F2F_2F3F3F_3F2F2F_2F3∧ F2F3∧F2F_3 \wedge F_2 Apa kompleksitas masalah ini? (Apakah sudah dipelajari sebelumnya?)

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

Apa saja aplikasi Kompleksitas Kolmogorov dalam Teori Angka dan pada bidang terkait bukti? (Monograf oleh Li & Vitanyi tidak memiliki banyak aplikasi yang terkait dengan Teori Angka.) Salah satu bukti bagus yang saya temui adalah bukti keberadaan bilangan prima tak terbatas, menggunakan definisi Kompleksitas Kolmogorov dan faktor kompresi. Juga, apa …

8 reference-request  big-list  it.information-theory  kolmogorov-complexity 

Teori kompleksitas tampaknya dibangun di sekitar masalah keputusan daripada fungsi. Siapa yang memperkenalkan ini terlebih dahulu dan apa alasan pilihan ini? Misalnya, kertas "Jalur, pohon, dan bunga" Edmond umumnya dikreditkan sebagai sumber gagasan mewakili sekumpulan masalah "yang dapat ditelusuri" dan ini adalah jalan yang telah kita ambil.PTimePTime\mathsf{PTime}

8 cc.complexity-theory  reference-request 

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 

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 telah bermain-main dengan resumptions akhir-akhir ini, sebagian besar dari karya klasik Abramsky Retracing Some Paths in Process Algebra . Mereka cukup licin (pada dasarnya solusi untuk persamaan domain ), dan sangat mengingatkan pada jaringan Kahn.R=I→(O×R)R=I→(O×R)R = I \to (O \times R) Tentu saja, pengamatan ini tidak asli bagi saya …

8 reference-request  pl.programming-languages  functional-programming 

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 

Mari menjadi satu set ukuran k dan B menjadi satu set ukuran ℓ , untuk tetap k dan ℓ , dan sehingga A ∩ B = ∅ . Berapakah (atau a) keluarga Sperner F pada A ∪ B yang F B = { C ∩ B : C ∈ F …

8 reference-request  co.combinatorics 

Thor Johnson, et al, dalam makalah mereka: Sutradara Pohon Lebar , memperkenalkan definisi untuk diarahkan jaringan , dan mereka menduga:JkJkJ_k Untuk setiap bilangan bulat k terdapat bilangan bulat N sehingga setiap digraph dengan pohon-lebar N atau lebih memiliki minor isomorfik ke J k .(5.1)(5.1)(5.1)kkkNNNNNNJkJkJ_k Dan mereka melanjutkan dengan mengatakan: Kami …

8 reference-request  graph-theory  co.combinatorics  graph-minor 

Saya mencari kertas asli tempat Hoare (atau orang lain saya kira) membahas pemutusan hubungan kerja (Total Correctness). Atau karya awal lainnya tentang terminasi untuk logika "vanilla" Hoare (saya kira maksud saya HL untuk bahasa mainan mirip-C). Saya telah melihat dasar Aksiomatik untuk Program Komputer (PDF) (yang tampaknya pada dasarnya logika …

8 reference-request  lo.logic  pl.programming-languages  program-verification  program-logic 

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 

Saya tahu varian masalah SUBSETSUM berikut: ( Elberfeld at., 2010 ), NP-complete , dan NEXP-complete ( tautan ).S U B S E T S U M S U C C I N C T - S U B S E T S U MUN A R Y - S UB …

8 cc.complexity-theory  reference-request  np-hardness  polynomial-hierarchy  subset-sum