«reference-request» etiketlenmiş sorular

Doğrusal zamanda düzlemsel bir çokgeni üçgenlemek için şimdiye kadar daha basit algoritmalar / kanıtlar var mı? Bu ünlü sorunun en son teknolojisine ilişkin iyi bir kaynak nedir?

15 reference-request  cg.comp-geom 

Büyük (yönlendirilmiş) bir grafik ve daha küçük bir köklü ağacına sahipsek, izomorfik alt-tabakalarını bulmak için en iyi bilinen karmaşıklık nedir? Her iki nerede alt ağaç izomorfik sonuçları farkında ve de burada ağaç ve vardır Bu grafik ve ağaç durumda düz ya da sınırlı treewidth (ve diğerleri) sahip değil. H G …

15 ds.algorithms  reference-request  graph-theory 

Bir matrisi verildiğinde ( varsayılarak ), sütunların sırasını ve temelini hesaplamak için en hızlı algoritma nedir?m ≥ nm × nm×nm \times nm ≥ nm≥nm \ge n Bir zaman deterministik algoritması ve bir zaman rastgele algoritması anlamına gelen doğrusal matroid kesişimi ile çözülebileceğinin farkındayım . Bir var daha doğrudan matris çarpımı …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

{ X : A x ≤ b , x ≥ 0 } ile tanımlanan bir politop PPP sahibim .{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Soru: bir tepe Verilen vvv arasında PPP , bir komşuları homojen numune için polinom zaman algoritması olduğu vvv grafikte PPP ? (Boyutta polinom, …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

, normal dillerin pompalama özelliğini fazlasıyla tatmin eden LL\mathcal{L}tüm dillerin ailesi olsun . Yani: her biri için L ∈ L , bir orada N ∈ K st her kelime w ∈ L , | w | > N , w = x y z biçiminde yazılabilir, burada: 1. | y …

14 reference-request  fl.formal-languages  automata-theory 

Cebirsel algoritmalar ve karmaşıklık hakkında bilgi edinmek istiyorum. Özellikle PIT ile ilgileniyorum. Sipser'in kitabı veya Arora-Barak'ın karmaşıklık ders kitabı gibi teori hakkında standart ders kitabı okuyan öğrenciler için bir dizi ders notu, kitap, makale ve anket var mı? Referanslar dizisi, yakın zamandaki gelişmiş sonuçları içerecektir.

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits 

Fizikte olduğum için, geometrik açıdan bir çok soruna bakmak için eğitildim. Örneğin dinamik sistemlerde manifoldların diferansiyel geometrisi vb. Bilgisayar biliminin temellerini okuduğumda daima geometrik yorumlar bulmaya çalışırım. Özyinelemeli olarak numaralandırılabilir kümelerin makul bir geometrik yorumu gibi (Diophantine kümeleri ile denkliği kullanarak bunları cebirsel geometri ile birleştirmeye çalıştığım bir parça üzerinde …

14 reference-request  computability  big-picture 

İnanç yayılımının olasılıksal grafiksel modellerde yapılan araştırmalarla çok güçlü bir yöntem olduğu gösterilmiştir. Bununla birlikte, BP hakkında # P-complete problemleri için tamamen polinom randomize yaklaşım şemalarına (FPRAS) sahip olabileceğimiz MCMC yöntemleriyle karşılaştırılabilir bir şey bilmiyorum. Birisi beni bazı referanslara yönlendirebilir mi?

14 cc.complexity-theory  reference-request  graph-algorithms  machine-learning  st.statistics 

Herkesin bildiği gibi, SAT için tamamlandıktan polinom zamanlı birçok kimse azalmalar wrt. Hala A C 0 çok-bir indirimler ile tamamlandı.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Sorularım, indirimler için gereken minimum derinlik nedir? Daha resmi, SAT'ın N P -hard wrt A C 0 d çok-bir indirgenmesi olacak en az nedir ?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Bana göre yeterli olmalı mı? …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

Arkaplan : Matematik yüksek lisans derecemin sonuna geliyorum ve Ağustos ayında Mantık doktora programına başlayacağım. Daha fazla mantık çalıştığımda, daha fazla teorik bilgisayar bilimine maruz kalıyorum, örneğin özyineleme teorisi, lambda hesabı, ancak altta yatan CS, halının altında fırçalanıyor. Başlıca ilgi alanlarım - belirlenmiş teori ve kategori teorisi - bilgisayar bilimlerinde …

14 reference-request  soft-question 

Kapsamlı arama algoritmalarıyla ilişkili karmaşıklık sınıfı nedir? (Eğer biri varsa) NP mi yoksa PSPACE mi? Açgözlü ve dinamik programlama modellerine benzer kapsamlı arama algoritmaları sınıfını yakalayan sınırlı hesaplama modelleri var mı?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

boyutlu alanı düşünün ve , formunun doğrusal bir kısıtlaması olsun , burada , ve .{ 0 , 1 } n c a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + a n - 1 x n - 1 + a …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

Bir süre önce, son birkaç on yılda bilgisayar programlarında görülen hızlanmanın çoğunun daha hızlı donanımdan ziyade daha iyi algoritmalardan geldiğini iddia eden bir çalışma veya makale gördüğümü hatırlıyorum. Çalışmayı veya makaleyi bilen var mı?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

GI ve Knot Probleminin her ikisi de matematiksel nesnelerin yapısal eşdeğerliğine karar verme problemidir. Aralarında bağlantı kuran herhangi bir sonuç var mı? Düğüm probleminin istatistiksel fizikle güzel bağlantıları düğüm polinomları aracılığıyla araştırılmıştır , için benzer sonuçlar var mı?GIGIGI Biri bakarak başlamadan önce herhangi bir standart sonuçlar / uyarı / öneri …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Doktora dersime bu sonbaharda başlıyorum ve tezim için karmaşıklık teorisinde çalışmayı planlıyorum. Her karmaşıklık teorisyeninin bilmesi gereken önemli makalelerin bir listesini derliyorum. Benim gibi birine hangi evrakları önerirsiniz? Ve lütfen makalenin neden önemli olduğunu düşündüğünüzü kısaca açıklayınız.

14 cc.complexity-theory  reference-request  big-list