Bilgisayar Bilimi

Önceki sorumdan şu şekilde , eğlence matematiği olarak Riemann hipotezi ile oynuyorum . Bu süreçte oldukça ilginç bir tekrarlamaya geldim ve adı, indirimleri ve asal sayılar arasındaki boşluğun çözülebilirliğine yönelik izlenebilirliği merak ediyorum. Tersine, her asal sayı arasındaki boşluğu , önceki aday primerlerin tekrarı olarak tanımlayabiliriz . Örneğin, için bir …

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis 

Kombinatorik bilgisayar biliminde önemli bir rol oynar. Algoritmada tasarımın yanı sıra hem analizde hem de kombinasyonel yöntemleri kullanırız. Örneğin , bir grafikte kkk -vertex kapak kümesini bulmak için bir yöntem yalnızca tümünü inceleyebilir (nk)(nk)\binom{n}{k} olası alt kümeler. Binom fonksiyonları katlanarak büyürken,kkksabit bir sabitse, asimptotik analizle bir polinom zaman algoritması ile …

18 algorithms  algorithm-analysis  combinatorics 

Reals Varoluşsal Teorisi olduğunu Pspace , ama olup olmadığını bilmiyorum Pspace Tamamlama . Durum böyle olmadığına inanırsam, bunu nasıl kanıtlayabilirim? Daha genel olarak, bazı karmaşıklık sınıfı X'da bir problem göz önüne alındığında , bunun X-Complete olmadığını nasıl gösterebilirim ? Örneğin, X, olabilir NP , Pspace , EXPTIME .

18 complexity-theory  proof-techniques 

Basitçe söylemek gerekirse, biri 20 kubit gücüne sahip bir kuantum bilgi işlem cihazı inşa edecek olsaydı, böyle bir bilgisayar herhangi bir modern karma algoritmayı işe yaramaz hale getirmek için kullanılabilir mi? Geleneksel bir hesaplama uygulamasında kuantum hesaplamanın gücünü kullanmak bile mümkün müdür?

18 cryptography  quantum-computing  hash 

(Ne zaman) cevaplarından hash tablosu araması O (1)? , Veriler belirli istatistiksel koşulları karşıladığında , karma tabloların en azından amortismana tabi tutulmuş en kötü durum davranışına sahip olduğunu ve bu koşulları genişletmeye yardımcı olacak teknikler olduğunu düşünüyorum.O(1)O(1)O(1) Ancak, bir programcının bakış açısından, verilerimin ne olacağını önceden bilmiyorum: çoğu zaman bir …

18 data-structures  runtime-analysis  hash-tables  dictionaries 

Programlama dillerinde, kapaklar popüler ve sıklıkla istenen bir özelliktir. Wikipedia diyor ki (benimki vurgu): Bilgisayar biliminde, kapatma (...), o işlevin yerel olmayan değişkenleri için bir referans ortamıyla birlikte bir işlevdir. Kapatma, bir işlevin anlık sözcük kapsamı dışındaki değişkenlere erişmesini sağlar. Dolayısıyla, kapanış esasen değişkenleri kendi kapsamının dışında kullanabilen (anonim?) Bir …

18 programming-languages  semantics 

Bugün, Henning Kerstan'ın ("Olasılıksal Geçiş Sistemleri için İz Semantiği") yaptığı bir konuşma ilk kez kategori teorisi ile karşı karşıya geldi. Olasılıksal geçiş sistemlerini ve davranışlarını genel bir şekilde tanımlamak için teorik bir çerçeve oluşturmuştur, yani sayılamayan sonsuz devlet kümeleri ve farklı iz kavramları. Bu amaçla, nihayet ihtiyacı olan modeli oluşturmak …

18 applied-theory  category-theory 

Sabit boyutlu blokları içeren iki temel bellek ayırma işlemi gerçekleştirebileceğiniz bir bellek segmentini (gerektiğinde dosya gibi büyüyebilen veya küçülebilen bir bellek segmenti) düşünelim: bir blok tahsisi artık kullanılmayan önceden tahsis edilmiş bir bloğun serbest bırakılması. Ayrıca, bir gereksinim olarak, bellek yönetim sisteminin şu anda tahsis edilmiş bloklar etrafında hareket etmesine …

18 time-complexity  memory-allocation  operating-systems 

Kuantum bilgisayarların tüm olası durumların üst üste binmesini mantıktan tek bir geçişle işleyebildiğini biliyorum. İnsanların kuantum bilgisayarları özel veya kullanışlı kılan şey olarak işaret ettikleri budur. Bununla birlikte, süperpozisyonel girdileri işledikten sonra, sadece tek bir soru sorabileceğiniz ve tek bir değere daralan bir süperpozisyon sonucunuz olur. Ayrıca, süperpozisyon durumunu klonlamanın …

18 computation-models  quantum-computing 

Tekrarlamayı düşünün T(n)=n−−√⋅T(n−−√)+cnT(n)=n⋅T(n)+cn\qquad\displaystyle T(n) = \sqrt{n} \cdot T\bigl(\sqrt{n}\bigr) + c\,n bazı pozitif sabit c ile için ve T ( 2 ) =n>2n>2n \gt 2cccT(2)=1T(2)=1T(2) = 1 . Yinelemeleri çözmek için Master teoremini biliyorum, ancak bu ilişkiyi kullanarak nasıl çözebileceğimizden emin değilim. Karekök parametresine nasıl yaklaşıyorsunuz?

18 asymptotics  recurrence-relation  master-theorem 

Tüm girişler kümesi sonsuz olduğunda, iki algoritmanın (örneğin, Birleştirme sıralaması ve Naif sıralaması) herhangi bir girdi için aynı sonucu döndürüp döndürmediğini nasıl kontrol edersiniz? Güncelleme: Ben , genel durumda bunun algoritmik olarak nasıl imkansız olduğunu anlattığınız için teşekkür ederim . Dave'in yanıtı , her zaman işe yaramayan, ancak oldukça etkili …

18 computability  formal-methods  software-engineering  software-verification 

Uygulamada, herhangi bir özyinelemenin bir döngü olarak yazılabileceğini (ve tersi (?)) Anlıyorum ve gerçek bilgisayarlarla ölçersek, döngülerin aynı sorun için özyinelemeden daha hızlı olduğunu buluyoruz. Fakat bu farkı yaratan herhangi bir teori var mı yoksa esas olarak emprik mi?

18 time-complexity  recursion  loops 

Hesaplamalı Karmaşıklık ve Turing Makineleri hakkında bir kitap okumaya başlıyorum. İşte alıntı: Bazı kanonik kodlamaya karar verdikten sonra bir algoritma (yani bir makine) bir bit dizesi olarak temsil edilebilir. Bu iddia basit bir gerçek olarak sağlanıyor, ama anlayamıyorum. Örneğin, giriş olarak alan ve hesaplayan ( x + 1 ) 2 …

17 algorithms  turing-machines  computability  computation-models 

Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 Orjinal metin: Göl kenarında görülen ürkütücü gözler Kodlanmış: 0000101100000110011100010101101101001111101011111100011001111110100100101 Huffman kodlamasında neden bir ayırıcıya ihtiyaç yoktur?

17 coding-theory  encoding-scheme  huffman-coding 

Veri sıkıştırma algoritmaları ve veri sıkıştırma için teorik sınır hakkında okuyordum. Son zamanlarda "Kombinatoryal Entropi Kodlaması" adlı bir sıkıştırma yöntemiyle karşılaştım, bu yöntemin ana fikri, dosyayı dosyada sunulan karakterler, frekansları ve dosya tarafından temsil edilen bu karakter permütasyonunun dizini olarak kodlamaktır. Bu belgeler bu yöntemin açıklanmasına yardımcı olabilir: https://arxiv.org/pdf/1703.08127 http://www-video.eecs.berkeley.edu/papers/vdai/dcc2003.pdf …

17 information-theory  data-compression