Teorik Bilgisayar Bilimi

Herhangi bir basit yönlendirilmemiş G grafiği göz önüne alındığında, G'nin önemsiz (kimlik dışı) otomorfizmlere sahip olup olmadığını belirlemek önemsizdir. Peki, bu karar sorununun üst / alt sınırları üzerindeki sonuçlar nelerdir?

11 cc.complexity-theory  graph-isomorphism  automorphism 

Kitabında Barry Jay bazı cesur iddialarda bulunuyor - temel olarak, bir programın özünde her şeyin ya atomik ya da bestelendiğini söyleyerek. Daha sonra işler sadece bu kompozisyon ilişkisinde gezinerek kolayca yinelenebilir, filtrelenebilir, güncellenebilir. Bu , Bilgisayar Bilimleri alanında bilgisayar dilleri için yeni bir sınır mı - yoksa sadece LISP'ye mi …

11 fl.formal-languages 

Johnson-Lindenstrauss lemması bir toplama için kabaca söyler arasında N noktaları R d , harita vardır f : R, d → R, k burada k = O ( giriş N / ε 2 ) bu şekilde tüm x , y ∈ S : ( 1 - ϵ ) | | f …

11 ds.algorithms  approximation-algorithms  cg.comp-geom  metrics  embeddings 

Özellikle model kontrol uygulamalarında kullanımlarıyla ilgileniyorum. Baskett ve ark. Tarafından farklı Müşteri Sınıflarına Sahip Açık, Kapalı ve Karışık Kuyruk Ağlarım var. Materyal okumak için başka önerileriniz var mı? Teşekkürler.

11 reference-request  markov-chains  queueing-theory  model-checking 

Bir yönlendirilmiş grafikte, , F ⊂ D ise, G ∖ F DAG (yönlendirilmiş asiklik grafik) olduğu, F , bir geri besleme yay grubu olarak adlandırılır. G=(V,E)G=(V,E)G=(V,E)F⊂EF⊂EF\subset EG∖FG∖FG\setminus FFFF Her bir kenar, bir ağırlığı ile ilişkili ise , ayar sorunu ark minimum maliyet geri bildirimi bulmaktır F böyle W ( F …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

NP tanımında iki varyasyon vardır. Onlar (neredeyse kesinlikle) farklı karmaşıklık sınıfları tanımlarlar, ama sorum şu: bu sınıflara uyan sorunların doğal örnekleri var mı? (Burada doğal olarak kabul edilenler için eşiğim normalden biraz daha düşük.) Sınıf 1 (NP'nin bir süper sınıfı): Süperpolinom ancak doğrulamak için alt-üst zaman alan polinom büyüklüğündeki tanıklarla …

11 cc.complexity-theory  complexity-classes  np 

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 

Nielsen-Chuang kitabından genel olarak kuantum hesaplamayı öğrenmeye (bağımsız) yeni başladım. Kimsenin bana kuantum mekaniğinin ölçüm önermesinde neler olup bittiğine yardım etmek için zaman bulup bulamayacağını sormak istedim. Yani, önermeyi sorgulamaya çalışmıyorum; sadece ölçümden sonra sistem durumunun değerini nasıl elde edemiyorum ki Mm/&lt;ψ|M+mMm|ψ&gt;−−−−−−−−−−−−−−√Mm/&lt;ψ|Mm+Mm|ψ&gt;M_m/\sqrt{ <\psi|M_m^+ M_m|\psi> } . Her ne kadar postülatın …

11 quantum-computing  quantum-information 

Stephen Cook'un P'ye karşı NP sorununa ilişkin makalesinde [1] şunları ifade eder [2]: Fizibilite Tezi: Doğal bir problemin, polinom-zaman algoritması varsa uygulanabilir bir algoritması vardır. Benim sorum, “ doğal bir sorun” ile tam olarak ne demek (ya da genel olarak ne demek) ? Sorunların doğal olmasından bahsetmek yeterince yaygın görünmektedir, …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

İki grup, ve bir homomorfizma vardır izomorfik IFF olduğu söylenir için örten bir. Grup izomorfizması sorunu şöyledir: iki grup verildiğinde, bunların izomorfik olup olmadıklarını kontrol edin. Bir grup girmenin farklı yolları vardır, en çok kullanılan ikisi bir Cayley tablosu ve bir jeneratör grubudur. Burada girdi gruplarının Cayley tabloları tarafından verildiğini …

11 ds.algorithms  gr.group-theory 

Karmaşıklık teorisinde zaman ve mekan karmaşıklığının tanımı, evrensel bir Turing makinesine atıfta bulunur: resp. durmadan önceki adımların sayısı ve banttaki hücrelerin sayısı. Kilise Turing tezi göz önüne alındığında, lambda hesabı açısından da karmaşıklığı tanımlamak mümkün olmalıdır. Sezgisel düşüncem, zaman karmaşıklığının β-indirgeme sayısı olarak ifade edilebileceğidir (De Brujin indekslerini kullanarak α-dönüşümünü …

11 time-complexity  lambda-calculus 

VC boyutu olan konsept sınıfı için O \ left (\ frac {d} {\ varepsilon} \ log \ frac {1} {\ varepsilon} \ right) elde etmek yeterli olduğu iyi bilinmektedir. PAC learn \ mathcal {C} etiketli örnekler . PAC öğrenme algoritmasının (bu birçok örneği kullanan) uygun veya uygunsuz olup olmadığı bana …

11 machine-learning  boolean-functions  lg.learning  vc-dimension  pac-learning 

, Cohen / Baire kategorisi anlamında genel bir kehanet olsun . Let rastgele bir torpil olabilir.RGGGRRR Orada karmaşıklık sınıfı A ve B istiyorsunuz veya , A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Soru, Scott Aaronson'un yorumundan ilham aldı .

11 cc.complexity-theory  complexity-classes 

Birkaç yıldır program yapıyorum, ancak teorik CS'ye çok aşina değilim. Son zamanlarda programlama dillerini incelemeye çalışıyorum ve bunun bir parçası olarak tip kontrolü ve çıkarım. Sorum şu ki, bir programlama dili için bir tür çıkarım ve kontrol programı yazmaya çalışırsam ve daktilo makinemin çalıştığını kanıtlamak istersem, tam olarak aradığım kanıt …

11 coq  type-inference  proof-assistants 

Grafik olarak sosyal ağların birleştirici özellikleri ile ilgileniyorum. İnsanlar derecelerin dağılımı, kümeleme katsayısı ve bu grafiklerin sıkıştırılabilirliği gibi şeylere baktılar. Temel bir soru şudur: Bu grafikler genellikle iyi genişletici grafikler midir? Diyelim ki facebook grafiğinin spektral boşluğunu kontrol eden oldu mu? Veya diğer büyük gerçek dünya ağlarının spektral boşluğu mu? …

11 graph-theory  application-of-theory  expanders