Bilgisayar Bilimi

P = NP problemine yönelik bir çözümün ispat karmaşıklığı konusunda herhangi bir araştırma yapıldı mı? Değilse, sorundaki ilerleme eksikliği göz önüne alındığında, P = NP problemini çözen herhangi bir kanıtın çok polinomlu adımlar gerektireceğini düşünmek mantıklı olmaz mı?

15 complexity-theory  np 

Bir tartışmadaki biri, belirli bir soruna yaklaşmak için en azından sürekli stratejilerin olabileceğini düşünüyor. Özel sorun ticaret stratejileri (algoritmalar değil stratejiler) idi ama sorumun yanı sıra şu düşünüyorum. Bu bana algoritma kümesinin temelliğini düşündürdü. Biraz araştırıyorum ama hiçbir şey bulamadım. Turing makinelerinin sınırlı bir alfabe seti ile çalıştığı ve kasetin …

15 algorithms  turing-machines  combinatorics 

Bir ızgaramız var. Bu ızgara üzerindeki dikdörtgenlerle koleksiyonu, her dikdörtgen olarak temsil edilebilir olması , N 1 -by- K 2 ikili matris R . Izgarayı bu dikdörtgenlerle örtmek istiyoruz.N1×N2N1×N2N_1 \times N_2N1N1N_1N2N2N_2RRR Bu setin karar versiyonu NP-komple problemini kapsıyor mu? Girdi: Toplama ızgara üzerinde dikdörtgenler (giriş boyutu: N 1 , N …

15 complexity-theory  np-complete  set-cover 

Bu yayını iyileştirmek ister misiniz? Alıntılar ve cevabınızın neden doğru olduğuna dair bir açıklama da dahil olmak üzere bu soruya ayrıntılı yanıtlar verin. Yeterli ayrıntı içermeyen yanıtlar düzenlenebilir veya silinebilir. Genellikle belirli görevler için uzmanlaşmış programlama dilleri vardır. Bazı programlama dilleri dizi aritmetiğinde mükemmeldir (matrisler ve çok boyutlu dizilerin kullanımı …

15 programming-languages 

Stack Overflow'da, belirli bir düğümü içeren bir grafikteki tüm basit döngüleri listelemenin NP- sert olup olmadığını soran bir soru okuyordum ve bana uygun olan herhangi bir karmaşıklık sınıfını düşünemedim. formdaki sorunlar hakkında konuşmak "bu soruna tüm çözümleri listele." NP sınıfı bir anlamda en az bir çözümün olup olmadığını soran problemlerden …

15 complexity-theory  reference-request  complexity-classes  enumeration 

En azından Java'da, bu kodu yazarsam: float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; değeri olacaktır f bir L s e . Bunun şamandıraların sayıları doğru bir şekilde …

15 arithmetic  floating-point  numerical-algorithms 

Matematik eğitimi almak için büyük bir tutkuya sahip üniversite düzeyinde bir Bilgisayar Bilimleri öğrencisiyim. Bilgisayar Bilimi veya Teorik Bilgisayar Bilimi'nin Matematik ve Mantık'ın doğrudan bir dalı olduğuna ve ayrıca Bilgisayar Bilimi derecesinin her zaman Matematik odaklı olması gerektiği görüşüne inancım tamdır. Yanlışım varsa lütfen düzelt. Ben açıkçası her olarak samimi …

15 mathematical-foundations 

İki karşılaştırılabilir öğe listesi olduğunu varsayın: u ve s. INV (u) u içindeki ters çevirme sayısı olsun. Ben INV (u) minimal bir artış ile u öğeleri s eklemek için verimli bir algoritma arıyorum. Temelde ilk listenin sırasını korurken "olabildiğince sıralanmış" tutarken bir listeye nesneleri eklemek istiyorum. Misal: u = [4,6,2,9,7] …

15 algorithms  sorting 

Philip Wadler'in Ücretsiz Teoremler makalesinde , Parametriklik Bölüm 2'de Polimorfik lambda hesabının naif set-teorik modeli yoktur Saf küme-teorik model türlerinde kümeler ve fonksiyonlar makul görünen küme-teorik işlevlerdir. Öyleyse neden polimorfik lambda hesabının naif set-teorik modeli olmadığını söylüyor?

15 functional-programming 

Dijkstra'ya çok aşinayım ve algoritma hakkında özel bir sorum var. Eğer büyük bir grafik, örneğin 3,5 milyar düğüm (tüm OpenStreetMap verileri) varsa, o zaman açıkça grafik bellekte olamazdı, bu yüzden grafik bir veritabanındaki diskte depolanır. Bu tür grafiklerde en kısa yolları hesaplamak için kullanılabilir kütüphaneler vardır. Bunu nasıl yapıyorlar? Daha …

15 algorithms  graph-theory  graphs  shortest-path 

Let . Bir dil Her dize için eğer "Anti-palindrom" özelliği olduğu söyleniyor yani bir palindrom olup . Ayrıca her dize için olan değil bir palindrom ya yaΣ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \}L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* wwww∉Lw∉Lw\notin Luuuu∈Lu∈Lu\in LReverse(u)∈LReverse(u)∈L\mathrm{Reverse}(u) \in L , ancak ikisini (!) (Özel veya). Anti-palindrome özelliğini anlıyorum, ancak bu …

15 formal-languages 

kitabımda: ∅ ∗ = { ϵ } burada ∅ boş bir dildir.∅*= { ϵ }∅*={ε}\emptyset^*=\{\epsilon\}∅∅\emptyset Ancak, bunu biliyoruz , nerede L herhangi dildir.L ⋅ ∅ = ∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Bu kavramı sezgisel olarak kavrayamıyorum çünkü Kleene yıldız operasyonu .∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup \emptyset^1 \cup \emptyset^2 \cup \cdots Peki neden için …

15 formal-languages  kleene-star 

Durum makinesinden tek geçiş kullanarak bir belgeyi ayrıştırmak mümkündür. İki geçişe sahip olmanın yararı nedir, yani. metni jetonlara dönüştürmek için bir lexer ve bu jetonlardaki üretim kurallarını test etmek için bir ayrıştırıcıya sahip olmak? Neden üretim kurallarını doğrudan metne uygulayan tek bir geçişiniz olmasın?

15 compilers  parsers 

Geçen sonbaharda Illinois Üniversitesi'nde Blue Waters süper bilgisayar turuna çıktım. Kimsenin tüm bilgisayarı kullanıp kullanmadığını sordum. Bana her zaman birden fazla proje üzerinde çalıştığı söylendi. Bu beni süper bilgisayarların faydası hakkında meraklandırdı. Belki de Blue Waters, endüstri ve üniversite tarafından paylaşılması gerektiği için sıra dışı - bilmiyorum. Tek bir süper …

15 computer-architecture 

Neyi ortalama?logO(1)nlogO(1)⁡n\log^{O(1)}n Büyük-O notasyonunun farkındayım, ama bu notasyon benim için bir anlam ifade etmiyor. Ben de bu konuda bir şey bulamıyorum, çünkü bir arama motoru bunu doğru yorumlamak hiçbir yolu yoktur. Biraz bağlam için, bulduğum cümle "[...] alanı kullanıyorsa ve çoğu zaman fonksiyonunu [verimli] olarak adlandırıyor madde başına."log O ( …

15 asymptotics  landau-notation