Bilgisayar Bilimi

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

7
Randomize ve karakteristik olmayan algoritmalar arasındaki farklar ve ilişkiler?
Randomize algoritmalar ve klasik olmayan algoritmalar arasındaki farklar ve ilişkiler nelerdir? Vikipedi'den Bir randomize algoritma onun mantığı bir parçası olarak rastgelelik derecesi kullanan bir algoritmadır. Algoritma, tipik olarak, rastgele bitlerin tüm olası seçimlerinde "ortalama durumda" iyi performans elde etmek umuduyla, davranışını yönlendirmek için yardımcı girdi olarak düzgün rastgele bitler kullanır. …
7
Durma sorununun köşegenleştirmeden daha kararsız olduğuna dair daha sezgisel bir kanıt var mı?
Durma sorununun kararsızlığının kanıtını (örneğin Papadimitriou'nun ders kitabında köşegenleştirmeye dayanarak) anladım. Kanıt inandırıcı olsa da (her adımını anlıyorum), tek başına sorundan başlayarak birinin nasıl türeteceğini görmeme anlamında benim için sezgisel değil. Kitabın kanıtı şöyle devam eder: " girişindeki durma problemini çözdüğünü varsayalım , yani Turing makinesi girişi için durup karar …
4
Belirli bir boyuttaki tüm izomorfik olmayan grafikleri numaralandır
boyutundaki tüm yönlendirilmemiş grafikleri numaralandırmak istiyorum nnn, ancak her izomorfizm sınıfının yalnızca bir örneğine ihtiyacım var . Başka bir deyişle, izomorfik olmayan (yönlendirilmemiş) tüm grafikleri nnn köşelerinde sıralamak istiyorum. Bunu nasıl yapabilirim? Daha kesin bir ifadeyle, bir yönsüz grafikler bir dizi üretecektir bir algoritma isteyen , aşağıdaki özelliği ile: Her …
2
Lambda Calculus tamamen sözdizimsel midir?
Birkaç haftadan beri Lambda Calculus hakkında okudum, ancak henüz mevcut matematiksel işlevlerden maddi olarak farklı olan bir şey görmedim ve bunun sadece bir gösterim meselesi olup olmadığını veya herhangi bir yeni olup olmadığını bilmek istiyorum. Her matematiksel fonksiyon için geçerli olmayan lamda matematiği aksiyomları tarafından yaratılan özellikler veya kurallar. Örneğin, …
2
Kilise-Turing Tezi ve sinir ağlarının hesaplama gücü
Kilise-Turing tezi, fiziksel olarak hesaplanabilecek her şeyin bir Turing Makinesi üzerinde hesaplanabileceğini belirtir. "Sinir ağları üzerinden analog hesaplama" (Siegelmannn ve Sontag, Teorik Bilgisayar Bilimi). , 131: 331-360, 1994; PDF ), belirli bir formdaki bir sinir ağının (ayarlar kağıtta sunulmuştur) daha güçlü olduğunu iddia ediyor. Yazarlar, üstel bir zamanda, modellerinin Turing …
4
Turing, “makinelerin sürprizlere yol açamayacağını” söylerken yanlış anlama yüzünden ne demek istedi?
Alan M. Turing'in buradaki ifadesiyle karşılaştım : “Makinelerin sürprizlere yol açamayacağı görüşü, filozofların ve matematikçilerin özellikle konuştuğu bir yanılgıdan kaynaklandığına inanıyorum. Bu gerçeğin bir sonucu ortaya çıkar çıkmaz, bu gerçeğin tüm sonuçlarının ortaya çıktığı varsayımıdır. onunla eşzamanlı olarak zihin. Birçok koşulda çok faydalı bir varsayımdır, ancak biri yanlış olduğunu unutur. …
2
Arama algoritmalarımı karşı test etmek için grafikleri nereden alabilirim?
Dijkstra'nın, Derinlik İlk, vb gibi bir dizi yol bulma algoritmaları uyguluyorum İlk başta kendimce yapılmış birkaç grafik kullandım, ama şimdi biraz daha ileri gitmek istiyorum ve bu yüzden her ikisini de istiyorum. benchmarklarda kullanılan grafikler; gerçek dünyadaki şehirlerin grafikleri (ya da bu tür bilgileri google maps, ya da mümkünse herhangi …
2
Yapay sinir ağları neden topolojilerine uygulanan kısıtlamalarla daha iyi performans gösteriyor?
Tamamen bağlı (en az 2 gizli katmandan oluşan katmana katman) backprop ağları evrensel öğrenicilerdir. Ne yazık ki, genellikle öğrenmeleri yavaş ve aşırı uyuyor ya da garip genellemeler yapıyorlar. Bu ağlarla uğraşmaktan, bazı kenarların budanmasının (ağırlıklarının sıfır olması ve değişmesi imkansız) bu ağların daha hızlı öğrenmesini ve daha iyi bir şekilde …
1
Yönlendirilmiş bir grafikteki iki düğüm arasındaki basit yolların sayısını saymak ne kadar zor?
Yönlendirilmiş grafikteki iki düğüm arasında bir yol olup olmadığına karar vermek için kolay bir polinom algoritması vardır (derinlik-ilk-arama ile sadece rutin bir grafik yapın). Bununla birlikte, şaşırtıcı bir şekilde, sorunların varlığını test etmek yerine , yol sayısını saymak istiyorsak daha da zorlaştığı görülmektedir . Biz yeniden vertices yolları izin sonra …
5
Boole araması açıklandı
Annem bir tür kütüphaneci olmak için çevrimiçi bir kurs alıyor, bu kursta boolean aramaları kapsıyorlar, böylece veritabanlarını verimli bir şekilde arayabiliyorlar, ancak bunun gibi bir şey soran bir soru var: "X OR y" araması 105 000 sonuçla sonuçlanırken, yalnızca x araması 80 000 sonuçla sonuçlanır ve yalnızca y araması 35 …
29 sets  counting 
3
Relativizasyon neden bir engeldir?
Baker-Gill-Solovay'ı açıklayabildiğimde, sahip olabileceğimiz bir kehanetin, ve var olabileceğimiz bir kahin olduğunun bir arkadaşıma, bu tür tekniklerin neden problemini ispatlamak için uygun olmadığına dair bir soru geldi ve tatmin edici bir cevap veremedim.PNPP=NP\mathsf{P} = \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} Daha somut ifade etmek gerekirse, i ispatlamak için bir yaklaşımım varsa …
2
Neden hesaplanabilir fonksiyonlardan daha hesaplanabilir fonksiyonlar var?
Şu anda algoritmalar ve karmaşıklık ile ilgili bir kitap okuyorum. Şu anda, hesaplanabilir ve hesaplanamayan işlevler hakkında okuyorum ve kitabım, hesaplanabilir olandan daha fazla hesaplanamayan işlev olduğunu söylüyor; Bazı açılardan sezgisel olarak bunu kabul edebilirim ama kitap resmi bir kanıt sunmuyor ve konuyla ilgili çok fazla detaylandırmıyor. Sadece bir kanıt …
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.