«big-picture» etiketlenmiş sorular

Büyük resim etiketi "bir sorun veya sorunun geniş, genel görünümü veya perspektifi" içindir.

13
Teorik bilgisayar bilimlerinde karmaşık analiz
Teorik bilgisayar bilimlerinde, özellik testi, iletişim karmaşıklığı, PAC öğrenme ve diğer birçok araştırma alanını kapsayan birçok gerçek analiz uygulaması vardır. Bununla birlikte, karmaşık analizlere dayanan herhangi bir sonucu düşünemiyorum ( karmaşık sayıların modelde içsel olduğu kuantum hesaplama dışında). Karmaşık analiz kullanan klasik bir TCS sonucu örneği var mı?
3
Kuantum algoritmasında “kuantum derecesi” ni ölçebilir miyiz?
Dolaşma çoğu zaman kuantum algoritmalarını iyi yapan anahtar bileşen olarak tutulur ... kuantum ve bu durum, gizli durum olasılıklı bir model olarak kuantum fiziği fikrini tahrip eden Bell durumlarına kadar izlenebilir. Kuantum bilgi teorisinde (benim oldukça zayıf anlayışımdan), dolaşma aynı zamanda belirli kodlama türlerini yapma yeteneğini sınırlayan somut bir kaynak …
2
Lambda hesabının oluşturulması için asıl amaç neydi?
Başlangıçta Kilise'nin , “yoğun bir okuma olan ” Mantık Makale Notlarının bir parçası olarak calculus'u önerdiğini okudum. Ancak Kleene, "sistem" inin tutarsız olduğunu kanıtladı, sonra Kilise, "etkili hesaplanabilirlik" konusundaki çalışmaları için ilgili şeyleri çıkardı ve önceki mantık konusundaki çalışmasını bıraktı.λλ\lambda Anladığım kadarıyla, ve gösterimleri , mantıkla ilgili bir şeyin parçası …
3
Bilim adamlarına asimptotik en kötü durum analizini gerekçelendirmek
Ben tanıtan üzerinde çalıştığım bazı sonuçlar teorik biyoloji, özellikle içine hesaplama karmaşıklığı gelen evrim ve ekoloji ilginç / biyologlar için yararlı olma hedefi ile. Karşılaştığım en büyük zorluklardan biri, düşük sınırlar için asimptotik en kötü durum analizinin kullanışlılığını haklı çıkarmak. Bilimsel bir izleyiciye alt sınırları ve asimptotik en kötü durum …
1
Hesaplamada enerji hususları
Anlayışımı kontrol etmek için, hesaplamanın enerji gereksinimleriyle ilgili bazı düşünceleri paylaşmak istiyorum. Bu benim önceki sorumun bir takipçisi ve Vinay'in koruma yasalarıyla ilgili sorusuyla ilgili olabilir . Termodinamik açıdan, bir hesaplama yapmanın, bir dereceye kadar yatay bir çizgi boyunca bir ağırlığın taşınmasına benzer şekilde bir ölçülebilir olduğu düşünülebilir: Tek enerji …
5
Arasında unprovability Etkileri
" P Versus NP resmi olarak bağımsız mı? " Okuyordum ama şaşırdım. Yaygın olarak karmaşıklık teoride inanılan . Benim sorum bu kanıtlanabilir değilse (söylediklerine hakkındadır Z F C ). (Sadece P ≠ N P'nin Z F C'den bağımsız olduğunu ancak bunun nasıl kanıtlandığı hakkında daha fazla bilgi bulamadığımızı varsayalım .)P≠NPP≠NP\mathsf{P} …
5
Yaklaşım Algoritmaları için Teorik Uygulamalar
Son zamanlarda NP zor problemler için yaklaşıklık algoritmaları aramaya başladım ve onları incelemenin teorik nedenlerini merak ediyordum . (Soru iltihaplı değildir - sadece merak ediyorum). Bazı gerçekten güzel teori, yaklaşım algoritmaları - PCP teoremi ve yaklaşımın sertliği, UGC varsayımı, Goeman-Williamson yaklaşım algoritması, vb. Gezgin Satıcı, Asimetrik Gezgin Satıcı ve diğer …
3
Paralel Hesaplamanın Sınırları
P'deki algoritmaları paralelleştirme hakkında bilinenleri çok merak ediyorum, konuyla ilgili şu wikipedia makalesini buldum: http://en.wikipedia.org/wiki/NC_%28complexity%29 Makale aşağıdaki cümleyi içerir: NC = P olup olmadığı bilinmemektedir, ancak çoğu araştırmacı bunun yanlış olduğunu düşünmektedir, yani muhtemelen "doğal olarak sıralı" olan ve paralellik kullanarak önemli ölçüde telafi edilemeyen bazı izlenebilir problemlerin olduğu anlamına …
4
İletişim Karmaşıklığı… Sınıflar?
Tartışma : Son zamanlarda iletişim karmaşıklığında çeşitli şeyler öğrenmek için biraz kişisel zaman geçirdim. Mesela Arora / Barak'daki ilgili bölümle yeniden tanıştım, bazı makaleler okumaya başladım ve kitabı Kushilevitz / Nisan'dan emretti. Sezgisel olarak, iletişim karmaşıklığını hesaplama karmaşıklığı ile karşılaştırmak istiyorum. Özellikle, hesaplama karmaşıklığının hesaplama problemlerini karmaşıklık sınıflarına yerleştirmek için …
4
Uzlaşma sorunu dağıtılmış hesaplamada neden bu kadar önemlidir?
Dağıtık hesaplamada, fikir birliği sorunu yoğun araştırmaların çekildiği ana konulardan biri gibi görünmektedir. Özellikle, "Dağıtılmış Uzlaşmanın Tek Hatalı Bir Süreçle İmkansızlığı" makalesi 2001 PODC Etkili Kağıt Ödülü'nü aldı . Öyleyse fikir birliği sorunu neden bu kadar önemli? Teoride ve pratikte fikir birliği ile neler başarabiliriz? Tüm referanslar veya sergiler gerçekten …
1
Kriptografinin doğal bir termodinamik maliyeti var mı?
Tersinir hesaplama , yalnızca termodinamik olarak tersinir işlemlere izin veren bir hesaplama modelidir. Landauer'ın biraz bilgi silmesinin ısı joule'lerini serbest bıraktığını belirten ilkesine göre , bu bire bir olmayan geçiş işlevlerini (örneğin, Boole AND ve OR operatörleri) dışlar. Kuantum hesaplamanın doğası gereği geri dönüşümlü olduğu iyi bilinmektedir, çünkü kuantum hesaplamada …
4
Anlambilimde yan etkiler nasıl ele alınır?
Anthony Aaby'in Anlambilim üzerine "Programlama Dillerine Giriş" bölümünde aşağıdaki gözlemi yapar: Programlama dillerinin anlambilimindeki çalışmaların çoğu, zorunlu programları --- atama komutları olan programları oluşturmaya ve anlamaya çalışırken karşılaşılan sorunlar tarafından motive edilir. Atama komutu değerleri değişkenlere yeniden atar, bu atamanın programın uzak bölümlerinde beklenmeyen etkileri olabilir. Bu dikkat çekici bir …
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.