«big-picture» etiketlenmiş sorular

Karmaşıklık teorisi, bazı problemlerin diğerlerinden daha zor olduğu sezgisel fikrini resmileştirdiği için evrenin yapısı hakkında temel bir şeyi ele alıyor gibi görünmektedir. Scott Aaronson tahmin "NP Sertlik Varsayım sonunda Termodinamik veya süperlüminal sinyal imkansızlığı İkinci Kanunu benzer olarak görülecektir." Sözde "zor problemler" modern kriptografinin temelidir. Herhangi var mıdır başka , …

18 cc.complexity-theory  soft-question  big-picture 

Ş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 …

17 big-picture 

Tanıtım Sorun çok uzun olduğu için burada özünü yakalayan özel bir durum var. Sorun: A, 3-SAT için bir yönetimsel algoritma olsun. A algoritmasını (sorunun her örneğinde) tamamen simüle etme problemidir. P-Space sert mi? (Daha doğrusu, bu görevin P-Space zor olduğuna inanmak için nedenler var mı, bu yönde bir şey standart …

17 cc.complexity-theory  big-picture  structural-complexity 

Bu sorudan, Georgia Tech Algoritmaları ve Rasgelelik Merkezi'nin "Randomize edip etmediğini soran" tişörtünden esinlenilmiştir. Rastgeleleştirmenin, özellikle de rakip ortamlarda çalışırken yardımcı olduğu birçok örnek vardır. Ayrıca, rasgeleleştirmenin yardımcı olmadığı veya zarar vermediği bazı ayarlar da vardır. Sorum şu: Rastgeleleştirme (görünüşte makul bir şekilde) gerçekten acı verirken bazı ayarlar nelerdir? Sorun …

17 randomness  big-picture  randomized-algorithms 

Arkaplan . Kategori teorisi, monadlar ve Haskell ile ilgili araştırmalarla ilgilenen bir lisans öğrencisiyim ve bu alanda lisans tezim için bir konu bulmak istiyorum. Gazeteye baktım Eugenio Moggi , “ Hesaplamalar ve Monadlar Kavramı ”, 1991, ve henüz çok fazla anlamadım. Muhtemelen tam olarak anlamak için biraz zamana ihtiyacım olacak. …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Her zaman P ve NP sorusu için ya da aleyhine deneysel matematikten elde edilen sayısal kanıtların olmaması beni şaşırttı. Riemann Hipotezi'nin sayısal doğrulamadan bazı destekleyici kanıtları olsa da, P ve NP sorusu için benzer kanıtların farkında değilim. Ayrıca, kararsız problemlerin (veya hesaplanamayan fonksiyonların) varlığının doğrudan fiziksel dünya sonuçlarının farkında değilim. …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Fizikte olduğum için, geometrik açıdan bir çok soruna bakmak için eğitildim. Örneğin dinamik sistemlerde manifoldların diferansiyel geometrisi vb. Bilgisayar biliminin temellerini okuduğumda daima geometrik yorumlar bulmaya çalışırım. Özyinelemeli olarak numaralandırılabilir kümelerin makul bir geometrik yorumu gibi (Diophantine kümeleri ile denkliği kullanarak bunları cebirsel geometri ile birleştirmeye çalıştığım bir parça üzerinde …

14 reference-request  computability  big-picture 

Kapsamlı arama algoritmalarıyla ilişkili karmaşıklık sınıfı nedir? (Eğer biri varsa) NP mi yoksa PSPACE mi? Açgözlü ve dinamik programlama modellerine benzer kapsamlı arama algoritmaları sınıfını yakalayan sınırlı hesaplama modelleri var mı?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Bir süre önce, son birkaç on yılda bilgisayar programlarında görülen hızlanmanın çoğunun daha hızlı donanımdan ziyade daha iyi algoritmalardan geldiğini iddia eden bir çalışma veya makale gördüğümü hatırlıyorum. Çalışmayı veya makaleyi bilen var mı?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

İlk sorum interaktif kanıtlama sistemi karakterizasyonunun tüm klasik karmaşıklık sınıfları için bilinip bilinmediği. P, NP, PSPACE, EXP, NEXP, EXPSPACE, özyinelemeli ve özyinelemeli olarak numaralandırılabilir işlevleri klasik (diğerleri arasında) olarak adlandırırım. Özellikle, yinelemeli ve yinelemeli olarak numaralandırılabilir işlevler için bilinen etkileşimli bir kanıt sistem karakterizasyonu var mı? Sadece IP = PSPACE …

14 cc.complexity-theory  big-picture  interactive-proofs 

hesaplama karmaşıklığı büyük miktarda Kombinatorik ve sayı teorisi, stokastiklerden bir miktar ingriding ve yükselen bir cebir içerir. Bununla birlikte, bir analiz uzmanı olarak, bu alanda analiz uygulamaları mı yoksa analizden ilham alan fikirler mi olduğunu merak ediyorum. Biraz buna karşılık gelen tek bildiğim, Sonlu gruplar üzerindeki Fourier dönüşümüdür. Bana yardım …

14 cc.complexity-theory  reference-request  soft-question  big-picture 

Bana göre çoğu karmaşıklık teorisyeni aşağıdaki felsefi kurala inanıyor: problemi için etkili bir algoritma bulamazsak ve problemini problemine indirgeyebilirsek , muhtemelen problem için de etkili bir algoritma yoktur .A B BAAAAAABBBBBB Bu nedenle, örneğin, yeni bir sorunun NP-Complete olduğu kanıtlandığında , sonunda gösterebilecek yeni bir yaklaşımdan (sorun ) heyecanlanmaktan ziyade …

14 cc.complexity-theory  big-picture  reductions 

Akademi dışında 'güçlerimin' faydaları nelerdir? Makaleleri öğretmek ve yayınlamaktan başka ne yapabilirim? Güçlerimi nereye uygulayabilirim? Tartışma uğruna: Lütfen algoritmalarda / TCS'de doktora yaptığımı ve çok sayıda 'şey' öğrendiğimizi ve mevcut algoritmalar vb. , yaklaşık / rasgele algoritmalar, matematiksel programlama vb. Sorunun ardındaki gerekçe: Bu alandaki insanlar için akademik olmayan kariyer …

13 soft-question  big-picture  career 

Sezgisel Tip Teorisi (ITT) hakkında okuyordum ve bu mantıklı. Ama anlamak için uğraştığım şey, ilk etapta "neden" yaratıldığı? Sezgisel Mantık (IL) ve Basitçe yazılmış - hesabı (STLC) ve genel olarak tip teorisi, Martin-Löf'ün kendisinin varlığından önce gelir! Görünüşe göre ITT'de yapılabilen her şeyi STLC'de yapabilirim (yanlış olabilirim, ama en azından …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

Bazı profesyonel programlama kursları (/ self düşünce) almış ancak üniversite düzeyinde bir matematik çalışmayan programcılar ile görüştüğünüzü varsayalım. Onlara TCS'nin güzelliğini göstermek için, TCS'den kolayca açıklanabilecek bazı güzel sonuçlar / açık sorular toplamak istiyorum. Bu amaç için iyi bir aday (IMHO), durma sorununun karar verilemez olduğunu gösterecektir. Başka bir karşılaştırma …

13 soft-question  big-list  big-picture  teaching