Ilmu Komputer

Saya diberi himpunan , integer , dan integer non-negatif a_ {ij} . Masalah saya adalah menemukan s himpunan bagian himpunan S_j dari \ {1, \ ldots, k \} sedemikian rupa sehingga:A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant kaijaija_{ij}sssSjSjS_j{1,…,k}{1,…,k}\{1,\ldots,k\} ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; dan |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} untuk semua i∈Sji∈Sji\in S_j dan j=1,…,sj=1,…,sj=1,\ldots,s . Bagaimana cara mengatasi masalah ini? …

11 complexity-theory  integer-programming 

Di java, Anda harus secara eksplisit melakukan cast untuk menurunkan variabel public class Fruit{} // parent class public class Apple extends Fruit{} // child class public static void main(String args[]) { // An implicit upcast Fruit parent = new Apple(); // An explicit downcast to Apple Apple child = (Apple)parent; …

11 object-oriented  type-inference  language-design 

Satu diperlukan untuk menemukan kekuatan (bilangan bulat positif) dari matriks bilangan real. Ada banyak algoritma multiplikasi matriks yang efisien (mis. Beberapa algoritma paralel adalah Cannon's, DNS ) tetapi apakah ada algoritma yang ditujukan tepat untuk menemukan kekuatan matriks dan yang lebih efisien daripada eksekusi berurutan dari multiplikasi matriks? Saya sangat …

11 algorithms  parallel-computing  efficiency  matrices  numerical-algorithms 

Apakah ada cara mudah untuk melihat mengapa NP ada di EXPTIME? Menurut saya apriori dapat dibayangkan bahwa mungkin ada masalah yang membutuhkan waktu super-eksponensial untuk diselesaikan, tetapi solusinya dapat diverifikasi dalam waktu polinomial.

11 complexity-theory  complexity-classes 

Sebuah expresssion biasa didefinisikan secara rekursif sebagai aSebuaha untuk beberapaa∈ΣSebuah∈Σa \in \Sigma adalah ekspresi reguler, εε\varepsilon adalah ekspresi reguler, ∅∅\emptyset adalah ekspresi reguler, (R1∪R2)(R1∪R2)(R_1 \cup R_2) mana dan adalah ekspresi reguler adalah ekspresi reguler,R1R1R_1R2R2R_2 (R1∘R2)(R1∘R2)(R_1 \circ R_2) mana dan adalah ekspresi reguler adalah ekspresi reguler,R1R1R_1R2R2R_2 (R1)∗(R1)∗(R_1)^* mana adalah ekspresi reguler …

11 formal-languages  regular-languages  regular-expressions 

Judulnya mengatakan itu semua, tetapi saya ingin tahu karena tidak jelas bagaimana teorema teorema menjadi bernama 'Isabelle'. Apakah nama itu untuk seseorang? Saya tidak dapat mengetahuinya dengan beberapa pencarian Google.

11 history  automated-theorem-proving  isabelle 

Mengapa bahasa tingkat tinggi sepertinya tidak pernah mencapai bahasa tingkat rendah dalam hal kecepatan? Contoh bahasa tingkat tinggi adalah Python, Haskell, dan Java. Bahasa tingkat rendah akan lebih sulit untuk didefinisikan, tetapi katakanlah C. Perbandingan dapat ditemukan di seluruh Internet 1 dan mereka semua setuju bahwa C jauh lebih cepat, …

11 programming-languages  performance 

Sebagai proyek yang menyenangkan, saya telah mengerjakan implementasi C # dari Richard Korf - Menemukan Solusi Optimal untuk Rubik's Cube Menggunakan Database Pola. https://www.cs.princeton.edu/courses/archive/fall06/cos402/papers/korfrubik.pdf Saya benar-benar membuatnya bekerja, saya hanya mencoba untuk meningkatkan solusi saya. Satu hal yang Korf bahas dalam makalahnya adalah bagaimana ia menyimpan dan mengindeks ke dalam …

11 algorithms  permutations 

Algoritma Shor sering digunakan sebagai argumen. Ini dapat memecahkan masalah faktorisasi lebih cepat daripada algoritma yang dikenal untuk komputer klasik. Namun, kami tidak memiliki bukti bahwa komputer klasik juga tidak dapat faktor integer secara efisien. Apakah ada komputer kuantum bukti aktual yang dapat memecahkan beberapa masalah lebih cepat daripada komputer …

11 algorithms  efficiency  quantum-computing 

Sebuah jawaban pada Programmers.SE ciri esai oleh Masak ( Objects tidak ADT ) yang mengatakan Objek berperilaku seperti fungsi karakteristik atas nilai-nilai tipe, bukan sebagai aljabar. Objek menggunakan abstraksi prosedural daripada jenis abstraksi ADT biasanya memiliki implementasi unik dalam suatu program. Ketika bahasa seseorang memiliki modul, ada kemungkinan untuk memiliki …

11 programming-languages  object-oriented  abstract-data-types 

Diberikan subset dari produk kartesius dari dua set yang terbatas, saya ingin menemukan penutup minimal dengan set yang merupakan produk kartesius itu sendiri.saya× JI×JI \times J Misalnya, mengingat produk antara dan , saya dapat mengamati subset dan coba untuk menutupinya dengan jumlah minimal produk kartesius.J = { 1 , 2 …

11 algorithms  set-cover 

Putaran Tes Google Hash Code 2015 ( pernyataan masalah ) bertanya tentang masalah berikut: input: kisi dengan beberapa kotak yang ditandai, ambang , area maksimalMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} Output: total luas kemungkinan terbesar dari serangkaian persegi panjang menguraikan dengan koordinat bilangan bulat di sehingga setiap persegi panjang mencakup setidaknya …

11 complexity-theory  reductions  np-hard 

Saya mencoba untuk mendapatkan gambaran besar tentang pentingnya titik tetap (lfp) dalam analisis program. Misalnya interpretasi abstrak tampaknya menggunakan keberadaan lfp. Banyak makalah penelitian tentang analisis program juga sangat berfokus pada menemukan titik paling tidak tetap. Lebih khusus lagi, artikel ini di wikipedia: Knaster-Tarski Theorem menyebutkan bahwa lfp digunakan untuk …

11 programming-languages  finite-model-theory  fixed-point 

Saat ini saya menghadiri kursus pemrograman bersamaan di universitas saya dan kami baru-baru ini mulai berbicara tentang konsep monitor. Sementara saya memahami perlunya saling pengecualian, saya tidak mengerti mengapa saya akan menggunakan monitor untuk itu. Seperti yang saya pahami, monitor menjamin bahwa hanya satu atau tidak ada proses berada di …

11 concurrency  synchronization  mutual-exclusion 

Saya bertanya-tanya mengapa kaset itu bukan bagian dari definisi formal dari Mesin Turing. Pertimbangkan, misalnya, definisi formal mesin Turing di halaman Wikipedia . Definisi, mengikuti Hopcroft dan Ullman, meliputi: himpunan terbatas status , alfabet pita Γ , simbol kosong b ∈ Γ , keadaan awal q 0 ∈ Q , …

11 turing-machines  computation-models