Ilmu Komputer

Masalah keputusan Dengan rumus Boolean , apakah ϕ memiliki satu tugas yang memuaskan?ϕϕ\phiϕϕ\phi dapat dilihat di , U P -hard dan c o N P -hard. Adakah yang lebih dikenal tentang kerumitannya?Δ2Δ2\Delta_2U PUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Saya sedang mengerjakan algoritma pencarian string yang mendukung pencarian banyak pola. Saya menemukan dua algoritma yang tampak seperti kandidat terkuat dalam hal menjalankan waktu, yaitu Aho-Corasick dan Rabin-Karp . Namun, saya tidak dapat menemukan perbandingan komprehensif antara kedua algoritma. Algoritma mana yang lebih efisien? Juga, mana yang lebih cocok untuk …

11 algorithms  algorithm-analysis  runtime-analysis  strings 

Menurut artikel Wikipedia tentang skema perkiraan polinomial-waktu : Semua masalah dalam FPTAS adalah traktat parameter tetap. Hasil ini mengejutkan saya - kelas-kelas ini tampaknya sangat berbeda satu sama lain. FPTAS mengkarakterisasi masalah dengan seberapa mudah mereka memperkirakan, sementara FPT mengkarakterisasi masalah dengan kesulitan mereka relatif terhadap beberapa parameter. Sayangnya, Wikipedia …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Saya minta maaf jika pertanyaan ini memiliki beberapa jawaban sepele yang saya lewatkan. Setiap kali saya mempelajari beberapa masalah yang telah terbukti tidak dapat diputuskan, saya mengamati bahwa buktinya bergantung pada pengurangan ke masalah lain yang telah terbukti tidak dapat diputuskan. Saya mengerti bahwa itu menciptakan semacam urutan pada tingkat …

11 computability  reductions  undecidability 

Saya sedang membangun pengkategorisasi teks untuk kalimat pendek. Selain memberi tahu pengguna "kategori teks yang Anda masukkan adalah C", saya ingin dapat menjelaskan mengapa saya membuat keputusan ini, dengan cara yang singkat dan mudah dimengerti. Misalnya, saya tidak ingin memberi tahu pengguna "Saya memasukkan kalimat Anda ke dalam jaringan saraf …

11 machine-learning  classification 

Masalahku. Diberikan nnn , saya ingin menghitung jumlah multiset S yang valid SS. Sebuah multiset SSS valid jika Jumlah elemen SSS adalah nnn , dan Setiap nomor dari 111 ke nnn dapat dinyatakan unik sebagai jumlah dari beberapa elemen SSS . Contoh. Sebagai contoh jika n = 5n=5n=5 maka { …

11 algorithms  integers 

Apakah masalah berikut NP-complete? (Saya anggap ya). Input: grafik tidak terarah di mana set edge dapat didekomposisi menjadi dua siklus sederhana disjointing edge (ini bukan bagian dari input).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Pertanyaan: Apakah ada siklus sederhana dalam dengan panjang lebih besar dari ?kGGGkkk Jelas masalahnya adalah dalam NP dan derajat maksimum …

11 graph-theory  np-complete  decision-problem 

Apakah ada otomat seluler (dalam 2D) yang mensimulasikan gaya antara partikel?1/r1/r1/r Lebih khusus lagi, saya ingin tahu apakah mungkin, dengan aturan pembaruan lokal yang ketat, untuk memiliki dua objek (didefinisikan dalam model) menarik satu sama lain dengan kekuatan , di mana r adalah jarak yang memisahkan objek. Ini khususnya akan …

11 simulation  cellular-automata 

Baru-baru ini, saya menemukan masalah ini , variasi menara hanoi . Pernyataan masalah: Pertimbangkan variasi berikut dari Menara Menara Hanoi: Kami diberi menara dan disk m ukuran 1 , 2 , 3 , … , m ditumpuk di beberapa menara. Tujuan Anda adalah untuk mentransfer semua disk ke k th …

11 algorithms  combinatorics  recursion 

Mengingat fakta bahwa pencacahan jalur - t adalah masalah # P-complete, mungkinkah ada metode yang efisien yang menghitung (atau setidaknya perkiraan) panjang rata-rata jalur s - t tanpa menyebutkannya? Bagaimana jika jalur diizinkan untuk mengunjungi kembali simpul?ssstttsssttt Hasil yang relevan pada grafik khusus juga dapat membantu.

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Ini mungkin pertanyaan konyol. Tampak jelas bahwa FSA, karena terbatas, hanya dapat menghitung jumlah simbol dalam string inputnya hingga sejumlah yang dibatasi oleh jumlah negara bagian. Tapi sekarang anggaplah kita melengkapi FSA dengan kemampuan output (misalnya pencetakan). Maka akan sangat mudah untuk membangun mesin yang mampu mencetak satu simbol untuk …

11 automata  finite-automata 

Bagaimana Anda mendeteksi secara algoritmik untuk foto tertentu apakah matahari bersinar ketika foto itu diambil? Contohnya Sampel dari webcam ini di puncak gunung: Jelas matahari bersinar. Dalam sampel lain ini, itu jauh kurang jelas: Orang mungkin dapat mendeteksi dengan mudah apakah berkabut dengan mencoba mengidentifikasi menara gereja kecil di kapel …

11 algorithms  image-processing 

Saya sedang membaca jawaban untuk pertanyaan baru-baru ini, dan semacam pemikiran fana yang aneh muncul di benak saya. Saya bertanya ini mungkin mengkhianati bahwa teori saya kurang serius (sebagian besar benar) atau terlalu dini bagi saya untuk membaca situs ini. Sekarang, dengan disclaimer keluar dari jalan ... Ini adalah hasil …

11 turing-machines  undecidability  halting-problem 

Pernyataan biasa dari masalah adil pemotongan kue mengasumsikan bahwa semua pemain mendapatkan bagian mereka pada waktu yang sama. Namun, dalam banyak kasus para pemain tiba secara bertahap. Misalnya, kami dapat membagi kue lebih dari n pemain, tetapi kemudian pemain baru tiba dan ingin berbagi.nnnnnn Biasanya, pembagian kue yang adil membutuhkan …

11 algorithms  game-theory  online-algorithms 

Ini adalah pertanyaan dari buku Naga (saya minta maaf atas kesalahan terjemahan, saya tidak memiliki versi bahasa Inggris di tangan): Bahasa apa yang dihasilkan oleh tata bahasa ini? S→ a Sb S∣ b Sa S∣ ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Saya tidak …

11 formal-languages  context-free  formal-grammars