Bilgisayar Bilimi

Gelen Kararlı Eşleştirme Sorunu , davaları var olabilir belirtilmektedir erkeklerin listesini kendi kararları ile içerik olabilir, ancak listesi algoritması erkek önerileri çalıştırılır edemez zaman.mmmfff Okuduğum kadarıyla, ve mevcut ortaklarına tercih ettiklerinde kararsız bir eşleşme meydana geliyor .mmmfff Bu dava için Kararlı Eşleştirme tanımında biraz kayboldum. Buradaki slaytların üzerinden geçiyorum . …

10 combinatorics 

Bilgisayar ağlarında ve yüksek performanslı küme bilgisayar tasarımında ağ topolojisi, bir iletişim ağı oluşturmak için düğümlerin bağlantılarla nasıl bağlandığının tasarımını ifade eder. Yaygın ağ topolojileri arasında ağ, torus, halka, yıldız, ağaç vb. Bulunur. Bu topolojiler, beklenen performanslarıyla ilgili özellikleri belirlemek için analitik olarak incelenebilir; bu karakteristikler arasında çap (bir çift …

10 computer-networks  network-topology 

Temporal mantık Doğrusal ve deterministik Büchi otomata kıyaslanamaz: DBA ifade edemez ve LTL ifade edemez "Her garip harf 'a' en azından" . Ancak bazen bir DBA dilinin LTL'de ifade edilip edilemeyeceğini bilmek ilginçtir.FG aFG,birFGa Belirli bir DBA dilinin LTL'de açıklanabilir olup olmadığına karar veren bir algoritmaya ihtiyacım var. Bunun için …

10 logic  automata  linear-temporal-logic  buchi-automata 

İkili bir ağaç bir ikili arama ağacı olup olmadığını görmek için özyinelemeli bir algoritma oluşturmak ve aynı zamanda varsayılan bir sayma değişkeni ile kaç tam dalları var (hem sol hem de sağ çocuk düğümleri ile bir üst düğüm) saymak gerekir. Bu benim veri yapıları sınıfım için bir ödev. Şimdiye kadar …

10 algorithms  recursion  trees 

Kitabım bunu söylüyor Bir karar problemi B P ve A ise B'ye düşerse, karar problemi A P'dir. B NP'de ise ve B NP'de A'daki her problem için bir karar problemi NP tamdır, A B'ye düşer. Bir karar problemi C, NP'de ise NP-tamamlanmıştır ve bazı NP-tam problem B için B, C'ye …

10 complexity-theory  np-complete  decision-problem 

P'nin tanımı, bir polinom zaman algoritması ile karar verilebilen bir dildir. P / poly'nin tanımı, polinom boyutlu bir devre tarafından karar verilebilen bir dil anlamına gelebilir (bkz. Http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Şimdi, polinom boyutlu bir devre neden polinom zamanında simüle edilemiyor?

10 complexity-theory  time-complexity  circuits 

"Rice'ın hesaplanabilir gerçekler için teoremi" - yani, belirli bir hesaplanabilir gerçek tarafından temsil edilen sayının önemsiz hiçbir özelliği karar verilemez - doğru mu? Bu, gerçeklerin bağlantılılığına doğrudan bir şekilde karşılık geliyor mu?

10 computability  real-numbers  computable-analysis 

Aslında içeriğe duyarlı Diller setinin, CSLCSL\mathbf{CSL} (=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} kabul edilen diller), REGREG\mathbf{REG} (normal diller) veya CFLCFL\mathbf{CFL}(bağlamdan bağımsız diller). Ve ayrıca açık problemDSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))} "benzer" sorun kadar ünlü değil: "P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP}". Gerçekten böyle bir benzetme var mı? İçinde bir dil var mı CSLCSL\mathbf{CSL} içinde olduğu kanıtlanamadı DSPACE(O(n))DSPACE(O(n))\mathbf{DSPACE(O(n))} (sevmek …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Okuduğum kadarıyla, çoğu gramer sonsuz sayıda dize oluşturmakla ilgileniyor gibi görünüyor. Ya başka bir şekilde çalışsaydın? Eğer m uzunluğunda dizeler verilirse, bu dizeleri ve sadece bu dizeleri oluşturacak bir dilbilgisi yapmak mümkün olmalıdır. Bunu yapmak için bilinen bir yöntem var mı? İdeal olarak bir teknik ismi araştırabilirim. Alternatif olarak, böyle …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

Vikipedi yol sıkıştırma olmadan rütbe ile birlik bir itfa edilmiş zaman karmaşıklığını verir diyor ve rütbe ve yol sıkıştırma hem birlik bir itfa edilmiş zaman karmaşıklığını verdiğini ( olan Ackerman işlevinin tersi). Bununla birlikte, sendika sıralaması olmadan yol sıkıştırmanın çalışma süresinden bahsetmiyorum, ki bu genellikle kendimi uyguluyorum.O(logn)O(log⁡n)O(\log n)O(α(n))O(α(n))O(\alpha(n))αα\alpha Union-find'ın yol …

10 complexity-theory  time-complexity  union-find 

Normal ifadeler kullanılarak tanımlanabilen ve DFA / NFA (sonlu otomata) tarafından tanınabilen dillerin eşdeğer olduğunu biliyorum. Ayrıca dili için DFA mevcut değildir . Ama yine de normal ifadeler kullanılarak yazılabilir . Ancak, düzenli bir ifadeye sahip her dilin onu tanıyan bir DFA'ya sahip olduğunu biliyoruz (önceki ifademe aykırı). Bunun önemsiz …

10 formal-languages  regular-languages  regular-expressions 

Döşeme Tahsisinin nasıl çalıştığını ve neden sıradan çağrıdan farklı veya daha iyi olduğunu anlamaya çalışıyorum. Daha fazla açıklaması olsaydı faydalı olacağına inandığım bu diyagramı buldum . Bazı sorular: 3KB ve 7KB öğeleri neyi temsil ediyor? Bir şekilde ilişkili olmalılar mı? Neden bu şekilde paketleniyorlar? Önbellek sütununda, önbellekler gri kutular mı …

10 operating-systems  paging  memory-allocation 

Doğal sayılar endüktif olarak tanımlanır (örnek olarak Coq sözdizimi kullanılarak) Inductive nat: Set := | O: nat | S: nat -> nat. Tam sayıları (ve belki de gerekçeler ve gerçekler gibi diğer kümeler) yapıcı olarak tanımlamanın standart bir yolu var mı?

10 arithmetic  dependent-types  coq 

Çarpışma algılama sınıfımın performansını artırmaya çalışırken, gpu'da harcanan sürenin ~% 80'inin, döngüden geçmesi gereken kovaların sınırlarını anlamaya çalışıp çalışmadığı / başka koşulların harcandığını gördüm. Daha kesin: her iş parçacığı bir kimlik alır, bu kimlikle üçgeni bellekten alır (her biri 3 tamsayı) ve bu 3 tarafından köşelerini alır (her biri 3 …

10 computer-architecture  parallel-computing 

Bölüm ağaçlarının alt dizinin toplamını bulmak için kullanılabileceğini anlıyorum AAA. Ve bunun yapılabileceğiO(logn)O(log⁡n)\mathcal{O}(\log n)zaman burada öğretici göre . Ancak sorgulama zamanının gerçekten olduğunu kanıtlayamıyorum O(logn)O(log⁡n)\mathcal{O}(\log n). Bu bağlantı (ve diğerleri), her düzeyde, işlenen maksimum düğüm sayısının444 ve bu yüzden O(4logn)=O(logn)O(4log⁡n)=O(log⁡n)\mathcal{O}(4 \log n) = \mathcal{O}(\log n). Ama bunu belki de çelişkiyle …

10 data-structures  runtime-analysis  search-trees  intervals