Teorik Bilgisayar Bilimi

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

2
NFA evrensellik koşulları
Belirsiz bir sonlu otomata ve bir işlevi . Ek olarak .A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i Şimdi aşağıdaki ifadeyi analiz edelim: Eğer , daha sonra .Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* Bunu yapmak kolaydır, için doğrudur, bu nedenle eğer otomatlar uzunluğa kadar her …
17
Geometriden içgörünün, tamamen geometrik olmayan bir şeyi çözmek için yararlı olduğu örnekler
Üç mekansal boyutta bir evrende evrimleşmenin güzel şeylerinden biri, uzaydaki nesnelerle ilgili problem çözme becerileri geliştirmemizdir. Dolayısıyla, örneğin, üç boyutlu bir sayı olarak üçlü bir sayı olarak düşünebiliriz ve bu nedenle sayı üçlüleri hakkında 3-b'deki noktalarla ilgili hesaplama olarak düşünebiliriz, bu daha sonra uzay hakkındaki sezgimizi kullanarak çözülebilir. Bu, geometri …
2
Savitch teoreminde daha düşük sınırlar
Her şeyden önce, herhangi bir aptallık için şimdiden özür dilerim. Hiçbir şekilde karmaşıklık teorisi konusunda uzman değilim (ondan uzak! Karmaşıklık teorisinde birinci sınıfımı alan bir lisans öğrenciyim) İşte benim sorum. Şimdi Savitch Teoremi Şimdi bu alt sınırın sıkı olup olmadığını merak ediyorum, yani bu ulaşılamaz. NSPACE ( f ( n …
1
Kanonik göreceli olmayan teknikler var mı?
Birçok alanda, sahada çalışan herkesin ustalaşması gereken kanonik teknikler vardır. Örneğin, logspace azaltmaları için, oluşturulan işlevin tam çıktısını oluşturmaktan değil, her zaman çıktının her bitinin sonucunu yeniden hesaplamak isteyen ve logspace sınırlarını korumaya izin veren kompozisyon için "bit numarası". Benim sorum göreceli olmayan tekniklerle ilgili. Teorisyenler göreceli olmayan temel işlemlerin …
2
Sonsuz sekansların sınırlı girdili çiftleri
İşte çözmeyi başaramadığım bir bilmece. Bu sorunun zaten bilinip bilinmediğini veya kolay bir çözümü olup olmadığını bilmek istiyorum. Bcartesian kapalı kategorilerinin özelliklerini kullanarak bijeksiyonunu tanımlamak mümkündür . Andrej Bauer, blogunda bunun " Yapıcı mücevher: üstelleri hokkabazlık " olarak tanımladığını açıkladı .3N-≅5N-3N≅5N 3^\mathbb{N} \cong 5^\mathbb{N} Bu önyükleme ilginç bir özelliğe sahiptir: …
4
En güçlü ayrıştırıcı nedir?
Yan proje olarak Python'u kullanarak bir dil yazıyorum. Ply adında bir esnek / bizon klonu kullanmaya başladım, ancak bu dilbilgisi tarzında ifade edebileceğim gücün kenarlarına karşı geliyorum ve empedans uyumsuzluğu nedeniyle dilimi kırmakla ilgilenmiyorum alet. Bu nedenle, kendiminkini yazma konusunda hevesli değilim Peki en güçlü çözümleyici türü nedir? Makalelere yapılan …
3
Kaç tane 3-SAT örneği karşılanabilir?
N değişkenlerinde 3-SAT problemini düşünün. Muhtemel belirgin cümleciklerin sayısı: C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. Sorun örnek sayısı mümkün maddeleri kümesinin tüm alt kümelerinin sayısı aşağıdaki gibidir: . Önemsiz olarak, her , en az bir tane tatmin edici bir örnek ve bir …
3
Hamilton döngüsü olmayan rastgele bir grafik nasıl üretilir?
A sınıfı , bir Hamilton döngüsüne sahip tüm boyutundaki grafikleri gösterir. Take - rastgele bu sınıftan grafiği üretmek kolaydır , n , izole düğümleri rastgele Hamilton döngüsü ekleyin ve sonra rasgele kenarları ekleyin.nnnnnn B sınıfı , Hamilton döngüsüne sahip olmayan tüm boyutundaki grafikleri göstersin . Bu sınıftan rastgele bir grafiği …
3
PH'da olmadığı bilinen ancak P = NP ise P'de olacak bir karar sorunu
Düzenleme : As Ravi Boppana doğru bir şekilde işaret onun cevabını ve Scott Aaronson da başka bir örnek eklendi onun cevabı , bu sorunun cevabı Ben hiç beklemiyordu bir şekilde “evet” olduğu ortaya çıktı. İlk önce sormak istediğim soruyu cevaplamadıklarını düşündüm , ancak bazı düşüncelerden sonra, bu yapılar sormak istediğim …
4
Polinom zamanında en büyük bağımsız kümenin bulunduğu maksimal sınıflar?
ISGCI listeleri grafiklerin 1100 sınıfları. Bunların çoğu için INDEPENDENT SET'in polinom zamanında karar verilip verilemeyeceğini biliyoruz; Bunlara bazen IS-easy sınıfı denir . Maksimum IS-easy sınıflarının bir listesini derlemek istiyorum . Bu sınıflar birlikte, bu problem için (bilinen) izlenebilirlik sınırını oluşturur. İzlenebilirliği etkilemeden herhangi bir sınırsız IS-easy sınıfına sınırlı sayıda grafik …
6
Bir C uygulamasının maksimum hesaplama gücü
Kitabın önüne geçersek (veya tercih ederseniz dil spesifikasyonunun herhangi bir versiyonunu kullanırsak), bir C uygulamasının ne kadar hesaplama gücü olabilir? “C uygulaması” nın teknik bir anlamı olduğunu unutmayın: Uygulama-tanımlanmış davranışın belgelendiği C programlama dili spesifikasyonunun özel bir örneğidir. AC uygulamasının gerçek bir bilgisayarda çalışabilmesi gerekmez. Bit-dizili bir temsili olan her …
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.