Bilgisayar Bilimi

Bu muhtemelen saçma bir düşünce, ama biz hesaplamalar sonsuz dizisini gerçekleştirmek ve varsaymak programlanmış bir bilgisayar olduğunu varsayalım ithbenincii^\text{th} hesaplama alır tam saniye. Daha sonra bu bilgisayar, sınırlı bir süre içinde sonsuz sayıda hesaplama yapabilir.1/2i1/2ben1/2^i Bu neden imkansız? Önemsiz bir hesaplama yapmanın ne kadar sürdüğü konusunda bir alt sınır var …

10 computability  computation-models 

Bu soru bir şekilde NP-komple setler üzerinde set işlemlerinden oluşan setler hakkında önceki bir soruya karşılık geliyor : Grubu, iki Karar verilebilen setinin birleşim, kesişim veya kartezyen üründen elde edilen ise ve L 2 , NP tamamlandıktan en az biri L 1 , L 2 , mutlaka NP-zor? P bu …

10 complexity-theory  np-hard  np  np-intermediate 

Atari'nin oyunlarındaki google deepmind başarılarını okuduktan sonra q-öğrenmeyi ve q-ağlarını anlamaya çalışıyorum, ama biraz kafam karıştı. İskonto faktörü kavramında karışıklık ortaya çıkar. Anladıklarımın kısa özeti. Bir eylemin beklenen optimal değerinin değerini tahmin etmek için derin bir evrişimli sinir ağı kullanılır. Ağ kayıp fonksiyonunu en aza indirmelidir burada E s ′ …

10 artificial-intelligence  neural-networks  reinforcement-learning 

Galvin'in İşletim Sistemlerini okuyordum ve aşağıdaki satırla karşılaştım, Bununla birlikte, tüm güvensiz durumlar çıkmaz değildir. Güvenli olmayan bir durum kilitlenmeye yol açabilir Birisi nasıl kilitlenme! = Güvensiz durum açıklayabilir misiniz? Burada aynı çizgiyi yakaladım Güvenli bir sekans yoksa, sistem güvensiz bir durumdadır, bu da kilitlenmeye yol açabilir. (Tüm güvenli durumlar …

10 operating-systems  deadlocks 

Giriş kelimesinin DFA'sı ve çalışma zamanı tarafından oluşturulmuş Levenshtein Automata ile bulanık ayrıştırma yapmanın bir yolu vardır (belirli bir düzenleme mesafesine yazım hatalarıyla bile dizeleri kabul eder). Bir Earley ayrıştırıcıyla benzer bir şey yapılabilir mi? Bu soruyu cevaplamak yerine algoritmayı anlamakta zorlanıyorum.

10 algorithms  context-free  finite-automata  parsers  string-metrics 

Aşağıdaki egzersizi çözmeye çalıştım ama tüm kritik çiftleri bulmaya çalışırken takıldım . Aşağıdaki sorularım var: Hangi kritik çiftin yeni bir kural ürettiğini nasıl bilebilirim? Tüm kritik çiftleri bulduğumu nasıl bilebilirim? Let burada ikili, tekli ve bir sabittir. Σ = { ∘ , i , e }Σ={∘,ben,e}\Sigma= \left \{ \circ, i, …

10 logic  first-order-logic 

Bir LR (0) ayrıştırıcısında, her durum, bir konumla açıklamalı üretimler olan LR (0) öğelerinden oluşan bir koleksiyondan oluşur. Bir LR (1) ayrıştırıcısında, her durum, bir konum ve bir ileriye dönük karakterle açıklamalı üretimler olan LR (1) öğelerinden oluşan bir koleksiyondan oluşur. Bir LR (1) otomatındaki bir durum verildiğinde, her bir …

10 context-free  parsers  lr-k 

Universal Turing makinesiyle ilgili iki sorunun yanıtını bulmaya çalışıyorum. Simüle edilen makinede daha fazla sayıda durum varsa Evrensel Turing makinesi Turing makinesini nasıl simüle edebilir? Simüle edilen makinede daha fazla sayıda alfabe karakteri varsa Evrensel Turing makinesi Turing makinesini nasıl simüle edebilir? Birisi bana bu sorularda yardımcı olabilir mi?

10 computability  turing-machines  simulation  turing-completeness 

Konuya ilişkin olarak CNF'den DNF dönüşüm NP Sert olduğunu gösteren (ve ilgili bir matematik iplik ): DNF'den CNF'ye diğer yöne ne dersiniz? Kolay mı, zor mu? Bu makalenin 2. sayfasında, " CNF temsilinden DNF temsiline (ya da tam tersi) geçiş yaparken maksimum boyut patlamasıyla ilgileniyoruz " derken her iki yönün …

10 complexity-theory  logic  satisfiability  normal-forms 

Biliyorum sayısallaştırılmış Boole formülü sorun , bir formül burada bir nicelik içerir ve değişkenler , tamamlama sorununa bir örnektir . Ancak, Devre Minimizasyonu'nun doğal bir tamamlama problemi olduğu gibi bilinen herhangi bir doğal problem olup olmadığını merak ediyorum ( ayrıntılar için Polinom hiyerarşisine bakınız)?ψ = ∀ x1… ∀ xn∃ y1… …

10 complexity-classes 

"Pozitif pozisyonda" ve "negatif pozisyonda" tip teorisi bağlamında ne anlama gelir? Bob Harper'ın konuyla ilgili blog yazısından anladığım tek şey , tip teorisinde bu anlamda polarite ile mantıktaki polarite arasında bir bağlantı olduğu, ancak bu bağlantının ne olduğunu bilmiyorum.

10 type-theory 

Let olması oldukça iyi bir fonksiyon (örneğin, sürekli, türevlenebilir, çok az lokal maksimumlar vb belki konkav). Ben : bir maxima bulmak istiyorum : mümkün olduğunca büyük kılan bir değer .f:Rd→Rf:Rd→Rf:\mathbb{R}^d \to \mathbb{R}fffx∈Rdx∈Rdx \in \mathbb{R}^df(x)f(x)f(x) Ben değerlendirmek için bir prosedür olsaydı benim seçim herhangi girişine doğrusu ben standart kullanabilirsiniz matematiksel optimizasyon …

10 optimization  approximation 

NP-zor problemlerin yaygın örnekleri (klik, 3-SAT, tepe kapağı, vb.) Cevabın önceden "evet" veya "hayır" olup olmadığını bilmediğimiz türdendir. Diyelim ki cevabın evet olduğunu bildiğimiz bir problemimiz var, ayrıca polinom zamanında bir tanığı doğrulayabiliriz. O zaman polinom zamanında her zaman bir tanık bulabilir miyiz? Veya bu "arama sorunu" NP-zor olabilir mi?

10 complexity-theory  np-hard  search-problem 

Sorun şu şekildedir: Her biri bir miktar "fayda" veya "kâr" temsil eden iki boyutlu bir dizi / sayı ızgaramız var. Ayrıca ve h olmak üzere iki sabit tamsayı var ("genişlik" ve "yükseklik" için) Ve sabit bir tamsayı n .wwwhhhnnn Şimdi ızgarada w × h boyutlarındaki dikdörtgenleri, bu dikdörtgenlerdeki hücrelerin toplam …

10 algorithms  optimization  combinatorics  approximation 

Merak ediyorum, otomatik çalışma zamanı analizi için algoritmaların ilgili bir alt kümesinde (analiz edilebilen algoritmalar) çalışan bir yöntem var mı? Bana bunu veren "Otomatik algoritma analizi" yi araştırdım ama bu çok fazla matiği. Sadece anlayabildiğim psuedocode'da basit bir örnek istiyorum. Çok spesifik olabilir, ama denemeye değer olduğunu düşündüm.

10 algorithms  algorithm-analysis  reference-request  runtime-analysis