Bilgisayar Bilimi

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 

Bir numaralandırıcıdan bir Turing Makinesine gitmenin kanıtını alıyorum (numaralandırıcıyı çalışmaya devam edin ve girdiyle eşleşip eşleşmediğine bakın) ama diğer yolun nasıl çalıştığını görmüyorum. Notlarıma ve (Hesaplama Teorisine Giriş - Sipser) kitabına göre, Turing sayımını bir Turing makinesinden almak için, temelde alfabenin tüm kombinasyonlarını yazıyoruz. Daha sonra TM'yi bu girişte çalıştırırsınız, …

10 computability  turing-machines  intuition 

Yığın otomatlarını araştırmamız bağlamında, belirli bir varyantın bağlama duyarlı olmayan dilleri kabul edemediğini kanıtlamak istiyorum. Eşdeğer bir gramer modelimiz olmadığından, yalnızca otomata kullanan bir ispata ihtiyacım var; bu nedenle, yığın otomatalarının LBA'lar (veya eşdeğer bir model) tarafından simüle edilebileceğini göstermeliyim . Delil otomatik verilerinin bağlama duyarlı dilleri bir alt kümeyi …

10 automata  pushdown-automata 

Birlikte eğlenmeyi edildi tarihinde bloklu en Labirent demo ve bir labirent çözmek istiyorsanız, sadece duvara sol elini tutmak Eski kuralı hatırladı. Bu, basit bağlı herhangi bir labirent için çalışır ve sonlu bir dönüştürücü tarafından uygulanabilir. Robotumuzun aşağıdaki eylemler ve gözlemlenebilir bir dönüştürücü ile temsil edilmesine izin verin: Eylemler: ileri git …

10 automata  finite-automata  artificial-intelligence 

Bir Sinir Ağında 2'den fazla gizli katmana sahip olmanın herhangi bir avantajı var mı? Bunu tavsiye eden bazı yerler gördüm, diğerleri hiçbir avantajı olmadığını kanıtladı. Hangisi doğrudur?

10 artificial-intelligence  neural-networks  neural-computing 

Alternatif Formülasyon Aşağıdaki soruna alternatif bir formülasyon buldum. Alternatif formülasyon aslında aşağıdaki problemin özel bir durumudur ve sorunu tanımlamak için iki taraflı grafikler kullanır. Bununla birlikte, alternatif formülasyonun hala NP-zor olduğuna inanıyorum. Alternatif formülasyon, problem tanımını basitleştiren, gelen ve giden düğümlerin ayrık bir setini kullanır. Verilen giden ve gelen düğümleri …

10 complexity-theory  graphs  graph-theory  np-complete 

Var mı bir ihtiyaç için olmaya sonsuz undecidable olunur?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Bence bir dil seçerseniz neler anlama bir olmak arasında sınırlandırılmış sonlu versiyonu olduğunu ( birlikte), . nin kararsız bir dil olması mümkün müdür ? L ⊆ Σ ∗ | L ′ | ≤ N N ∈ N L ′ ⊂ …

10 formal-languages  computability  undecidability 

Bir ödev hazırlamaya çalışıyorum ( Algoritmalar kitabından alınmıştır - S. Dasgupta, CH Papadimitriou ve UV Vazirani , Bölüm 8, sorun 8.6a tarafından) ve söylediklerini tekrar yazıyorum: 3SAT'in, her bir hazır bilginin en fazla iki kez göründüğü formüllerle sınırlı olsa bile NP-tamamlanmış kaldığı göz önüne alındığında, her bir hazır bilgi en …

10 complexity-theory  satisfiability  3-sat 

Aklımda bir sorun var, sanırım bu bir NPC problemi ama bunu nasıl kanıtlayacağımı bilmiyorum. İşte sorun: Orada k çok büyük bir gölde adalar ve orada n yelpaze şeklinde dubaları. Bu dubalar aynı boyuttadır ancak farklı başlangıç ​​yönlerine sahiptir ve gölde farklı orijinal konumlardadır. Dubalar kütle merkezinin etrafında serbestçe dönebilir ve …

10 complexity-theory  np-complete  np-hard 

Kuantum bilgisayarlarımız varsa güvenlik tanımlarını değiştirmeye gerek var mı? Hangi kriptografik yapılar kırılacak? Neyin değişmesi gerektiğini açıklayan bir anket veya makale biliyor musunuz?

10 reference-request  cryptography  quantum-computing 

Sorunun doğası gereği, çok sayıda arka plan bilgisi eklemem gerekiyor (çünkü sorum şu: bunu nasıl daraltabilirim?) Bu, (bilgimin en iyisine) şöyle özetlenebilir: Çok büyük birleşik arama alanlarında yerel optimumları bulmak için hangi yöntemler var? Arka fon Araç destekli süper oyun topluluğunda, bir video oyun konsoluna veya emülatörüne bazı maliyetleri en …

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

Monoton çokgenlerin çokgen üçgenlemesinde çok önemli bir rol oynadığı iyi bilinmektedir . Tanım: bir çokgen düzlemindeki bir düz çizgi ile ilgili olarak monoton olarak adlandırılır ise ortogonal her satır, kesiştiği en fazla iki kez.PPPLLLLLLPPP Bir çizgi ve bir poligon verildiğinde, bir poligon göre monoton olup olmadığını belirlemek için etkili bir …

10 algorithms  computational-geometry 

Eğlence için DCPU-16 için bir tel çerçeve görüntüleyici yapmaya çalışıyorum . Tel çerçevede gizlenen çizgileri gizleme dışında her şeyi nasıl yapacağımı anlıyorum. SO'daki tüm soruların hepsi OpenGL'ye erişiminiz olduğunu varsayar, maalesef DCPU-16 (veya herhangi bir donanım hızlandırma) için böyle bir şeye erişimim yok. Google Kitaplar'da Appel'in algoritmasının oldukça iyi bir …

10 algorithms  computational-geometry  graphics 

Birçok metinlerde daha düşük bulmak için bağlı orta değerler kullanılarak argümanlar inci en küçük elemanı yapım türetilmiştir kullanımını. Düşman bir argüman kullanarak nasıl bulabilirim?kkk Wikipedia , turnuva algoritmasının ve olan belirli bir alt sınır olarak.n - k + ∑ n j = n + 2 - k ⌈ lgO(n+klogn)O(n+klog⁡n)O(n+k\log n)n−k+∑nj=n+2−k⌈lgj⌉n−k+∑j=n+2−kn⌈lgj⌉n …

10 algorithms  algorithm-analysis