«reference-request» etiketlenmiş sorular

Belirli bir grafiğinin kapsayan bir örümceğini bulmak için bir polinom zaman algoritması var mı? Örümcek, derecesi 2'den fazla olan en fazla bir düğüme sahip bir ağaçtır: G'deki çeşitli derece koşullarının (aslında yeterince büyük düğüm dereceleri) yayılan bir örümcek varlığını garanti ettiğini biliyorum . Ama keyfi G için bir algoritma olup …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Bilgisayar bilimindeki temel sınıfların paralel analogu gibi, paralel programlamaya iyi bir giriş sağlayan çevrimiçi kullanılabilir Ders notları veya diğer kaynakları arıyorum. Odak noktam şu: böl ve fethet, açgözlü algoritmalar, dinamik programlama ve benzerleri, yani sıralı algoritmaların (ve problemlerin) temel kalıpları hakkında konuşabiliyorum ve yaklaşımları paralel algoritmalarda sınıflandırmak için uygun bir …

10 reference-request  soft-question  dc.parallel-comp  survey 

Ay ve Moser 1965 klibi sonucunun tam metinlerini Grafiklerde Cliques'ta arıyorum ( üstel maksimum sayıda klibi olan grafikler var ). Üniversitemin ödeme duvarının ilgili dergiye erişimi yok. (Aslında, önizleme ispatın ilk birkaç cümlesini sağlar, ancak daha sonra beni dinlenmeden bırakır!)nnn Takip ettiğim bir araştırma yönüyle ilgili bu sonuçla ilgileniyordum, ancak …

10 reference-request  graph-theory  co.combinatorics  clique 

Diyelim ki , bir Boole dilidir, üzerinde sonlu dizeler . , uzunluğunda olan dizelerin sayısı olsun . Bir işlev için, pozitif reel sayı pozitif tamsayılar arasından, olan üst yoğunluk ise her yeterince büyük için .LLL{0,1}{0,1}\{0,1\}LnLnL_nLLLnnnd(n)d(n)d(n)LLL d(n)d(n)d(n)Ln≤2nd(n)Ln≤2nd(n)L_n \le 2^n d(n)nnn Herhangi bir P-complete Boole dilinin üst yoğunluğu mı?O(1/n)O(1/n)O(1/n) Motivasyon PARİT, üst …

10 cc.complexity-theory  reference-request  p-hardness 

Karışık bir grafiktir verilen kenarları ile D ve yayları A , bir eşleşen bulmak E bu en aza indirir arkların numara G / M , G / K elde edilir G eşleşen köşe yakalanma çıkararak paralel yaylar.G=(V,E,A)G=(V,E,A)G=(V,E,A)EEEAAAEEEG/MG/MG/MG/MG/MG/MGGG Bu sorunun (karar versiyonu) NP tamamlanmış mı? Literatürde incelendi mi?

10 cc.complexity-theory  reference-request  graph-theory 

İşte bir "parça B" sorusu var. Özet: Deterministik olmayan programlara anlambilim kazandırmaya çalıştığımda ilk düşündüğüm şey, yalnızca deterministiği sona erdirmeyen döngüler hakkında bir şeyler kanıtlayamadığım bir anlambilim ile sonuçlanır. Şüphesiz birisi bu durumda ne yapacağını hesapladı ya da en azından bunun zor olduğuna dikkat çekti, ama onu nasıl arayacağımı bilmiyorum …

10 reference-request  denotational-semantics 

Sorum, faktoringin sertliğine dayanarak inşa edilebilen çeşitli aday tek yönlü işlevlerin güvenliğinin denkliği hakkında. Sorununu varsayarsak FACTORİNGİ: [Verilen N=PQN=PQN = PQ rastgele asal için bulmak , .] P QP,Q&lt;2nP,Q&lt;2nP, Q < 2^nPPPQQQ Anlaşılmaz olasılık ile polinom zamanda çözülemez, fonksiyon PRIME-MULT: [ Girdi olarak bit dizisi verildiğinde , iki rasgele ve …

10 reference-request  cr.crypto-security  nt.number-theory  average-case-complexity  one-way-function 

Birisinin makaleyi daha iyi anlamak için bazı ek malzemeler önerebileceğini merak ediyorum: " Kuantum Çan Tipi Eşitsizlikler - Tsirelson'da Bazı Sonuçlar ve Sorunlar ". Özellikle Bell-Tipi eşitsizliklerin geometrik yorumlanması üzerinde biraz daha ayrıntılı olabilecek bir şey. Belki de bu konularla ilgili daha ayrıntılı bilgi veren bir astar kağıdı veya ilgili …

10 reference-request  quantum-computing  quantum-information 

Kısmi siparişler için hesaplama problemleri (örn. Tanıma, atlama sayısı, karşılaştırılabilirlik grafiği tanıma vb.) Üzerinde oldukça fazla çalışma yapılmıştır. Kafeslere özgü hangi çalışmanın yapıldığını merak ediyorum. Etrafı araştırdım ve kafesler için çok benzer bir iş bulamadım. Özellikle, aşağıdaki kafes problemlerinin araştırılıp araştırılmadığıyla ilgileniyorum: Kafes tanıma: DAG veya kısmi bir düzen verildiğinde …

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory 

Sınırlı hata kuantum sorgu karmaşıklığı ( ) ve deterministik sorgu karmaşıklığı ( ) veya sınırlı hata rastgele sorgu karmaşıklığı ( ) arasındaki üstel ayrımlar bilinmesine rağmen , bunlar sadece belirli kısmi fonksiyonlar için geçerlidir. Kısmi fonksiyonların bazı özel yapıları varsa, bunlar aynı zamanda polinom olarak ile ilişkilidir . Ancak, çoğunlukla …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Bir yayılma programı, burada tanıtılan bir boole işlevini belirtmenin doğrusal-cebirsel bir yoludur . Son zamanlarda, bu model negatif olumsuz yöntemin kuantum sorgu karmaşıklığının sıkı bir karakterizasyonunu (en azından ) sağladığını göstermek için kullanıldı .logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Span programlarını kuantum sorgu karmaşıklığına bağlayan karmaşıklık ölçüsü tanık boyutudur. Bu önlem …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Karmaşıklık teorisindeki rastgele yapılardan daha iyi yapı örnekleri ile ilgileniyorum. Bildiğim böyle bir yapının tek örneği hata düzeltme kodları alanındadır. Cebirsel-geometri kodları, bazı parametrelerde rastgele kodlardan daha iyidir. Bu tür yapay örnekler kolayca yapılabilir. Cebirsel geometri kodları gibi örneklerle ilgileniyorum, burada rastgele bir yapı yapmanın kolay olduğu ve nasıl daha …

10 reference-request  big-list  derandomization  pr.probability 

Bu soru son sınıf lise öğrencileri için ilham verici konuşma ile aynıdır . Doktora danışman benden yeni M.Sc. için ilham verici bir konuşma yapmamı istedi. öğrenciler. Konu en iyi Goldreich'in kitabı tarafından gösterilen kriptografinin temelleri . Konuşma yaklaşık bir saat sürecek ve öğrencileri ana yapılara (tek yönlü işlevler / permütasyonlar, …

10 reference-request  soft-question  cr.crypto-security  teaching 

Her şeyden önce, cstheory'nin bu soru için iyi adapte olup olmadığından hala emin değilim, bu yüzden kalabalık durum böyle olmadığını düşünürse rahatsız olmayacağım ... Arama motoru pazarlamasında, çeşitli sorunlar ilginçtir. Adil (ve kârlı) açık artırma mekanizmalarının tasarımı ve sınırlı parasal kaynaklar altında optimal teklif stratejilerinin hesaplanması, ilginç (ve iyi belgelenmiş) …

10 reference-request  lg.learning  gt.game-theory 

Dağıtılmış sistemlerde hataların ele alınmasına ilişkin hangi belgeleri öneriyorsunuz?

10 reference-request  dc.distributed-comp