Bilgisayar Bilimi

Tamsayı Doğrusal Programlama NP-tam olduğundan, NP'deki herhangi bir problemden Karp azalması vardır. Bunun NP'deki herhangi bir problem için her zaman polinom boyutlu bir ILP formülasyonu olduğunu ima ettiğini düşündüm. Ama insanların "bu ilk çok boyutlu formülasyon" veya "bilinen çok boyutlu bir formülasyon yok" gibi şeyler yazdığı belirli NP problemleri hakkında …

14 complexity-theory  np-complete  reductions  linear-programming 

kümesinden farklı sayılardan oluşan bir akış alıyoruz .{ 1 , … , n }n−1n−1n-1{1,…,n}{1,…,n}\left\{1,\dots,n\right\} Akışı bir kez okuyan ve yalnızca bitlik bir bellek kullanan bir algoritmayla eksik sayıyı nasıl belirleyebilirim ?O(log2n)O(log2⁡n)O(\log_2 n)

14 algorithms  integers  online-algorithms 

Kuantum İşlemcilerle birlikte kullanılan cihazlar ve ara bağlantıları nelerdir? Mevcut bilgisayarların Önbellek, RAM, Diskleri gibi donanım cihazlarıyla uyumlu mu?

14 computer-architecture  quantum-computing 

Bir süre okunamayacak ve sonra okunabilir olacak bir dijital zaman kapsülü oluşturmak istiyorum. Örneğin, anahtarı gizli tutmak ve daha sonra gerekli zamanda ortaya çıkarmak için herhangi bir dış hizmete güvenmek istemiyorum. Mümkün mü? Değilse, bunun olmadığına dair bir tür kanıt mümkün mü? Bir strateji gelecekteki bilgi işlem yeteneklerinin projeksiyonlarına dayanacaktır, …

14 cryptography  encryption  digital-preservation 

Biliyoruz ki olduğu tarafından Immerman-Szelepcsenyi teoremi teoremi ve beri olan bu nedenle , indirgenebilen bir-bir günlük alanıdır . Ancak, Turing makinelerinin içindeki konfigürasyon grafiğinden geçmeyen doğrudan / kombinatoryal bir azalma var mı?N L s t - c o n n e c t i v i t y N L …

14 complexity-theory  reductions  space-complexity 

Bir dizi olduğunu varsayalım arasında K kodlayıcılar.S={a1,a2,a3,…,aN}S={a1,a2,a3,…,aN}S = \{ a_1,a_2,a_3,\ldots , a_N \}NNN Her Şifrelik reytinge olan ve altın madalya sayısı E i , şu ana kadar kazanmıştı.RiRiR_iEiEiE_i Bir Yazılım Şirketi, bir uygulama geliştirmek için tam olarak üç kodlayıcı kiralamak istemektedir. Üç kodlayıcı kiralamak için aşağıdaki stratejiyi geliştirdiler: İlk olarak …

14 algorithms  algorithm-design 

Rasgele seçim algoritması şu şekildedir: Girdi: (basitlik için ayrı) sayılardan oluşan bir dizisi ve bir sayıbirAAk ∈ [ n ]nnnk ∈ [ n ]k∈[n]k\in [n] Çıktı: "rütbe unsuru" (yani, pozisyon bir ise sıralama)A k AkkkbirAAkkkbirAA Yöntem: bir öğe varsa , onu döndürünbirAA Rastgele olarak eşit bir öğesi ("pivot") seçinppp Setleri …

14 algorithms  algorithm-analysis  probability-theory  randomized-algorithms 

Bunun şu anda almakta olduğum bir ders için ödevimin bir parçası olduğunu belirlemek istiyorum. Devam etmek için yardım istiyorum, CEVAP DEĞİL. Söz konusu soru şu: Yönlendirilmemiş bir grafikte 5 köşeli bir yıldız 5 kliptir. Göster ki 5-POINTED-STAR , 5-POINTED-STAR = , alt çizgi olarak 5 köşeli bir yıldız içerir .∈P∈P\in …

14 complexity-theory  time-complexity 

I hesaplanmasında ilgi am 'bir inci gücü n x n matris A . Matris çarpımı için O ( M ( n ) ) zamanında çalışan bir algoritmamız olduğunu varsayalım . Daha sonra, kolayca hesaplayabilir A , n de O ( M ( n ) giriş ( n ) ) bir …

14 algorithms  complexity-theory  time-complexity  computer-algebra 

Şu anda makine öğrenimi hakkında okuyorum ve Connect Four oynamaya nasıl uygulanacağını merak ettim . Şu anki girişimim sigmoid fonksiyon modelini ve hepsi-bir-hepsi yöntemini kullanan basit bir çoklu sınıf sınıflandırıcısı. Bence, girdi özellikleri 7x6 = 42 ızgara alanının durumu (oyuncu 1'in diski, oyuncu 2'nin diski, boş) olmalıdır. Çıktı, diski yerleştirilecek …

14 machine-learning  board-games 

Terimlerden oluşan basit bir dilimiz olduğunu varsayın: truetrue\mathtt{true} falsefalse\mathtt{false} Eğer t1,t2,t3t1,t2,t3t_1,t_2,t_3 terimlerdir sonra so ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Şimdi aşağıdaki mantıksal değerlendirme kurallarını kabul edin: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: \mathtt{false} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_3} \text{[E-IfFalse]} …

14 logic  semantics  proof-techniques  term-rewriting 

Ben ispat etmeye çalışıyorum ikili ağaç ile düğümler en fazla sahip ⌈ nnnnyaprak. Bunu tümevarım ile nasıl yapabilirim?⌈ n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Yığınlar hakkındaki orijinal soruyu takip eden insanlar için buraya taşındı .

14 data-structures  binary-trees  combinatorics  graph-theory  proof-techniques 

Önbellek-habersiz algoritmalar ve veri yapıları , Frigo ve ark. içinde Cache-habersiz algoritmalar 1999 . Prokop'un aynı yılki tezi de ilk fikirleri tanıtıyor. Frigo ve ark. teorinin ve önbellek-habersiz algoritmaların ve veri yapılarının potansiyelini gösteren bazı deneysel sonuçlar sunar. Birçok önbellek-habersiz veri yapısı statik arama ağaçlarına dayanır. Bu ağaçları saklama ve …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

Let bir bağlam-dilbilgisi. Terminalleri ve nonterminallerin bir dize G bir olduğu söylenir cümlesel formu arasında G Eğer üretimlerini uygulayarak alamazlarsa G başlangıç simgesi sıfır ya da daha fazla kez S . Let SF ( G ) arasında cümlesel formlarının kümesi G .GGGGGGGGGGGGSSSSF(G)SF⁡(G)\operatorname{SF}(G)GGG Let ve izin β bir alt dizisi a …

14 formal-languages  context-free  formal-grammars  closure-properties 

Ünlü deterministik doğrusal zaman seçim algoritmasını (medyan algoritmasının medyanı) bir arkadaşına açıklıyordum . Bu algoritmadaki özyineleme (çok basit olsa da) oldukça karmaşıktır. Her biri farklı parametrelere sahip iki özyinelemeli çağrı vardır. Böyle ilginç özyinelemeli algoritmaların diğer örneklerini bulmaya çalışıyordum, ancak bulamadım. Gelebileceğim tüm özyinelemeli algoritmalar ya basit kuyruk özyinelemeleri ya …

14 algorithms  recursion