Teorik Bilgisayar Bilimi

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

1
Ramsey'in set koleksiyonu için teoremi
Dağıtılmış algoritmalar için daha düşük sınırları kanıtlamanın farklı tekniklerini incelerken, Ramsey'in teoreminin aşağıdaki varyantının uygulamaları olabilir - eğer doğruysa. Parametreler: , , verilir ve daha sonra yeterince büyük olacak şekilde seçilir. Terminoloji: alt kümesi, boyutunun bir alt kümesidir .kkkKKKnnnNNNmmmmmm Let .A={1,2,...,N}A={1,2,...,N}A = \{1,2,...,N\} Let tüm oluşur bir -subsets .BBBkkkAAA Let …
3
Kolay Hamilton çevrimi ancak NP-sert TSP içeren grafik sınıfları
Hamilton Döngüsü sorun (HC), belirli bir yönsüz grafik tüm tepe noktaları üzerinden geçer, bir döngü bulunmasında meydana gelmektedir. Gezgin satıcı sorun (TSP) döngüsünde kenarlarının ağırlıklarının toplamı ile ölçülen toplam mesafe belirli bir kenar ağırlıklı grafik tüm tepe noktaları üzerinden geçer ve en aza indiren bir devir bulunmasında meydana gelmektedir. HC, …
1
matris çarpımı
Matrix çarpımı hakkında araştırma yapıyordum, bu yüzden ilk önce wiki matris çarpma algoritmalarını ziyaret ettim , Referanslarda algoritmasınıO(n2log(n))O(n2log(n))O(n^2 log(n)) kullanan bir kağıt buldum , makaleyi okuyacağım ama karmaşık ve okumak çok zaman alır, ancak bu makaleyi okuyan veya bu algoritmayı bilen biri varsa, Bu doğru mu? ve bunu biraz tanımlamak …
2
L'nin devreler açısından bir tanımı var mı?
Turing makineleri ile tanımlanan birçok karmaşıklık sınıfı, düzgün devreler açısından tanımlara sahiptir. Örneğin P, aynı zamanda, tekdüze polinom boyutlu devreler kullanılarak tanımlanabilir ve benzer şekilde, BPP, NP, BQP, vb., Tekdüze devrelerle tanımlanabilir. Peki L'nin devre tabanlı bir tanımı var mı? Açık bir fikir, bazı derinlik sınırlaması olan polinom boyutu devrelerine …
3
İstatistiksel sorgu modeli algoritmaları?
Bu soruyu çapraz doğrulanmış Soru-Cevap bölümünde sordum , ancak CS ile ilgili istatistiklerden çok daha fazlası gibi görünüyor. Tek tek gözlemlerin kendilerinin değil, yani istatistiksel sorgu modelini kullanan veri kümesinin istatistiksel özelliklerinden öğrenen makine öğrenimi algoritmalarından örnekler verebilir misiniz ?
5
Dağıtılmış bilgi işlemde çökme veya Bizans olmayan işlemci hataları
Dağıtılmış bilgi işlem modellerinde iki tür işlemci arızası vardır: (1) Çökme hataları: işlemci durur ve bir daha asla başlamaz. (2) Bizans arızaları: işlemciler olumsuz, kötü niyetli davranıyor. Sorum şu: İncelenen, çökme veya Bizans arızalarını azaltmayan diğer işlemci hatası türleri nelerdir? Ayrıca, daha spesifik bir soru: Bir olasılıkla, adımında bir işlemin …
2
Bir aritmetik devrenin çok doğrusallaştırılmasını değerlendirmek?
Let bir alan üzerinde katsayılı bir çok-değişkenli polinom . Arasında multilinearization ile temsil edilir, , art arda her değiştirilmesi sonucu ile ile . Sonuç açıkça çok hatlı bir polinomdur.p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n)FFFs x d i d > 1 x ipppp^p^\hat{p}xdixidx_i^dd>1d>1d > 1xixix_i Şu sorunu göz önünde bulundurun: üzerinde bir aritmetik devre ve , …
2
Bir süreç başka bir süreci ortaya çıkardığında
Arka planım karmaşıklık teorisi / mantığı (çoğu zaman sadece bir işlemin olduğu yerde) ve dağıtılmış hesaplama ( olduğu ve bir veya daha fazla zaman içinde başarısız olabileceği). Ancak, şimdi başka bir süreci doğurma / yaratma / döndürme süreci hakkında bir şeyler söylemek istiyorum. Buna paralel olarak hesaplama, işletim sistemleri vb. …
2
rastgele dedikoduların karmaşıklığı
Dağıtılmış sistemlerde dedikodu sorunu şu şekildedir. Bir grafik bilgisi GGG ile nnn köşe. Her köşe vvv , tüm düğümlere gönderilmesi gereken bir mesajına sahiptir mvmvm_v. Şimdi, sorum geçici ağ modeli bağlamında (bir düğümün ağın topolojisi, giriş ve çıkış dereceleri ve komşularının kümeleri hakkında herhangi bir ön bilgiye sahip olmadığını varsayıyoruz. …
3
3-küre tanıma problemi NP-tamamlanmış mı?
Üçgen bir 3-manifoldun belirli bir 3-kürecik olup olmadığının belirlenmesinin, 2004 yılında Saul Schleimer tarafından yapılan çalışma ile NP'de olduğu bilinmektedir: "Küre tanıma NP'de yatmaktadır" arXiv: math / 0407047v1 [math.GT] . Bunun son beş-altı yıl içinde NP-tamamlanmış olup olmadığını merak ediyorum. 3-manifold düğüm cinsi problemi gibi benzer problemlerin NP-tam olduğu gösterilmiştir.
1
Referans Talebi: Submodüler Minimizasyon ve Monoton Boolean Fonksiyonları
Arka plan: Makine öğreniminde, genellikle yüksek boyutlu olasılık yoğunluk fonksiyonlarını temsil etmek için grafik modellerle çalışırız . Bir yoğunluğun 1 ile bütünleştiği (toplamlar) kısıtlamasını atarsak, normal olmayan bir grafik yapılı enerji fonksiyonu elde ederiz . G = ( V , E ) grafiğinde tanımlanan gibi bir enerji fonksiyonumuz olduğunu varsayalım …
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.