Bilgisayar Bilimi

Bu sorunun Stack Exchange'in CS bölümünde daha iyi sunulduğunu düşündüm. Artık CUDA ve OpenCL gibi dillere sahip GPGPU'larımız olduğuna göre, multimedya SIMD uzantıları (SSE / AVX / NEON) hala bir amaca hizmet ediyor mu? Kısa süre önce, sınıflandırma ağlarını hızlandırmak için SSE talimatlarının nasıl kullanılabileceği hakkında bir makale okudum. Bunun …

13 computer-architecture  parallel-computing 

Mevcut bilgisayarlarımız bit kullanır, bu nedenle ikili sayı sistemini kullanırlar. Ancak gelecekteki kuantum bilgisayarların basit bitler yerine kübit kullanacağını duydum. Çünkü "kübit" kelimesinde "bi" kelimesi ilk olarak bunun kuantum bilgisayarların ikili (taban 2) kullanacağı anlamına geldiğini düşündüm. Ama sonra kubitlerin üç olası durumu olduğunu duydum: 0, 1 veya 0 ve …

13 computer-architecture  quantum-computing  numeral-representations 

Şu oyunu ele alalım: bazı oyuncular ve bir bilgisayar var. Her oyuncu bir pozitif tamsayı ve adını girer (oyuncu başka birinin numaralarını bilmez, sadece kendi numarasını). Tüm oyuncular hamlelerini yaptığında, bilgisayar en düşük benzersiz sayıyı gönderen bir kazanan adı çıkarır . Sizce bu oyun için en iyi strateji nedir?

13 game-theory  randomness 

Aşağıdaki sorum var, ama bunun cevabı yok. Benim yöntem doğru olup olmadığını takdir ediyorum: S. Bir ikili arama ağacında 60 anahtar değerini ararken, 10, 20, 40, 50, 70, 80, 90 anahtar değerlerini içeren düğümler, verilen sırayla değil, çapraz olarak geçilir. Bu anahtar değerlerin, 60 değerini içeren kök düğümden arama yolunda …

13 data-structures  combinatorics  binary-trees  search-trees  graph-traversal 

Sorun Normal ifade ile permütasyon almanın kolay bir yolu yoktur. Permütasyonu: Bir alınıyor kelime w=x1…xnw=x1…xnw=x_1…x_n başka bir siparişe ( "aabc"), sayı değiştirmeden veya tür mektupların. Normal ifade : Düzenli ifade. Doğrulama için: "Tekrarlama içermeyen normal ifade permütasyonları" Yanıt, daha basit olacağını varsayarak normal ifade yerine JavaScript kodu oluşturur. "Belirli bir …

13 formal-languages  regular-languages  regular-expressions 

Bu alıştırmada bir sorunum var: G λ-hesabı için aşağıdaki belirsiz dilbilgisi olsun: E → v | λv.E | EE | (E) burada E, terminal olmayan tek bir simgedir, λv.E, E'deki v değişkeninden soyutlamayı temsil eder ve EE uygulamayı temsil eder. L (G ′) = L (G) ve G'nin belirsizliği aşağıdaki …

13 context-free  formal-grammars  compilers  parsers 

ve ın karmaşıklığı nedir ? P'de mi? NP zor mu?MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} Bunu daha kesin bir şekilde resmileştirmek için Φ(x)=∧niCi,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, burada ve her bir maddesi formda olan ya da .x=(x1,…,xm)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m)CiCiC_i(xi⊕xj)(xi⊕xj)(x_i \oplus x_j)(xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg x_j) problemi bir atama bulmaktır 'e tatmin eden . Mod doğrusal denklem sistemine karşılık geldiği …

13 complexity-theory  optimization  np-hard  satisfiability 

NPC ve PSPACE ile olan ilişkisini okudum ve NPC problemlerinin en kötü durum polinom alanı gereksinimi olan bir algoritma kullanılarak belirleyici olarak çözülüp çözülemeyeceğini, ancak potansiyel olarak üstel zaman aldığını (P'nin polinom olduğu) bilmek istiyorum. Ayrıca, genel olarak EXPTIME olarak genelleştirilebilir mi? Bunu sormamın nedeni, bir NPC sorununun dejenere vakalarını …

12 complexity-theory  np-complete  np 

Haskell wiki'de IO monadının koşullu kullanımına ilişkin aşağıdaki örnek vardır (buraya bakın) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Bu örnekte, her şeyin daha anlaşılır IO aolması RealWorld -> (a, RealWorld)için tanımının yapıldığını unutmayın …

12 programming-languages  functional-programming  haskell 

Bir fonksiyonun dönüş tipi ⊥ ( alt tip ) ise, bu asla geri dönmeyeceği anlamına gelir. Örneğin, her ikisi de oldukça sıradan durumlardan çıkabilir veya fırlayabilir. Bir işlevin type türünde bir parametresi varsa, muhtemelen (güvenli bir şekilde) çağrılamaz. Böyle bir işlevi tanımlamak için herhangi bir neden var mı?

12 type-theory  type-checking 

Turing makinelerinin tanımları , boş sembolün giriş alfabesinin bir parçası olmadığı konusunda her zaman açıktır. Ben ne zaman yanlış giderse merak ediyorum etkili bir boş sembol zaten girişin bir parçası gibi görünüyor, çünkü giriş alfabenin bir parçası olun. Son cümlede 'görünüyor' ifadesini açıklamak için aşağıdakileri göz önünde bulundurun. Varsayılan kurulumda, …

12 turing-machines 

Kapalı. Bu soru konu dışı . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Sorunuzu güncelleyin o yüzden -konu üzerinde Bilgisayar Bilimi Stack Exchange için. 11 ay önce kapalı . Python , kod bloklarını sözdizimsel olarak tanımlamak için oldukça ünlü bir girinti kullanır . (Bkz . Python Dil …

12 programming-languages  python  syntax 

ppp problemimiz olduğu ve ppp çözmek için alt sınırın Ω(2n)Ω(2n)\mathcal{\Omega}(2^n) olduğunu varsayalım . bağlı düşürebilir Ω(2n)Ω(2n)\mathcal{\Omega}(2^n) sorunu da anlaşılacağı NPNPNP ?

12 time-complexity  np-complete 

Farklı yazarların programlama dili semantiğini temsil etmek için farklı gösterimler kullandıklarını biliyorum. Aslında Guy Steele bu sorunu ilginç bir videoda ele alıyor . Başlıca turnike operatörünün iyi bilinen bir anlamı olup olmadığını bilen olup olmadığını bilmek istiyorum. Örneğin , aşağıdakilerin paydasının başında lider operatörünü anlamıyorum :⊢⊢\vdash x : T1⊢ t2: …

12 type-theory  denotational-semantics 

Verilen iki dizeleri şunu yazabiliriz onların Ulama için. Bir dize Verilen ve tamsayı şunu yazabiliriz ait Ulama için kopyaları . Şimdi bir dize verildiğinde, bu gösterimi 'sıkıştırmak' için kullanabiliriz, yani olarak yazılabilir . Diyelim bir ağırlığını diyoruz sıkıştırma ağırlığı yüzden, içinde görünen karakter sayısı ikidir ve ağırlığı (a sıkıştırma ait …

12 dynamic-programming  word-combinatorics