Bilgisayar Bilimi

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

5
Turing'in eksiksiz olmasının anlamı nedir?
Turing-tamamlamanın ne olduğunun çoğu tanımının bir dereceye kadar totolojik olduğunu görüyorum. Örneğin, Google’ın "Turing tam olmak ne anlama geliyor" anlamına gelirse, şunları elde edersiniz: Bir Turing makinesinin yapabileceği herhangi bir sorunu çözebiliyorsa, bilgisayar Turing'i tamamlar ... Farklı sistemlerin Turing'in eksiksiz olup olmadığı çok iyi tanımlanmış olsa da, Turing'in eksiksiz olmasının …


4
NP problemleri var mı, P de değil, NP Complete değil mi?
NPNP\mathsf{NP} ( PP\mathsf{P} değil) Complete değil, bilinen herhangi bir sorun var mı? Benim anladığım şu ki, durumun olduğu yerde şu anda bilinen bir sorun yok, ancak bir olasılık olarak göz ardı edilmedi. NPNP\mathsf{NP} Bir sorun varsa NPNP\mathsf{NP} (ve PP\mathsf{P} ), ancak NP-completeNP-complete\mathsf{NP\text{-}complete} , bu durum sorun örnekleri arasında mevcut bir …

2
“Bilişim bilimini gerçekten öğretmenin zulmü üzerine”
Dijkstra, makalesinde , bilgisayar bilimlerini öğretmenin zulmü üzerine , bir giriş programlama kursu için aşağıdaki öneride bulundu: Bir yandan, belirleyici hesabın neye benzediğini öğretiyoruz, ancak bunu filozoflardan çok farklı yapıyoruz. Acemi programcıyı yorumlanmamış formüllerin manipülasyonunda eğitmek için, öğrenciye mantıksal bağlaçların tüm cebirsel özelliklerini tanıyarak, boolean cebiri olarak öğretiyoruz. Sezgiye olan …

4
Set ve type arasındaki anlamsal fark tam olarak nedir?
EDIT: Şimdi kategoriler ve kümeler arasındaki fark hakkında benzer bir soru sordum . Her ne zaman tip teorisini okuduğumda (şüphesiz gayri resmidir), küme teorisinden somut olarak nasıl farklılaştığını gerçekten anlayamıyorum . "X bir X kümesine aittir" ile "x X türünde" demek arasında kavramsal bir fark olduğunu anlıyorum, çünkü sezgisel olarak, …
33 type-theory  sets 


2
Dana Angluin'in normal kümeleri öğrenmek için algoritması üzerinde iyileştirmeler var mı
1987 tarihli final makalesinde Dana Angluin, bir DFA'yı üyelik sorgularından ve teori sorgularından (önerilen bir DFA'ya karşı örneklere) öğrenmek için polinom zaman algoritması sunar. Eğer durumlu en az bir DFA öğrenmeye çalışıyorsanız ve en büyük sayım numaranızın uzunluğu , üyelik sorgusu ve en fazla teori sorgusu yapmanız gerektiğini gösterir .nnnmmmO(mn2)O(mn2)O(mn^2)n−1n−1n …

2
Saf karışma ne kadar asimptotik olarak kötü?
Her öğeyi rastgele seçilen bir tane ile değiştirerek bir diziyi karıştırmak için kullanılan bu 'naif' algoritmanın doğru çalışmadığı bilinmektedir: for (i=0..n-1) swap(A[i], A[random(n)]); Her başlangıcı Spesifik olarak, n,nn yineleme, bir n-nn seçenek (düzgün bir olasılık ile) yapılır, orada , n , nnnn^n bir hesaplama ile mümkün 'yolları'; çünkü olası permütasyon …

1
Depoları minimum hareketle doldurmak NP-zor mu?
Vardır kutuları ve topları türü. inci bin Etiketlerin sahip için , o tipi topları beklenen numarası .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj J tipi bjbjb_j topları ile başlar . Tipi Her top j ağırlığı vardır w_j ve bidonları içine öyle ki bin topları koymak istiyorum ben kilo vardır c_i . Önceki durumun tutabileceği …


4
Dinamik programlama nedir?
Bu soru aptalca geliyorsa şimdiden özür dilerim ... Bildiğim kadarıyla dinamik programlama kullanarak bir algoritma oluşturmak şu şekilde çalışır: sorunu tekrarlama ilişkisi olarak ifade eder; Yinelenme ilişkisini notlandırma yoluyla veya aşağıdan yukarıya bir yaklaşımla gerçekleştirin. Bildiğim kadarıyla dinamik programlama ile ilgili her şeyi söyledim. Demek istediğim: Dinamik programlama tekrarlama ilişkilerini …

4
O ve worst en kötü ve en iyi durumla nasıl ilişkilidir?
Bugün, derste ikili arama kullanarak sıralanmış bir dizide bir eleman bulmak için çok basit bir algoritma tartıştık . Bir nnn element dizisi için asimptotik karmaşıklığını belirlememiz istendi . Benim fikrim, daha açık bir şekilde O ( logn )O(log⁡n)O(\log n) , veya olmasıydı, O ( log2n )O(log2⁡n)O(\log_2 n)çünkü günlük2nlog2⁡n\log_2 n , …

3
Donanım / uygulama algoritmaların zaman / mekan karmaşıklığını etkiler mi?
Ben bir CS öğrencisi bile değilim, bu yüzden aptalca bir soru olabilir, ama lütfen yanımda ol ... Bilgisayar öncesi çağda, yalnızca bir dizi çekmeceye benzer bir şeyle bir dizi veri yapısını uygulayabiliriz. Biri değeri çıkarmadan önce çekmeceyi karşılık gelen indeks ile konumlandırması gerektiğinden, dizi aramasının zaman karmaşıklığı , ikili arama …

2
Düzlemsel normal diller
Sınıfımda bir öğrenci, sonlu tüm otomataların kenarları geçmeden çizilip çizilemeyeceğini sordu (tüm örneklerin yaptığı gibi görünüyor). Elbette cevap olumsuz, dil için bariz otomatizasyon {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\}K5K5K_5 Sorum şu: Bu dil için her sonlu durum otomatının düzlemsel olmadığını nasıl gösterebiliriz ? Myhill-Nerode benzeri karakterizasyonlarla, dilin …

5
Turing tamamlandı mı?
Iota ve Jot hakkında okuyordum ve bu bölümü kafa karıştırıcı buldum: Bir dizgenin sözdizimsel ağacının sola veya sağa dallayabildiği İota'nın aksine, Jot sözdizimi eşit biçimde sol dallanmadır. Sonuç olarak, Iota kesinlikle bağlam içermez, ancak Jot normal bir dildir. Anladığım kadarıyla hem Iota hem de Jot Turing'in eksiksiz olduğu. Fakat görünüşe …

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.