Bilgisayar Bilimi

Açık problemlerin örneklerini vermek için hesaplanabilirlikteki açık ve problemli açık problemleri (hesaplanabilirlikteki ilk derslerini alan lisans öğrencileri tarafından anlaşılabilir) araştırıyordum (ve açıkçası öğrencilerin problemi çok fazla yeni bir şeye ihtiyaç duymadan anlamalarını istiyorum) tanımları ve aynı zamanda onlar için ilginç). Bu listeyi buldum ama içindeki problemler lisans öğrencileri için çok …

14 computability 

Minimum bant genişliği sorunu, iki komşu düğüm arasındaki en büyük mesafeyi en aza indiren tamsayı çizgisi üzerinde grafik düğümlerinin sırasını bulmaktır. Karar problemi ikili ağaçlar için bile NP-eksiksizdir. Bant Genişliğini Azaltma için Karmaşıklık Sonuçları. Garey, Graham, Johnson ve Knuth, SIAM J. Appl. Math., Cilt no. 34, No.3, 1978 . İkili …

14 complexity-theory  np-complete  reference-request  approximation 

yazdım ∑i=1n1i=∑i=1nO(1)=O(n)∑i=1n1i=∑i=1nO(1)=O(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) ama arkadaşım bunun yanlış olduğunu söylüyor. TCS hile tabaka itibaren toplam olarak da adlandırılır biliyoruz logaritmik büyüme sahip olan n . Yani sınırım çok keskin değil, ama ihtiyacım olan analiz için yeterli.HnHnH_nnnn Neyi yanlış yaptım? Düzenleme : Arkadaşım aynı akıl …

14 asymptotics  landau-notation 

Bilgisayar anahtarında 'anahtarın' anlamının tam olarak ne olduğu konusunda biraz kafam karıştı. Anahtar / değer çiftlerini, birincil anahtarları vb. Anlıyorum ... Ama 'anahtar' teriminin kendi başına ne anlama geldiğini anlayamıyorum. Anlayabildiğim kadarıyla sadece bir veri parçası anlamına geliyor. CLRS'de, ağaç düğümleriyle ilişkili verilere 'anahtar' denir. Karma tabloyu aramak için kullanılan …

14 terminology 

4 komut "yukarı / aşağı / sağa / sola hareket" verebileceğiniz 2 boyutlu bir labirent verildi. Labirenti bilmek ama kişinin nerede olmadığı, labirentten çıkmayı garanti eden minimum komut sırasını nasıl bulabilirim? Labirentten nereden başlasanız da çalışacak tek bir komut dizisi arıyorum. Ortağımızın sağında bir duvar varken "sağa hareket et" komutu …

14 algorithms  graphs  graph-traversal 

Bağlam ( "Yerel adlar" başlığı altındaki Bilgisayar Programlarının Yapısı ve Yorumlanması , bölüm 1.1.8): Bir prosedürün resmi bir parametresinin, prosedür tanımında çok özel bir rolü vardır, çünkü resmi parametrenin hangi isme sahip olduğu önemli değildir. Böyle bir isme bağlı değişken denir ve prosedür tanımının resmi parametrelerini bağladığını söyleriz . Bağlı …

14 logic 

Mevcut otomatik teorem provatörlerini kullanarak aşağıdaki ifadeleri kanıtlayabilir miyim? .( a + b )2= a2+ b2+ 2 a b(a+b)2=a2+b2+2ab(a+b)^2=a^2+b^2+2ab Eğer , ardından 11 | 7 a - 5 b .11 ∣ 2 a - 3 b11∣2a−3b 11 \mid 2a-3b11 ∣ 7 a - 5 b11∣7a−5b 11 \mid 7a-5b Eğer , …

14 automated-theorem-proving 

Doğru anlamak için, gerçek bir fonksiyonu değerini hesaplar bir algoritma hesaplama karmaşıklığı sahiptir , aşağıdaki dayanırsa: Biz işlem zaman hassas mertebesindedir gerektirir adımları .fffO(g(n))O(g(n))O(g(n))fffδδ\deltag(n)g(n)g(n) Biz ilk "hesaplama için daha etkili bir algoritma bulduğu bir algoritma varsa Ancak, ne " ve sonra hesaplar ?ffffff Başka bir deyişle, aşağıdakileri yapan bir algoritmasına …

14 complexity-theory 

Conor McBride'ın bazı çalışmaları Diff , Dissect , veri türlerinin türevini "tek delikli bağlamlar" ile ilişkilendirir. Yani, türün türevini alırsanız, veri türünün herhangi bir noktada içeriden nasıl göründüğünü gösteren bir veri türüyle kalırsınız. Örneğin, bir listeniz varsa (Haskell'de) data List a = [] | a : List a bu karşılık …

14 graph-theory  type-theory 

Burada Maksimum Akış Sorunu'nu okuyorum . Artık Grafiğin arkasındaki sezgiyi anlayamadım. Akışı hesaplarken neden arka kenarları düşünüyoruz? Artık Grafik Grafik kavramını anlamama yardımcı olabilir mi? Yönlendirilmemiş Grafiklerde Algoritma nasıl değişir?

14 algorithms  graphs  graph-theory  network-flow 

Hala bir algoritma için asemptomatik üst sınırı analiz etmek ve tanımlamak için kullanıldığında "giriş uzunluğu" ve "giriş boyutu" terimleri ile biraz karışık Algoritma için giriş uzunluğunun, çok fazla veri türüne ve bahsettiğiniz algoritmaya bağlı olduğu anlaşılıyor. Bazı yazarlar, girdi uzunluğunu girdiyi temsil etmek için gereken karakter boyutuna atıfta bulunurlar, bu …

14 complexity-theory  terminology  algorithm-analysis  time-complexity  runtime-analysis 

Bir cs / programlama teriminin arkasındaki etimolojiyi anlamıyorsam, bunun genellikle temeldeki bazı önemli kavramları kaçırdığım veya yanlış anladığım anlamına gelir. Kleene yıldızına neden Kleene kapatma adı verildiğini anlamıyorum. Yerel olmayan değişkenlere bağlı bir fonksiyon olan programlamadaki kapanışlarla mı ilgili? ... yansıma üzerine, belki de açık uçlu bir kümenin kapalı ifade …

14 automata  regular-expressions 

HoTT kitabını okuyorum ve birinci bölümde yer alan şeyler hakkında (muhtemelen çok naif) bir sorum var. Bu bölüm işlev türünü tanıtır ve daha sonra bağımlı hale getirerek genelleştirir. buna bağımlı işlev türü denir .f:A→Bf:A→B f:A\to B BBBx:Ax:Ax:A B:A→U,g:∏x:AB(x)B:A→U,g:∏x:AB(x)B:A\to\mathcal{U},\qquad g:\prod_{x:A}B(x) Devam ederseniz, bölüm daha sonra ürün türünü tanıtır ve daha sonra …

14 type-theory  dependent-types  homotopy-type-theory 

Genel olarak hesaplama karmaşıklığı ve Chomsky hiyerarşisi arasındaki ilişkiyi merak ediyorum. Özellikle, bir sorunun NP-tamamlanmış olduğunu biliyorsam , bu sorunun dili bağlamdan bağımsız mıdır? Örneğin, kırpma sorunu NP-tamamlandı. Klipsli modellere karşılık gelen dilin Chomsky hiyerarşisinde minimum düzeyde karmaşıklık taşıdığı (modelleri dizeler olarak kodlamanın tüm / bazı yolları için) takip ediyor …

14 complexity-theory  formal-languages 

Dolayısıyla, bilindiği gibi, ILP'nin 0-1 karar problemi NP-tamamlanmıştır. NP'de olduğunu göstermek kolaydır ve orijinal indirgeme SAT'dan yapılmıştır; o zamandan beri, diğer birçok NP-Complete probleminin ILP formülasyonlarına (bu problemlerden ILP'ye indirgeme işlevi gören) sahip olduğu gösterilmiştir, çünkü ILP çok faydalıdır. ILP'den gelen indirimleri kendim yapmak ya da takip etmek çok daha …

14 np-complete  reductions  satisfiability  integer-programming