Bilgisayar Bilimi

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 

Sinir ağları ve SVM'leri öğreniyorum. Okuduğum öğreticiler SVM'ler için çekirdekleştirmenin ne kadar önemli olduğunu vurguladı. Bir çekirdek işlevi olmadan, SVM'ler yalnızca doğrusal bir sınıflandırıcıdır. Çekirdekleştirme ile SVM'ler, onları daha güçlü bir sınıflandırıcı yapan doğrusal olmayan özellikler de içerebilir. Bana öyle geliyor ki, sinir ağlarına çekirdekleme de uygulanabiliyor gibi gözüküyor, ancak …

9 machine-learning  artificial-intelligence  neural-networks 

Problemleri çözmek için Mathematica kullanıyorum. Ters matris hakkında bir sorum var. ters matrisin sadece bir elemanını istiyorsam Inverse, tüm ters matrisi hesaplamak ve istediğim elemanı çıkarmak için kullanmaktan daha hızlı bir algoritma var mı?

9 algorithms 

Arka fon. Derecelendirme sürecinin bir parçası olarak akran derecelendirmesini kullanarak yarı otomatik derecelendirme için bazı kodlar yazıyorum. Öğrencilere bir seferde iki makale verilir ve öğrenciler hangisinin daha iyi ve ne kadar iyi olduğunu seçmek için bir kaydırıcıya sahiptir. örneğin, kaydırıcı şöyle görünebilir: A---X-B Akran derecelendirme sonuçlarına göre, makaleler sıralanır ve …

9 algorithms  graphs  modelling 

Sorunun belirttiği gibi, bunu nasıl kanıtlarız? NTIME (f( n ) ) ⊆ DSPACE ( f( n ) )NTIME(f(n))⊆dSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n))? Beni burada bir ispat veya ana hat olarak gösterebilir mi? Teşekkürler!

9 complexity-theory  time-complexity  space-complexity 

Sinir ağlarının başlangıç ​​ağırlıkları neden rastgele sayılar olarak başlatıldı? Bir yerde bunun simetriyi kırmak için yapıldığını okumuştum ve bu sinir ağının daha hızlı öğrenmesini sağlıyor. Simetriyi kırmak nasıl daha hızlı öğrenmesini sağlar? Ağırlıkları 0'a başlatmak daha iyi bir fikir olmaz mıydı? Bu şekilde ağırlıklar (pozitif veya negatif olsun) değerlerini daha …

9 machine-learning  artificial-intelligence  neural-networks 

Yayvan ağacına bir öğe eklerken, döndürmeler ya zig-zag ya da zig-zig desenine göre çiftler halinde gerçekleştirilir. Gerçekleştirilecek tek sayıda rotasyon olduğunda, yapraktan başlayarak ekstra rotasyon yapılabilir veya ekstra rotasyon kaydedilebilir ve kökte yapılabilir. Önemli mi? Örneğin, ekli görüntüde bir BST'ye 4 eklerim ve köküne "yayarım". Şeklin üstünde, ilk olarak yaprak …

9 data-structures  binary-trees  splay-trees 

Bir çokgendeki tekdüze rastgele bir noktayı örneklemek istiyorum ... Çok sayıda örnek alınırsa, aynı alana sahip olmaları durumunda iki bölgeye düşme olasılıkları daha yüksektir. Bir kare olsaydı bu oldukça basit olurdu çünkü koordinatlarım olarak [0,1] 'de iki rastgele sayı alacağım. Sahip olduğum şekil normal bir çokgen, ancak herhangi bir çokgen …

9 algorithms  randomness  sampling  random-number-generator 

Etkileşimli ispat sistemlerini anlamaya çalışıyorum ve aşağıdaki problemi bir alıştırma olarak denedim. ve olduğunu biliyoruz , bu yüzden için (anlaşılması kolay) etkileşimli prova sistemleri ile gelsin ?PH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACEIP=PSPACEIP=PSPACEIP=PSPACEPHPHPH için etkileşimli bir kanıtlama sistemi önemsizdir, ancak için bile etkileşimli bir kanıtlama sistemi elde . için açık bir interaktif kanıtlama sistemi …

9 complexity-theory  interactive-proof-systems 

CS derecem için "standart" matematiksel geçmişe sahip oldum: Analiz: diferansiyel, integral, karmaşık sayılar Cebir: tarlalara kadar neredeyse kavramlar. Sayılar Teorisi: XGCD ve benzeri şeyler, çoğunlukla kripto için. Doğrusal Cebir: özvektörlere / özdeğerlere kadar İstatistikler: olasılıklar, test Mantık: önerme, yüklem, kip, melez. CS alanındaki ana ilgi alanlarım güvenlik, kriptografi ve yapay …

9 artificial-intelligence  cryptography  discrete-mathematics 

Tür Teorisinde, eğer Tür'ün kendisinin bir üyesi olmasına izin verilirse, teori tutarsız hale gelir. Russel'in Set Theory'deki paradoksuna benzeterek anlıyorum, ancak Type Theory'de yapıldığını görmeyi tercih ediyorum. Tip Teorisinde eşdeğerin kısa bir örneği var mı?

9 type-theory 

Onlarda bir DFA azaltma algoritması test etmek için rasgele DFA üretiyorum. Şu anda kullandığım algoritma aşağıdaki gibidir: her durum , alfabesindeki her sembol için, rastgele bir duruma ekleyin . Her devletin nihai devlet olma olasılığı aynıdır.qqqcccδ(q,c)δ(q,c)\delta (q, c) Bu tarafsız DFA üretmenin iyi bir yöntemi midir? Ayrıca, bu algoritma bir …

9 algorithms  finite-automata  randomness  pseudo-random-generators  random-graphs 

Dejenere çokgenler nelerdir? Belirli bir çokgen çiftinin dejenere olup olmadığını nasıl kontrol edebilirim?

9 algorithms  computational-geometry 

Bir ekip, her sabah birisinin herkese kruvasan getirmesi gerektiğine karar verdi. Her seferinde aynı kişi olmamalı, bu yüzden bir sonraki sıranın kim olduğunu belirlemek için bir sistem olmalı. Bu sorunun amacı, yarın kruvasan getirmenin kimin sırası olacağına karar vermek için bir algoritma belirlemektir. Kısıtlamalar, varsayımlar ve hedefler: Kimin kruvasan getirmesi …

9 algorithms  scheduling