Pertimbangkan grafik kubik acak yang terhubung darisimpul, diambil dari -reg (seperti yang didefinisikan di sini , yaitu adalah genap dan setiap dua grafik memiliki probabilitas yang sama).n = | V | G ( n , 3 ) 3 nG=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n =|V|G(n,3G(n,3G(n, 3)))3n3n3n Tentu saja ada...
Matriks Moore mirip dengan matriks Vandermonde tetapi memiliki definisi yang sedikit dimodifikasi. http://en.wikipedia.org/wiki/Moore_matrix Apa kompleksitas komputasi determinan dari yang diberikan n×nn×nn \times n rank penuh Moore matriks modulo suatu bilangan bulat? Can Moore penentu dikurangi...
Misalkan kita mempertimbangkan 3-SAT dengan variabel dan klausa . Saya sedang meneliti metode yang tampaknya mengambil waktu / ruang untuk memecahkan masalah SAT yang sesuai dengan deskripsi ini, untuk dalam kesalahan yang dapat disesuaikan dengan jumlah sewenang-wenang. Namun, ada yang...
Untuk sebuah grafik diarahkan dan himpunan simpul, apa algoritma asimtotik tercepat dikenal untuk menemukan jalan sederhana yang berisi semua elemen . Bagaimana jika kita membutuhkan jalur sesingkat
Set S={e1,⋯,en}S={e1,⋯,en}S=\{e_1,\cdots,e_n\} diberikan. Untuk setiap elemen esayaeie_i , kami memiliki bobot wsaya> 0wi>0w_i>0 dan biaya csaya> 0ci>0c_i>0 . Tujuannya adalah menemukan subset M.MM dari ukuran kkk yang memaksimalkan fungsi tujuan sebagai berikut: ∑esaya∈ M.wsaya+...
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...
Saya baru di situs ini dan pertanyaan ini tentu saja bukan tingkat penelitian - tetapi oh well. Saya memiliki sedikit latar belakang dalam rekayasa perangkat lunak dan hampir tidak ada di CSTheory, tetapi saya merasa menarik. Untuk membuat cerita panjang pendek, saya ingin jawaban yang lebih rinci...
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...
Misalkan menjadi grafik yang tidak terarah. Sebuah dekomposisi V menjadi beberapa bagian yang menguraikan V i disebut dekomposisi Hamilton dari G jika subgraph disebabkan oleh masing-masing set V i adalah salah grafik Hamilton atau terdiri dari tepi tunggal dengan | V i | = 2 .G = ( V,...
Saya mencoba menggunakan pohon sufiks untuk membandingkan urutan string. Saya telah menemukan implementasi / teori untuk masalah sub string umum terpanjang menggunakan pohon suffix. Namun, apa yang saya cari adalah diskusi tentang masalah terkait - "semua substring umum". Secara khusus, saya...
Apakah menyiratkan E = N E ?E X P = N E X PEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E = N
Saya tahu bahwa untuk grafik bipartit tanpa bobot, saya dapat menemukan penutup simpul minimum dengan terlebih dahulu menemukan pencocokan maksimum dan mengubahnya menjadi penutup simpul menggunakan Teorema König. Apakah ada modifikasi yang bisa digunakan jika node
Perhitungan dari mesin Turing nondeterministic (NTM) dikenal sebagai pohon konfigurasi, yang berakar pada konfigurasi awal. Setiap transisi dalam program diwakili oleh tautan ayah-anak di pohon ini. Pohon serupa juga dapat dibangun untuk memvisualisasikan perhitungan mesin probabilistik dan...
Sudah diketahui secara umum bahwa mesin analitik Charles Babbage memiliki arsitektur yang kuat, yang menyerupai arsitektur Von Neumann modern. Juga, perlu dicatat bahwa tabel untuk mewakili program untuk mesin analitik Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png ) dan karya von...
Wikipedia menulis: FPT berisi masalah traktable parameter tetap, yang dapat diselesaikan dalam waktu untuk beberapa fungsi yang dapat dihitung f . Biasanya, fungsi ini dianggap sebagai eksponensial tunggal, seperti 2 O ( k ) tetapi definisi tersebut mengakui fungsi yang tumbuh lebih cepat. Ini...
Deciding Graph Homomorphism secara umum NP-Complete. Apakah ada hasil yang mempelajari masalah ini ketika grafik yang mendasari memiliki struktur aljabar (seperti memutuskan homomorfisme dari grafik Cayley atau Cayley coset ke grafik lain dengan beberapa struktur tertentu juga)? Selain hasil...
Ketika mempertimbangkan interaksi pada jaringan, biasanya sangat sulit untuk menghitung dinamika secara analitis , dan perkiraan digunakan. Perkiraan bidang-rata biasanya berakhir dengan mengabaikan struktur jaringan sepenuhnya, dan karenanya jarang merupakan perkiraan yang baik. Suatu pendekatan...
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...