Teorik Bilgisayar Bilimi

Immerman-Vardi teoremi ptime (veya P) düzenli yapıların sınıfı üzerinde sabit bir nokta operatörü ile birlikte Birinci Dereceden Mantık bir cümle ile tarif edilebilir dillerin sınıf tam olduğunu belirtmektedir. Sabit nokta operatörü ya en az sabit nokta (Immerman ve Vardi tarafından değerlendirildiği gibi) ya da enflasyonist sabit nokta olabilir. (Stephan Kreutzer, …

38 cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory 

TCS teoremlerini ispat tekniği ile organize eden ve tartışan referanslar (online ya da kitap şeklinde) var mı? Garey ve Johnson bunu NP eksiksizliği kanıtları için gereken çeşitli widget yapıları için yapıyorlar (özellikle kitaplarının 3. bölümünde), ancak TCS'deki ispat tekniklerini daha geniş bir şekilde ele alan herhangi bir şey olup olmadığını …

38 reference-request  proof-techniques 

Bunu son zamanlarda duydum - "deterministik olmayan bir makine, olasılıksal bir makine ile aynı değildir. Ham terimlerle, deterministik olmayan bir makine, geçiş olasılıklarının bilinmediği bir olasılıksal makinedir". Anladığım kadarıyla hissediyorum ama gerçekten anlamıyorum. Birisi bana bunu açıklayabilir mi (makineler bağlamında veya genel olarak)? Düzenleme 1: Açıklığa kavuşturmak için, alıntı sonlu …

38 automata-theory  randomness  computability 

Karmaşıklık sınıfı , en fazla bir tane hesaplama yoluna sahip olan polinom zaman belirsiz bir makinesi tarafından kararlaştırılabilecek olan oluşur . Yani, eğer varsa çözüm bu anlamda benzersizdir . Her şey pek olası düşünülmektedir -Sorunları içindedir çünkü tarafından, Yiğit-Vazirani Teoremi bu çöküş anlamına gelecektir .UPUP\mathsf{UP}NPNP\mathsf{NP}UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} Öte yandan, hiçbir olduğu bilinmemektedir; …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

Teorik bilgisayar bilimi ve matematik arasındaki sınır çizgisini ayırt etmek her zaman kolay olmadığından oldukça belirsiz bir soru soracağım. SORU: CS'de ZFC'den bağımsız (yani standart küme teorisi) ya da ZFC'de (+ bazı diğer aksiyomlarda) kanıtlanmış ve daha sonra ZFC alorinde kanıtlanmış herhangi bir ilginç sonucun farkında mısınız? Soruyorum çünkü doktora …

37 reference-request  lo.logic  set-theory 

Teorik bilgisayar bilimi ile ilgili konularda her zaman bir uygulama yolu vardır. Ancak ders kitapları ve lisans dersleri genellikle otomata teorisinin önemli bir konu olmasının nedenini ve hala uygulamada uygulamalarının olup olmadığını açıklamıyor. Bu nedenle lisans öğrencileri, otomat teorisinin önemini anlamada güçlük çekebilir ve bunun artık pratik bir kullanım olmadığını …

37 soft-question  fl.formal-languages  automata-theory  teaching 

göz önüne alındığında çok sayıda geometrik problem kolaydır , ancak için de NP tamamlandı (en sevdiğim problemlerden biri, birim disk kapağı dahil).R, d d ≥ 2R,1R,1R^1R,dR,dR^dd≥ 2d≥2d\geq2 Polytime çözülebilir için bir sorun olduğunu bilen var mı ve R 2 , fakat için NP-tam Ar d , d ≥ 3 ? …

37 cc.complexity-theory  reference-request  cg.comp-geom 

Bu soru, mathoverflow'ta uygulamalı matematik hakkındaki benzer bir sorudan ilham alır ve P ile NP gibi TCS'nin önemli sorularının ZFC'den (veya diğer sistemlerden) bağımsız olabileceğini düşündürmek gibi dürtücü bir düşünceden ilham alır . Küçük bir arka plan olarak, ters matematik , bazı önemli teoremleri kanıtlamak için gerekli olan aksiyomları bulma …

37 cc.complexity-theory  lo.logic  proof-complexity 

Karekök toplamı sorunu, iki sekans verilen sorar ve toplamı olup, pozitif tamsayılar az, buna eşit veya daha büyük bir sum toplamından . Bu sorunun karmaşıklık durumu açık; bkz Bu yayını daha detaylı bilgi için. Bu problem, hesaplama geometrisinde, özellikle de Öklid'in en kısa yollarını içeren problemlerde doğal olarak ortaya çıkar …

37 ds.algorithms  big-list  reductions  computing-over-reals 

Boş zamanlarımda TCS yapmayı seviyorum. Son zamanlarda hobi olarak araştırma yapmaya çalışıyordum. Bunu tam zamanlı olarak yapan insanlardan ilave girdiler almak istiyorum: - Bunu "sadece eğlence için" yapmanın mümkün olduğunu düşünüyor musunuz? Hiç doktora almaya niyetim yok. - Hangi kaynakları önerirsiniz?

37 soft-question  advice-request  research-practice 

Polinom hiyerarşisinin ilk seviyesinin (yani NP ve yardımcı NP) PP olduğunu ve olduğunu biliyoruz . Toda'nın Teoreminden P H ⊆ P P P olduğunu da biliyoruz .PP⊆ PSPBir cEPP⊆PSPACEPP \subseteq PSPACEP'H⊆ PPPPH⊆PPPPH \subseteq P^{PP} olup olmadığını biliyor muyuz ? Değilse, neden olmasıdır P bir ile P P kahin daha güçlüdür …

37 cc.complexity-theory  counting-complexity  polynomial-hierarchy 

Halka açık bir soruyu gördüğünüzde, burada borsanın değiş tokuşunu yaptığınız, cevabını bildiğiniz için, mevcut araştırma projesinin bir parçası olarak baktığınız için ne yapmalısınız? Örneğin, son zamanlarda sorun üzerinde çalıştığım için cevabı bildiğim bir TCS.SX sorusu görüyorum. Sonuçları henüz yazmayı tamamlamadım ve kabul edilebilir bir makale oluşturmak için birkaç sonuç daha …

37 soft-question  research-practice  authorship 

Güncelleme : Tüm monokromatik-dikdörtgen içermeyen 4-renklendirmeler için engelleme kümesi (yani, renklendirilebilir ve renklendirilemez ızgara boyutları arasındaki NxM "bariyeri") şimdi bilinmektedir . 5 renk denemek isteyen var mı? ;) Aşağıdaki soru Ramsey Teorisi'nden kaynaklanmaktadır . Bir göz önünde arasında -Renklendirme N -by- m ızgara grafiği. Bir aynı renk ile dört hücre …

37 co.combinatorics  puzzles  open-problem  ramsey-theory  graph-colouring 

Bilgisayar programlarının gittikçe artan karmaşıklığı ve gittikçe önem taşıyan konum bilgisayarları toplumumuzda var ve neden kodun doğru çalıştığına dair resmi bir kanıt vermek zorunda olduğunuz programlama dillerini neden toplu olarak kullanmadığımızı merak ediyor. Terimin 'onaylayıcı bir derleyici' olduğuna inanıyorum ( burada buldum ): bir kodun yalnızca kodu yazması gereken değil, …

37 reference-request  complexity-classes  computability  pl.programming-languages 

Anladığım kadarıyla, geometrik karmaşıklık teorisi programı , karmaşık değerli bir matrisin izinsizliğinin hesaplayıcıdan çok daha zor olduğunu kanıtlayarak ayırmaya çalışır .VP≠ VN-PVP≠VNPVP \neq VNP GCT Makalelerini gözden geçirdikten sonra yaşadığım soru: Bu hemen anlamına mı geliyor , yoksa bu hedefe doğru atmak için sadece büyük bir adım mı?P≠ NPP≠NPP \neq …

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct