Teorik Bilgisayar Bilimi

Hepinizin bildiği gibi, 2008 Mali Krizi'nden süregelen bir düşüş var. Karmaşıklık teorisinin tüm bunlara nasıl oturduğunu düşünüyordum, Finansal Ekonomi ile ilgili temel karmaşıklık sınıflarını bilmediğimi fark ettiğimde. Benim sorum şu: Markowitz'in Portföy Teorisinin genel olarak ve özellikle CAPM modelinin karmaşıklık sınıflandırması (varsa) nedir? Ayrıca, karmaşıklık teorisinin Finansal Krizle ilişkisine ilişkin …

9 cc.complexity-theory  gt.game-theory  ce.computational-finance 

Boole fonksiyonunun karar ağacı karmaşıklığında, çok iyi bilinen bir alt sınır yöntemi, fonksiyonu temsil eden (yaklaşık) bir polinom bulmaktır. Paturi , simetrik boole (kısmi ve toplam) fonksiyonlar için belirtilen miktar bakımından bir karakterizasyon verdi :ΓΓ\Gamma Teoremi ( Paturi ) Let ve anlamında olabildikleri, bir sabit olmayan bir simetrik fonksiyon zaman …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

Özdeş olması hesaplama modeli MPostBQP tanımla PostBQP biz yazı-seçimi ve nihai ölçümden önce polynomially birçok qubit ölçümleri izin haricinde. MPostBQP'nin PostBQP'den daha güçlü olduğunu gösteren herhangi bir kanıt verebilir miyiz? Son ölçümü yapmadan önce çoklu ölçüm ve seçim sonrası turlara izin vermek için MPostBQP [k] tanımlayın. Endekslemeyi MPostBQP [1] = …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

son zamanlarda, Craig Gentry tamamen homomorfik olan ilk ortak anahtar şifreleme şemasını (düz metin alanı üzerinde {0,1}) yayınladı, yani gizli şifre çözme anahtarı bilgisi olmadan şifrelenmiş düz metinlerde AND ve XOR'u etkili ve kompakt bir şekilde değerlendirebilir. Bu ortak anahtar şifreleme sistemini herkesin VE VE XOR'u şifreleyebileceği bir eşik ortak …

9 cr.crypto-security  circuit-complexity  homomorphic-encryption 

Doğal fenomenden esinlenilen iyi bilinen hesaplama örnekleri kuantum bilgisayarlar ve DNA bilgisayarlardır. Maxwell yasaları veya yerçekimi ile hesaplama potansiyel ve / veya sınırlamaları hakkında ne biliniyor? Yani, doğanın "hızlı" çözümlerini Maxwell denklemlerine veya n-vücut problemine doğrudan genel amaçlı bir algoritmaya dahil etmek?

9 computability  machine-models  physics  natural-computing 

Bu, UP'nin Sonuçlarının NP'ye eşit olduğu bir yazı ve aynı zamanda Anlambilim ve Sözdizimsel Karmaşıklık Sınıfları için bir takip sorusudur . Yukarıdaki yazıda semantik ve sözdizimsel sınıfları öğrendik . Kısaca, bir sınıf bir yaprak dili sınıfı , eğer , yani dilinin tamamlayıcıysa sınıf sözdizimseldir. dilinin ; aksi halde buna semantik …

9 cc.complexity-theory  complexity-classes  big-picture 

Buradaki soruya atıfta bulunuyorum: uygulamak için çok karmaşık güçlü algoritmalar . Bir algoritma güçlü ancak uygulanamayacak kadar karmaşıksa, algoritmanın doğru olduğundan nasıl emin olabilirsiniz? Uygulama olmadan, algoritmayı gerçek dünya senaryosunda test edemezsiniz ve böyle karmaşık bir algoritma, algoritmayı geçersiz kılabilecek hatalar içerebilir. Anlamadığım şey bu; bir algoritmanın doğruluğunu kanıtlamak için …

9 ds.algorithms  implementation 

Kendimi kesişen çokgen (ayrıca delik yapısı ile çokgen) nirengi üzerine sert zaman bulma algoritması veya yayınlanmış makalelerim vardı. Herhangi biri yayınlanmış makaleyi / algoritmayı bulmam için bana rehberlik edebilir mi? PS: birisi bu soruyu uygun şekilde etiketleyin lütfen, bunu yapmak için yeterli itibar puanım yok.

9 ds.algorithms  reference-request  cg.comp-geom 

K-SAT'a iyi ve nazik bir giriş yapmak için nereye başvurabileceğimi bilmek istiyorum (bu, iyi bir bilgisayar bilimi geçmişine sahip olmayan matematikçiler için olabilir). Ayrıca, k-SAT'ı çözmek için kullanılan mevcut yöntemleri araştıran veya açıklayan makaleler bilmek istiyorum. Son olarak, k-SAT'ı çözmek için en iyi bilinen yöntemlerle ilgileniyorum. En iyi ortalama durum …

9 reference-request  sat  survey 

Deneyimlerime göre, içeriğe duyarlı diller ve doğrusal sınırlı otomatalar, hesaplanabilirlik teorisi derslerinde sıklıkla atlanır veya esinlenir ve sonlu ve aşağı itmeli otomata çok dikkat çekse de bazı önemli ders kitaplarının dışında bırakılır. Elbette LBA'lara muadillerinden daha az odaklanma için iyi bir neden olmalı?

9 computability  fl.formal-languages  automata-theory 

İzin Vermek VVV bir dizi olmak DDDboyutlu dikdörtgen şekiller. İçind∈{1,...,D}d∈{1,...,D}d \in \{1,...,D\} ve v∈Vv∈Vv \in V, wd(v)∈Q+wd(v)∈Q+w_d(v) \in \mathbb{Q}^{+} uzunluğunu açıklar vvv boyutta ddd. Konteyner için aynı gösterim kullanılırCCC. DDDboyutlu dikey paketleme problemi (OPP-DDD) karar vermek VVV kabın içine sığar CCCüst üste gelmeden. Resmi olarak konuşursak, sorun,∀d∈{1,...,D}∀d∈{1,...,D}\forall d \in \{1,...,D\} …

9 cc.complexity-theory  reference-request  np-hardness  packing 

Üzerinde çalıştığım bir proje için, sınırlı yükseklikte rastgele yayılmış ağaçlar üretmeliyim. Temel olarak aşağıdakileri yapıyorum: 1) Yayılan bir ağaç oluşturun 2) Fizibiliteyi kontrol edin, mümkünse saklayın. 1) Minimum yayılan ağaçtan (Prim veya Kruskal) Başlangıçta var olmayan bir kenar ekliyorum ve bu bir döngü yaratıyor, bu döngüyü tespit ediyorum ve bu …

9 ds.algorithms  graph-algorithms  random-walks 

Benim bir devamı olarak önceki soruya Hsien-Chih Chang tarafından çözüldü, burada Ramsey teoreminin uygun bir genelleme bulmak için başka bir girişimdir. (Önceki soruyu okumanıza gerek yok; bu yazı müstakildir.) Parametreler: tamsayıları verilir ve sonra yeterince büyük olacak şekilde seçilir. Terminoloji: alt kümesi, boyutunun bir alt kümesidir .1≪d≪k≪n1≪d≪k≪n1 \ll d \ll …

9 reference-request  co.combinatorics  ramsey-theory 

acaba bir SAT / SMT örneği olarak Time-Windows ( VRPTW ) ile bir Araç-Yönlendirme-Sorunu (karar sorunu olarak) formüle herhangi bir yaklaşım olup olmadığını merak ? (alternatif: TSP) Örneğin: "Zaman pencerelerindeki tüm müşterileri n = 10 araçla ziyaret eden geçerli bir çözüm var mı?" Bu karar sorunu, kullanılan araç sayısını en …

9 ds.algorithms  reference-request  sat  reductions  tsp 

Aşağıdaki karar sorunu NP-tamamlanmış mı? İzin Vermek GGG yönlendirilmemiş bir grafik olmak ve b≤cb≤cb \le c iki tamsayı. Her köşe noktası için seçim yapmak mümkün müGGG kesinlikle bbb farklı komşular öyle ki hiçbir düğüm daha fazla seçilmeyecek ccc zamanlar. Durum b=1b=1b = 1 herhangi biri için çözülebilir ccc maksimum eşleme …

9 cc.complexity-theory  np-hardness  graph-algorithms