Ilmu Komputer

Mungkin saya kehilangan sesuatu yang jelas, tetapi mungkinkah itu P = co-NP ⊊⊊\subsetneqNP atau sebaliknya? Perasaan saya adalah bahwa harus ada beberapa teorema yang mengesampingkan kemungkinan ini.

8 complexity-theory  p-vs-np 

Apakah ada masalah keputusan yang ada dalam kelas kompleksitas yang termasuk dalam DLOGTIME? (kecuali , tentu saja)O(1)O(1)O(1) Jika ada, dapatkah kita membuat masalah lengkap untuk DLOGTIME? Jadi, bisakah ada pengurangan dengan atau lebih kecil?O(log(logn))O(log⁡(log⁡n))O(\log(\log n))

8 complexity-theory  time-complexity  complexity-classes 

COQ adalah prover teorema interaktif yang menggunakan kalkulus konstruksi induktif, yaitu sangat bergantung pada tipe induktif. Dengan menggunakan itu, struktur diskrit seperti bilangan asli, bilangan rasional, grafik, tata bahasa, semantik, dll terwakili dengan sangat ringkas. Namun, karena saya mulai menyukai asisten bukti, saya bertanya-tanya apakah ada perpustakaan untuk struktur tak …

8 probability-theory  coq  real-numbers  uncountability 

Membiarkan CCCmenjadi seperangkat bahasa enumerable rekursif non-sepele ( ) dan biarkan L menjadi set pengkodean mesin Turing yang mengenali beberapa bahasa dalam C : L = \ {\ langle M \ rangle \ mid L (M) \ dalam C \}∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq \mathrm{RE}LLLCCCL={⟨M⟩∣L(M)∈C}L={⟨M⟩∣L(M)∈C}L=\{\langle M \rangle \mid L(M) \in C …

8 computability  turing-machines 

Misalkan kita diberi daftar poin, yang koordinat dan semuanya non-negatif. Misalkan juga tidak ada duplikat poin. Kita hanya bisa beralih dari titik ke titik jika dan . Pertanyaannya adalah: mengingat poin ini, berapakah jumlah poin maksimum yang dapat kita capai jika kita diizinkan untuk menggambar dua jalur yang menghubungkan titik …

8 computational-geometry  dynamic-programming  recurrence-relation 

Jadi saya membaca "Pengantar Pembelajaran Mesin" edisi ke-2, oleh Bishop, et. semua. Pada halaman 27 mereka membahas Dimensi Vapnik-Chervonenkis yang, "Jumlah maksimum poin yang dapat dihancurkan oleh H [kelas hipotesis] disebut Vapnik-Chervonenkis (VC) Dimensi H, dilambangkan VC (H) dan mengukur kapasitas H." Sedangkan "penghancur" menunjukkan hipotesis untuk sekumpulan titik data …

8 machine-learning  vc-dimension 

Membaca makalah Pengantar Kalkulus Lambda , saya menemukan sebuah paragraf yang tidak terlalu saya mengerti, di halaman 34 (huruf miring saya): Dalam masing-masing dari dua paradigma ada beberapa versi kalkulus lambda yang diketik. Dalam banyak sistem penting, terutama yang ala Gereja, istilah yang memiliki tipe selalu memiliki bentuk normal. Dengan …

8 computability  logic  lambda-calculus  type-theory 

Saya mencari beberapa contoh yang relatif sederhana ketika bahaya struktural terjadi dalam arsitektur pipelined. Satu-satunya skenario yang dapat saya pikirkan adalah ketika memori perlu diakses selama berbagai tahap pipa (yaitu, instruksi awal mengambil tahap dan memori kemudian membaca / menulis tahap). Saya berpikir bahwa ada lebih banyak bahaya struktural dalam …

8 computer-architecture  cpu-pipelines 

Jika suatu algoritma enkripsi dimaksudkan untuk mengubah suatu string ke string lain yang kemudian dapat didekripsi kembali ke aslinya, bagaimana proses ini dapat melibatkan keacakan? Tentunya itu harus deterministik, kalau tidak bagaimana bisa fungsi dekripsi tahu faktor apa yang terlibat dalam membuat string terenkripsi?

8 cryptography  encryption  randomness 

Saya mendapat ujian beberapa hari dan memiliki masalah untuk menyelesaikan tugas ini. Membiarkan LLL menjadi bahasa biasa di atas alfabet ΣΣ\Sigma. Kami memiliki operasi cycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle⁡(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in \Sigma^* \text{ and } yx\in L\} Dan sekarang kita harus menunjukkan itu cycle(L)cycle⁡(L)\operatorname{cycle}(L) juga biasa. Referensi …

8 formal-languages  regular-languages  finite-automata  closure-properties 

Saya tahu bahwa masalah Knapsack 2D dan 3D adalah NPC, tetapi apakah ada cara untuk menyelesaikannya dalam waktu yang wajar jika instansnya tidak terlalu rumit? Akankah pemrograman dinamis bekerja? Dengan 2D (3D) Knapsack Maksudku, aku punya kotak (kubus) dan aku punya daftar objek, semua data dalam sentimeter dan paling banyak …

8 algorithms  complexity-theory  np-complete  computational-geometry  knapsack-problems 

Saya diminta untuk menemukan argumen musuh yang diperlukan untuk menemukan batas bawah untuk seleksi dan jenis penyisipan. Saya tidak dapat menemukan referensi di mana pun. Saya ragu tentang ini. Saya mengerti bahwa argumen musuh biasanya digunakan untuk menemukan batas bawah untuk "masalah" tertentu daripada "algoritma". Saya mengerti masalah penggabungan. Tapi …

8 algorithms  algorithm-analysis  proof-techniques  lower-bounds 

Saya sedang mengerjakan masalah H dalam ACM ICPC 2004–2005 kontes Eropa Timur Laut . Masalahnya pada dasarnya adalah untuk menemukan kasus terburuk yang menghasilkan jumlah maksimal dari pertukaran dalam algoritma (sift down) untuk membangun heap. Input: File input berisi ( ).nnn1≤n≤50,0001≤n≤50,0001 \le n \le 50{,}000 Output: Output array yang berisi …

8 algorithms  data-structures  algorithm-analysis  sorting 

itu pernyataan yang terkenal itu " Keamanan kriptografi harus bergantung pada kunci rahasia alih-alih algoritma rahasia ." Saya ingin bertanya tentang detailnya. Dan apa perbedaan mereka? Saya melihat hal yang jelas bahwa untuk sistem multi-pengguna, menghasilkan kunci jauh lebih mudah daripada menghasilkan alghoritma yang berbeda untuk setiap pasangan pengguna, (dan …

8 cryptography  security  encryption 

Misalkan saya diberi array integer lebar tetap (yaitu mereka cocok dengan register lebar ), . Saya ingin menghitung jumlah pada mesin dengan aritmatika komplemen 2's, yang melakukan penambahan modulo dengan semantik sampul. Itu mudah - tetapi jumlahnya mungkin melebihi ukuran register, dan jika ya, hasilnya akan salah.nnnwwwSebuah1,Sebuah2, ...Sebuahna1,a2,…ana_1, a_2, \dots …

8 algorithms  arrays  integers  numerical-analysis