Bilgisayar Bilimi

Tracy Kidder'ın Data General'daki bir ekibin yeni bir makine (daha sonra MV / 8000 olarak adlandırılan "Eagle" kodlu) tasarladığı "Yeni Bir Makinenin Ruhu" nu okuyorum. Önceki bir mimarinin (16 bit Eclipse) 32 bit uzantısıdır. Döner temalardan biri, mod bitli bir makine oluşturmak istemedikleri ve bunu başardıkları gibi görünüyor. Bununla birlikte, …

11 computer-architecture 

Kapalı . Bu soru görüş temelli . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Bu yayını düzenleyerek gerçekler ve alıntılarla yanıtlanabilmesi için soruyu güncelleyin . 4 yıl önce kapalı . Ben matematiksel zarafet ve titizlik için bir emici ve şimdi algoritmalar ve algoritma analizi ile ilgili literatürü …

11 algorithms  algorithm-analysis  reference-request  books 

Brzozowski'nin algoritması Moore otomata genişletilebilir, ancak zaman karmaşıklığı genel olarak üsteldir. Moore otomata'nın minimize edilmesi için başka bir algoritma var mı? Varsa bu algoritmaların çalışma süreleri nelerdir?

11 reference-request  automata  optimization  finite-automata  transducers 

Bir sertifika oluşturmadan bir NP-tamamlama sorununa doğru şekilde "evet" çıktısı veren bilinen herhangi bir algoritma var mı? Memnuniyetli bir kehaneti tatmin edici bir atama bulucusuna dönüştürmenin basit olduğunu anlıyorum: sadece değişkenleri tekrarlayın, her seferinde bu değişkenin orijinal problemle bağlantısını çözmesini sağlayan tatmin edici kehanet isteyin. Peki böyle bir sargı faydalı …

11 algorithms  complexity-theory  np-complete 

Diyelim ki iki dizenin analizini gerektiren bir dize işlemi yapıyorum. Uzunluklarının ne olabileceği hakkında hiçbir bilgim yok, bu yüzden iki ayrı aileden geliyorlar. veya O ( n + m ) algoritmasının karmaşıklığını çağırmak kabul edilebilir mi (saf veya optimize edilmiş bir algoritma kullanmamıza bağlı olarak)?O(n∗m)Ö(n*m)O(n * m)O(n+m)Ö(n+m)O(n + m) Benzer …

11 time-complexity  asymptotics  landau-notation  notation 

Belirli bir Boole ifadesinin tatmin edici olup olmadığını hesaplama sorunu aslında ifadeye bir çözüm bulmaktan hesaplanabilir bir şekilde farklı mıdır? Başka bir deyişle, belirli bir ifadenin Boole değişkenleri için 'doğru ayarları' açıkça belirlemeden tatmin edici olduğunu bulmanın başka bir yolu var mı? Yoksa tüm olası kanıtlar polinom zamanında “doğru ayarlar” …

11 complexity-theory  satisfiability 

Durduran bir kehanet mevcutsa (veya, aynı şekilde hiper-hesaplama), çoğu problemin önemsiz olduğunu anlıyorum. Bununla birlikte, bir Turing makinesi için Durdurma Probleminin mümkün olmadığını gösteren argümanın uygulanması bir Turing + kehanetinin Turing + kehanet için Durdurma Problemine karar vermesinin imkansız olduğunu da gösterir. Durdurma kehaneti ile çözülemeyen gerçek, pratik, sorun örnekleri …

11 computability  undecidability  halting-problem  oracle-machines 

Birkaç kez bir NDTM'nin cevabını verimli bir şekilde çevirmenin mümkün olmadığını birkaç kez okudum. Ancak nedenini anlamıyorum. Örneğin, O ( n ) ' de çalışan bir NDTM verildiğinde , bu metin (bölüm 3.3) başka bir NDTM T'nin O ( n 100 )' de nasıl belirleyebileceğinin belirsiz olduğunu belirtir.MMMO(n)Ö(n)O(n)TTTO(n100)Ö(n100)O(n^{100}) zamanında cevabını …

11 complexity-theory  turing-machines 

Verilen iki takım alfabenin üzerinde dizeleri , biz (DFA) en küçük deterministik sonlu durum Otomaton hesaplayabilir öyle ki ve ?A,BA,BA,BΣΣ\SigmaMMMA⊆L(M)A⊆L(M)A \subseteq L(M)L(M)⊆Σ∗∖BL(M)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B Başka bir deyişle, bir dizi olumlu örneği temsil eder. her dizenin DFA tarafından kabul edilmesi gerekir. , bir dizi negatif örneği temsil eder. hiçbir dize …

11 regular-languages  automata  finite-automata  machine-learning 

Homotopy Type Theory çevrimiçi kitabında bağımlı tipler teorisi hakkında okuyorum . Tür Teorisi bölümünün 1.3 bölümünde, Evrenlerin hiyerarşisi kavramını tanıtır : U0:U1:U2:⋯U0:U1:U2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots , burada her evren UiUben\mathcal{U}_i bir sonraki evren bir unsurudur Ui+1Uben+1\mathcal{U}_{i+1}. Dahası, evrenlerimizin kümülatif olduğunu, yani evrenin tüm unsurlarının da evreninin unsurları …

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

Belirlenen bölümleri temsil etmek için etkili veri yapıları vardır . Bu veri yapıları Union and Find gibi işlemler için iyi zaman karmaşıklıklarına sahiptir, ancak bunlar özellikle yer tasarrufu sağlamaz. Bir kümenin bir bölümünü temsil etmenin yerden tasarruf sağlayan yolu nedir? İşte olası bir başlangıç ​​noktası: Bunu biliyorum bölümleri sayısı ile …

11 data-structures  combinatorics  space-complexity  sets  partitions 

Derinlikte birinci ağaçta, ağacı tanımlayan kenarlar vardır (yani çaprazlamada kullanılan kenarlar). Diğer düğümlerin bazılarını birbirine bağlayan artık kenarlar vardır. Çapraz kenar ile ileri kenar arasındaki fark nedir? Vikipedi'den: Bu yayılan ağaca dayanarak, orijinal grafiğin kenarları üç sınıfa ayrılabilir: ağacın bir düğümünden soyundan birine işaret eden ileri kenarlar, bir düğümden atalarından …

11 algorithms  terminology  graphs  graph-traversal 

Normal diller için pompalama lemması, belirli dillerin düzenli olmadığını kanıtlamak için kullanılabilir ve bağlamsız diller için (Ogden'in lemmasıyla birlikte) pompalama lemması, belirli dillerin bağlamdan bağımsız olmadığını kanıtlamak için kullanılabilir. Belirleyici bağlamdan bağımsız diller için pompalama bir lemma var mı ? Yani, bir dilin DCFL olmadığını göstermek için kullanılabilen pompalama lemmasına …

11 context-free  proof-techniques  pumping-lemma 

OCaml gibi fonksiyonel bir dilde tür çıkarım maliyetinin çok yüksek olabileceği dikkatimi çekti. İddia, her bir ifade için, karşılık gelen tipin uzunluğunun, ekspresyonun uzunluğu üzerinde üstel olacağı şekilde bir dizi ifade olmasıdır. Aşağıdaki diziyi tasarladım. Sorum şu: aynı türlere ulaşan daha özlü ifadelere sahip bir sıra biliyor musunuz? # fun …

11 lambda-calculus  type-theory  functional-programming  type-inference  type-checking 

Gönderen Vikipedi : Hesaplama probleminin türü: En sık kullanılan problemler karar problemleridir . Ancak, karmaşıklık sınıfları fonksiyon problemleri, sayım problemleri, optimizasyon problemleri, söz problemleri vb. Ayrıca NP-complete, NP-hard, NP, ..., tanımlarının sadece karar problemleri için tanımlandığını gördüm. Acaba neden böyle? Başka herhangi bir sorunun aynı şekilde bir karar sorununa dönüştürülebilmesi …

11 complexity-theory  terminology