Kita semua tahu bahwa kompleksitas minimal dari algoritma pengurutan berbasis perbandingan adalah perbandingan . Saya mencoba untuk melakukan semacam buta , yaitu diberi nomor keluaran sirkuit (dengan gerbang boolean, aritmatika dan "perbandingan") yang mengurutkan daftar item
Kami memiliki algoritma waktu untuk menentukan apakah grafik memiliki siklus panjang persis . Bagaimana kita dapat menemukan berapa banyak sepeda yang ada di menggunakan algoritma yang sama atau lainnya.f( k ) n3f(k)n3f(k)
Sekarang saya mencoba untuk memahami lebih baik apa "interpretasi abstrak" dalam bahasa pemrograman. Saya menemukan bab buku yang bagus yang menjelaskan gagasan memperluas domain dengan elemen tetap paling sedikit, empat aksioma yang menghasilkan titik tetap untuk fungsi kontinu, dan sebagainya....
Berikut ini tidak diyakini benar: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Bisakah Anda membantu saya melihat di mana argumennya rusak? Masalah reachability yang diarahkan selesai untuk . Saya berpendapat bahwa ini adalah dalam L- seragam N C...
Biarkan untuk , dengan janji bahwa (di mana jumlahnya lebih dari ). Lalu apa kompleksitas penentuan jika ?xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\}i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\}ZZ\mathbb{Z}x=1x=1x = 1 Perhatikan bahwa secara...
Pertanyaan ini pada dasarnya adalah pertanyaan yang saya ajukan di Mathoverflow. Logika Monadic Second Order (MSO) adalah logika second order dengan kuantifikasi atas predikat unary. Yaitu, kuantifikasi atas set. Ada beberapa logika MSO yang mendasar bagi struktur yang dipelajari dalam ilmu...
Menjadi seorang insinyur perangkat lunak profesional, saya telah melihat banyak pekerjaan teknis benar-benar menarik, banyak dari itu diterbitkan sebagai artikel teknis dalam jurnal teknis dan website seperti http://www.drdobbs.com dan http://www.codeproject.com dan banyak lainnya, berikut adalah...
Saya kenal dengan program linier karena mereka dapat memecahkan masalah dengan fungsi objektif linear dan batasan linear. Tetapi apa yang bisa diprogram pemrograman semidefinite yang tidak bisa diprogram oleh pemrograman linier? Saya sudah tahu bahwa program semidefinite adalah generalisasi dari...
Apakah ada sistem yang mirip dengan kalkulus lambda yang normalisasi kuat, tanpa perlu menambahkan sistem tipe di
Janin, jika Anda belum pernah mendengarnya, dapat dibaca di sini . Ia menggunakan sistem 'matriks panggilan' dan 'grafik panggilan' untuk menemukan semua 'perilaku rekursi' dari panggilan rekursif dalam suatu fungsi. Untuk menunjukkan bahwa suatu fungsi berakhir, itu menunjukkan bahwa semua...
Saya tertarik mengetahui bagaimana kita dapat menggunakan konsep Limits and Colimits dalam memodelkan masalah dalam kehidupan sehari-hari? Adakah yang bisa memberikan contoh rekayasa (Perangkat Lunak), mungkin? Atau jelaskan secara intuitif secara umum untuk masalah pemodelan seperti apa kita dapat...
Asumsikan bahwa saya memiliki set dengan elemen yang diambil dari mungkin. Setiap set berukuran ( ), di mana set bisa tumpang tindih. Saya ingin menentukan apakah dua masalah berikut ini selesai NP atau tidak:r n n < rPPPrrrnnnn <
Saya punya pertanyaan naif: apakah ada mesin Turing yang pemutusannya benar tetapi tidak dapat dibuktikan oleh teori yang alami, konsisten, dan tidak aksiomatis? Saya meminta bukti keberadaan belaka daripada contoh khusus. Ini mungkin memiliki beberapa hubungan dengan analisis ordinal . Memang,...
Apa sajakah sumber terbaik (buku dan makalah) untuk memotivasi dan mempelajari kompleksitas komunikasi sendiri dan dalam hubungannya dengan hubungannya dengan teori kompleksitas
Apakah memeriksa transitivitas suatu digraf tidak lebih mudah daripada (dalam hal kompleksitas asimptotik) mengambil penutupan transitif dari digraf? Apakah kita tahu ada batas bawah yang lebih baik daripada untuk menentukan apakah digraf transitif atau tidak?Ω ( n 2
Ada beberapa pertanyaan ( 1 , 2 , 3 ) tentang penyelesaian transitif di sini yang membuat saya berpikir jika sesuatu seperti ini dimungkinkan: Asumsikan kita mendapatkan input diarahkan grafik dan ingin menjawab pertanyaan tipe " ?", Yaitu menanyakan apakah ada tepi antara dua simpul dalam...
Dalam masalah klik yang ditanam, seseorang harus memulihkan -clique yang ditanam dalam grafik acak Erdos-Renyi . Ini sebagian besar telah dicari untuk , dalam hal ini dikenal sebagai polinomial-waktu yang dapat dipecahkan jika dan diduga sulit untuk .G ( n , p ) p = 1kkkG ( n , p )G(n,p)G(n,p)...
Kebanyakan sistem yang diketik tergantung memiliki kondisi positif yang ketat untuk jenis induktif. Adakah yang tahu contoh di mana pelanggaran kondisi menyebabkan inkonsistensi dalam
Pertimbangkan masalah klasik # P-complete # 3SAT, yaitu untuk menghitung jumlah penilaian untuk membuat 3CNF dengan variabel yang memuaskan. Saya tertarik pada perkiraan aditif . Jelas, ada algoritma sepele untuk mencapai 2 ^ {n-1} -error, tetapi jika k <2 ^ {n-1} , apakah mungkin untuk memiliki...
Saya ingin membagi satu set poin menjadi dua himpunan bagian yang berukuran sama sehingga jumlah kotak dalam-cluster diminimalkan. Kita dapat mengasumsikan bahwa titik-titik tersebut berada dalam ruang Euclidian dua dimensi. Saya berharap untuk sesuatu yang lebih cepat daripada algoritma klaster...