Bilgisayar Bilimi

İşte sorun. Verilen , nerede her T i ⊆ { 1 , ... , n } . Bir alt kümesi var mı S ⊆ { 1 , ... , n } en fazla boyutu ile k öyle ki herkes için ? Bu sorunu SAT'a azaltmaya çalışıyorum. Bir çözüm 1'den her …

21 complexity-theory  reductions  np-hard 

18 yaşındakilere bilgisayar öğretiyorum. Onlara ters cila gösterimi açıklandıktan sonra, kamu sınavında olmanın neden önemli olduğu sorulmuştur. 70'li yılların hesap makinelerinin tarihsel önemini açıkladım, ancak bu gerçekten sorunu çözemedi. RPN'in eşzamanlı pratik veya teorik uygulamaları da var.

21 terminology  education 

Bir kişinin rastgele bir IDN ana bilgisayar adının ( RFC5890 tarafından tanımlandığı gibi ) etki alanını nasıl çok sıkı bir şekilde sıkıştırabileceğini ve bunun ilginç bir meydan okuma olabileceğinden şüpheleniyorum. Bir Unicode ana bilgisayar veya etki alanı adı (U-etiketi), genellikle üst düzey etki alanına (ör. Altındaki Yunanca harfler ) bağlı …

21 algorithms  strings  natural-language-processing  data-compression 

Aşağıdaki işlemleri destekleyen bir küme (sonlu zemin kümesinin) koleksiyonunu tutan herhangi bir veri yapısı var mı? Herhangi bir alt doğrusal çalışma süresi takdir edilecektir? Boş bir kümeyi başlatın. Kümeye bir öğe ekleyin. İki set verildiğinde kesişip kesişmediklerini bildirin.

21 data-structures  sets 

Satır polimorfizminin alt tiplemeden daha iyi bir yaklaşım olduğunu sık sık duyuyorum, ancak bunları ayrıntılı olarak karşılaştıran bir şey bulmakta zorlanıyorum. Özellikle sistemin bir kullanıcısıyla ilgileniyorum. Bu blog yazısına rastladım , ama bana eskisinden daha fazla soru bırakıyor. Örneğin, alt türüne sahip bir sistemin bir tür atayacağını iddia ederken, satır …

20 typing 

Genetik algoritmaların çoğunda odak noktası çaprazlama ve mutasyon üzerinedir. Fakat bir şekilde, çoğu genlerin diploid (baskın / resesif) doğasını dışarıda bırakır. Anladığım kadarıyla (sınırlı) anlayışım genlerin baskın / çekinik doğası bir organizmanın gerçek özelliklerine karar vermede çok önemli bir faktördür. Öyleyse sorum şu: Genlerin diploid doğası neden çoğu uygulamada genetik …

20 machine-learning  genetic-algorithms 

Sık sık bir hesaplama problemi (veya karmaşıklığı) için bir algoritma istemek isteyen insanlarla etkileşime girerim, ancak bunu (bilgisayar bilimcileri) anlaması için titiz bir şekilde ifade etmezler. Onları CLRS gibi kitaplara yönlendirmek yararlı değildir, çünkü oradaki örneklerin titizlikle ifade etmenin oldukça basit bir yolu vardır, örneğin bir grafiğin bitişik listesi ve …

20 algorithms  reference-request  books 

Sadece ilgi dışında Project Euler ( Digit Sum dizisi ) "Recent" kategorisinden bir sorunu çözmeye çalıştım . Ancak sorunu etkili bir şekilde çözmenin bir yolunu düşünemiyorum. Sorun aşağıdaki gibidir (orijinal soru dizisinde başlangıçta iki sorun vardır, ancak diziyi değiştirmez): Burada Rakam Miktar sekansı .... 1,2,4,8,16,23,28,38,49 olan nthnthn^{th} dizisinin terimi toplamı …

20 time-complexity  number-theory 

Anahtarların belirli bir sınırlı aralıkta olduğunu bildiğinizde radix sıralaması teorik olarak çok hızlıdır, örneğin aralığındaki değerlerini söyleyin . Eğer sadece tabanına değerleri dönüştürmek hangi sürer zaman, bir temel yapmak sıralama ve daha sonra genel için orijinal üsse geri dönüştürmek radix algoritması.nnn[ 0 … nk- 1 ][0...nk-1][0\dots n^k -1]k &lt; lgnk&lt;lg⁡nk<\lg …

20 algorithms  sorting  applied-theory  radix-sort 

Yönlendirilmiş ağırlıklı bir grafikte negatif bir döngü bulmam gerekiyor. Bellman Ford algoritmasının nasıl çalıştığını biliyorum ve bana ulaşılabilir bir negatif döngü olup olmadığını söylüyor. Ancak bunu açıkça adlandırmaz. Döngünün gerçek yolunu nasıl alabilirim ?v 1 , v 2 , … v k , v 1v1,v2,…vk,v1v1, v2, \ldots vk, v1 Standart …

20 algorithms  graphs  shortest-path 

Bir pizza reklamı, malzemelerini 34 milyon farklı kombinasyonda birleştirebileceğinizi iddia ediyor. Buna inanmadım, bu yüzden paslı kombinatorik becerilerimi silip bulmaya çalıştım. Şimdiye kadar sahip olduğum şey: Çevrimiçi sipariş sitesinden seçimler aldım kabuk (4 tip, 1 seçin) boyutu (4 tip, 1 seçin) bazı kabuklar belirli bir boyutla sınırlıdır - bunun için …

20 combinatorics  discrete-mathematics 

Kenarları birbirine dikerek hokkabazlık topları inşa etmek istediğim birkaç deri levha sipariş ettim. Topların şekli için Platonik katılar kullanıyorum. Deri çarşafları tarayabilir ve deri çarşafın şekline yaklaşan bir çokgen oluşturabilirim (bildiğiniz gibi, bu hayvan derisi ve dikdörtgenlere girmez). Şimdi, hokkabazlık topumun boyutunu en üst düzeye çıkarmak istiyorum. Örneğimde, çokgenler normaldir, …

20 optimization  computational-geometry  packing 

Hesaplama Teorisi dersimde, sorunlarımızın birçoğu, sonlu otomata hakkında ifadeleri kanıtlamak için giriş dizesinin uzunluğuna indüksiyon kullanmayı içerir. Matematiksel tümevarımı anlıyorum, ancak dizeler çaldığında gerçek açıldım. Birisi adım adım böyle bir kanıt yapma sürecinden geçerse gerçekten çok memnun olurum. İşte bir örnek problem (Hopcroft ve Ullman 3rd Edition'dan Egzersiz 2.2.10): Aşağıdaki …

20 automata  finite-automata  proof-techniques  reference-question  induction 

Yönlendirilmiş bir grafik ve iki A ve B düğümümüz olduğunu varsayalım . Aşağıdaki karar sorunu hesaplamak için zaten algoritmalar olup olmadığını bilmek istiyorum:G = ( V, E)G=(V,E)G=(V,E)birAABBB ve B arasında aynı uzunlukta en az iki yol var mı?birAABBB Karmaşıklığa ne dersiniz? Polinom zamanında çözebilir miyim? Grafikte yeni bir kısıtlama eklemek …

20 complexity-theory  graph-theory  time-complexity  graphs 

Son zamanlarda literatürden biraz okudum ve oldukça ilginç veri yapıları buldum. Güncelleme sürelerini en kötü durum güncelleme süresine [1-7] düşürmek için çeşitli farklı yöntemler araştırdım .O ( 1 )O(1)\mathcal{O}(1) Son zamanlarda verimli eşzamanlı erişimi desteklemek için kilitsiz veri yapılarını araştırmaya başladım. veri yapılarının uygulanmasında bu en kötü durum güncelleme zamanı …

20 reference-request  data-structures  time-complexity  concurrency  search-trees