Saya baru saja memulai kursus master saya. Semester terakhir saya mengambil kursus dari berbagai disiplin ilmu seperti jaringan, rekayasa perangkat lunak, arsitektur, dll. Baru-baru ini, setelah mengambil kursus lanjutan dalam algoritma dan struktur data, saya pikir saya menemukan kursus yang...
Apa perbedaan memanggil -calculus sebagai aljabar dan bukannya kalkulus? Saya mengajukan pertanyaan ini karena saya membaca suatu baris " -calculus bukan kalkulus tetapi aljabar" (iirc, dikaitkan dengan Dana Scott). Apa intinya? Terima
EDIT (Oleh Tara B): Saya masih tertarik pada referensi ke bukti ini, karena saya harus membuktikannya sendiri untuk makalah saya sendiri. Saya mencari bukti Teorema 4 yang muncul di makalah ini: Hierarki Infinite dari titik-temu Bahasa Bebas Konteks oleh Liu dan Weiner. Teorema 4: Sebuah...
Saya bekerja di laboratorium ilmu saraf komputasi yang menghitung informasi timbal balik antara pasangan atau kelompok neuron. Baru-baru ini, bosnya menggeser fokusnya untuk mengukur "kompleksitas dinamika saraf". Dalam mengejar garis penelitian itu, beberapa orang dalam kelompok saya tampaknya...
Masalah 3-Clique Partition adalah masalah menentukan apakah simpul dari sebuah grafik, misalnya , dapat dipartisi menjadi 3 klik. Masalah ini NP-hard dengan pengurangan sederhana dari masalah 3-colorability. Tidak sulit untuk melihat bahwa jawaban untuk masalah ini mudah ketika diam ( G ) = 1 atau...
Saya kenal dengan algoritma gradient descent yang dapat menemukan minimum lokal (maksimum) dari fungsi yang diberikan. Apakah ada modifikasi keturunan gradien yang memungkinkan untuk menemukan minimum absolut (maksimum), di mana fungsinya memiliki beberapa ekstrema lokal? Adakah teknik umum,...
Saya mencari teknik umum yang dapat membantu saya membuktikan tidak hanya bahwa Buchi automata adalah model yang lebih ekspresif daripada LTL, tetapi formula spesifiknya dapat / tidak dapat diungkapkan dalam LTL. Misalnya, " terjadi setidaknya pada posisi genap" dapat dijelaskan oleh Buchi...
Dana Angluin ( 1987 ; pdf ) mendefinisikan model pembelajaran dengan pertanyaan keanggotaan dan pertanyaan teori (berlawanan dengan contoh fungsi yang diusulkan). Dia menunjukkan bahwa bahasa reguler yang diwakili oleh DFA minimal negara dapat dipelajari dalam waktu polinomial (di mana fungsi yang...
Biarkan matriks nyata ( ) dengan properti yang ada dalam koleksi kolom adalah peringkat penuh.k ≤ n A kk × nk×nk\times nk ≤ nk≤nk\le nSEBUAHA{\bf A}kkk T: Apakah ada cara yang efisien untuk secara deterministik menemukan vektor sehingga matriks yang diperbesar mempertahankan properti yang sama...
Saya membaca Harrow, Hassidim, dan kertas Lloyd's algoritma Quantum untuk sistem persamaan linear . Di halaman ketiga makalah itu, mereka menulis Berikutnya kita menerapkan evolusi Hamiltonian bersyarat on | Ψ 0 ⟩ C ⊗ | b ⟩ ...∑T- 1τ= 0| τ⟩ ⟨ Τ|C⊗ ei A τtHai/...
Teorema produk langsung, secara informal, mengatakan bahwa komputasi contoh fungsi f lebih sulit daripada komputasi f satu kali.kkkffffff Teorema produk langsung khas (misalnya, XOR Lemma Yao) melihat kompleksitas kasus rata-rata , dan berdebat (sangat kasar) bahwa tidak dapat dihitung oleh...
Mengingat satu set terbatas gerbang kuantum , itu decidable (dalam perhitungan akal teoritis) apakah G adalah gerbang universal set? Di satu sisi, "hampir semua" set gerbang bersifat universal, di sisi lain, set gerbang non-universal masih belum dipahami dengan baik (khususnya, tentu saja, tidak...
Kami diberi matroid. Tujuan kami adalah untuk menemukan serangkaian elemen ukuran minimum yang memiliki persimpangan non-kosong dengan setiap pangkalan matroid. Apakah masalah dipelajari sebelumnya? Apakah dalam P? Misalnya, dalam matroid spanning tree, hitting set minimum harus berupa minimum cut....
Itu ditunjukkan dalam makalah "Program Integer dengan Jumlah Variabel Tetap" bahwa program integer dengan jumlah konstan kendala (atau variabel) dapat dipecahkan secara polinomi. Apakah ini berlaku untuk pemrograman
Jawab: tidak dikenal Terima kasih banyak untuk semua yang membantu memperbaiki pertanyaan ini dan definisi yang terkait dengannya. Definisi wiki ini memberikan titik awal untuk wiki TCS yang lebih baru " Apakah P berisi bahasa yang keberadaannya tidak bergantung pada PA atau ZFC? (Wiki komunitas...
Menurut buku Teori Topologi Grafik oleh Gross dan Tucker, diberikan embedding seluler grafik pada suatu permukaan (dengan 'permukaan' yang saya maksudkan adalah bola dengan beberapa pegangan, dan di bawah S n mengacu pada bola dengan tepat n handle), seseorang dapat mendefinisikan multigraf ganda...
Dalam sebuah makalah tentang merelatifkan perhitungan logspace, Ladner dan Lynch membangun sebuah oracle relatif terhadap yang . Ada beberapa contoh yang lebih patologis dalam hal ini dalam literatur. Saya telah membaca beberapa makalah tentang kelas ruang kecil yang direlatifikasi, dan salah satu...
Diberikan status kuantum dipilih secara acak dari sekumpulan negara campuran , berapakah probabilitas rata-rata maksimum untuk mengidentifikasi dengan benar ? N ρ 1 . . . ρ N AρSEBUAHρA\rho_ANNNρ1. . . ρNρ1...ρN\rho_1 ... \rho_NSEBUAHAA Masalah ini dapat diubah menjadi dua masalah pembedaan status...
Diberi grafik dengan tepian berbobot, bagaimana kita bisa menemukan siklus negatif yang mengandung setidaknya satu simpul dalam set simpul yang diberikan ? Terima kasih.{ V1, V2, ... , Vk}{V1,V2,…,Vk}\{V_1, V_2, \ldots,
Pertimbangkan set nilai (direpresentasikan sebagai array yang diurutkan tanpa duplikat, dan dengan ukuran yang diketahui (mis. Ukuran dapat diperoleh dalam O (1)). Nilai tersebut dapat diuji untuk kesetaraan dalam waktu O (1). Saya ingin untuk mendapatkan set nilai yang hadir dalam setidaknya k set...