Bilgisayar Bilimi

"Ücretsiz Akış" bulmacası, pozitif bir tamsayı ve her bir tepe noktası en fazla bir çift olacak şekilde n × n ızgara grafiğindeki (köşesiz) bir dizi farklı köşeden oluşur . Böyle bir bulmacanın çözümü , grafikteki yöneltilmemiş yollar kümesidir, böylece her tepe noktası tam olarak bir yolda olur ve her yolun …

15 np-hard  square-grid 

Bazı CPU'larda bayrak kaydı (ARM, x86, ...) vardır, diğerleri yoktur (MIPS, ...). İşaret kaydını, taşmasını vb. Kontrol etmek için sıfır kaydı ve koşullu dallar kullanmak yerine, bayrak kaydını güncellemek için bir CMP talimatı ve ardından bir şube talimatı kullanmanın avantajı nedir?

15 computer-architecture 

PROLOG'un Turing-tamamlandığını kanıtlayabilirim, böyle bir Turing makinesini simüle eden bir program oluşturarak: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), once(rule(Q0, Sym, Q1, NewSym, Action)), action(Action, Ls0, Ls1, [NewSym|RsRest], …

15 programming-languages  turing-completeness  logic-programming  prolog 

MIPS tasarımcılarının neden kaymaya adanmış 5 bit içereceğini ve ayrı opcode ve fonksiyon bitlerine sahip olacağı konusunda kafam karıştı. MIPS çok RISC olduğundan, sadece birkaç talimatta kaymanın yapılacağını varsayıyorum, bu yüzden bu 5 bit hemen yerleştirilebilecekleri zamanları boşa harcıyor gibi görünüyor. Op kodlarının ve fonksiyonunun R ve I tipi komutları …

15 computer-architecture 

Bir tetrahedron ve bir polihedron p var . t , tüm köşelerini her zaman p ile paylaşacak şekilde kısıtlanmıştır . I olup olmadığını belirlemek için isteyen t yalan içinde p .ttt ppptttpppttt ppp Çözüme katkıda bulunması durumunda soruna bir ayrıntı eklemek istiyorum: bir Delaunay tetrahedron ve p'nin yüzleri üçgen ve …

15 algorithms  computational-geometry  topology 

0 veya 1 öğeleri ile tüm eşit olmayan matrisler (veya isterseniz n × n ) inşa etmeye çalışıyorum. Eşdeğer matrisler veren işlem i ve j satır VE i ve j sütun eşzamanlı alışverişidir. Örneğin. için 1 ↔ 2 ( 0 0 0 0 1 1 1 0 0 ) ~ …

15 algorithms  combinatorics 

Bir sınav için çalışmaya çalışıyorum ve TLB ve veri önbelleğinin nasıl çalıştığı konusunda şaşkın olduğumu fark ettim. TLB'nin en son kullanılan fiziksel adreslerin önbelleği olduğunu anlıyorum. Ancak, ders kitabımdaki bir şemaya bakıyordum (aşağıda gösterilmiştir) ve içinde neler olduğunu anlamıyorum. Aniden fiziksel adresi böler ve önbelleği dizine eklemek için kullanır sanırım. …

15 computer-architecture  cpu-cache  virtual-memory 

library(ggplot2) compress <- function(str) { length(memCompress(paste(rep("a", str), collapse=""), type="bzip2")) / nchar(paste(rep("a", str), collapse="")) } cr <- data.frame(i = 1:10000, r = sapply(1:10000, compress)) ggplot(cr[cr$i>=5000 & cr$i<=10000,], aes(x=i, y=r)) + geom_line() Sıkıştırma oranı "a" için 37'de başlar ve 39 "a" s'de başabaşa vurur (sıkıştırma oranı = 1). Grafik oldukça pürüzsüz başlar …

15 data-compression 

Bunun bir ödev sorusu olmadığını söyleyerek başlamak istiyorum. Daha iyi bir programcı olmak için ünlü CLRS metni olan Algoritmalara Giriş'i okuyorum. Kitapta verilen problemleri ve alıştırmaları kendim çözmeye çalışıyorum. Ben çözmeye çalışıyorum treynerlerin 10.1-2 dan Bölüm 10 İlköğretim Veri Yapıları CLRS Second Edition dan. Durumları: Bir dizi A [1..n] 'da …

15 data-structures  arrays  stacks 

Son zamanlarda ilginç bir soru soruldu ve ardından silindi. Normal bir dil LLL , DFA karmaşıklığı onu kabul eden minimal DFA'nın büyüklüğü ve NFA karmaşıklığı onu kabul eden minimal NFA'nın büyüklüğüdür. En azından alfabenin boyutu sınırsız olduğunda, iki karmaşıklık arasında üstel bir ayrım olduğu iyi bilinmektedir. Gerçekten de, dil düşünün …

15 regular-languages  finite-automata 

Polinom zamanında çözülebilecek bazı zor karar sorunlarına örnekler nelerdir? Optimal algoritmanın "yavaş" olduğu veya bilinen en hızlı algoritmanın "yavaş" olduğu sorunları arıyorum. İşte iki örnek: Mükemmel grafikleri tanıma. FOCS'03 makalelerinde [1] Cornuéjols, Liu ve Vuskovic problem için zaman algoritması vermiştir, burada köşe noktası sayısıdır. Bu sınırın geliştirilip geliştirilmediğinden emin değilim, …

15 algorithms  complexity-theory  reference-request 

Yarı zamanlı parlamento sistemlerinde Yarı Zamanlı Parlamento (Paxos protokolü), Leslie Lamport, Paxon parlamento protokolünde yer alan kurgusal yasa koyucuları adlandırıyor. Bu yazıya göre şunları kaydediyor: Yunan yasa koyucularına bu alanda çalışan bilgisayar bilimcilerinin isimlerini, Guibas'ın yardımıyla sahte bir Yunan lehçesine dönüştürdüm. Herkesin yasa koyuculara isimlendirildiği bilim adamları hakkında herhangi bir …

15 distributed-systems  history 

Bir DAG'ımız var. düğümlerinde bir fonksiyonumuz var F: V→ NF:V→N-F\colon V\to \mathbb N(gevşek konuşma, düğümleri numaralandırıyoruz). Bu kurallarla yeni bir yönlendirilmiş grafik oluşturmak istiyoruz: F( x ) ≠ F( y) ⇒ x'≠ y'F(x)≠F(y)⇒x'≠y'F(x) \neq F(y) \Rightarrow x' \neq y'x'≠ y'⇏ F( x ) ≠ F( y)x'≠y'⇏F(x)≠F(y)x' \neq y'\nRightarrow F(x) \neq …

15 algorithms  graphs  np-complete  reductions 

Wikipedia diyor ki : Matematik ve bilgisayar bilimindeki birçok uygulamada tam kafesler ortaya çıkar Hesaplamada kullanılan standart Boole cebirinin tam bir kafes olduğu gerçeğinden mi bahsediyorsunuz? Özellikle Boole mantığı yerine soyut kafeslerde çalışarak kazandığımız bir şey var mı? Bir Google araması konu hakkında fazla bir şey bulamıyor, ancak büyük olasılıkla …

15 lattices  order-theory 

Verili bir grafik G'nin iki farklı minimum yayılan ağaç olup olmadığını tespit etmek için etkili bir yöntem bulmaya çalışıyorum. Ayrıca 3 farklı en az yayılan ağaç olup olmadığını kontrol etmek için bir yöntem bulmaya çalışıyorum. Düşündüğüm saf çözüm, Kruskal'ın algoritmasını bir kez çalıştırıyor ve minimum yayılan ağacın toplam ağırlığını buluyor. …

15 algorithms  graph-theory  graphs  spanning-trees