«big-picture» etiketlenmiş sorular

Teorik bilgisayar bilimi tam olarak nedir? Çeşitli dillerde kod yazmayı ve platformlarda uygulama yapmayı öğreniyor mu? Yoksa sadece daha hızlı ve daha hızlı algoritmalar mı düşünüyorsunuz, böylece bir işi bilgisayarlar tarafından daha verimli bir şekilde yapabileceksiniz? Yoksa bilgisayarda simüle edilebilecek yeni yaşam durumlarını programlamak ve düşünmek mi? Burada tam olarak …

13 big-picture 

, s ( f ) duyarlılığına ve b s ( f ) duyarlılığına sahip bir boole işlevi olsun .fffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) Duyarlılık-Blok duyarlılık varsayımı varsayımı , ∀ f , b s ( f ) ≤ s ( f ) c olacak şekilde olduğunu belirtir .c > 0c>0c>0∀ …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

Arora ve Barak, B P ⋅ N P olarak ifade edilebildiğini, yani 3SAT'a rastgele indirgeme yapan dil kümesini gösterir. M bir de doğal bir randomize bir genellemedir N , P , bir randomize bir deterministik verifier yerine olmasıyla.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} Bunlardan birinin "NP olduğu gibi P, BPP'ye ne kadar yakın" olduğu …

12 cc.complexity-theory  big-picture 

"Seyrek grafik" ile ilgili birbiriyle çelişen birkaç kavram vardır. Örneğin, yüzeye gömülebilir bir grafik seyrek olarak kabul edilebilir. Veya sınırlı kenar yoğunluğuna sahip bir grafik. Veya yüksek çevresi olan bir grafik. Büyük genişleme içeren bir grafik. Sınırlı treewidth ile bir grafik. (Rastgele grafiklerin alt alanında bile, seyrek olarak adlandırılabilecek şey …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture 

Diyelim ki yıldızlararası bir dijital iletişim kanalı kullanarak mesaj gönderip alabilen yabancı uygarlıklar keşfettik. (Modüle edilmiş radyo dalgaları, lazer atımları, yıldızları çeşitli yörüngelerde yeniden konumlandırmayı kullanarak söyleyin, ne var?) Diyelim ki onlarla temas kurmaya karar verdik. Bir diyalog başlattığımızda, bir iletişim protokolü ve dili oluşturmayı nasıl başardık? Temel bir kelime …

12 big-picture  communication-complexity 

Verilen gibi katsayıları olduğu içinde kalan , yapar ambar?p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p,qp,qp,qBBBp≡qp≡qp\equiv q Schwartz-Zippel lemması, genel alanlar ve ve bu sorun için etkili bir randomize algoritma olduğu için burada geçerlidir.Z⊂QZ⊂Q\Bbb Z\subset\Bbb Q Bu sorunun etkin bir derandomizasyona sahip olmasını bekliyoruz. Bu sorunun etkili bir derandomizasyona sahip olmaması durumunda sonuç ne olur?

11 big-picture  derandomization  conditional-results 

Bu benim önceki sorumun bir devamı: NP'de doğal bir problem için en iyi bilinen deterministik zaman karmaşıklığı alt sınırı İnsanların önemsediği ve daha iyi algoritmalar tasarlamaya çalıştığı ilginç bir NP problemi için herhangi bir kuadratik deterministik zamanın alt sınırını kanıtlayamadığımızı şaşırtıcı buluyorum. Üstel Zaman Hipotezi varsayımımız, SAT'ın altel üstel deterministik …

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

İnsan zekasının algoritmalardan daha iyi performans gösterip gösteremeyeceğini belirlemek için herhangi bir çalışma yapıldı mı (yani Ücretsiz Öğle Yemeği Yok Teoreminin insan zekası için geçerli olup olmadığını test edin)? Aynı çizgide, insan zekasının benzersiz, yukarıda hesaplanan özelliklerinden yararlanmak için teknik bir yöntem geliştirdi mi?

11 ds.algorithms  big-picture  ai.artificial-intel 

Güvenli olmayan bir yazılım düşündüğümde "çok yararlı" olduğunu ve bir saldırgan tarafından kötüye kullanılabileceğini düşünüyorum. Yani bir anlamda yazılımı korumak, yazılımı daha az kullanışlı hale getirme sürecidir. Teorik Bilgisayar Bilimlerinde gerçek dünyayla çalışmıyorsunuz. Saf teori ile çalışırken herhangi bir güvenlik kaygısı var mı? Veya madalyonun diğer tarafında, Teorik Bilgisayar Bilimi …

11 cr.crypto-security  big-picture 

İletişim karmaşıklığında, log-rank varsayımı, c c ( M) = ( günlükr k ( E) )O ( 1 )cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Burada iletişim karmaşıklığıdır ve sıralamasıdır reals fazla (bir matris olarak).M ( x , y ) r k ( M ) Mc c ( M)cc(M)cc(M)M( x , y)M(x,y)M(x,y)r k ( …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

"Hangi problemlerin hesaplama ile çözülebileceğini" yanıtlamak için hesaplanabilirlik teorisini geliştirdik. Hesaplanabilir problemler için, "En basit olanı aldığım program" sorusuna cevap verecek bir teori var mı? Hesapsal karmaşıklığın soruyu cevapladığını düşünmüyorum. Sanırım ne kadar süreye ihtiyacımız olduğunu düşünüyor (soyut olarak ölçülmesine rağmen). Algoritmik bilgi teorisinin soruyu cevaplayıp yanıtlamadığından emin değilim. Teori, …

10 big-picture  kolmogorov-complexity 

Özetle, zaman hiyerarşisi teoremleri , bir Turing makinesinin hesaplama için daha fazla zaman varsa daha fazla sorunu çözebileceğini söylüyor. Deterministik TM ve zaman constructable fonksiyonlar için detaylı ile o ve belirleyici olmayan TM ve zamana göre yapılandırılabilir f, g ile f (n + 1) = o (g (n)) için NTIME …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

Zaman hiyerarşisi ile ilgili önceki bir soruda, iki sınıf arasındaki eşitliklerin daha karmaşık sınıflara yayılabileceğini ve eşitsizliklerin daha az karmaşık sınıflara, dolgu kullanılarak kullanılan argümanlarla yayılabileceğini öğrendim. Bu nedenle akla bir soru gelir. Neden mümkün olan en küçük (kapalı) sınıftaki farklı hesaplama türleri (veya kaynakları) hakkında bir soru inceliyoruz? Çoğu …

10 cc.complexity-theory  big-picture 

Bir süredir Kombinasyon Mantığı, Lambda Matematik, Fonksiyonel Programlama gibi çeşitli konularla ilgileniyorum ve bunları inceliyorum. Ancak, "hesaplanabilirlik" sorusunu cevaplamaya çalışan "Hesaplama Teorisi" nin aksine, çeşitli kısıtlamalarla hesaplanabilen / hesaplanamayan şeyler için "Programlama Teorisi" nin analogunu bulmakta zorlanıyorum Wikipedia bunu şöyle açıklıyor: Programlama dili teorisi (PLT), programlama dillerinin tasarımı, uygulanması, analizi, …

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

Matematiksel Optimizasyon'a çok yakın zamanda dahil olmaya başladım ve onu seviyorum. Optimizasyon problemlerinin birçoğu doğrusal programlar (örn. Ağ akışları, kenar / tepe örtüsü, seyahat eden satıcılar vb.) Olarak kolayca ifade edilebilir ve çözülebilir. Bazılarının NP-zor olduğunu biliyorum, optimal bir şekilde çözülmezse 'doğrusal bir program olarak çerçevelenir'. Bu beni düşündürdü: Bize …

9 optimization  big-picture  linear-programming  linear-equations