Bilgisayar Bilimi

Bir mikro çekirdek, tüm sürücüleri kullanıcı-alanı programları olarak uygular ve IPC gibi temel özellikleri çekirdeğin içine uygular. Bununla birlikte, monolitik bir çekirdek, sürücüleri çekirdeğin bir parçası olarak uygular (örneğin çekirdek modunda çalışır). Mikro çekirdeğin monolitik çekirdeklerden daha yavaş olduğu iddialarını okudum, çünkü kullanıcı alanındaki sürücüler arasında iletiyi işlemek zorundalar. Bu …

14 operating-systems  performance  os-kernel 

Yönetilen bir kod yorumlayıcı / çalışma zamanı ve yerel olmayan bir makine diline (Java bayt kodu, CIL, vb.) Derlenmiş daha büyük bir üst çekirdeğe dayanan çok küçük bir yerel alt çekirdeğe dayalı bir işletim sistemi oluşturmak istediğinizi varsayalım. Benzer işletim sistemlerine örnek olarak Singularity ve Cosmos verilebilir . Tamamen doğal …

14 operating-systems  type-checking  interpreters  os-kernel 

İki ve sayısı verildiğini ve l \ le i, \, j \ le r için bulmak istediğimizi varsayalım .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Saf algoritma tüm olası çiftleri kontrol eder; örneğin yakutta: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if (i ^ j > max) max …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Coursera'da bir algoritma dersi aldım. Videoda hash tablolarıyla ilgili profesör Doğru olan, patolojik olmayan veriler için, düzgün bir şekilde uygulanan bir karma tabloda sabit zamanlı işlemler elde edeceğinizdir. "Patolojik olmayan veriler" ne anlama geliyor? Bazı örnekler verebilir misiniz?

14 hash-tables 

Norveç fiyortlarında bir yerde güneş enerjisiyle çalışan bir otonom yüzey gemim olduğunu varsayalım, oldukça yeni bir harita seti, bir GPS alıcısı ve benden ayrıntılı komutları aşağıya bağlama aracı yok. Bu gemi, mümkün olan en erken zamanda, Hainan adasına ulaşmak zorundadır. Yerkürede deniz yolu bulmak için belirleyici algoritmalar nelerdir ? Zaman …

14 artificial-intelligence  search-algorithms 

Bir alfabe Verilen , bu bir tarafından kabul edilebilir orada kaç farklı düzenli dillerdir n -devlet olmayan deterministik sonlu otomat?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn Örnek olarak ele alalım . Daha sonra 2 18 farklı geçiş konfigürasyonumuz ve 2 3 farklı başlangıç ​​ve bitiş durumu konfigürasyonumuz var, bu yüzden 2 24 …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Ben okuyorum Hindley'nin-Milner yazarak algoritması bir uygulama yazma ve görüyoruz ederken, her zaman gibi argümanlar son tipini belirleyecek ya atom tiplerini veya türlerini, elde edersiniz boyunca her değişken bağlı olarak, t1 -> t1ya (t1 -> t2) -> (t1 -> t2)Burada t1ve t2tip değişkenleridir. Ben böyle bir şey almak için bir …

14 lambda-calculus  type-theory  typing  type-inference 

Geçişli olmayan bir karşılaştırma ile bir sıralama algoritması kullanmak mümkün mü ve eğer evetse, geçişlilik neden karşılaştırıcıları sıralamak için bir gereklilik olarak listeleniyor? Arka fon: Bir sıralama algoritması genellikle bir listenin elemanlarını bir karşılaştırma fonksiyonuna (C (x, y)) göre, C(x,y)=⎧⎩⎨−10+1if x≺yif x∼yif x≻yC(x,y)={−1if x≺y0if x∼y+1if x≻y\begin{array}{ll} C(x,y) = \begin{cases} -1 …

14 algorithms  sorting  quicksort  transitivity 

Bu, Kablolama Uzunluğu Minimizasyonu hakkındaki bu soruya cevap vermeye çalışırken ortaya çıktı . Ben buna "çok eşli evlilik" problemi diyecektim, ama internet, yavru kediler. Yaşasın! Elimizdeki varsayalım tarafından kabul edilmesi gerekmektedir yavru kedi insanlar, . Her yavru kedi, ve her bir kişi için bir maliyet . Tüm yavru köpekleri benimsemenin …

14 algorithms  complexity-theory 

İki büyük AAA ve tamsayı kümem var BBB. Her kümede yaklaşık bir milyon giriş vardır ve her giriş en fazla 10 basamak uzunluğunda pozitif bir tamsayıdır. A∖BA∖BA\setminus B ve hesaplamak için en iyi algoritma nedir B∖AB∖AB\setminus A? Başka bir deyişle, AAA olmayan ve olmayan girişlerin listesini nasıl verimli bir şekilde …

14 algorithms  data-structures  sets 

HHHh:U→{0,…,M−1}h:U→{0,…,M−1}h: U \rightarrow \{0,\ldots,M-1\}∀x,y∈U,x≠y⇒Prh∈H[h(x)=h(y)]≤1M∀x,y∈U,x≠y⇒Prh∈H[h(x)=h(y)]≤1M\forall x,y \in U, x \neq y \Rightarrow \Pr_{h \in H}[h(x) = h(y)] \leq \frac{1}{M} Evrensel karma kavramı artık lisans veri yapısı derslerinin standart bir parçasıdır. Endüstriyel uygulamalarda evrensel hashın önemi konusunda öğrencileri motive edebilmek güzel olurdu. Benim sorum şu: Evrensel hash fonksiyonları ailesinin konstrüksiyonları pratikte önemli …

14 data-structures  education  hash-tables  applied-theory 

Let bir grafiktir olabilir ve izin s ve t , iki köşe olması , G . S ve t arasındaki tüm en kısa yollar kümesinden en kısa s - t yolunu rastgele ve bağımsız olarak etkin bir şekilde örnekleyebilir miyiz ? Basitlik için, G'nin basit, yönlendirilmemiş ve ağırlıksız olduğunu varsayabiliriz …

14 graph-theory  reference-request  shortest-path  sampling 

Bu siteye bakıyorum ve insanların TSP turları için optimum turdan sadece% 0.031 daha yüksek çözümler bulduğunu söylüyor. En uygun turu bulamadan, ne kadar olması gerektiğini nereden biliyorlar?

14 complexity-theory  approximation 

Birisi beni işlevsel bir tarzda kod yazmanın avantajlarını veya dezavantajlarını inceleyen hakemli makalelere yönlendirebilir mi? Makine Öğrenmesi, Dil Tasarımı vb. Alanlarda Lambda Matematik uygulamalarını tartışan makaleler var mı?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Deterministik olmayan pushdown otomatasının deterministik olanlara göre bir gelişme olabileceğinin farkındayım, çünkü bunlar birkaç eyalet arasında "seçebilirler" ve deterministik bir push ile kabul edilemeyecek bazı bağlamsız diller vardır. Yine de, tam olarak nasıl "seçtiklerini" anlamıyorum . Örneğin palindormlar için bulduğum her kaynak, otomatın kelimenin ortasında "tahmin ettiğini" söylüyor. Bu ne …

14 automata  pushdown-automata  nondeterminism