Ilmu Komputer

Pertanyaan ini cukup banyak menjelaskan bahwa mereka bisa, tetapi tidak menunjukkan contoh ada dua pohon yang berbeda dengan traversal pre-order yang sama. Disebutkan pula bahwa traversal berurutan dari dua pohon yang berbeda dapat sama meskipun secara struktural berbeda. Apakah ada contohnya?

11 trees  binary-trees  graph-traversal  search-trees 

Saya belajar tentang pencarian pertama yang luas dan sebuah pertanyaan muncul di benak saya mengapa BFS disebut demikian. Dalam buku Pengantar Algoritma oleh CLRS , saya membaca alasan berikut ini: Pencarian Breadth-first dinamai demikian karena memperluas perbatasan antara simpul-simpul yang ditemukan dan yang belum ditemukan secara seragam melintasi luasnya perbatasan. …

11 graphs  graph-theory  shortest-path  graph-traversal 

Saya diberi masalah berikut saat wawancara: Memberikan string yang berisi beberapa campuran parens (bukan kurung atau kurung kurawal - hanya parens) dengan karakter alfanumerik lainnya, identifikasi semua paren yang tidak memiliki paren yang cocok. Misalnya, dalam string ") (ab))", indeks 0 dan 5 berisi parens yang tidak memiliki paren yang …

11 algorithms 

Jadi mengingat dua DFA, apakah masalah menemukan jika mereka menghasilkan bahasa yang sama merupakan masalah yang Layak? Saya sudah tahu bahwa Kesetaraan dua CFL tidak Dapat Dipilih tapi bagaimana dengan Kesetaraan dua DFA? mengingat sebagian besar masalah dengan DFA adalah decidable, apakah ini decidable juga?

11 computability  automata  finite-automata  decision-problem 

Jadi saya saat ini akan membaca buku HoTT dengan beberapa orang. Saya membuat klaim bahwa sebagian besar tipe induktif yang akan kita lihat dapat direduksi menjadi tipe yang hanya mengandung tipe fungsi dependen dan alam semesta dengan mengambil tipe recuror sebagai inspirasi untuk tipe yang setara. Saya mulai membuat sketsa …

11 type-theory  type-checking  dependent-types  homotopy-type-theory 

Saya mendapat kesan bahwa komputer kita, yang terbatas, pada akhirnya tidak lebih kuat daripada (hingga luar biasa besar) Mesin Negara Hingga. Namun, Mesin Turing Linearly Bounded juga terbatas, tetapi tampaknya Bahasa Reguler benar-benar merupakan bagian yang tidak tepat dari Bahasa Konteks-Sensitif. Jelas, saya kehilangan sesuatu di sini. Apa yang sedang …

11 finite-automata  computation-models  linear-bounded-automata 

Setumpuk kartu adalah 52. Tangan adalah 5 kartu dari 52 (tidak dapat memiliki duplikat). Berapa jumlah bit paling sedikit untuk mewakili kartu 5 tangan dan bagaimana? Tangan TIDAK tergantung pesanan (KQ = QK). 64329 = 96432 Ya, bisa menggunakan 52 bit. Itu bisa mewakili tangan sejumlah kartu. Diberi tangan adalah …

11 combinatorics 

Misalkan kita membaca urutan nnn angka, satu per satu. Cara menemukan elemen terkecil kkk hanya dengan menggunakan memori sel O(k)O(k)O(k) dan dalam waktu linier ( O(n)O(n)O(n) ). Saya pikir kita harus menabung dulu kkk hal urutan dan ketika mendapatkan k+1k+1k+1 'jangka th, menghapus istilah yang kita yakin bahwa itu tidak …

11 data-structures  search-algorithms  quicksort 

Pertanyaan umum, seperti judulnya, adalah: Apa perbedaan antara DS dan OR / optimisasi. Pada level konseptual, saya memahami bahwa DS mencoba mengekstraksi pengetahuan dari data yang tersedia dan kebanyakan menggunakan teknik Statistik, Pembelajaran Mesin. Di sisi lain, OR menggunakan data untuk membuat keputusan berdasarkan data, misalnya dengan mengoptimalkan beberapa fungsi …

11 optimization  data-mining 

Wikipedia mencantumkan kompleksitas waktu penjumlahan sebagai , di mana adalah jumlah bit.nnnnnnn Apakah ini batas bawah teori yang kaku? Atau apakah ini hanya kompleksitas dari algoritma tercepat yang dikenal saat ini. Saya ingin tahu, karena kompleksitas penjumlahan, menggarisbawahi semua operasi aritmatika lainnya dan semua algoritma yang menggunakannya. Apakah secara teori …

11 algorithms  algorithm-analysis  arithmetic 

Misalkan seseorang ingin beralasan tentang sifat-sifat kode di luar hal-hal seperti totalitas dan kemurnian fungsional - orang juga peduli dengan konsumsi memori, atau kompleksitas algoritmik suatu fungsi. Bisakah ini dilakukan melalui sistem pengetikan dan efek dependen?

11 type-theory  functional-programming  dependent-types  inductive-datatypes 

Pertanyaan ini adalah tentang apakah setiap teorema matematika dapat direduksi menjadi pertanyaan apakah satu mesin Turing berhenti. Secara khusus, saya tertarik pada dugaan yang saat ini tidak terbukti. Sebagai contoh: Wikipedia mengatakan bahwa saat ini tidak diketahui apakah ada angka sempurna yang aneh. Karena dapat diputuskan apakah angka yang diberikan …

11 formal-languages  computability  mathematical-foundations 

Saat membuat klien untuk API web di C #, saya mengalami masalah terkait nulldengan nilai yang mewakili dua hal yang berbeda: tidak ada , mis. foomungkin atau mungkin tidakbar tidak diketahui : secara default respons API hanya mencakup subset properti, Anda harus menunjukkan properti tambahan yang Anda inginkan. Jadi tidak …

11 programming-languages  language-design 

Apakah ada alat untuk membuat prototipe semantik bahasa pemrograman dan sistem tipe dan itu juga memungkinkan untuk semacam pengecekan model properti standar, seperti tipe kesehatan? Saya menanyakan hal ini, karena saya membaca buku tentang Paduan dan menyediakan fungsionalitas tepat yang saya inginkan, tetapi untuk model yang diungkapkan menggunakan logika relasional. …

11 reference-request  programming-languages  semantics  model-checking 

Saya memiliki dua set poin dalam bidang 2 dimensi. Saya ingin menemukan pasangan terdekat dari titik s , t sehingga s ∈ S , t ∈ T , dan jarak Euclidean antara s , t sekecil mungkin. Seberapa efisien hal ini dapat dilakukan? Bisakah itu dilakukan dalam waktu O ( …

11 algorithms  computational-geometry