Bilgisayar Bilimi

Dijkstra'nın algoritması, Google haritaları veya arabanızdaki satnav gibi modern rota bulma sistemlerinde mi kullanılıyor? Değilse, nedir?

10 algorithms  graphs  shortest-path  applied-theory 

OO ve Fonksiyonel programlamadaki farklılıkları özetleyen bir makaleyi okurken , fonksiyon göstergelerine rastladım. Bilgisayar Bilimi diplomamı (2003) tamamladığımdan bu yana bir süre geçti ve hafızamı yenilemek için işaretçiler aradım. İşaretçiler bir bellek adresine başvuru içeren değişkenlerdir. Bu tür bir veri varsa, o bellek adresinde bulunan verileri işaret ettikleri düşünülebilir. Veya …

10 terminology  programming-languages 

İkili dizinlenmiş ağaçların (fenwick ağaçları) hem aralık sorgularını hem de aralık güncellemelerini işlemek için nasıl değiştirilebileceğini anlamaya çalışıyorum. Aşağıdaki kaynakları buldum: http://kartikkukreja.wordpress.com/2013/12/02/range-updates-with-bit-fenwick-tree/ http://programmingcontests.quora.com/Tutorial-Range-Updates-in-Fenwick-Tree http :? //apps.topcoder.com/forums/ modülü = Konu & threadID = 756271 & start = 0 & mc = 4 # 1579597 Ama hepsini okuduktan sonra bile, ikinci ikili …

10 data-structures  binary-trees  search-trees 

Ben bir şeyi asla koşulu altında hızlı sıralama kötü durum çalışma zamanını okuyorum çok tanımlarını değişen için dengesiz bölüm çok . Bunu yapmak için kendime çalışma zamanı ne olduğu sorusunu sormak quicksort her zaman bazı fraksiyon içinde bölüm olur durumda olurdu öyle ki öğeleri sol ve sağ ( öğe, pivot, …

10 algorithm-analysis  runtime-analysis  recurrence-relation 

Soru hemen hemen başlıkta. Bazı dilinin durumları olan minimal bir DFA tarafından kabul edilebildiği bir zaman var mı , ancak nin ters çevrilmesi olan , durumları olan bir DFA tarafından kabul edilebilir , burada ?LLLnnnLRLRL^RLLLmmmm&lt;nm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

Ders kitabım şöyle diyor: "İşlevi tanımlarız f: N → Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} aşağıdaki gibi: f( 1 ) = 2f(1)=2f(1)=2 ve f( i + 1 ) =2f( ben)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}}. Verilen notnnn, kolayca bulabiliriz O (n1.5)O(n1.5)O(n^{1.5}) zaman numarası benii öyle ki nnn arasında sandviç f( i )f(i)f(i) ve f( i + 1 )f(i+1)f(i+1)." Kendimi …

10 complexity-theory  algorithm-analysis  nondeterminism 

Ben bir bilgisayar bilimi öğrencisiyim. Kendi programlama dilimi oluşturmak istiyorum (Birkaç talimat içeren temel bir dil). Sözdizimsel bir çözümleyicinin nasıl yapılacağını biliyorum, zaten Perl'de yaptım. Bir makalede, derleyici hakkında bir şey okudum, kendi içinde bir derleyici yapılır. Örneğin C derleyicisi C dilinde yazılmıştır. Nasıl mümkün olabilir? Kendi dilimi yapabilirim ama …

10 programming-languages  compilers 

Bir digrafiyi (yönlendirilmiş grafik) geri döndürülemez bir şekilde yönlendirilmemiş bir grafiğe dönüştürmek için bir algoritma arıyorum, yani yönlendirilmemiş grafik verilirse digrafinin yeniden yapılandırılabilir olması gerekir. Bunun daha fazla köşeye sahip yönlendirilmemiş grafiğin pahasına olacağını anlıyorum ama aldırmıyorum. Bunun nasıl yapılacağını bilen var mı veya herhangi bir referans önerebilir mi? Şimdiden …

10 algorithms  graph-theory  graphs 

Arka fon Kendi kendime yardım öğreniyorum, Coq. Şimdiye kadar Yves BERTOT en okuyarak tamamlayan Aceleniz Coq . Şimdi, amacım bölme algoritması ile sonuçlanan doğal sayılarla ilgili bazı temel sonuçları kanıtlamak. Ancak, bu hedefe doğru ilerlerken bazı aksiliklerle karşılaştım. Özellikle, aşağıdaki iki sonuç Coq'ta kanıtlamanın başlangıçta hayal ettiğimden daha zor olduğunu …

10 automated-theorem-proving  proof-assistants  mathematical-programming  coq 

Bir diyagram editörü üzerinde çalışıyorum. Diyagramlar konektörlere ( kenarlara ) bağlı 2D şekilleri ( düğümler ) gösterir. Bir düğüm seçimi verildiğinde onları "serbest bırakan" bir işlem eklemek istiyorum : mümkünse geçiş kenarlarının sayısını azaltmak için onları yeniden konumlandırır (ve kenarların bükülme noktaları ile çizilmesi gerekiyorsa sorun değil) . Bu nedenle, …

10 algorithms  graph-theory  graph-algorithms  crossing-number 

Bu değişkenleri değiştiren değişkenlerden ve talimatlardan oluşan bir program ve bir senkronizasyon ilkesi (bir monitör, muteks, java senkronize veya C # kilidi) göz önüne alındığında, böyle bir programın iş parçacığı açısından güvenli olduğunu kanıtlamak mümkün müdür? İplik güvenliği veya yarış koşulları gibi şeyleri tanımlamak için resmi bir model bile var …

10 proof-techniques  correctness-proof  concurrency  threads 

Asimptotik davranış açısından "etkili" algoritma nedir? Çizgiyi o noktada çizmenin standardı / nedeni nedir? Şahsen, naif olarak "alt polinom" diyebileceğim her şeyin,f(n)=o(n2)f(n)=o(n2)f(n) = o(n^2) gibi n1+ϵn1+ϵn^{1+\epsilon} verimli olur ve Ω(n2)Ω(n2)\Omega(n^2)"verimsiz" olur. Ancak, herhangi bir polinom düzenindeki herhangi bir şeyin verimli olarak adlandırıldığını duydum. Sebep nedir?

10 algorithms  terminology  asymptotics  landau-notation 

Çoklu Programlama ve Çoklu Görev arasında açıkça ayrım yapmakta zorlanıyorum. Birincil kaynağım Wikipedia oldu , ancak WP makalesi daha az saygın kaynaklarla (üniversite profesörüm gibi) biraz çelişiyor gibi görünüyor. WP'yi okuduğumda, çoklu programlama , bir işlem G / Ç'yi beklediğinde bağlam değiştirerek CPU verimini artırmanın temel bir yoludur. Çoklu programlama, …

10 terminology  process-scheduling 

Boyer-Moore ile karşılaştırıldığında Knuth-Moriss-Pratt Algoritması hakkındaki bu sayfa , KMP daha iyi performans gösterebilirken Boyer-Moore algoritmasının küçük atlama mesafesinden muzdarip olduğu olası bir durumu açıklamaktadır. Bu durumu açıkça gösterebilecek iyi bir örnek (metin, desen) arıyorum.

10 algorithms  substrings  matching 

Matematik ve CS makalelerinde kullanılan zaman zaman baş döndürücü semboller dizisi vardır. Ancak birçoğu nadiren tek bir yerde öğretilen temel aşinalık olduğunu varsayar. Özellikle CS bakış açısından aşağıdaki gibi bir sözlük arıyorum. Tüm temel matematiksel sembolleri listeler, anlamlarını ve örneklerini verir. Bazen eşdeğer şekillerde kullanılan semboller hakkında konuşurdu. Genel başlangıç …

10 terminology  reference-request  education