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...
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...
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 mencari catatan Kuliah yang tersedia online atau sumber daya lain yang memberikan pengenalan yang baik ke pemrograman paralel, seperti analog paralel dari kelas dasar dalam ilmu komputer. Fokus saya adalah sebagai berikut: sementara saya dapat berbicara tentang divide & conquer, algoritma...
Apakah ada algoritma waktu polinomial untuk menemukan — jika ada — laba-laba spanning dari suatu graf ? Laba-laba adalah pohon dengan paling banyak satu simpul dengan derajat lebih besar dari 2: Saya tahu bahwa berbagai kondisi derajat pada G (pada dasarnya, derajat simpul cukup besar) menjamin...
Algoritma Deutsch adalah komputasi kuantum yang terkenal dengan hanya satu evaluasi f . Jika kita mengganti + dengan ⋅ masalah tampaknya menjadi agak berbeda. Pertanyaan saya adalah: apakah ada algoritma kuantum yang menghitung nilai f ( 0 ) ⋅ f ( 1 ) (atau DAN jika Anda suka) menggunakan hanya...
Dalam pencarian saya untuk makalah penelitian tentang sistem tipe untuk bahasa imperatif, saya hanya menemukan solusi untuk bahasa dengan referensi yang bisa berubah tetapi tanpa struktur kontrol imperatif asli seperti operator majemuk, loop atau kondisional. Jadi tidak jelas bagaimana bahasa...
Saya cukup akrab dengan teori di balik VC-Dimension, tetapi saya sekarang sedang melihat kemajuan (10 tahun terakhir) dalam teori pembelajaran statistik: rata-rata (lokal) Rademacher rata-rata, Massma's Finite Class Lemma Class, Numbering Covering, Chaining, Dudley's Teorema, Pseudodimension,...
Biarkan menjadi grafik dengan sisi positif (berbobot). Saya ingin mendefinisikan diagram Voronoi untuk satu set node / situs , untuk mengasosiasikan dengan simpul subgraph dari yang disebabkan oleh semua node ketat lebih dekat dengan daripada node lain dalam , mengukur panjang lintasan dengan...
Apa hasil canggih tentang kompleksitas kueri dari rumus 2-DNF pembelajaran PAC yang tepat dengan kueri sampel dan di bawah distribusi yang seragam ? Atau ada yang tidak sepele yang terikat padanya? Karena saya sama sekali tidak terbiasa dengan teori belajar dan pertanyaan ini dimotivasi oleh...
Apa batas terbaik saat ini untuk melakukan kueri penghitungan kisaran ruang setengah pada set poin dimensi, dinyatakan dalam bentuk tradeoff waktu / ruang. Menurut mani 1993 kertas Matousek ini (Teorema 6.2, pencarian Rentang dengan Efisien hirarkis Stek), kita dapat melakukan berbagai perhitungan...
Dalam makalah Pada dua masalah teori informasi , Erd dan Rényi memberikan batas yang lebih rendah pada jumlah minimum penimbangan yang harus dilakukan seseorang untuk menentukan jumlah koin palsu dalam satu set koin.nnn Lebih formal: Koin palsu memiliki bobot lebih kecil dari koin kanan; bobot...
JBV menyarankan saya mengubah beberapa komentar menjadi pertanyaan, jadi begini saja. Pertanyaan lain [1] menanyakan tentang aplikasi komputasi QM. Satu jawaban [2] adalah "simulasi mekanika kuantum secara efisien". Rupanya ide ini berasal dari tulisan Feynman awal tentang subjek; walaupun saya...
Beberapa tahun yang lalu, saya menemukan aturan kiri berikut untuk kesetaraan dalam kalkulus berurutan: s ≐ t ⇝ θθ ( Γ ) ⊢ θ ( C)Γ , s ≐ t ⊢ Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Di sini, menghitung...
Misalkan menjadi seperangkat Basis yang Tidak Saling Cocok (MUB) dalam C n , yaitu setiap B i adalah basis ortonormal dan untuk v ∈ B i , w ∈ B j , i ≠ j we punya | ⟨ V | w ⟩ | = 1B= { B1, ... , Bk}B={B1,…,Bk}\mathcal{B} = \{B_1, \dots, B_k\}CnCn\mathbb{C}^nBsayaBiB_iv ∈ Bsaya, w ∈ Bj, i ≠...
Representasi paling sederhana untuk grafik menggunakan matriks / daftar adjacency, yang berarti bahwa setiap node dan edge secara eksplisit diwakili. Pentingnya representasi implisit untuk grafik yang menunjukkan keteraturan yang kuat telah lama diakui. Misalnya, Galperin & Wigderson (1983),...
Biarkan . Saya perlu membuat grafik sederhana G dengan ketebalan g sedemikian sehingga himpunan semua g- sepeda membentuk penutup tepi ganda G (yaitu, setiap tepi dibagi dengan tepat dua g- sepeda), dan sedemikian rupa sehingga persimpangan dari dua g- sepeda bisa berupa simpul, tepi, atau kosong....
Baru-baru ini saya telah membaca sejumlah makalah CoLT yang layak. Meskipun saya tidak bergumul dengan makalah individual (setidaknya tidak lebih dari biasanya saya bergumul dengan makalah teori lainnya), saya tidak merasa memiliki pemahaman yang luas tentang bidang ini secara keseluruhan. Apakah...
Saya mencari referensi tentang kompleksitas masalah penyeimbangan rumus Boolean . Khususnya, Apakah diketahui bahwa rumus Boolean dapat diseimbangkan dalam ?AC0AC0\mathsf{AC^0} Apakah ada bukti sederhana keseimbangan Boolean yang menyeimbangkan berada di ?AC0AC0\mathsf{AC^0} Maksud "sederhana"...