«terminology» etiketlenmiş sorular

Vikipedi'de birleşmenin memnuniyet sorununu çözme süreci olduğunu okudum . Aynı zamanda, bu tür çözücülerin "SAT çözücüler" veya "SMT çözücüler" olarak adlandırıldığını biliyorum. Peki, aynı şey için farklı isimler mi? Farklı olduklarını söylüyorsanız, lütfen tedavimdeki bir kusura dikkat edin.

10 terminology  sat-solvers  unification 

Kabul etmek, TM'nin şu anda okuduğu hücreden bir karakter okuyacağı ve tanıyacağı anlamına mı geliyor? Ve bir TM karar verilebilirse bir TM durur mu?

10 terminology  turing-machines  undecidability 

Aritmetikte asimtotik gösterimi kötüye kullanmanın tehlikelerini, karışık bir başarı ile ölçmeye çalışarak, daha önce Landau terimlerinin toplamları hakkında bir (tohum) sorusu sordum . Şimdi, burada tekrarlama gurumuz JeffE esasen bunu yapıyor: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) Sonuç doğru olsa da, bunun yanlış olduğunu düşünüyorum. Neden? Zımni (sadece üst sınır) …

10 terminology  asymptotics  landau-notation 

İkili bir ağacın ortalama yüksekliği hakkında resmi bir tanım var mı? Aşağıdaki iki yöntemi kullanarak ikili bir ağacın ortalama yüksekliğini bulmak hakkında bir öğretici soru var: Doğal çözüm, kökten bir yaprağa olan tüm olası yolların ortalama uzunluğunu almak olabilir, yani avh1(T)=1# leaves in T⋅∑v leaf of Tdepth(v)avh1⁡(T)=1# leaves in T⋅∑v …

10 graph-theory  terminology  combinatorics  binary-trees 

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 

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 

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 

İki taraflı bir grafik düzlemseldir, veya küçükleri yoksa .K3,3K3,3K_{3, 3}K5K5K_5 Köşeleri olmayan "köşe" çizgileri olmayan düzlemsel çizimlere izin vermek için gerekli veya / ve yeterli koşulları arıyorum. Bunlar tatmin edici çizimler: Bir parçanın tüm köşeleri tek bir dikey çizgide çizilir. Diğer parçanın tepe noktaları paralel bir dikey çizgi üzerinde çizilir. …

9 graph-theory  terminology  graph-drawing 

Birkaç olası açıklama duydum, bu yüzden güvenilir bir referans istiyorum. Güncelleme 05.19: Soru ile ilgileniyorum çünkü öğrencilerimden biri tezinde adının aşağıdaki açıklamadan geldiğini yazdı (1). Şimdiye kadar bunun açıklamadan geldiğini düşündüm / duydum (2). Hem tezinde yanlış olan şeylere izin verdiğim için hem de doğru olursa onu kaldırmasını söylerken kendimi …

9 terminology  reference-request  history 

Herkes bana tam olarak habersiz RAM'in ne olduğunu açıklayabilir mi? Bunu açıklığa kavuşturan aşağıdaki açıklamayı buldum , ancak teknik yönleri anlamak istiyorum: Şifreleme, gizliliği sağlamak için her zaman yeterli değildir. Eğer bir rakip şifreli depolamaya erişim kalıplarınızı gözlemleyebilirse yine de uygulamalarınızın ne yaptığına ilişkin hassas bilgileri öğrenebilir. Habersiz RAM, bu …

9 terminology  computer-architecture  security  memory-hardware  memory-access 

TSP'nin tekrarlanan şehirlerin olasılığını reddetmesi bana tuhaf geliyor. Bu seyahat eden satıcının amacı mümkün olduğunca hızlı gitmek ve tüm şehirleri ziyaret etmektir, değil mi? Peki, daha önce bulunduğunuz bir şehirde seyahat etmek daha hızlı olursa?

9 terminology  traveling-salesman 

Yaşlılarımdan birinde bir iş görüşmesi vardı ve ona neden dinamik denildiği soruldu. Cevap veremedi ve görüşmekten vazgeçtikten sonra, onun hakkında dinamik bir şey olmadığını söyledi, buna böyle deniyor. Buna inanmak benim için zor. Alt problemlerin çalışma zamanı boyunca çözüldüğünü ve nihai hedefe ulaşmada kullanıldığını mı ifade ediyor? Çalışma zamanı sırasında …

9 terminology  dynamic-programming 

Bölüm 1'de Programlama Dilleri için Pratik Vakıflar , yazar soyut sözdizimi ağaçlar ile ilişkili olduğunu bahseder türlü . Sezgisel olarak, türler tür gibidir, ancak kesin bir tanımları olup olmadığını bilmek isterim. Bazı referanslar da sağlanırsa çok sevinirim.

9 terminology  programming-languages  semantics 

Bilgi temsilindeki birkaç tanımla mücadele ediyorum ve aralarında ayrım yapmak için güvenilir yardım arıyorum. Vikipedi ve birçok web sitesinde ontolojiler ve semantik ağlar arasındaki farkları araştırıyorum (anlamsal web ile karıştırılmamalıdır). İken wikipedia semantik ağ üzerinde sayfa asla ontolojilere bakın, bunlar son derece benzer görünüyor ve CS benzer uygulama var. Benim …

9 terminology  knowledge-representation  ontologies