Misalkan saya memiliki poset "S" dan predikat monoton "P" pada S. Saya ingin menemukan satu atau semua elemen maksimal dari S yang memuaskan P. EDIT : Saya tertarik dalam meminimalkan jumlah evaluasi P . Algoritma apa yang ada untuk masalah ini dan properti serta operasi tambahan apa yang mereka...
Jika kita membaca buku (atau versi lain dari spesifikasi bahasa jika Anda mau), berapa banyak daya komputasi yang dapat dimiliki oleh implementasi C? Perhatikan bahwa "implementasi C" memiliki arti teknis: itu adalah contoh khusus dari spesifikasi bahasa pemrograman C di mana perilaku yang...
Log-space-uniform NC terkandung dalam ruang polylog deterministik (kadang-kadang ditulis PolyL). Apakah log-space-uniform RNC juga ada di kelas ini? Versi acak standar dari PolyL harus dalam PolyL, tapi saya tidak melihat bahwa (seragam) RNC berada di dalam Random-PolyL. Kesulitan yang saya lihat...
Mengapa "penyortiran topologis" disebut "topologis"? Apakah hanya karena itu menentukan pesanan tanpa mengubah simpul atau tepi - seperti donat dan cangkir kopi secara topologi setara? Mengapa tidak disebut "semacam ketergantungan" atau yang lainnya? Mengapa "topologis"? Saya akui saya...
Salah satu hal yang menyenangkan tentang berevolusi di alam semesta dengan tiga dimensi spasial adalah bahwa kita telah mengembangkan keterampilan pemecahan masalah yang berkaitan dengan objek di ruang angkasa. Jadi, misalnya, kita dapat menganggap triplet angka sebagai titik dalam 3-d dan...
Biarkan kelas A menunjukkan semua grafik ukuran yang memiliki siklus Hamilton. Sangat mudah untuk menghasilkan grafik acak dari kelas ini - ambil node terisolasi, tambahkan siklus Hamiltonian acak dan kemudian tambahkan tepi secara acak.nnnnnnn Biarkan kelas B menunjukkan semua grafik ukuran yang...
Apakah ada contoh mainan yang memberikan wawasan 'esensial' untuk memahami tiga hambatan yang diketahui untuk masalah - relativization, bukti alami dan algebrization?P=NPP=NPP =
Pertama-tama, saya minta maaf sebelumnya atas kebodohan. Saya sama sekali bukan ahli teori kompleksitas (jauh dari itu! Saya seorang sarjana mengambil kelas pertama saya dalam teori kompleksitas) Inilah pertanyaan saya. Sekarang Teorema Savitch menyatakan bahwa Sekarang saya ingin tahu apakah...
Menjadi seorang insinyur perangkat lunak untuk sebagian besar hidup saya, saya tidak punya absolutley bagaimana memulai dengan menerbitkan jenis kertas "akademik". Selama penelitian terbaru saya, saya telah menemukan algoritma yang menarik untuk tugas yang saya selesaikan (terkait dengan beberapa...
Saya memiliki minat yang meningkat pada teori grafik spektral, yang menurut saya menarik, dan saya sudah mulai mengumpulkan beberapa dokumen yang belum saya baca lebih teliti daripada yang saya miliki sejauh ini. Namun, saya ingin tahu tentang pernyataan yang muncul di beberapa sumber (misalnya di...
Perbaiki bilangan bulat nnn dan alfabet Σ={0,1}Σ={0,1}\Sigma=\{0,1\} . Tentukan DFA(n)DFA(n)DFA(n) sebagai kumpulan semua automata kondisi terbatas pada nnn status dengan kondisi awal 1. Kami sedang mempertimbangkan semua DFA (tidak hanya yang terhubung, minimal, atau non-degenerasi); demikian,...
Kompleksitas awalan Kolmogorov (yaitu adalah ukuran program pembatasan-diri minimal yang menghasilkan x ) memiliki beberapa fitur bagus:K(x)K(x)K(x)xxx Ini sesuai dengan intuisi memberikan string dengan patters atau struktur kompleksitas yang lebih rendah daripada string tanpa. Hal ini...
Sebagai proyek sampingan, saya menulis bahasa menggunakan Python. Saya mulai dengan menggunakan klon flex / bison yang disebut Ply, tetapi saya muncul di tepi dalam kekuatan apa yang dapat saya ungkapkan dengan gaya tata bahasa itu, dan saya tidak tertarik untuk meretas bahasa saya karena...
Dalam artikel wikipedia ini tentang Turing Completeness disebutkan bahwa: Kalkulus lambda yang tidak diketik adalah Turing lengkap, tetapi banyak kalkulus lambda yang diketik, termasuk Sistem F, tidak. Nilai dari sistem yang diketik didasarkan pada kemampuan mereka untuk mewakili sebagian besar...
Ada beberapa algoritma yang memutuskan dalam waktu polinomial apakah grafik dapat digambar di pesawat atau tidak, bahkan banyak dengan waktu berjalan linier. Namun, saya tidak dapat menemukan algoritma yang sangat sederhana yang dapat dengan mudah dan cepat dijelaskan di kelas dan akan menunjukkan...
Saya baru-baru ini mempelajari bahasa Haskell dan pemrograman. Bisakah seseorang merekomendasikan beberapa buku tentang teori
Pertanyaan pada cstheory " Apa itu NP terbatas untuk saksi ukuran linier? " Bertanya tentang kelas NP terbatas pada saksi ukuran linear , tetapiO(n)O(n)O(n) Apakah ada masalah NP-complete alami di mana (ya) contoh ukuran membutuhkan saksi ukuran lebih besar dari ?nnnnnn Jelas kita dapat...
Misalkan saya ingin memformalkan bukti Turing mengenai masalah penghentian sehingga mesin dapat memeriksanya. Beberapa sistem pembuktian teorema otomatis yang terkenal meliputi Mizar, Coq, dan HOL4. Saya mengunduh dan bereksperimen dengan Coq, tetapi tidak memiliki perpustakaan untuk mesin Turing....
Saya sedang mempresentasikan kuliah tentang penyortiran pancake , dan menyebutkan bahwa: Mengurutkan berdasarkan pembalikan adalah NP-hard "ditandatangani" menyortir oleh pembalikan dalam P . Yang membuat saya berpikir. Ada perasaan di mana penyortiran "tanda tangan" diarahkan "- Anda dapat...
Dalam bukunya, Boolean Function Complexity, Stasys Jukna menyebutkan (halaman 564) bahwa Kolmogorov percaya bahwa setiap bahasa di P memiliki sirkuit dengan ukuran linier. Tidak ada referensi yang disebutkan dan saya tidak dapat menemukan apa pun secara online. Apakah ada orang yang tahu lebih...