Bilgisayar Bilimi

İnşaatlar hesabı ve Lambda Küpü içindeki yerine bakıyorum . Doğru anlıyorsam, küpün her ekseni basit tipli analize tipler içeren başka bir işlem eklemek olarak düşünülebilir, λ→λ→\lambda_\to . İlk eksen, türler arası işleçleri, ikinci türler arası işleçleri ve üçüncü bağımlı yazma veya terimden türe işleçleri ekler. CoC üçüne de sahiptir. Bununla …

11 terminology  lambda-calculus  type-theory  dependent-types 

Etiketlenmemiş grafikler söz konusu olduğunda, grafik izomorfizm problemi, pratikte çok iyi performans gösteren bir dizi algoritma ile ele alınabilir. Yani, en kötü çalışma süresi üstel olsa da, genellikle polinom çalışma süresi vardır. Etiketli grafiklerde durumun benzer olduğunu umuyordum. Ancak, "pratik olarak verimli" bir algoritma öneren herhangi bir referans bulmak için …

11 algorithms  graph-theory  graph-isomorphism 

Ortalama durumda `` polinom '' olan herhangi bir zor problemi olup olmadığını merak ediyorum.Bunu yorumlamanın iki yolu var mı?NPNPNP Eğer , bir çözme bir algoritma olabilir çalışma süresi itfa (ortalama durum) ile -Sert sorun sabit için ?P≠NPP≠NPP \neq NPNPNPNPO(nk)O(nk)O(n^k)kkk Herhangi bir sorun var mı da vardır ki -Sabit , hatta …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Hızlı indeksleme, ekleme, başa ve yineleme (iyi konum) işlemleri için izin dizi (ama değişmez) benzer kalıcı bir veri yapısı arıyorum . Clojure kalıcı Vektör sağlar, ancak sadece hızlı ekleme içindir. Scala'nın Vector'inin sabit zamanlı eklenmesi ve başlaması etkili bir şekilde var, ancak Clojure vektörü ile aynı veri yapısına (bit eşlemli …

11 data-structures  functional-programming  persistent-data-structure 

Bir bikriteri yaklaşım algoritması nedir? Bu, veri akışı kümelemesi durumunda ortaya çıkmaya devam eder. Bu çok amaçlı optimizasyonla mı ilgili? Buraya rastladığım yer: cis.upenn.edu/~sudipto/mypapers/datastream.pdf. Makale k-ortalama algoritmasının akışlı bir versiyonu ile ilgilidir. Makalede referanslar vardır, ancak bunların hiçbiri bir bikriteri yaklaşım algoritmasının ne olduğu hakkında bir açıklama yapmamaktadır. Google'da da …

11 optimization  approximation 

Mantık ve Hesaplama hakkında iyi bir tanıtım kitabı (ancak kapsamlı) hakkında bazı önerilerde bulunabilir misiniz ? Aklımdaki bazı bulanık konular: Presburger artihm., PA, ZF, ZFC, HOL Küme teorisi, Tip teorisi Farklı teorilerde Modelleme (Turing makineleri) Hesaplama karmaşıklığı (FMT, tanımlayıcı karmaşıklık) ile bağlantılar

11 reference-request  logic  books 

Deterministik sonlu otomatayı (DFA'lar) en aza indirmek, literatürde kapsamlı bir şekilde incelenen bir sorundur ve aşağıdaki sorunu çözmek için birkaç algoritma önerilmiştir: Bir DFA , aynı dili kabul eden karşılık gelen bir minimum DFA hesaplayın . Bu algoritmaların çoğu polinom zamanında çalışır.AA\mathscr{A}AA\mathscr{A} Ancak, merak ediyorum bu sorunun karar varyantı - …

11 algorithms  formal-languages  finite-automata 

Turing makinelerinin bir ve iki yönde sonsuz bantlarla temsil edildiğini gördüm. Bu tür turing makinelerinin gücünde herhangi bir fark var mı, yoksa temelde eşdeğer mi? Kafamda, eşdeğer olduklarını düşünüyorum, çünkü iki yönlü sonsuz bandı tek yönlü sonsuz bant olarak göstermenin bir yolu olması gerektiğini düşünüyorum, ancak bir kanıt veya örnek …

11 turing-machines 

Biz bilgisayar ile zaman karmaşıklığında paralel bir dizi maksimum bulmak için bir algoritma ile sınıfta sunuldu .O(1)O(1)O(1)n2n2n^2 Algoritma: N uzunluğunda bir A dizisi verildiğinde: N uzunluğunda bir bayrak dizisi yapın ve bilgisayarlı sıfırlarla başlatın .nnn Her 2 öğeyi karşılaştırın ve bilgisayarla minimum dizine B'de 1 yazın .n2n2n^2 bilgisayarlı A'da 0 …

11 algorithms  search-algorithms  parallel-computing 

Keyfi bir alanın Moore – Penrose psödoinverse matrisini bulmak için kaç aritmetik işlem gerekir ? Matris ters çevrilebilir ve karmaşık değerliyse, bu sadece tersidir. Tersi bulmak O ( nω)Ö(nω)O(n^\omega) zamanını alır, burada ωω\omega matris çarpma sabiti. Algoritmalara Giriş 3. Baskıda Teorem 28.2'dir. matrisi birbirAdoğrusal olarak bağımsız satırlara veya sütunlara sahipse …

11 algorithms  linear-algebra 

Gelen benzin istasyonu sorunu biz verilmiştir şehirler aralarında ve yollar. Her yolun uzunluğu vardır ve her şehir yakıtın fiyatını tanımlar. Bir birim yolun maliyeti bir birim yakıttır. Hedefimiz bir kaynaktan hedefe mümkün olan en ucuz şekilde gitmek. Tankımız bir değerle sınırlıdır.nnn{ 0 , … , n - 1 }{0,...,n-1}\{ 0, …

11 algorithms  graphs  recurrence-relation 

İlk yıl programlama ve algoritma kursuna katılıyorum. Son zamanlarda yapılan bir derste, materyali canlı kodlama kullanarak sunmaya karar verdim , bu da aslında klavyenin arkasında oturduğum ve kod yazıp değerlendirdiğim , süreci kolaylaştırmak için emacs kullandığım anlamına geliyordu . Bu oldukça başarılıydı ve öğrenciler daha fazla (arası) aktif formatı ne …

11 education  didactics 

I bipartit grafikler bir sınıfın özellikleri ilgilenen am tüm düğümler X 3-düzenli, tüm düğümler Y 2-düzenli ve | X | = | 2 Y / 3 | . Birincisi, bu iyi bilinen bir grafik sınıfı mı? İkinci olarak,G ( X∪ Y, E)G(X∪Y,E)G(X \cup Y, E)XXXYYY|X|=|2Y/3||X|=|2Y/3||X|=|2Y/3| Bu iki uçlu grafik sınıfıyla …

11 complexity-theory  graph-theory 

Bir sorunum var ve sanırım NP zor, ama kanıtlayamıyorum. Burada bir katman grafiği vardır; burada katman 0 en hign katman ve L katman en düşük katmandır. katmanlar arasında bazı yönlendirilmiş kenarlar vardır, burada bir kenar (A, B) A düğümünün B düğümünü [kaplayabildiğini ”gösterir. Ve A B'yi kaplayabildiğinde, A'dan B'ye herhangi …

11 graphs  np 

Bu bir çeşit mesafe düzenleme sorusudur ve çok kolaydır. Bu konuda sadece beyin ölüyüm ve şimdiye kadar çözemiyorum. Bir dizi sayı verildiğinde, ör. [3, 1, 1, 1] Minimum sayı "hamle" sayısıyla tüm sayılar nasıl en verimli şekilde aynı sayıya dönüştürülür? "Hareket", bir sayıya bir tane eklemek veya çıkarmak anlamına gelir. …

11 algorithms  optimization