Ilmu Komputer

Paling tidak di Jawa, jika saya menulis kode ini: float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; nilai eee akan . Saya percaya ini disebabkan oleh kenyataan bahwa …

15 arithmetic  floating-point  numerical-algorithms 

Saya seorang mahasiswa tingkat Ilmu Komputer yang memiliki hasrat besar untuk belajar Matematika. Saya memiliki keyakinan yang kuat bahwa Ilmu Komputer atau Ilmu Komputer Teoretis adalah cabang langsung dari Matematika dan Logika dan juga berpendapat bahwa gelar Ilmu Komputer selalu berorientasi pada Matematika sebagai fakta. Tolong koreksi saya jika saya …

15 mathematical-foundations 

Saya sedang membaca pertanyaan di Stack Overflow menanyakan apakah NP -hard mendaftar semua siklus sederhana dalam grafik yang berisi simpul tertentu dan terpikir oleh saya bahwa saya tidak bisa memikirkan kelas kompleksitas yang ada yang cocok untuk berbicara tentang masalah pada formulir "daftar semua solusi untuk masalah ini." NP kelas …

15 complexity-theory  reference-request  complexity-classes  enumeration 

Asumsikan dua daftar item yang sebanding: u dan s. Biarkan INV (u) menjadi jumlah inversi di u. Saya mencari algoritma yang efisien untuk memasukkan item s ke u dengan peningkatan minimal INV (u). Pada dasarnya saya ingin memasukkan objek ke dalam daftar sambil menjaganya "sedapat mungkin diurutkan" sambil menjaga urutan …

15 algorithms  sorting 

Dalam makalah Philip Wadler tentang Teorema untuk Bebas ia menyatakan dalam Bagian 2 tentang Parametrisitas itu tidak ada model teori set-naif kalkulus lambda polimorfik Dalam model set-theoretik naif jenis set dan fungsi adalah fungsi set-theoretik yang tampaknya masuk akal. Jadi mengapa dia mengatakan tidak ada model teori set-naif kalkulus lambda …

15 functional-programming 

Biarkan Σ = { 0 , 1 } . Sebuah bahasa L ⊆ Σ * dikatakan memiliki "anti-palindrom" properti jika untuk setiap string yang w yang palindrom, w ∉ L . Selain itu, untuk setiap string yang u yang tidak sebuah palindrom baik u ∈ L atau R e v …

15 formal-languages 

Saya sangat akrab dengan Dijkstra dan saya memiliki pertanyaan spesifik tentang algoritme. Jika saya memiliki grafik yang sangat besar, misalnya 3,5 miliar node (semua data OpenStreetMap) maka saya jelas tidak akan dapat memiliki grafik dalam memori, sehingga grafik disimpan pada disk di dalam basis data. Ada perpustakaan yang tersedia untuk …

15 algorithms  graph-theory  graphs  shortest-path 

Apa yang dimaksud dengan log O ( 1 ) nlogO(1)n\log^{O(1)}n ? Saya menyadari notasi O besar, tetapi notasi ini tidak masuk akal bagi saya. Saya juga tidak dapat menemukan apa-apa tentang itu, karena tidak ada mesin pencari yang mengartikan ini dengan benar. Untuk sedikit konteks, kalimat di mana saya menemukannya …

15 asymptotics  landau-notation 

Dimungkinkan untuk menguraikan dokumen menggunakan pass tunggal dari mesin negara. Apa manfaatnya memiliki dua lintasan, yaitu. memiliki lexer untuk mengonversi teks menjadi token, dan memiliki pengurai untuk menguji aturan produksi pada token itu? Mengapa tidak memiliki satu pass yang menerapkan aturan produksi langsung ke teks?

15 compilers  parsers 

Dalam buku teks saya disebutkan bahwa: mana adalah bahasa kosong.∅∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset Namun, kita tahu bahwa L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptyset , di mana LLL adalah Bahasa apa pun. Saya tidak dapat memahami konsep ini secara intuitif karena operasi bintang Kleene menunjuk pada fakta bahwa ∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup \emptyset^1 \cup \emptyset^2 \cup \cdots …

15 formal-languages  kleene-star 

Musim gugur yang lalu saya melakukan tur superkomputer Blue Waters di University of Illinois. Saya bertanya apakah ada yang pernah menggunakan seluruh komputer. Saya diberitahu bahwa itu selalu bekerja pada banyak proyek. Itu membuat saya bertanya-tanya tentang manfaat superkomputer. Mungkin Blue Waters tidak biasa karena harus dibagikan oleh industri dan …

15 computer-architecture 

Teka-teki "Aliran Gratis" terdiri dari bilangan bulat positif dan satu set pasangan (tidak berurutan) dari simpul-simpul berbeda dalamgrafik kotaksedemikian rupa sehingga setiap simpul berada paling banyak dalam satu pasangan. Solusi untuk teka-teki tersebut adalah serangkaianjalurtidak berarahdalam grafik sedemikian rupa sehingga setiap simpul berada tepat di satu jalur dan setiap ujung …

15 np-hard  square-grid 

Beberapa CPU memiliki register flag (ARM, x86, ...), lainnya tidak (MIPS, ...). Apa keuntungan dari memiliki instruksi CMP untuk memperbarui register bendera diikuti oleh instruksi cabang daripada menggunakan register nol dan cabang bersyarat untuk memeriksa tanda, meluap dll?

15 computer-architecture 

Saya tahu itu dapat dibuktikan PROLOG adalah Turing-complete dengan membangun sebuah program yang mensimulasikan mesin Turing seperti ini: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), once(rule(Q0, Sym, Q1, …

15 programming-languages  turing-completeness  logic-programming  prolog 

Saya memiliki tetrahedron dan polyhedron . dibatasi sedemikian rupa sehingga selalu berbagi semua simpulnya dengan . Saya ingin menentukan apakah terletak di dalam .ttt ppptttpppttt ppp Saya ingin menambahkan satu detail untuk masalah jika itu dapat berkontribusi pada solusi: ttt adalah tetrahedron Delaunay dan wajah ppp adalah segitiga dan sangat …

15 algorithms  computational-geometry  topology