«big-picture» etiketlenmiş sorular

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

10
Gerçek bilgisayarların yalnızca sınırlı sayıda devleti vardır, bu yüzden Turing makinelerinin gerçek bilgisayarlarla ilgisi nedir?
Gerçek bilgisayarlar sınırlı belleğe ve yalnızca sınırlı sayıda duruma sahiptir. Bu yüzden aslında sonlu otomatlardır. Teorik bilgisayar bilim adamları neden bilgisayarları incelemek için Turing makinelerini (ve diğer eşdeğer modellerini) kullanıyorlar? Gerçek bilgisayarlara göre bu çok daha güçlü modelleri incelemek ne anlama geliyor? Sonlu otomata modeli neden yeterli değil?
4
Neden dağıtık hesaplamanın birleşik bir karmaşıklık teorisi geliştiremiyoruz?
Dağıtılmış hesaplama alanı, dağıtılmış algoritmaları tanımlamak için tek bir matematik teorisi geliştirmede büyük ölçüde kısalmıştır. Birbiriyle uyumlu olmayan birkaç “model” ve dağınık hesaplama çerçevesi vardır. Değişen zamansal özelliklerin (asenkron, senkron, kısmi senkron), çeşitli iletişim ilkelerinin (mesaj geçen ve paylaşılan hafıza, yayın ve tek noktaya yayın gibi), birden fazla hata modelinde …
3
Matris çarpımının
Yaygın tüm inanılmaktadır ϵ > 0ϵ>0\epsilon > 0 , daha çok kez, iki mümkündür n × nn×nn \times n matrisler O ( n2 + ϵ)O(n2+ϵ)O(n^{2 + \epsilon}) süresi. Bazı tartışmalarburada. Araştırmaya daha aşina olan bazı insanlara n'den bağımsız bir k > 0k>0k>0 olduğunu düşünüyorlar mı diye sordum, öyle ki matris …
2
Mulmuley'nin GCT programı
Bazen Ketan Mulmuley'in Geometrik Karmaşıklık Teorisinin, P-NP sorusu gibi karmaşıklık teorisinin açık sorularını çözmenin tek mantıklı programı olduğu iddia edilir. Ünlü karmaşıklık teorisyenlerinin programla ilgili birçok olumlu yorumu var. Mulmuley'e göre, istenen sonuçları elde etmek uzun zaman alacak. Alana girmek, genel karmaşıklık teorisyenleri için kolay değildir ve cebirsel geometri ve …
2
Anlamsal ve Sözdizimsel Karmaşıklık Sınıfları
"Hesaplamalı Karmaşıklık" kitabında Papadimitriou şöyle yazıyor: RP bir anlamda yeni ve sıradışı bir karmaşıklık sınıfıdır. Polinom bağlı olmayan sınırlayıcı olmayan Turing makinesi, RP cinsinden bir dil tanımlamanın temeli olabilir. Bir makinenin ( N) bir dili RP olarak tanımlaması için , tüm girdilerde oybirliğiyle reddettiği ya da çoğunluk tarafından kabul ettiği …
5
Düzensizliğin mantıksız gücü
Görüş sağduyu açısından, olmayan determinizm ekleyerek inanmak kolaydır PP\mathsf{P} anlamlı yani gücünü, uzanır, NPNP\mathsf{NP} çok daha büyüktür PP\mathsf{P} . Sonuçta determinizm, şüphesiz çok güçlü görünen üstel paralelliğe izin veriyor. Diğer yandan, sadece olmayan homojen ekleme durumunda PP\mathsf{P} elde edilmesi, P/polyP/poly\mathsf{P}/poly (biz oluşabilir olmayan yinelemeli dilleri dahil varsayarak, daha sonra sezgi …
7
Sosyal bilimlerde algoritmik mercek
Algoritmik lens aracılığıyla sorulara bakmak (yani algoritmik veya karmaşıklık açısından) bilgisayar biliminin 'standart alanı' dışındaki disiplinlerde faydalı olmuştur. Özellikle CS, hesaplamalı biyoloji yoluyla biyolojiyi, kuantum bilgi işlemesiyle fiziği etkilemiştir ve yapay zeka ve karmaşıklık teorisi nörobilim ile düzenli olarak etkileşime giriyor görünmektedir. Doğa bilimleri, TCS ile nispeten rahat görünüyor. Dolayısıyla …
11
Kuantum hesaplama modeli nedir?
Zaman zaman insanların kuantum algoritmaları ve durumlar hakkında konuştuğunu ve aynı anda çoklu olasılıkları göz önünde bulundurabildiğini duydum, ancak bunun arkasındaki hesaplama modelini açıklayacak birini asla elde edemedim. Açık olmak gerekirse, kuantum bilgisayarların fiziksel olarak nasıl inşa edildiğini sormuyorum, onları hesaplamalı bir bakış açısıyla nasıl görüntüleyeceğimi soruyorum.
7
bir doğa kanunu olarak mı düşünmeliyiz ?
Birçok uzman, varsayımının doğru olduğuna ve sonuçlarında kullandığına . Benim endişem karmaşıklığın büyük ölçüde varsayımına bağlı olmasıdır.P ≠ N PP ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP}P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Yani sorum şu: Sürece Strassen dan alıntı belirtilen varsayım kanıtlanmış değildir, / bir, bir doğa kanunu olarak düşünmelisiniz ki? Yoksa …
6
Neden tamsayılar yerine doğal?
Doğal sayıların neden programlama dilleri teorisi ve tür teorisi hakkındaki kitapların yazarları tarafından çok sevildiğiyle ilgileniyorum (örneğin, J. Mitchell, programlama dillerinin temelleri ve B. Pierce, Tipler ve Programlama Dilleri). Basitçe yazılı lambda hesabının ve özellikle PCF programlama dilinin tanımı genellikle Nat ve Bool'lara dayanmaktadır. Genel amaçlı endüstriyel PL'leri kullanan ve …
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 …
5
Algoritmik lens aracılığıyla ekoloji ve evrim
Ekoloji ve evrim çalışmaları giderek daha matematiksel hale geliyor, ancak teorik araçların çoğu fizikten geliyor gibi görünüyor. Bununla birlikte, birçok durumda problemler çok ayrı bir yapıya sahiptir (bakınız örneğin SLBS00 ) ve bilgisayar bilimi perspektifinden faydalanabilir . Yine de, TCS'nin ekoloji ve evrimdeki belirli sorulara değinmeye çalışan ciddi sonuçlarının farkındayı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.