Pertanyaan yang diberi tag «reference-request»

Saya mencari bahasa yang "mungkin bukan Bebas Konteks" tetapi kami tidak dapat (buktikan) menggunakan teknik standar yang dikenal. Apakah ada survei terbaru pada subjek atau bagian masalah terbuka dari konferensi baru-baru ini? Mungkin tidak banyak bahasa yang tidak dikenal sebagai CF, jadi jika Anda mengetahuinya, Anda juga dapat mempostingnya sebagai …

21 reference-request  big-list  context-free 

Saya menemukan hasil berikut selama penelitian saya. m=ω(√limn → ∞E [ # { | Sebuahsaya- aj| ,1≤i,j≤m}n] =1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1a1,⋯,am[n]m = ω ( n--√)m=ω(n)m=\omega(\sqrt n)Sebuah1, ⋯ , ama1,⋯,ama_1,\cdots,a_m[ n ][n][n] Saya mencari referensi / bukti langsung. Crossposted di MO

21 reference-request  co.combinatorics  pr.probability 

Ketika saya mengajar batas ekor, saya menggunakan progresi yang biasa: Jika rv Anda positif, Anda dapat menerapkan ketimpangan Markov Jika Anda memiliki kemandirian dan juga varian dibatasi, Anda dapat menerapkan ketidaksamaan Chebyshev Jika setiap rv independen juga memiliki semua momen terikat, maka Anda dapat menggunakan ikatan Chernoff. Setelah ini semuanya …

21 reference-request  pr.probability  randomized-algorithms 

Latar Belakang: Misalkan menjadi dua simpul dari graf tak berarah . Himpunan simpul adalah -pemisah jika dan milik komponen terhubung yang berbeda dari . Jika tidak ada himpunan bagian yang tepat dari a -separator adalah -separator maka adalah minimum u, v -separator. Set vertex S \ subseteq V adalah pemisah …

21 reference-request  graph-theory  graph-algorithms 

Ada banyak tempat di mana angka dan muncul. Saya ingin tahu tentang algoritma yang waktu berjalannya mengandung rasio emas atau dalam eksponen.( 1 + √ππ\piπ(1+5–√)/2(1+5)/2(1+\sqrt5)/2ππ\pi

21 reference-request  big-list 

Pertimbangkan alasan berikut: Misalkan menunjukkan kompleksitas Kolmogorov dari string . Teorema ketidaklengkapan Chaitin mengatakan ituxK(x)K(x)K(x)xxx untuk konsisten dan cukup kuat resmi sistem , terdapat konstan (tergantung hanya pada sistem formal dan bahasanya) sehingga untuk setiap string , tidak dapat membuktikan bahwa .T x S K ( x ) ≥ TSSSTTTxxxSSSK( …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

Baru-baru ini, saya bekerja pada masalah untuk menghitung perkiraan jumlah daftar nomor non-negatif yang diurutkan. Untuk setiap tetap , sebuah O ( log n ) skema pendekatan waktu yang telah diturunkan sedemikian rupa sehingga memberikan ( 1 + ε ) -approximation untuk penjumlahan. Makalah ini diposting di http://arxiv.org/abs/1112.0520 , yang …

21 ds.algorithms  reference-request 

O ( log c n ) O ( n k ) c k n c 2 n kN CNC\mathsf{NC} menangkap gagasan tentang dapat diparalelkan secara efisien, dan salah satu interpretasinya adalah masalah yang dapat dipecahkan dalam waktu menggunakan prosesor paralel untuk beberapa konstanta , . Pertanyaan saya adalah apakah ada …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

Saya telah melihat (dan mendengar) mengklaim bahwa aman untuk menambahkan aksioma klasik dari tengah yang dikecualikan ke Coq, tetapi sepertinya saya tidak dapat menemukan makalah yang mendukung klaim ini. Makalah yang saya lihat tercantum di Coq wiki tentang tengah yang dikecualikan menunjukkan ketidakkonsistenan dengan Set yang tidak tepat. Memang, tampaknya …

21 reference-request  lo.logic  coq 

(Ini adalah tindak lanjut dari pertanyaan ini dan jawabannya .) Saya memiliki program linear integer benar-benar unimodular (TU) berikut (ILP). Di sini semua bilangan bulat positif diberikan sebagai bagian dari input. Subset tertentu dari variabel diatur ke nol, dan sisanya dapat mengambil nilai integral positif:x i jℓ , m , …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

Apakah ada survei yang baik yang membandingkan berbagai ekstraktor, konsentrator dan superconcentrator dan menjabarkan metode terbaik dalam hal tradeoff antara keacakan, waktu dan ruang?

21 reference-request  randomness  derandomization 

Saya punya dua pertanyaan historis: Siapa yang pertama kali menggambarkan perhitungan nondeterministik? Saya tahu bahwa Cook menjelaskan masalah NP-complete, dan bahwa Edmonds mengusulkan bahwa algoritma P adalah "efisien" atau "baik" algoritma. Aku mencari ini artikel Wikipedia dan skim "Di Komputasi Kompleksitas Algoritma," tapi tidak bisa menemukan referensi untuk saat perhitungan …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Wikipedia memberikan contoh masalah di mana versi penghitungannya sulit, sedangkan versi keputusannya mudah. Beberapa di antaranya menghitung kecocokan sempurna, menghitung jumlah solusi untuk -SAT dan jumlah penyortiran topologi.222 Apakah ada kelas penting lainnya (misalnya contoh dalam kisi, pohon, teori bilangan dan sebagainya)? Apakah ada ringkasan masalah seperti itu? Ada banyak …

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

Pertanyaan ini dimigrasikan dari Computer Science Stack Exchange karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . (Pertanyaan ini sedikit "survei".) Saya saat ini sedang mengerjakan masalah di mana saya mencoba untuk membagi tepi turnamen menjadi dua set, yang keduanya diperlukan untuk memenuhi beberapa …

20 cc.complexity-theory  reference-request  np-hardness 

Sementara teorema Adleman menunjukkan, bahwa , saya tidak mengetahui adanya literatur yang menyelidiki kemungkinan dimasukkannya . Apa konsekuensi kompleksitas-teoretis yang akan dimiliki oleh inklusi seperti itu?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} Teorema Adleman kadang - kadang disebut "nenek moyang argumen derandomisasi." diyakini derandomizable, sedangkan tidak ada bukti bahwa "kuantumness" entah bagaimana …

20 reference-request  quantum-computing  derandomization  conditional-results