«reference-request» etiketlenmiş sorular

Bu sorun hakkında daha fazla bilgi edinmenin zorluğunun bir kısmı, grafik eşleştirme probleminin çok daha ünlü kuzeni olan eşleştirme probleminden farklı olması, ancak arama motorlarını kullanırken ondan ayırt edilmesi zor olmasıdır. Verilen iki grafik ve öyle kiburadaki görev, bu bujeksiyonun ve kenarları arasında mümkün olduğunca fazla yazışma sağlayacak şekilde bir …

11 reference-request  graph-theory  graph-isomorphism 

Bitcoin protokolünü hesaplamalı kriptografik güvenlik bağlamında anlamaya çalışıyorum. Soru, bitcoin'deki kriptografi makalelerinin temellerine referans bir talep. İlk sorum, soyut kriptografik protokol bitcoin'in uygulamaya çalıştığı şey mi? Kriptografide bitcoin yakalayan elektronik para / dijital para birimi tanımımız var mı? Güvenli bir elektronik para için güvenlik gereksinimleri nelerdir? Cevabınız evet ise, eBay …

11 reference-request  cr.crypto-security 

Boole işlevinin karmaşıklık ölçütlerinin araştırılmasında çok ilginç bir açık problem, duyarlılık ve blok duyarlılığı varsayımı olarak adlandırılır. Hassasiyet ve blok duyarlılığı hakkında arka plan için http://www.scottaaronson.com/blog/?p=453 adresindeki aşağıdaki S. Aaronson blog yayınına bakabilirsiniz . Bildiğim kadarıyla, en üst bilinen bağlanmış açısından s ( f ) olan B ler ( f …

11 cc.complexity-theory  reference-request  fourier-analysis 

Bu mükemmel bilgi oyunu, bildiği / çalıştığı grafiklerde oynanıyor mu? Bir grafik verildiğinde G = ( V, E)G,=(V,E)G= (V,E), iki oyuncu sırayla bir kenar veya izole bir düğüm seçer. Oynatıcı bir kenar e = ( u , v )e=(u,v)e = (u,v) seçerse, uuu ve iki düğüm vvvolay kenarlarıyla birlikte silinir. …

11 reference-request  combinatorial-game-theory 

Bazı bilgiler: Hatalarla Öğrenme (LWE) sorunu için "daha az bilinen" düşük sınırlar (veya sertlik sonuçları) ve halkalar üzerinde Hatalarla Öğrenme gibi genellemeleri bulmakla ilgileniyorum. Spesifik tanımlar, vb. İçin, Regev'in güzel bir araştırması: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf (R) LWE tarzı varsayımın standart tipi (belki de kuantum) (belki de ideal) kafeslerdeki En Kısa Vektör Problemine …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

NP'nin coNP'ye eşit olup olmadığı sorusuyla ilgileniyorum. Konuyla ilgili okumak için iyi yayınlar hakkında bazı tavsiyelerde bulunmaktan memnuniyet duyarım. Kayıt için, bu sorunun P'nin NP'ye eşit olup olmadığı sorusuna sıkı sıkıya bağlı olduğunu biliyorum (NP! = CoNP ise P! = NP ise). Şerefe Derek

11 cc.complexity-theory  reference-request  p-vs-np 

(Tara B Göre) DÜZENLEME: Hala ilgi duyarım referans başıma kağıt için kendim kanıtlamak zorunda gibi bu bir kanıtı için. Bu yazıda yer alan Teorem 4'ün kanıtını arıyorum: Liu ve Weiner tarafından Bağlamdan Bağımsız Dillerin Kesişme Hiyerarşisi . Teoremi 4: Bir boyutlu afin manifoldu boyutuna sahip olup, bunların her biri afin …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Let bir tamsayı dizisi olarak burada her bir j ∈ { 1 , 2 , ... , n } . İçin i ∈ { 1 , 2 , ... , n } , let m i = | { j : a j = i } | . K frekans …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

Geleneksel sanat galerisi sorunu bir bölge kurar ve bir miktar görünürlük anlayışıyla koruma sağlar ve tüm bölgeyi görmek için yerleştirilmesi gereken minimum sayıda koruma ister. Hiç kimse görünürlük bölgesinin bir çift gardiyan tarafından tanımlandığı sanat galerisi varyantlarına baktı mı ? Örneğin, bir formülasyon, minimum sınırlayıcı diski kaplayan bir çift koruma …

11 reference-request  cg.comp-geom 

Şu anda kuantum iletişiminde faydalı yönleri olan yerel olmayan oyunlar ile ilgili bazı iyi referans materyalleri arıyorum. Örneğin, yerel olmayan oyunların, QKD protokollerinin güvenliğini sağlamanın yanı sıra, sınırlayıcı iletişim karmaşıklığında iyi olduğunu biliyorum. Bilmek istediğim şey, kuantum iletişimindeki yerel olmayan oyunlarla ilgili bazı büyük makaleler nelerdir? Bu alanda son derece …

11 reference-request  quantum-computing  communication-complexity  quantum-information 

Bu otomat tarafından kabul edilen dilin deterministik bağlamsız bir dil olduğu ve kabul edilen dili tam olarak kabul eden deterministik bir aşağı itme otomatiği çıkardığı vaadiyle birlikte giriş olarak bir aşağı itme otomatiği alan bir algoritma oluşturmak mümkün müdür? tarafından ?MMML(M)L(M)L(M)NNNMMM Eşdeğer bir problem, girdi olarak aşağı itmeli bir otomata …

11 reference-request  computability  fl.formal-languages  automata-theory 

Aşağıdaki sorun karar olup olmadığını bilmek isteyen NLNL\mathsf{NL} (nondeterministic logspace): Yönlendirilmiş bir grafiktir verilen GGG iki ayırt edici noktalar ile ve , bir olduğu benzersiz bir mesafede yol için olarak ?tssstttt GssstttGGG Bunun içinde olması muhtemeldir hissediyorum biz orada hem kendi karar verebilir beri - -Path ve böyle bir yol …

11 reference-request  graph-theory 

Koşullu mantık, diğer koşul kavramlarına karşılık gelen modal operatörlerle geleneksel mantıksal imaları arttıran mantıklardır (örneğin, nedensel koşullu " A " B "ye veya olasılık koşullandırmasına neden olur" A | B "," A verilen B "yiokur).A□→BA◻→BA\; \square\!\!\!\!\to BAAAA|BA|BA|BAAABBB Tipik olarak bu mantıklar model teorik olarak incelenir, ancak bunların programlama dili tasarımına …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory 

"Birinci derece formül bir model var mı?" Sorusunun genel olarak kararsız olduğunu biliyorum .φφ\phi Herkes bana bir bağlantı veya sonlu modeller için cevap veren bir kitap verebilir. İlk sipariş formülüm varsa , sonlu bir modeli olup olmadığına karar verilebilir mi ? Sorunun iyi bilindiğinden eminim, ancak cevap aramaya nereden başlayacağımı …

11 reference-request  lo.logic  computability  finite-model-theory 

NEXP ve aynı zamanda üstel zaman ve sadece bir alternatif (varoluşsal bir durumdan başlayarak) kullanarak alternatif bir TM tarafından çözülebilir bir sorun var.NPNP^{\text{NP}} NEXP hakkında bilinen bir şey var mı ? NEXP veya başka bir sınıfa eşit mi? Genel olandan başka tam sorunlar var mı (bir NEXP makinesi ve bir …

11 cc.complexity-theory  reference-request  complexity-classes  nexp