Bilgisayar Bilimi

Bir sorunun NP-Complete olmadığını kanıtlamak için genel bir teknik var mı? Bu soruyu, bazı problemlerin (aşağıya bakınız) NP-Complete olup olmadığını göstermemi isteyen sınavda aldım. Gerçek bir çözüm düşünemedim ve bunun P'de olduğunu kanıtladım. Açıkçası bu gerçek bir cevap değil. NP-Complete, NP'de bulunan bir dizi problem olarak tanımlanır ve tüm NP …

17 complexity-theory  np-complete  proof-techniques 

İkili yığın ile ilgili birçok tartışmada, normalde yalnızca küçük anahtar bir min-yığın için desteklenen işlem olarak listelenir. Örneğin, CLR bölüm 6.1 ve bu wikipedia sayfası . Min. Yığın için normalde artış anahtarı neden listelenmiyor? O (yükseklik) 'de, artan elemanı (x)' in çocuklarından hiçbiri x'den büyük olana kadar çocuklarının minimumuyla tekrar …

17 algorithms  data-structures  heaps  priority-queues 

Bilgisayar görme ve görüntü işleme arasındaki farklar nelerdir? Örneğin, nesne tanımada bilgisayar görme ve görüntü işlemenin rolleri nelerdir?

17 terminology  computer-vision  image-processing  education 

NP-Intermediate ve NP-Complete arasındaki ilişkiyi anlamak için uğraşıyorum. Ladner'ın Teoremine dayanan P! = NP ise NP'de bir dil sınıfı vardır fakat P'de veya NP-Complete'te yoktur. NP'deki her problem NP-Complete problemine indirgenebilir, ancak şüpheli NPI problemini (tamsayı çarpanlara ayırma gibi) NP-Complete problemine indirgemek için herhangi bir örnek görmedim. Herkes bu veya …

17 np-complete  reductions  factoring 

I testere kadar ben ilişkisel dizi (yani harita veya sözlüğünü) düşünce ve karma tablo aynı kavram vardı Wikipedia o Çok az sayıda ciltleme içeren sözlükler için, bir ilişkilendirme listesi, bağlantılı bir ciltleme listesi kullanarak sözlüğü uygulamak mantıklı olabilir. ... İlişkilendirilebilir bir dizinin en sık kullanılan genel amaçlı uygulaması, bir karma …

17 data-structures  abstract-data-types 

Herhangi bir keyfi analog hesaplama yapmak için hangi işlemlerin yapılması gerekir ? Toplama, çıkarma, çarpma ve bölme yeterli olur mu? Ayrıca, analog hesaplama kullanarak hangi problemlerin izlenebilir olduğunu tam olarak biliyor, ancak dijitalle değil?

17 computability  computation-models  turing-completeness 

Wikipedia'ya göre , herhangi bir normal dil için λ 1 …… , λ k ve p 1 ( x ) , … , p k ( x )LLL sabitleri vardır , böylece her n için uzunluk kelimelerinin s L ( n ) sayısı n, içinde L tatmin denklemiλ1,…,λkλ1,…,λk\lambda_1,\ldots,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\ldots,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLL sL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkn\qquad \displaystyle …

17 formal-languages  regular-languages  combinatorics  word-combinatorics 

Ben sloganı duydum etkileşim algoritmaları daha güçlü dan Peter Wegner . Fikrin temeli, (klasik) bir Turing Machine'nin dış dünya / çevre ile iletişim, yani iletişim (giriş / çıkış) ile başa çıkamamasıdır. Bu nasıl olabilir? Bir şey Turing Makinesinden nasıl daha güçlü olabilir? Bu hikayenin özü nedir? Neden daha iyi bilinmiyor?

17 computability  computation-models 

Aşağıdaki sorunun karar verilebilir olup olmadığını ve nasıl bulunacağını bilmek istiyorum. Gördüğüm her sorun ona "evet" ya da "hayır" diyebilirim, bu yüzden çoğu sorun ve algoritma ( burada sağlanan ) dışında bir çok karar verilebilir mi? Girdi: Yönlendirilmiş ve sonlu grafik , v ve u köşeleri ile Soru: G'de başlangıç …

17 algorithms  computability  graph-theory  undecidability 

SAT çözümleyicileri büyük örnekleri çözmede giderek daha verimli hale geliyor ve çeşitli bağlamlarda arka uç olarak kullanılıyor. Belirli bir alandaki bir problemi çözmek için bunları her kullanmak istediğinde, sadece doğru çözümlere sahip olmakla kalmayıp aynı zamanda kısıtlamaları (gereksiz bile) bir forma koyan geçici bir kodlama bulması gerekir. çözücülerin buluşsal yöntemlerine …

17 reference-request  satisfiability  sat-solvers 

Ben öğreniyorum otomatik teorem ispatlama / SMT çözümleyici / Kanıtı Yardımcıları kendim ve başlangıç süreci hakkında sorular, bir dizi yayınlamak burada . Birleşme Algoritması hakkında okumaya devam ediyorum . Nedir ve Çıkarım Motorları için neden bu kadar önemlidir ? Bilgisayar Bilimi için neden bu kadar önemli?

17 logic  proof-assistants  automated-theorem-proving  smt-solvers  unification 

xorkapı, şimdi sadece 4 nandkapı kullanarak bu kapıyı inşa etmek gerekir a b out 0 0 0 0 1 1 1 0 1 1 1 0 xor = (a and not b) or (not a and b)olan bir¯¯¯¯B + A B¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Cevabı biliyorum ama formülden kapı diyagramı nasıl alınır? DÜZENLE …

17 logic  boolean-algebra 

Sıralı Tutarlılığın Önbellek Tutarlılığından daha güçlü bir özellik olduğu doğru mu? Göre Sorin, Daniel J; Hill, Mark D; Wood, David A: Bellek Tutarlılığı ve Önbellek Tutarlılığı Üzerine Bir Astar , Morgan & Claypool, 2011 sıralı tutarlılık (resmi olarak değil) olarak tanımlanabilir: Sıralı tutarlı bellek modeli, sistemin tüm iş parçacıklarının yüklerini …

17 computer-architecture  cpu-cache  shared-memory 

Hızlı sıralama algoritması aşağıdaki adımlara ayrılabilir Pivotu tanımlayın. Bağlantılı listeyi pivot temelinde bölümlere ayırın. Bağlantılı listeyi özyinelemeli olarak 2 parçaya bölün. Şimdi, her zaman pivot olarak son elemanı seçersem, pivot elemanını (1. adım) tanımlamak zaman alır.O(n)O(n)\mathcal O(n) Pivot elemanını tanımladıktan sonra, doğru bölme noktasını (2. adım) tanımlamak için verilerini depolayabilir …

16 algorithms  algorithm-analysis  sorting  quicksort 

Bu yumuşak bir soru. Şifreleme veya geçmişi hakkında çok fazla şey bilmiyorum, ancak RSA için yaygın bir kullanım, daha uzun bir mesaj göndermek için simetrik bir anahtarı şifreleyerek anahtar değişimi yapmak gibi görünüyor (örneğin, burada iMessage açıklaması ). Diffie-Hellman anahtar değişiminin daha eski (ve benim için daha basit görünen) olduğu …

16 cryptography  history