Teorik Bilgisayar Bilimi

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

5
Dağıtılmış Turing Makinesi?
Ben dağınık sistemlere odaklanmış fakat aynı zamanda teorik bilgisayar bilimi ile ilgilenen bir yüksek lisans öğrencisiyim. Bir turing makinesinin üstünde dağıtılmış bir sistemin resmi bir temsili olup olmadığını merak ediyordum? Yani, dağıtılmış hesaplamadan yararlanmak için bir turing makinesi konseptini genişletmek (varyant yapmak) mümkün müdür? Bir fikir, TM arasında paylaşılan bir …
2
Bir grafikteki maksimum dengesizlik?
Let , bağlı bir çizge düğümü ile ve kenarları . Let Grafik, (tam sayı) ağırlığı ifade ile, grafikte toplam ağırlığı. Düğüm başına ortalama ağırlık . Bırakın , düğümünün ortalamadan sapmasını gösterir . Biz diyoruzdengesizlik düğümünün .GGGG=(V,E)G=(V,E)G = (V,E)V=1…nV=1…nV = 1 \dots nEEEwiwiw_iGGG∑iwi=m∑iwi=m\sum_i w_i = mw¯=m/nw¯=m/n\bar w = m/nei=wi−w¯ei=wi−w¯e_i = w_i …
3
“Bir sorunu çözmek için en basit program” cevabını verecek bir teori var mı?
"Hangi problemlerin hesaplama ile çözülebileceğini" yanıtlamak için hesaplanabilirlik teorisini geliştirdik. Hesaplanabilir problemler için, "En basit olanı aldığım program" sorusuna cevap verecek bir teori var mı? Hesapsal karmaşıklığın soruyu cevapladığını düşünmüyorum. Sanırım ne kadar süreye ihtiyacımız olduğunu düşünüyor (soyut olarak ölçülmesine rağmen). Algoritmik bilgi teorisinin soruyu cevaplayıp yanıtlamadığından emin değilim. Teori, …
1
Yayılma programları, tanık büyüklüğü ve sertifika karmaşıklığı
Bir yayılma programı, burada tanıtılan bir boole işlevini belirtmenin doğrusal-cebirsel bir yoludur . Son zamanlarda, bu model negatif olumsuz yöntemin kuantum sorgu karmaşıklığının sıkı bir karakterizasyonunu (en azından ) sağladığını göstermek için kullanıldı .logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Span programlarını kuantum sorgu karmaşıklığına bağlayan karmaşıklık ölçüsü tanık boyutudur. Bu önlem …
2
Hakim Seti'nin ile yakınlaştırmasının varlığı ?
Genel grafiklerde Dominating Set problemini göz önünde bulundurun ve bir grafikteki köşe noktası sayısı olsun . Açgözlü yaklaşım algoritması faktörü bir yaklaşım garantisi verir yani bu bir çözüm polinom zamanlı olarak bulmak mümkün, öyle ki ; burada , minimum hakim olan bir kümenin boyutudur. Biz bağımlılık geliştirmek olamayacağını gösteren sınırları …
1
Lovasz teta fonksiyonu ve düzenli grafikler (özellikle garip döngüler) - spektral teoriye bağlantılar
Yazı ile ilgili: /mathpro/59631/lovasz-theta-function-and-independence-number-of-product-of-simple-odd-cycles Lovasz normal grafiklerin sıfır hata kapasitesinden ne kadar uzakta? Lovasz sınırının normal bir grafiğin sıfır hata kapasitesine eşit olmadığı bilinen herhangi bir örnek var mı? (Bu cevap aşağıda Oleksandr Bondarenko tarafından cevaplanmıştır.) Özellikle büyük veya eşit kenarların tek döngüleri için bilinen herhangi bir katı eşitsizlik ?777 …
1
Ön düzeltme ve son düzeltme altında açık bağlam içermeyen dillerin kapatılması.
Let bir bağlam-dil ol. Tanımlama öncesi ve sonek kapatılması için , diğer bir deyişle, her içeren 'nin ön ve postfixes ve dolayısıyla kendisi. Benim sorum: bağlamdan bağımsız ve belirsiz bir dilbilgisine sahipse, için de aynı şey geçerli mi?LLLp p c ( L )ppc(L)ppc(L)LLLp p c ( L )ppc(L)ppc(L)LLLLLLLLLp p c …
4
Grafiklerden hipergraflara geçmenin temel zorlukları nelerdir?
Kombinatorik ve bilgisayar bilimlerinde bir grafik-teorik problemi analiz edebileceğimiz birçok örnek vardır, ancak problemin hipergraf analogu için araçlarımız eksiktir. Neden 3 üniform hipergraflarda problemlerin 2 üniform grafiğe göre daha zor olduğunu düşünüyorsunuz? Kök zorlukları nelerdir? Bir mesele, henüz spektral hipergraf teorisi hakkında tatmin edici bir anlayışa sahip değiliz. Lütfen bu …
1
Minimum yol kaplama sorunu
Dağıtılmış bilgisayarlarda çalışıyoruz ve minimum yol kaplaması sorununu azaltan bir karmaşıklık sorunu ortaya çıkardık. Şu anda nasıl çözüleceğini bilmiyoruz. Sorun şudur: Let bir tamsayı olması ve izin ihtiva eden bir grafiktir olmak köşe. Biz her birinde bir çift köşe etiket böyle . Bundan böyle köşe noktalarını etiketlerini kullanarak adlandıracağız. içindeki …
4
Yapılar rastgele olandan daha iyi.
Karmaşıklık teorisindeki rastgele yapılardan daha iyi yapı örnekleri ile ilgileniyorum. Bildiğim böyle bir yapının tek örneği hata düzeltme kodları alanındadır. Cebirsel-geometri kodları, bazı parametrelerde rastgele kodlardan daha iyidir. Bu tür yapay örnekler kolayca yapılabilir. Cebirsel geometri kodları gibi örneklerle ilgileniyorum, burada rastgele bir yapı yapmanın kolay olduğu ve nasıl daha …
1
Minkowski toplamı altında kapatma.
cinsinden iki vektörü grubunun Minkowski toplamıA,B∈RdA,B∈RdA, B \in R^d A⊕B={a+b∣a∈A,b∈B}A⊕B={a+b∣a∈A,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in B \} Sadece ilginç bir sorun duydum (Dan Halperin'e atfedilen): şekli verildiğinde , A \ oplus A = B olacak şekilde A şekli var mı?BBBAAAA⊕A=BA⊕A=BA \oplus …
3
MCTS / UCT Uygulamaları
MCTS / UCT , keşfedilecek umut verici düğümleri seçmek için bir haydut algoritması kullanan bir oyun ağacı arama yöntemidir. Oyunlar rastgele tamamlanır ve daha fazla kazanç sağlayan düğümler daha yoğun olarak araştırılır. Haydut algoritması, yüksek kazanma oranlarına sahip düğümleri keşfetmek ve bilinmeyen düğümleri keşfetmek arasında bir denge sağlar (ve saf …
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.