«cc.complexity-theory» etiketlenmiş sorular

Birisi Mulmuley'nin GCT yaklaşımını uzman olmayan kişilerce anlaşılabilir bir şekilde açıklayabilir mi? Konuyla ilgili bir Wikipedia sayfası için uygun olan bir açıklama (şu anda saplama). Motivasyon: Scott Aaronson'un Quantum Computing adlı kitabını Demokritus'tan bu yana tel teorisinde araştırmacı olan bir arkadaşımla birlikte okuyorum. Kitabın önsözünde, Aaronson GCT'yi “bilgisayar biliminin yaylı …

43 cc.complexity-theory  gct 

Başka bir konu , Joe Fitzsimons "3SAT'taki en iyi güncel alt sınırlar" diye sordu. Diğer yoldan gitmek isterdim: 3SAT'taki en iyi güncel üst sınırlar hangisi ? Başka bir deyişle, en verimli SAT çözücüsünün zaman karmaşıklığı nedir? Özellikle, SAT için üstel (henüz süper polinom) algoritması bulmak düşünülebilir mi?

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

SAT çözücülerinin pratik başarısı için hangi teorik açıklamalar var ve birileri hepsini birleştiren bir "wikipedia tarzı" genel bakış ve açıklama verebilir mi? Analoji ile simpleks algoritması için yapılan düzgünleştirilmiş analiz ( arXiv sürümü )), en kötü durumda üssel olarak zaman almasına ve NP güçlü ( arXiv versiyonu ) olmasına rağmen …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Halen TCS’de hiyerarşi teoremleri hakkında bir anket yazıyorum. İlgili makalelerin araştırılması Hiyerarşinin sadece TCS ve matematikte değil, teoloji ve sosyolojiden biyoloji ve kimyaya kadar birçok bilim dalında temel bir kavram olduğunu fark ettim. Bilgi miktarının çok büyük olduğunu görünce, umarım bu topluluktan yardım isteyebilirim. Tabii ki, benim için bibliyografik bir …

42 cc.complexity-theory  reference-request  big-list  survey 

Gröbner üslerinin teorik bilgisayar bilimine ilginç uygulamalarını bilen var mı ? Gröbner bazları, çok değişkenli polinom denklemlerini çözmek için kullanılır, genelde NP-zor bir problemdir. Bazı izlenebilir özel durumların TCS veya TCS ile ilgili alanlarda (kombinasyon, kodlama teorisi) etkin algoritmalar / yapılar / provalar sağlamak için kullanıldığını merak ediyordum.

41 cc.complexity-theory  reference-request  algebra  polynomials 

Grafik İzomorfizma sorunu (Gl) muhtemelen bir en iyi bilinen bir adaydır NP ara sorun. En iyi bilinen algoritma, çalışma zamanı 2 O ( √) olan üstel üstel algoritmadır.. O GI olmadığı bilinmektedirNPsürece -tamamlamakpolinom hiyerarşiçöker.2O(nlogn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} Graph Isomorphism problemi için yarı-polinomlu bir zaman algoritmasının karmaşıklık teorik sonuçları ne olurdu? GI …

40 cc.complexity-theory  ds.algorithms  graph-theory  graph-isomorphism 

Let algoritmik bir görev olabilir. (Bu bir karar problemi veya bir optimizasyon problemi veya başka herhangi bir görev olabilir.) Eğer NP zor olduğunu varsayarsak , polinom hieararchy'nin çöktüğü anlamına geldiği bilinen "polinom tarafında" olarak adlandıralım. bir polinom algoritması kabul ettiğini varsayarsak , polinom hiyerarşisinin çöktüğünü ima ettiği biliniyorsa, "NP tarafında" …

40 cc.complexity-theory 

Bu devre karmaşıklığı ile ilgili bir soru. (Tanımlar altta.) Yao ve Beigel-Tarui her gösterdi büyüklüğü devre ailesinin s boyutta bir eşdeğer devre ailesi vardır s p O l y ( log s ) derinlik , iki çıkış kapısı simetrik bir fonksiyonudur ve ikinci seviye oluşur, arasında bir K D kapıları …

40 cc.complexity-theory  circuit-complexity  upper-bounds 

Arka fon Gerçek sayılarla yapılan hesaplama, doğal sayılarla yapılan hesaplamaya göre daha karmaşıktır, çünkü gerçek sayılar sonsuz nesnelerdir ve sayılamayan çok sayıda gerçek sayılar vardır, bu nedenle gerçek sayılar sonlu dizilerle sonlu bir alfabe üzerinde sadık bir şekilde gösterilemez. Farklı hesaplama modellerinin: lambda matematiği, Turing makineleri, özyinelemeli fonksiyonlar,… gibi eşdeğer …

40 cc.complexity-theory  cg.comp-geom  computing-over-reals  computable-analysis 

Yaygın tüm inanılmaktadır ϵ > 0ϵ>0\epsilon > 0 , daha çok kez, iki mümkündür n × nn×nn \times n matrisler O ( n2 + ϵ)O(n2+ϵ)O(n^{2 + \epsilon}) süresi. Bazı tartışmalarburada. Araştırmaya daha aşina olan bazı insanlara n'den bağımsız bir k > 0k>0k>0 olduğunu düşünüyorlar mı diye sordum, öyle ki matris …

39 cc.complexity-theory  linear-algebra  big-picture  matrices  matrix-product 

Let PRIMES (aka asallık test ) sorun: Doğal bir sayı verildiğinde , n bir asal sayı mıdır?nnnnnn FACTORING'ın sorun olmasına izin verin : Doğal sayılar dikkate alındığında , m ile 1 ≤ m ≤ n , yok n bir faktör var d ile 1 < d < m ?nnnmmm1 ≤ …

39 cc.complexity-theory  lower-bounds  factoring  primes  p-hardness 

Bu math.stackexchange'ten bir çapraz mesajdır. Tam sayı faktoring sorun göstermektedirler aslında izin: Verilen asal bulmak p i ∈ N , ve tamsayılar e i ∈ , N , öyle ki n = Π k i = 0 , s e i i .n∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

Ryan Williams , sınırsız fan girişi ve geçitleri AND, OR, NOT ve MOD_m ile tüm olası m'ler için sabit derinlik devrelerine sahip olan problem sınıfı olan ACC'ye sınırını koydu. MOD_m kapılarında bu kadar özel olan ne? Herhangi bir Z_m halkası üzerinde bir aritmetik simülasyonu sağlar. Ryan'ın sonucundan önce, MOD_m kapılarını …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

Neden çoğu insan, örneğin Turing azaltmaları yerine NP-bütünlüğünü tanımlamak için birden fazla azaltmayı kullanmayı tercih ediyor?

39 cc.complexity-theory  np-hardness  reductions 

Bazen Ketan Mulmuley'in Geometrik Karmaşıklık Teorisinin, P-NP sorusu gibi karmaşıklık teorisinin açık sorularını çözmenin tek mantıklı programı olduğu iddia edilir. Ünlü karmaşıklık teorisyenlerinin programla ilgili birçok olumlu yorumu var. Mulmuley'e göre, istenen sonuçları elde etmek uzun zaman alacak. Alana girmek, genel karmaşıklık teorisyenleri için kolay değildir ve cebirsel geometri ve …

38 cc.complexity-theory  big-picture  algebraic-complexity  p-vs-np  gct