Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

2
Ağaçları kapsayan bütünlük
Bir yaprak kümesi, konakçı grafikte tam bir alt çizgi oluşturuyorsa, bir grafiğin yayılan ağacına tamlık ağacı denir. Bir grafik ve bir tamsayı k verildiğinde, G en fazla k yapraklı bir bütünlük ağacı içeriyorsa karar vermenin karmaşıklığı nedir?GGGkkkGGGkkk Bu soruyu sormanın bir nedeni, bağımsızlık ağaçları için karşılık gelen sorunun NP-tamamlanmış olmasıdır, …
1
Dışbükey teknenin birim topunu içerip içermediğini kontrol etmek NP'de mi?
boyutlu Öklid uzayında bir nokta kümesi verildiğinde , sorun dışbükey gövdenin başlangıçta ortalanmış birim topunu içerip içermediğini belirlemektir.nnnddd Bu problem NP'de mi? Bir tanık olarak dışbükey gövdenin dışında topta bir nokta verebilir ve doğrusal programlama kullanarak bu gerçeği doğrulayabilir. Buradaki ilgi alanım, kareköklerle ilgili bilgisayar hassasiyetinde değil, ancak bu da …
2
Dil üretmek için en küçük Boole devresi
uzunluğundaki ikili dizelerin boş olmayan dilini düşünün . , girişli bir Boolean devresi ile ve doğru olduğunda bir çıkışla tanımlayabilirim : bu iyi bilinir.n L C n C ( w ) w ∈ LLLLnnnLLLCCCnnnC( w )C(w)C(w)w ∈ Lw∈Lw \in L Ancak, temsil etmek istiyorum bir Boolean devresi ile ile çıkışları …
2
Tür teorisinde sonlu kümeler teorisinin resmileştirilmesi
Çoğu kanıt asistanı "sonlu küme" kavramının resmileştirilmesine sahiptir. Bununla birlikte, bu resmileştirmeler çılgınca farklıdır (her biri esasen eşdeğer olmasını umuyor olsa da!). Bu noktada anlamadığım şey, ilgili tasarım alanı ve her bir formalizasyonun artıları ve eksileri. Özellikle, aşağıdakileri anlamak istiyorum: Basit tip teorisinde sonlu kümeleri (sonlu sayıda nüfusun yaşadığı tipler) …
1
,,sınıfları
Bu sınıfları anlamaya çalışıyordum ama hep kafam karıştı ... sorular: ve # P arasındaki ilişki nedir, özellikle açık bir soru mu?FN-PFNPFNP# P#P\#P ve N P arasındaki ilişki nedir ? bu soru açık mı?⊕ P⊕P\oplus PN-PNPNP ve P F N P arasındaki ilişki ne olacak ? bu soru açık mı?P'HPHPHPFN-PPFNPP^{FNP}
1
Grafik İzomorfizma UP mı
grafik izomorfizmi (karar problemi) ? Burada U P , kesin bir Turing makinesi tarafından kabul edilen karar problemleri sınıfıdır ( karmaşıklık hayvanat bahçesine bakınız ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}
1
doğal bir sorun mu var?
karmaşıklık sınıfı aşağıdaki gibi tanımlanmıştır ( Wikipedia'dan ):SP2S2P\textrm{S}_2^\textrm{P} Polinom-zaman yüklemi P varsa , L dili S_2 ^ P'dedir .LLLSP2S2PS_2^PPPP Eğer x∈Lx∈Lx \in L , daha sonra vardır yyy gibi tüm bu zzz , P(x,y,z)=1P(x,y,z)=1P(x,y,z)=1 Eğer x∉Lx∉Lx \notin L , daha sonra vardır zzz gibi tüm bu yyy , P(x,y,z)=0P(x,y,z)=0P(x,y,z)=0 burada …
1
Bir polinomun tamsayı kökleri
Tamsayı katsayıları olan bir polinom in tüm tam sayı köklerini bulmak için hangi algoritmayı kullanabiliriz ?f( x )f(x)f(x) Sage'nin katsayıları çok büyük olsa bile birkaç saniye içinde kökleri bulabileceğini gözlemliyorum . Bunu nasıl yapabilir?f( x )f(x)f(x)
1
Eşlik öğrenme sorusu
Bir bit kümesi üzerinden bir işlev sınıfı tanımlayalım . Birbirinden "makul" farklı iki p , q dağılımını düzeltin (isterseniz, varyasyon mesafesi en az ϵ veya benzer bir şeydir).nnnp , qp,qp, qεϵ\epsilon Şimdi bu sınıftaki her fonksiyonu bir k indeksi S koleksiyonu ile tanımlanır ve aşağıdaki gibi değerlendirilir: Seçilen bitlerin paritesi …
4
Ağaç çözünürlüğü için kolay olmayan kolay bir SAT durumu
Aşağıdaki özelliklere sahip, tercihen literatürde daha önce incelenmiş olan CNF formüllerinin doğal bir sınıfı var mı :CCC , Horn veya 2-CNF gibi kolay bir SAT örneğidir, yani C üyeliğipolinom zamanında test edilebilir ve F ∈ C formülleripolinom zamanında tatmin edilebilirlik açısından test edilebilir.CCCCCCF∈CF∈CF\in C Uyumsuz formüller kısa (polinom boyutu) ağaç …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.