Bilgisayar Bilimi

Tanıdığım biri yakın gelecekte bir metin editörü uygulamayı planlıyor, bu da bir metin editörü için ne tür veri yapılarının hızlı olduğunu düşünmemi sağladı. En çok kullanılan yapılar görünüşte halatlar veya boşluk tamponlarıdır . Van Emde Boas ağaçları , etrafındaki en hızlı öncelik sıralarıdır, içine koyabileceğiniz öğe sayısı ve yüksek bir …

23 data-structures 

Hatta palindromların dili olan EPAL, aşağıdaki net bağlamsız gramer tarafından oluşturulan dil olarak tanımlanmaktadır: S→ Bir BirS→aaS \rightarrow a a S→ b bS→bbS \rightarrow b b S→ a SbirS→aSaS \rightarrow a S a S→ b SbS→bSbS \rightarrow b S b EPAL, pek çok ayrıştırma algoritmasının 'temelini oluşturuyor: dili tanımlayan herhangi …

23 formal-languages  formal-grammars  parsers 

Başlangıçta, Matroid'ler alt kümeleri bir koleksiyon lineer bağımsızlık kavramlarını genellemek tanıtıldı bazı zemin set üzerinde I . Bu yapıyı içeren bazı problemler açgözlü algoritmaların en uygun çözümleri bulmalarına izin verir. Greedoids kavramı daha sonra açgözlü yöntemlerle en uygun çözümlerin bulunmasını sağlayan daha fazla problemi yakalamak için bu yapıyı genelleştirmek amacıyla …

23 algorithms  optimization  combinatorics  greedy-algorithms  matroids 

Son zamanlarda, benzerliği kontrol etmek için algoritmalar hakkında okuyordum ve sorunun P-eksiksiz olduğunu okudum . Ayrıca, bunun bir sonucu olarak, bu problemin veya herhangi bir P-tamamlanma probleminin, verimli bir paralel algoritmaya sahip olma olasılığı yoktur. Bu son ifadenin ardındaki sezgi nedir?

23 complexity-theory  parallel-computing 

Aşırı burada Dave Clarke asimptotik büyümesini karşılaştırmak amacıyla eldeki fonksiyonun grafiğinin gerektiğini önerdi. Teorik olarak eğimli bir bilgisayar bilimcisi olarak, bu vodooyu bir komplo olarak kanıtlamayan olarak adlandırdım. İkinci düşünceme göre, bunun bazen kullanılmayan bir yaklaşım olduğu konusunda hemfikir olduğumda; bir komplo ilk fikirleri edinmenin etkili bir yoludur ve bazen …

23 asymptotics  didactics 

Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 7 yıl önce göç etti . Bu sorun, görüşmeci.com'dan alınmıştır. Biz tamsayı dizisi verilmiştir Y= { y1, . . . , yn}Y={y1,...,yn}Y=\{y_1,...,y_n\} temsil hattı segmentleri ve bu tür parça son noktaları bu olan …

23 algorithms  probability-theory 

Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 7 yıl önce göç etti . "Alan Turing, 1936'da, olası tüm program giriş çiftleri için durma problemini çözmek için genel bir algoritma bulunmadığını kanıtladı. " Bazı olası program giriş çiftleri için durma problemini …

23 computability  formal-methods  halting-problem  software-verification 

Bu soru Matematik Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsası'ndan cevaplandırılabilir. 3 yıl önce göç etti . Bir bulmak için bir algoritma bulmaya çalışıyorum maksimum yönlendirilmiş grafiğinin tepe döngüsü kapağını , tüm köşe içerirler ayrık döngüleri kümesidir - G biz düşünmüyoruz (mümkün olduğunca çok sayıda döngüleri …

23 graph-theory  algorithms 

Bir kitap okurken, aşağıda verilen bir paragrafa rastladım: Bir bilgisayarın tüm işlemlerini senkronize etmek için, bir anakartta bulunan küçük bir kuvars kristali olan sistem saati kullanılır. Sistem saati, diğer tüm bilgisayar bileşenlerine düzenli olarak bir sinyal gönderir. Ve başka bir paragraf: Günümüzde birçok kişisel bilgisayarda 200 MHz hızında çalışan sistem …

23 computer-architecture  clocks 

Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 7 yıl önce göç etti . Grafik teorisindeki Clique problemiyle ilgili bu Wikipedia makalesinde , başlangıçta, G grafiğindeki K boyutunda bir clique bulma probleminin NP-tamam olduğunu belirtir: Cliques bilgisayar biliminde de çalışılmıştır: bir …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

Başlığın dediği gibi, geçen hafta sonu birkaç saatimi , kalıp içinde rasgele kod yürütmeye izin veren eşleşen bir operatör hariç olmak üzere Perl uyumlu normal ifadelerle eşleşen dillerin sınıfı hakkında düşünmeye çalışarak geçirdim . PCRE'lerin ne olduğunu bilmiyorsanız, lütfen bunu ve bunu okuyun . Sorun şu ki, internette mevcut olan …

23 formal-languages  regular-expressions 

Eğitmenimin sorduğu bir soruda bazı ipuçları arıyorum. Ben de bu karar probleminin yeni olduğunu anladım: :N P - C o m p l e t eNP-complete\sf{NP\text{-}complete} Bir grafik olarak , bir kapsayan ağaç olduğu tam bir kümesini içerir yapraklarının olarak. Hamiltonian yolunu bu karar sorununa indirgeyerek olduğunu ispatlayabileceğimizi düşündüm .G …

23 complexity-theory  graphs  np-complete 

Sayı tabanı sıralamasında önce en az anlamlı basamağa göre sıralarız, daha sonra ikinci en az önemli basamağa göre sıralarız ve böylece sıralı listeyle sonuçlanırız. Şimdi nnn numaralar listemiz varsa , bu sayıları ayırt etmek için lognlog⁡n\log n bitlerine ihtiyacımız var . Radix sayısı sıralama geçer yüzden olacak yapmak lognlog⁡n\log n …

23 algorithms  sorting 

Büyük O bilgisayar bilimlerinde ilk ne zaman kullanıldı ve ne zaman standart oldu? Bu konuda Vikipedi sayfası Knuth, değinir Büyük Omicron ve Büyük Omega Ve Big Teta , 1976 SIGACT Nisan-Haziran, ama bu kağıt başlangıcı okur Birçoğumuz, notasyonu , büyük sabit süreleriyle sabit bir fonksiyon için geçerli kılmak için kullanmaya …

22 asymptotics  history 

Bunu kanıtlamak için bir kural olup olmadığını bilmek istiyorum. Örneğin, eğer dağıtım yasasını kullanırsam, sadece alacağım .(A∨A)∧(A∨¬B)(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)

22 logic  propositional-logic