Saya mencari struktur data, yang pada dasarnya adalah pohon peta, di mana peta di setiap node berisi beberapa elemen baru, serta elemen-elemen di peta node induknya. Dengan peta di sini yang saya maksud adalah peta pemrograman dengan kunci dan nilai, seperti peta di STL atau dict dengan...
Pertama bertanya pada math.SE tanpa balasan. Misalkan saya memiliki grafik planar, dengan penanaman planar, bagaimana cara menemukan dekomposisi pohon? Apa dekomposisi pohon optimal dari -by- kotak persegi? Tidak sepenuhnya yakin bagaimana mendefinisikan "optimal", tetapi harus membedakan antara...
Apakah masalah keputusan berikut NP-complete: Misalkan adalah grafik yang tidak terarah dan b ≤ c dua bilangan bulat. Apakah mungkin untuk memilih untuk setiap simpul persis tetangga yang berbeda sehingga tidak ada simpul yang dipilih lebih dari kali.GGGb ≤ cb≤cb \le cb cGGGbbbccc Kasing...
Bagaimana Anda bisa memaksa suatu pihak untuk jujur (mematuhi aturan protokol)? Saya telah melihat beberapa mekanisme seperti komitmen, bukti dan lain-lain, tetapi mereka tampaknya tidak menyelesaikan seluruh masalah. Sepertinya saya bahwa struktur desain protokol dan mekanisme tersebut...
saya bertanya-tanya apakah mereka merupakan pendekatan merumuskan Kendaraan-Routing-Masalah dengan Time-Windows ( VRPTW ) (sebagai masalah keputusan) sebagai contoh SAT / SMT? (alternatif: TSP) Misalnya: "Apakah ada solusi yang valid mengunjungi semua pelanggan dalam jendela waktu mereka dengan n...
Ketika saya melihat melalui " Pendekatan Pemrograman Dinamis untuk Masalah Sequencing " oleh Michael Held dan Richard M. Karp, saya datang dengan pertanyaan berikut: mengapa kompleksitas algoritma mereka untuk TSP adalah (hlm. 199), maksud saya kemana mereka mengambil faktor ? Jika saya mengerti...
Singkatnya: Dengan asumsi permutasi satu arah ada, dapatkah kita membangun yang tidak memiliki pintu jebakan? Info lebih lanjut: Permutasi satu arah adalah permutasi yang mudah dihitung, tetapi sulit untuk dibalik (lihat wiki tag fungsi satu arah untuk definisi yang lebih formal). Kami biasanya...
Sebagai tindak lanjut dari pertanyaan saya sebelumnya , yang diselesaikan oleh Hsien-Chih Chang, berikut adalah upaya lain untuk menemukan generalisasi yang sesuai dari teorema Ramsey. (Anda tidak perlu membaca pertanyaan sebelumnya; posting ini mandiri.) Parameter: bilangan bulat 1 ≪ d≪ k ≪...
Biarkan menjadi seperangkat bentuk persegi panjang dimensional. Untuk dan , menjelaskan panjang dalam dimensi . Notasi yang sama digunakan untuk wadah . Masalah pengemasan orthogonal dimensional (OPP- ) adalah memutuskan apakah cocok dengan wadah tanpa tumpang tindih. Secara formal, masalahnya...
Untuk proyek yang sedang saya kerjakan, saya harus membuat pohon spanning acak dengan tinggi terikat. Pada dasarnya saya melakukan hal berikut: 1) Menghasilkan spanning tree 2) Periksa kelayakan, jika layak simpan. 1) Mulai dari pohon spanning minimum (Prim atau Kruskal) Saya menambahkan tepi...
Saya kesulitan menemukan algoritme atau menerbitkan makalah tentang triangulasi poligon bersilangan (juga poligon dengan struktur lubang). Bisakah ada yang memandu saya untuk menemukan makalah / algoritma yang dipublikasikan? PS: tolong beri tag pada seseorang pertanyaan ini dengan tepat, saya...
Saya ingin tahu di mana saya bisa berpaling untuk pengantar k-SAT yang bagus dan lembut (ini mungkin untuk ahli matematika yang mungkin tidak memiliki latar belakang ilmu komputer yang baik). Saya juga ingin tahu makalah yang mungkin mensurvei atau menjelaskan metode saat ini yang digunakan untuk...
Saya merujuk pada pertanyaan di sini: algoritma yang kuat terlalu rumit untuk diterapkan . Jika suatu algoritma kuat, tetapi terlalu rumit untuk diimplementasikan, bagaimana Anda bisa yakin bahwa algoritma itu benar? Tanpa implementasi, Anda tidak akan dapat menguji algoritme dalam skenario dunia...
Dalam pengalaman saya, bahasa yang peka konteks dan automata terbatas linier sering dilewati atau dilompati dalam mata kuliah teori komputabilitas, dan bahkan ditinggalkan dari beberapa buku teks terkemuka, meskipun automata terbatas dan pushdown menerima banyak perhatian. Tentunya harus ada alasan...
Ini adalah pos yang dipisahkan dari Konsekuensi UP sama dengan NP , dan juga pertanyaan lanjutan untuk Kelas Kompleksitas Semantik vs. Sintaksis . Dalam posting di atas kita belajar tentang kelas semantik dan sintaksis . Secara singkat dinyatakan, ketika suatu kelas dapat dikarakteristikkan...
baru-baru ini, Craig Gentry menerbitkan skema enkripsi kunci publik pertama (lebih dari ruang plaintext {0,1}) yang sepenuhnya homomorfis, yang berarti bahwa seseorang dapat mengevaluasi secara efisien dan kompak AND dan XOR pada plaintext terenkripsi tanpa mengetahui kunci dekripsi rahasia. Saya...
Contoh perhitungan terkenal yang terinspirasi oleh fenomena alam adalah komputer kuantum dan komputer DNA. Apa yang diketahui tentang potensi dan / atau keterbatasan komputasi dengan hukum atau gravitasi Maxwell? Yaitu, menggabungkan solusi "cepat" alami ke persamaan Maxwell atau masalah n-body...
Seperti yang Anda semua tahu, ada keruntuhan berkelanjutan dari Krisis Keuangan tahun 2008. Saya berpikir tentang bagaimana teori kompleksitas cocok dengan semua ini, ketika saya menyadari saya tidak tahu kelas kompleksitas dasar yang berkaitan dengan Ekonomi Keuangan. Jadi pertanyaan saya adalah...
Apakah ada permutasi dan ukuran polinomial (dalam ) konteks tata bahasa gratis yang menggambarkan bahasa hingga lebih dari alfabet ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} PEMBARUAN: Untuk satu permutasi ππ\pi dimungkinkan. ππ\pi...
Teorema Fáry mengatakan bahwa grafik planar sederhana dapat digambar tanpa penyilangan sehingga setiap sisi adalah segmen garis lurus. Pertanyaan saya adalah apakah ada teorema analog untuk grafik bilangan persimpangan terbatas . Secara khusus, dapatkah kita mengatakan bahwa grafik sederhana...