Sudah terkenal bahwa untuk pembelajaran PAC klasik, diperlukan untuk mencapai batas kesalahan ε whp, di mana d adalah dimensi VC dari kelas konsep.Ω(d/ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd Apakah diketahui bahwa diperlukan dalam kasus
Saya ingin tahu apakah seseorang dapat merekomendasikan beberapa bahan pelengkap untuk mendapatkan pemahaman yang lebih dalam tentang makalah ini: " Beberapa Hasil dan Masalah Ketidaksetaraan Tipe-Bell Quantum - Tsirelson ". Khususnya sesuatu yang mungkin menguraikan sedikit lebih banyak tentang...
Dalam makalah dengan judul yang sama dengan pertanyaan ini, penulis menggambarkan bagaimana membangun operasi CAS multi-kata linearizable nonblocking hanya menggunakan CAS kata tunggal. Mereka pertama kali memperkenalkan operasi penukaran ganda-bandingkan-tunggal - RDCSS, sebagai berikut: word_t...
Rumus CNF monoton dengan istilah m pada n variabel ( ) adalah rumus dari bentuk f ( x 1 , ... , x n ) = ⋀ C i , di mana setiap C i adalah ATAU dari beberapa bagian dari variabel x 1 , … , x n , dan i berkisar dari 1 hingga m .x1,…,xnx1,…,xnx_1,\ldots,x_nf(x1,…,xn)=⋀Cif(x1,…,xn)=⋀Cif(x_1,\ldots,x_n)...
Saya membaca makalah survei Watrous yang sangat bagus di atas kertas tentang teori kompleksitas kuantum. Di dalamnya ia menyatakan bahwa akan mengejutkan jika masalah lengkap QMA ditemukan memiliki janji yang kosong (Ie Be a language). Kenapa begitu? Apakah itu ada hubungannya dengan fakta bahwa...
Apakah ada struktur data kata-RAM w-bit dengan O (1) waktu per operasi untuk masalah berikut ?: Memelihara serangkaian bilangan bulat non-negatif w-bit yang mendukung operasi add (x): add x ke set remove (x): hapus x dari set sidik jari (): mengembalikan sidik jari set. Sidik jari w-bit ini...
Secara longgar, pola permutasi cocok dengan masalah-masalah seperti ini: Mengingat permutasi di dan di , dengan , tidak mengandung subsequence panjang yang unsur-unsurnya dipesan sesuai ?ππ\piSnSnS_nσσ\sigmaSmSmS_mm ≤ nm≤nm\leq nππ\pi ττ\taummmσσ\sigma Misalnya, jika dan , maka urutan cocok ....
Inilah pertanyaan "trek B" jika ada. Ringkasan: hal pertama yang saya pikirkan ketika saya mencoba memberikan semantik untuk program-program non-deterministik menghasilkan semantik di mana saya tidak dapat membuktikan hal-hal tentang loop yang hanya mengakhiri non-deterministik. Tentunya seseorang...
Dapatkah seseorang mengarahkan saya ke referensi untuk non-definisi dari modulus kontinuitas fungsional dalam PCF? \ newcommand {\ bool} {\ mathsf {bool}}\newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer telah menulis posting blog yang sangat bagus mengeksplorasi beberapa...
Pertanyaan saya adalah tentang kesetaraan keamanan berbagai fungsi kandidat satu arah yang dapat dibangun berdasarkan kekerasan anjak piutang. Dengan asumsi masalah FAKTOR: [Diberikan untuk bilangan prima acak P , Q < 2 n , temukan P , Q. ]N= PQN=PQN = PQP, Q < 2nP,Q<2nP, Q <...
Diberikan grafik campuran G=(V,E,A)G=(V,E,A)G=(V,E,A) dengan tepi EEE dan busur AAA , cari kecocokan dalam EEE yang meminimalkan jumlah busur dalam G/MG/MG/M , di mana G/MG/MG/M diperoleh dari GGG dengan mengontrak simpul yang cocok dan menghapus busur paralel. Apakah (versi keputusan) masalah ini...
Saya ingin mulai belajar tentang Pengodean Jaringan: http://en.wikipedia.org/wiki/Network_coding Apakah Anda tahu survei yang baik (misalnya dari Survei dan Tutorial IEEE) pada mata pelajaran di atas. Saya menemukan beberapa program universitas di google tetapi saya ingin beberapa rekomendasi...
Apakah ada posisi untuk mahasiswa sarjana atau pascasarjana yang baru lulus dengan catatan penelitian untuk bekerja sebagai peneliti sebelum melanjutkan ke PhD mereka? TCS memiliki budaya posisi post-dok untuk lulusan PhD baru-baru ini untuk melakukan penelitian sebelum mencoba melamar posisi...
Katakanlah kita memiliki polyhedron dalam bentuk standar: A x = bx ≥ 0SEBUAHx=bx≥0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} Adakah metode yang diketahui untuk menemukan hyperplane yang membagi polyhedron sedemikian rupa...
Katz dan Lindell menyebutkan dalam buku mereka bahwa LFSR telah mengerikan sebagai dasar untuk generator pseudorandom, dan menganjurkan bahwa mereka tidak digunakan lagi (well, mereka juga merekomendasikan agar orang menggunakan cipher blok dan bukan stream cipher). Tapi saya melihat misalnya bahwa...
Misalkan adalah bahasa Boolean, dengan string hingga . Biarkan menjadi jumlah string dalam dengan panjang . Untuk fungsi dari bilangan bulat positif ke bilangan real positif, memiliki kepadatan atas jika untuk semua cukup besar .L.LL{ 0 , 1 }{0,1}\{0,1\}L.nLnL_nL.LLnnnd( n )d(n)d(n)L.LL d( n...
Bahasa L.LL ada di kelas D PDPDP jika ada dua bahasa L 1 ∈ NPL1∈NPL1 \in NP dan L 2 ∈ c o NPL2∈coNPL2 \in coNP sehingga L=L1∩L2L=L1∩L2L = L1 \cap L2 Sebuah kanonik DPDPDP masalah -Lengkap adalah SAT-UNSAT: diberikan dua ekspresi 3-CNF, FFF dan GGG , apakah benar bahwa FFF adalah satisfiable dan...
Saya dihadapkan pada dilema yang agak sulit: - Saya telah menyelesaikan M. Tech di CS 2 tahun yang lalu, menyelesaikan disertasi saya di bidang Pengujian VLSI. Walaupun saya menyukai pekerjaan saya, saya tidak ingin kembali untuk mengejar gelar PhD saya dalam hal itu - saya sangat ingin mengejar...
Saya mencari teks lengkap hasil klik Bulan dan Moser 1965 Pada Klik di Grafik (ada grafik dengan jumlah klik maksimum yang eksponensial di ). Paywall universitas saya tidak memiliki akses ke jurnal tertentu. (Sebenarnya, pratinjau memberikan beberapa kalimat pertama dari buktinya, tetapi kemudian...
Saya sering mendengar dikatakan bahwa Anda tidak dapat menulis sebuah program untuk menangkap bug di browser web, atau pengolah kata, atau sistem operasi, karena Teorema Rice: properti semantik apa pun untuk bahasa lengkap Turing tidak dapat diputuskan. Namun, saya tidak yakin sejauh mana ini...