Bilgisayar Bilimi

2'nin tamamlayıcısında 0'ın sadece bir değere sahip olduğu, 1'in tamamlayıcısında ise hem +0 hem de -0'ın ayrı değerlere sahip olduğu söylenir. Onlar neler?

12 arithmetic 

Doğrusal programlama problemi: A ∈ Rm × n ve b ∈ Rm matrisi için Ax ≥ b ile x ∈ Rn olup olmadığına karar veren kuvvetli bir polinom zaman algoritması bulun. Steve Smale'in matematikteki çözülmemiş bazı problemleri listelediğini biliyorum. Ama böyle doğrusal bir programlama problemi şimdiye kadar çözülemez mi?

12 algorithms  polynomial-time  linear-programming 

Bu sitede Deep Dream hakkında birkaç soru gördüm, ancak hiçbiri DeepDream'in özellikle ne yaptığı hakkında konuşmuyor gibi görünüyor. Topladığım kadarıyla, objektif işlevi değiştirdiler ve ayrıca geri yayılımı değiştirdiler, böylece ağırlıkları güncellemek yerine giriş görüntüsünü güncellediler. Herkesin Google'ın ne yaptığını tam olarak bilip bilmediğini merak ediyorum. Makalelerinden birinde, optimizasyonlarını gerçekleştirirken Bayesian …

12 machine-learning  artificial-intelligence  neural-networks  image-processing  computer-vision 

İnsanların manuel bellek yönetiminden bıktıkları anlaşılıyor, bu yüzden çöp toplamayı icat ettiler ve hayat makul derecede iyiydi. Peki ya diğer kaynak türleri? Dosya tanımlayıcıları, soketler ve hatta veritabanı bağlantıları gibi kullanıcı tarafından oluşturulan veriler? Bu naif bir soru gibi geliyor ama kimsenin sorduğu bir yer bulamıyorum. Dosya tanımlayıcıları ele alalım. …

12 garbage-collection  resource-allocation 

Bazı makalelerde açıklanan sentetik ağları (grafikler) çoğaltmaya çalışıyorum. Belirtilmektedir Barabasi-Albert modeli "güç hukuk derecesi dağılımları ile ölçek içermeyen ağları oluşturmak için kullanılan ".PA(k)∝k−λPA(k)∝k−λP_A(k) ∝ k^{-λ} derece olan bir düğüm olasılığını döndüren bir olasılık dağılımıdır k . Örneğin, P A ( 2 ), rastgele ağ düğümü seçme ve derecesi 2 olan …

12 algorithms  graph-theory  graphs  randomness  sampling 

Ben biraz googleing yaptım ve biraz kısa geldi. Bilim adamları, programcılar, dönem yeniden yazma ve / veya terim grafik yeniden yazma çalışmalarının temel nedenlerinin neler olduğunu merak ediyorum. Anlayabildiğim kadarıyla, sadece fonksiyonel programlar ve (zorunlu) program kontrolü hakkında temel akıl yürütmeye yardımcı olur. Görünüşe göre, mantıkçılara ve yapıcı soyut cebirleri …

12 term-rewriting 

Merak ediyorum, 2 yönlü DFA'lar için boşluk belirlemenin zaman karmaşıklığı nedir? Yani, salt okunur giriş bantlarında geriye doğru hareket edebilen sonlu otomatalardır. Wikipedia'ya göre, DFA'lara eşdeğerdir, ancak eşdeğer DFA katlanarak daha büyük olabilir. Tamamlayıcıları ve kavşakları için devlet karmaşıklığı buldum, ancak boşluk testleri için değil. Bunu bulabileceğim bir kağıt bilen …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Değilse, bazı durum ve bazı sembol , mevcut değilse ne anlama gelir ?qqqδ ( q , a )biraaδ( q, a )δ(q,a)\delta(q, a)

12 terminology  automata  finite-automata 

Son bir sorunun cevabını okuyordum ve aklıma garip, geçici bir düşünce geldi. Bunu sormak, teorik pirzolamın ciddi şekilde eksik olduğuna (çoğunlukla doğru) ya da bu siteyi okumak için henüz çok erken olduğuna ihanet edebilir. Şimdi, feragatname yoldan çekilince ... Hesaplanabilirlik teorisinin, durma probleminin TM'ler için belirlenemediği iyi bilinen bir sonuçtur. …

12 turing-machines  undecidability  halting-problem 

Merak ediyordum ki, kendisi yıldızsız bir dil olduğundan, yıldızsız bir dil olmayan normal bir dil var mı? Bir örnek verebilir misiniz?bir*bir*a^* (dan wikipdia ) Lawson yıldızı içermeyen dilleri olarak tanımlar: Normal bir dilin, alfabenin harflerinden, boş küme sembolünden, tamamlama da dahil olmak üzere tüm boole işleçlerinden ve birleştirme, ancak Kleene …

12 formal-languages  regular-languages  automata 

Kanıtlamak isterim ki , kapatma özellikleri kullanılarak normal değildir.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Pompalama lemmasının normal bir dil değildir. Ayrıca tamamlayıcı işlem altında normal dillerin kapalı olduğunu anlıyorum. Ancak bu, normal olmayan bir dilin tamamlayıcısının da normal olmadığı anlamına mı geliyor?{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\}

12 formal-languages  regular-languages  closure-properties 

Bir işletim sistemi ev ödevi yaparken karşılaştığım bir şüphe - ancak, basit bir kodlama sorusundan daha fazla konsept tabanlı görünüyor, bu yüzden IMHO ödev etiketinin bunun için uygun olduğunu düşünmüyorum. Sabit miktarda RAM ve Takas belleği verildiğinde, aynı anda çalışan birden çok işlem için saf bir talep sayfalama şemasında, aşağıdaki …

12 operating-systems  memory-allocation  virtual-memory  paging  memory-management 

Makine öğreniminde yeniyim. Çeşitli uygulamalar için derin öğrenme uyguladıkları ve model tasarım vakalarının çoğunda "önceki" terimini kullandıkları birkaç makale okudum. Birisi bunun ne anlama geldiğini açıklayabilir mi? Ben sadece öğreticiler önceki ve arka matematiksel formülasyonu bulabilirsiniz.

12 terminology  machine-learning  pattern-recognition  bayesian-statistics 

Şu anda algoritmalara giriş okuyorum ve Johnson'ın tüm yolların pozitif olduğundan emin olan algoritması ile geldim. algo, tüm kenarlar için pozitif olan ve en kısa yol ilişkilerinin doğruluğunu koruyan yeni bir ağırlık fonksiyonu (w ') bulmaya bağlıdır. Bunu, w orijinal değerine eklenecek h (s), h (d) değerlerini hesaplayarak yapar. Sorum …

12 algorithms  graph-theory  graphs  shortest-path 

Tamsayı doğrusal bir programda aşağıdaki kısıtlamayı ifade etmek istiyorum: y={01if x=0if x≠0.y={0if x=01if x≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} Zaten x, y tamsayı değişkenlerine x,yx,yx,ysahibim ve -100 \ le x \ le 100 olduğuna söz verdim −100≤x≤100−100≤x≤100-100 \le x \le 100. Yukarıdaki kısıtlamayı, …

12 linear-programming  integer-programming