«reference-request» etiketlenmiş sorular

Değil tüm eşit -SAT sorunu (NAE k verilen bir dizi -SAT), C bir dizi üzerinde maddelerin X her maddesi en fazla ihtiva ettiği şekilde Boole değişkenlerin k değişmezleri, değişken şekilde bir gerçek atama var olup olmadığını sorar her cümle en az bir doğru ve en az bir yanlış hazır bilgi …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Yazıda "Gerçeklenebilirlik sorunlarının karmaşıklığı" Thomas J. Schaefer, yazar ifade etmiştir This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be instructed to …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

Ben tanıtan üzerinde çalıştığım bazı sonuçlar teorik biyoloji, özellikle içine hesaplama karmaşıklığı gelen evrim ve ekoloji ilginç / biyologlar için yararlı olma hedefi ile. Karşılaştığım en büyük zorluklardan biri, düşük sınırlar için asimptotik en kötü durum analizinin kullanışlılığını haklı çıkarmak. Bilimsel bir izleyiciye alt sınırları ve asimptotik en kötü durum …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

Birleşme algoritması ile Gauss eleme işlemi arasındaki bağlantıyı kesin olarak açıklayan referansları bilen var mı ? Özellikle üçgen ikameleri ve LU ayrışımları arasındaki ilişkiyle ilgileniyorum . Wayne Snyder ve Jean Gallier, bu analojiden, Yüksek Dereceli Birleşme Yeniden Yapılandı: Komple Dönüşüm Kümelerini yazdıklarında yazdıklarından bahseder .

22 reference-request  lo.logic 

Nonononik LR ayrıştırma ile çalışırken , O ( n 2 ) zamanında tam olarak net olmayan gramerleri tam olarak ayrıştırma yeteneğine sahip bir ayrıştırma yöntemi (sınırsız boyutta tablolarla, biraz pratik değildir ) düşündüm ve daha iyisini yapmanın mümkün olup olmadığını merak ettim. :O ( n2)O(n2)O(n^2) Belirsiz gramerlerin tümü doğrusal zamanda …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Bu soruyu anlamak için hangi makaleleri okumam gerektiğini merak ediyordum. Cebirsel geometri veya daha yüksek kohomoloji gibi matematiğin diğer alanlarına beklenmeyen bir bağlantı. Belki de henüz bir matematik alanı gelişmedi. Belki birileri P'ye karşı NP sorusunu ele almak için matematik için yepyeni bir yön geliştirecektir. - Fortnow 2002’den Sorunun bir …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

Aşağıdaki sonuç için bir referans arıyorum: Faktörlü gösterimde iki tamsayı eklemek, normal ikili gösterimde iki tamsayı faktoring kadar zordur. (Orada olduğundan eminim, çünkü bu bir noktada merak ettiğim bir şeydi ve nihayet baskıda gördüğümde heyecanlanmıştı.) "Katsayıları gösteriminde iki tamsayı ekleme" sorun: iki sayı asal çarpanlama verilen ve y , çıkış …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

Bir tensör vektörler ve yüksek boyutlara matrisler ve bir genellemedir sıralaması bir tensörünün de matris sıralamasını genelleştirilmiş. Yani, bir tensörünün sıralaması TTT sıralaması sayısının en az bir tensörü için toplamı yani TTT . Bir vektör ve matris, sırasıyla derece 1 ve 2 tensörleridir. elementler FTTT alanından gelir . Eğer F …

22 ds.algorithms  reference-request  computability  tensor-rank 

olduğuna inanmak ya da ye inanmak için herhangi bir gerekçe var mıdır ?N L ≠ LN-L = LNL=LNL=LN-L ≠ LNL≠LNL\neq L olduğu bilinmektedir . Arasında derandomization literatürü oldukça tatmin edici olduğunu . ikna eden bazı makaleler veya fikirler hakkında bilgisi olan var mı ? R L R, L = L …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Bu soru, artırma yollarını bulmak için DFS kullanırken Ford-Fulkerson maksimum akış algoritmasının zaman karmaşıklığı ile ilgilidir . DFS'nin kullanılmasının, maksimum akışta doğrusal bir sayıda yinelemeye ihtiyaç duyabileceğini gösteren iyi bilinen bir örnek vardır, örneğin yukarıdan bağlantılı Wikipedia sayfasına bakın. Bununla birlikte, bu örnekle gerçekten ikna olmadım: standart bir DFS uygulaması, …

22 ds.algorithms  reference-request  max-flow 

CS'da, etkili algoritmaların bilinmediği problemler var mı, buna rağmen, bu tür verimli algoritmaları kanıtlayan varlık teoremlerine rağmen var mı? Bu sorunların adı ne? Daha fazla bilgiyi nerede bulabilirim?

22 ds.algorithms  reference-request  terminology 

Yaklaşım algoritmaları tasarlanırken, bazen bir yuvarlama basamağı izleyen yarı-yarı zamanlı bir program çözülür. Bunu göstermek için sıklıkla kullanılan bir örnek Max-Cut. (Bkz. Örneğin Vijay Vazirani'nin Yaklaşım Algoritmaları.) Analizlerinde kullanılan daha karmaşık yuvarlama algoritmalarını ve tekniklerini açıklamak için Max-Cut probleminin ötesine geçen iyi eğitim kaynakları veya anketler var mı? SDP çözümünün …

22 ds.algorithms  reference-request  approximation-algorithms  semidefinite-programming  csp 

Let bir grafiktir olabilir. Bir köşe için tanımlama, (açık) mahalle olarak de . Yani, N (x) = \ {y \ 'de V \, \ vert \, \ {x, y \} \, E \} . İki köşe tanımlama u, v içinde G olduğu ikiz ise u ve v , komşu aynı …

22 ds.algorithms  reference-request  graph-algorithms 

Ben sadece sorumun cevabının "evet" olduğunu varsaydığımı fark ettim ama iyi bir nedenim yok. Belki de sadece en kötü durumdaki yavaşlamayı kanıtlayan bir çöp toplayıcı olduğunu hayal ediyorum . Alıntılayabileceğim kesin bir referans var mı? Benim durumumda tamamen işlevsel bir veri yapısı üzerinde çalışıyorum ve bu detaylar önemliyse, Standart ML …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

Temel referanslar nelerdir? SGT ve genel olarak CS'ye uygulamaları ve daha özel olarak makine öğrenmesi için iyi, üst düzey anketler ve uygulamaları var mı?

22 reference-request  spectral-graph-theory