Bilgisayar Bilimi

Bilgisayar bilimi öğrencileri, araştırmacıları ve uygulayıcıları için soru-cevap

1
Hesaplanabilirlik teorisinde açık problemleri açıklamak kolay
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 …

1
İkili ağaçlarda minimum bant genişliğinin yaklaşımı
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 …

3
Landau terimlerinin toplamı ile ilgili sorun nedir?
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 …

2
Bilgisayar biliminde 'Anahtar' nedir?
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 …

1
Bir labirentten çıkmayı garanti eden adımlar
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 …

1
SICP'den bir çizgi “Ünlü mantıkçılar utanç verici hatalar yaptılar”. Bu ne anlama geliyor?
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 


2
Önce başka bir algoritma bularak bir işlevi hesaplayan bir algoritma kavramı var mı?
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 …

1
Bir grafiğin türevi bitişiklik listeleriyle ilişkili mi?
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 …

2
Maksimum Akışta Kalan Grafik
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?

2
algoritma zaman analizi “girdi boyutu” ve “girdi elemanları”
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 …

3
Kleene yıldız operatörü neden Kleene 'kapatma' operatörü olarak da adlandırılır?
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 …

2
“Bağımlı bir ürün türü” alabilir miyim?
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 …

1
Hesaplamalı karmaşıklık ve Chomsky hiyerarşisi
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 …

2
ILP'den SAT'a çoklu zaman azaltımı?
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 …

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.