Teorik Bilgisayar Bilimi

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

2
Bloom filtrelerinin geleneksel analizi yanlış mı?
Bu makale , Bloom filtrelerindeki hata oranının geleneksel analizinin yanlış olduğunu iddia eder, daha sonra gerçek hata oranının uzun ve önemsiz bir analizini sağlar. Bağlantılı makale 2010 yılında yayınlandı, ancak Bloom filtrelerinin geleneksel analizinin çeşitli algoritmalar ve veri yapıları derslerinde öğretilmeye devam ettiğini gördüm. Bloom filtrelerinin geleneksel analizi gerçekten yanlış …
1
için ne gibi kanıtlarımız var
Josh Grochow'un önerisinin ardından, bir önceki sorudan yaptığım yorumu yeni bir soruya dönüştürüyorum. için ne gibi kanıtlarımız var UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP}? Burada UPUP\mathsf{UP} , "evet" örneklerinde benzersiz bir kabul yoluna sahip olan ve "hayır" örneklerinde kabul yolu olmayan polinom zamanı belirleyici olmayan Turing makineleri tarafından tanınan dil sınıfıdır. UP⊆NPUP⊆NP\mathsf{UP} \subseteq …
2
Hamilton Döngüsü ve Hamilton Yolu Sorunlarının farklı karmaşıklıklara sahip olduğu grafik sınıfları
Arama yaparken Grafik Sınıflar ve onların İçermelerin hakkında bilgi Sistemini , ben Hamilton Yolu sorunların karmaşıklığı ise Hamilton Döngüsü sorun NP-tam olduğu için çeşitli grafik sınıfları bulundu DEĞİL da bilinir. Bu sınıflardan bazıları, iki taraflı maksimum derece 3 grafikleri, maksimum derece 3 ızgara grafikleri ve 2 bağlantılı kübik düzlemsel grafiklerdir. …
3
Hangi sınıfta tam olarak% 25 şansla hata yapan rasgele algoritmalar var?
Diyelim ki E (xact) BPP olarak adlandırmamızı sağlayan aşağıdaki BPP varyantını göz önünde bulunduruyorum: Dilin her kelimesini tam olarak 3/4 olasılıkla ve içinde olmayan her kelimeyi kabul eden polinom zaman randomize bir TG varsa bir dil EBPP'de tam olarak 1/4 olasılıkla dil. Açıkçası EBPP BPP'de bulunur, ancak eşit midir? Bu …
2
Grafik İzomorfizmi Sorunu
Graph izomorfizmi problemi üzerine literatür taraması yapıyorum. Okuduğum makalelerin çoğu EM Luks ve Laszlo Babai tarafından yazılıyor. Bu makaleler, grup teorisi ve karmaşıklık teorisi hakkında üst düzey bilgileri kullanır. Bu alanda yeni olduğum için birçok şey benim için net değil. Bazıları bana bu makalelerde sunulan fikirleri ve teknikleri öğrenmenin bir …
1
Teorik Bilgisayar Biliminde Kariyer
Şu anda lise öğrencisiyim, teorik bilgisayar bilimi ve uygulamalı matematik ile ilgileniyorum. Kendime doğrusal cebir, matematik ve somut matematik öğrettim. Birisinin daha iyi algoritmalar yazabilmesi için, birinin olabildiğince fazla matematik bilmesi gerektiğine dair saf bir fikrim var, çünkü yeni yapılar hakkında bilgi edinebilir ve daha sonra bu yapıları daha karmaşık …
2
Yerel olarak sınırlandırılmış üçlü genişlik grafiklerinin genelleştirilmesi
Aşağıdaki grafik sınıfı literatürde biliniyor mu? Grafiklerin sınıfı pozitif tamsayılar parametreli ve , her grafik bulunmaktadır , öyle ki her bir köşe için , alt grafiği en mesafe tüm noktalar üzerinde uyarılan den içinde treewthth en fazla .dddtttG=(V,E)G=(V,E)G=(V,E)v∈Vv∈Vv\in VGGGdddG tvvvGGGttt Yerel olarak sınırlandırılmış trewidth kavramını genelleştirir ve grafiklerde yerel yapıları …
5
Ekonomistler neden hesaplama karmaşıklığına önem vermeli?
İktisatçıları karmaşıklık teorisinin baskıdaki önemi konusunda ikna etmeye çalışırken, atıfta bulunmak için standart bir referans var mı? Ben aşinayım Noam Nisan adlı üyenin blog post , Tim Roughgarden'in anket ait ve bölüm 11 Scott Aaronson adlı makalesinde . Bu görevlere bilgisayar bilimcileri tarafından erişilebilir, ancak iktisatçıların dilini kullanmazlar ve genellikle …
1
Örneklemenin karmaşıklığı (yaklaşık olarak) Boole işlevinin Fourier dönüşümü
Kuantum bilgisayarların yapabileceği bir şey (muhtemelen sadece BPP + log derinliği kuantum devreleriyle bile), P'deki bir Boole değerli fonksiyonun Fourier dönüşümünü yaklaşık olarak örneklemektir .±1±1\pm 1 Burada ve aşağıda Fourier dönüşümünü örneklemeden bahsettiğimde, . (Gerekirse ve yaklaşık olarak normalleştirilir).|f^(x)|2|f^(x)|2|\hat f(x)|^2 P-FOURIER SAMPLING diyebileceğimiz karmaşıklık sınıfını, P'nin yaklaşık örnekleme Boole işlevlerinden …
1
Bu kenar renklendirme sorununun karmaşıklığı nedir?
Son zamanlarda, aşağıdaki kenar renklendirme çeşidiyle karşılaştım. Bağlı bir yönsüz grafiktir göz önüne alındığında, aynı zamanda kısıtlamasını sağlayan sırasında renk sayısını kullanmaktadır kenarları bir renklendirici bulmak her tepe için e kenarları olay h , en fazla iki renk kullanım.vvvvvv İlk tahminim sorunun NP zor olması. Grafik renklendirme problemleri için klasik …
1
Alt tiplemenin kategorik semantiği nedir?
Curry-Howard-Lambek'ten başlayarak, güzel bir tür teori, mantık ve kategori üçlüsü olmuştur. Bir tip teorisine (zorlayıcı) alt tip eklediğinizde hangi kategorik anlambilim elde ettiğinizi merak ediyorum - görünüşe göre bu çok fazla araştırılmamış gibi görünüyor. Genel olarak, bir tür teorisine zorlayıcı alt tip eklemek, güçlü normalleşme gibi meta-teorik özelliklerini bozmaz, bu …
3
Verimli doğruluk ve verimlilik kanıtı olmadan yapısal olarak verimli algoritmalar
Verimli algoritmaların doğal örneklerini arıyorum (yani polinom zamanında) st bunların doğru ve verimlilik (örneğin yapıcı ispat edilebilir PRAPRAPRA veya HAHAHA ), ancak sadece etkili kavramları kullanan hiçbir kanıt bilinmemektedir (yani veya S 1 2'de doğruluklarını ve verimliliklerini nasıl kanıtlayacağımızı bilmiyoruz ).TV0TV0TV^0S12S21S^1_2 Yapay örnekleri kendim yapabilirim. Ancak ilginç doğal örnekler istiyorum, …
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.