Teorik Bilgisayar Bilimi

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

4
Nicel finansta hesaplama karmaşıklığı
Borsa tahmin etmek zor! TCS bu düşünceyi daha resmi hale getirebilir mi? Son zamanlarda biraz finans hakkında düşünmeye başladım ve TCS bilgisinin nasıl yardımcı olabileceğini merak ediyordum. Hedge fonları ve yatırım firmaları her zaman algoritmik ticaret, makine öğrenimi ve yapay zeka kullanıyor, ancak TCS sonuçları az görünüyor. Özellikle, sadece iki …
2
Ne güçlü anlamda NP-zor ne de psödopolinom algoritması olan NP-tamamlanmış problemler var mı?
Onların içinde kağıt (s 503). Garey ve Johnson sözler: ... ne NP-tam ne de güçlü anlamda NP-tam olmayan bir sahte-polinom zaman algoritması ile çözülebilir bir problem olabilir ... Yukarıda belirtilen özelliklerle ilgili bazı aday sorunları bilen var mı? Bu sorunun olası cevabının sıradan anlamda NP-tam sorunlarının bir listesi olabileceğini düşünüyorum, …
2
Minimum nokta ürün sorguları için veri yapısı
RnRn\mathbb{R}^n⟨⋅,⋅⟩⟨⋅,⋅⟩\langle \cdot, \cdot \ranglemmmv1,v2,…,vmv1,v2,…,vmv_1, v_2, \ldots, v_mx∈Rnx∈Rnx \in \mathbb{R}^nmini⟨x,vi⟩mini⟨x,vi⟩\min_i \langle x, v_i \rangleO(nm)O(nm)O(nm)n=2n=2n = 2O(log2m)O(log2⁡m)O(\log^2 m) Gelebileceğim tek şey şudur. Bu hemen bir sonucudur Johnson-Lindenstrauss lemma bunun için her ve bir dağıtım \ mathcal {D} ilgili \ mathbb {R} ^ n doğrusal eşleme vardır \ kolon \ mathbb {R} f …
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 …
2
Cerny Konjonktürünün Durumu?
DFA'nın herhangi bir durumunu tek bir duruma gönderen bir dize varsa , bir DFA'nın eşitleme sözcüğü vardır. AN Trahtman'ın (Ayrık Matematik ve Teorik Bilgisayar Bilimi cilt 9: 2, 2007, s.3-10) 'Aperiodic Automata için Cerny Konjonktürü'nde, Cerny, 1964'te her n-durum senkronize edilebilir DFA'nın en fazla bir senkronize kelime uzunluğuna sahip olduğunu …
5
Yanıt bulmanın (sorgu boyutunda) teorik üstel karmaşıklığı göz önüne alındığında, ilişkisel veritabanları neden işe yarıyor?
İlişkisel bir veritabanı üzerinden sorgusuna bir cevap bulmak için kişinin zamana olduğu ve bir.D | D | | S | | S |SSQDDD| D|| S ||D||S||D|^{|Q|}| S ||S||Q| As çok büyük olabilir veritabanları pratikte hiç çalışmıyor neden merak ettik.DDD Bu sadece gerçek sorgular gerçek dünya uygulamalarında hiç büyük değil midir? …
3
Elmas normu ile ilişkili devletlerin mesafesi arasında herhangi bir bağlantı var mı?
Kuantum bilgi teorisinde, iki kuantum kanalı arasındaki mesafe genellikle elmas normu kullanılarak ölçülür. İki kuantum durum arasındaki mesafeyi ölçmenin birkaç yolu vardır, örneğin iz mesafesi, sadakat, vb. Jamiołkowski izomorfizması kuantum kanalları ve kuantum durumları arasında bir dualite sağlar. Bu en azından benim için ilginç, çünkü elmas normunun hesaplanması çok zor …
2
büyüyen yönlendirilmemiş bir grafiğin dengeli bir yayılma ağacını korumak
Grafiğe yeni düğümler / kenarlar eklediğim için, bir grafiğin nispeten dengeli bir yayılma ağacını korumanın yollarını arıyorum. Tek bir düğüm, "kök" olarak başlayan yönlendirilmemiş bir grafik var. Her adımda, grafiğe ya yeni bir düğümü ve grafiğe bağlayan bir kenarı ya da sadece iki eski düğümü bağlayan yeni bir kenarı eklerim. …
1
UP'nin sonuçları NP'ye eşittir
2011/02/08 tarihinde DÜZENLEME: Bazı referansların bulunması ve okunmasından sonra, orijinal soruyu iki ayrı soruya ayırmaya karar verdim. UP ve NP ile ilgili bölüm, sözdizimsel ve anlamsal sınıflar bölümü için sözdizimsel ve anlambilimsel sınıflar için Faydalara bakınız . UPUP\mathsf{UP} (belirsiz polinom zamanı,referanslar içinwiki'yevehayvanat bahçesinebakın),ek bir kısıtlamaya sahipmakineleritarafından karar verilen diller olarak …
11
Gerçek bilgisayar ağları için rastgele grafik modelleri
Gerçek bilgisayar ağlarının grafiklerine benzeyen rastgele grafik modelleri ile ilgileniyorum. Ortak iyi çalışılmış modelinin ( n köşe noktası, her olası kenar p olasılığı ile seçildiğinden ) gerçek bilgisayar ağlarını incelemek için iyi olup olmadığından emin değilim (değil mi?).G(n,p)G(n,p)G(n,p)nnnppp pratikte ortaya çıkan bilgisayar ağlarını anlamak için hangi rastgele grafik modelleri yararlıdır? …
1
Warren Buffett Sorunu
İşte yaz aylarında üzerinde çalıştığım çevrimiçi öğrenme / eşkıya probleminin bir özeti. Daha önce böyle bir sorun görmedim ve oldukça ilginç görünüyor. İlgili herhangi bir çalışma biliyorsanız, referansları takdir ediyorum. Sorun Ayar çok kollu haydutlarınkidir. N kolun var. Her kol i, ödüller üzerinden oynanarak kazanılabilecek bilinmeyen fakat sabit bir olasılık …
4
Eşlik ve
Eşlik ve ayrılmaz ikizler gibidir. Ya da son 30 yıldır böyle görünüyor. Ryan'ın sonucu ışığında, küçük sınıflara olan ilginin yenilenmesi söz konusu olacak.birC0birC0AC^0 Furst Saxe Sipser - Yao - Hastad arasındaki tüm parite ve rastgele kısıtlamalar. Razborov / Smolensky, eşlikli yaklaşık polinomdur (tamam, mod kapıları). Aspnes ve arkadaşları parite üzerinde …
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.