Teorik Bilgisayar Bilimi

2 NP-tamamlanmış problem tanım gereği birbirine indirgenebildiğinden, diğerine çözülen bir kara kutu kullanarak bunlardan birine bir çözüm elde edilebilir, neden benzer yaklaşım oranlarına sahip değiller (optimizasyon muadillerine atıfta bulunarak) )? Bazı sabit veya hatta polinom kaymalarının anlaşılabileceğini tahmin ediyorum, ancak bazı NP-tam problemleri için sabit faktörlü yaklaşım algoritmaları ve diğer …

11 cc.complexity-theory  approximation-algorithms  reductions 

Programlanabilirliği olan Random Oracles adlı bir makale okuyordum . Bölüm 2.3'ün son paragrafında şunlar bulunmaktadır: [Yeni yaklaşımımızı kullanarak] Borel-Cantelli lemmasına dayanan iyi bilinen klasik asimtotik (ve homojen) derandomizasyon tekniklerinin uygulanmasına gerek yoktur . Bildiğimiz kadarıyla, bu yaklaşım bu makalede yenidir. Vikipedi'nin Borel-Cantelli lemmasına girişine bir göz attım ve neredeyse fikri …

11 cc.complexity-theory  derandomization  pr.probability  measure-theory 

İki aşamalı tek yönlü (2P1R) oyunlar, yaklaşık sertlik için önemli bir araçtır. Özellikle, iki aşamalı tek aşamalı oyunların paralel tekrarı, bir yaklaşım probleminin karar versiyonundaki bir boşluğun boyutunu arttırmak için bir yol sağlar. Konuya genel bakış için Ran Raz'ın CCC 2010'daki anket konuşmasına bakın . Bir oyunun paralel tekrarı, rastgele …

11 cc.complexity-theory  approximation-hardness 

Parametreli karmaşıklıkta insanlar W [t] sertliğini kanıtlamak için sabit parametre izlenebilir (FPT) indirgeme kullanırlar. Teorik olarak bir FPT indirgemesi, k parametresinde katlanarak çalışabildiği için bir polinom zamanı indirgeme değildir. Ancak pratikte gördüğüm tüm FPT azaltımları p-zamanı azaltmalarıdır, bu da W [t] sertlik kanıtlarının neredeyse her zaman NP tamlık kanıtlarını ima …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Aşağıdakiler aptalca görünebilir (ve muhtemelen zayıf anlayışımı yansıtıyor - lütfen bana katlanın) PCP teoreminde bir sorgu vardı. İlk üç adımdan sonra biliyoruz. Derece İndirgeme, Expanderization ve Boşluk Amplifikasyon, bir kısıtlama grafik bilgisi geliştirilmiş boşluk ve benzeri (büyük harf boyutu ile Σ d t ). Alfabe küçültme adımının ele aldığı bu …

11 cc.complexity-theory  pcp 

Soruyu soracağım yerle yanıldığımda üzgünüm (belki stackoverflow.com/mathoverflow.net adresine gitmeliyim?). Genişletilmiş Öklid algoritmasını değerlendirirken Bézout'un katsayılarının ( + bt = gcd ( a , b ) olarak kimlikte s ve t ) bazı makul değerleri aşmayacağına dair bir kanıt olup olmadığını merak ediyorum (a, b, ). Bazı genel amaçlı programlama dillerinde …

11 ds.algorithms  nt.number-theory 

Bu, kısmi boole işlevleri için iletişim alt sınırları hakkındaki önceki sorumun devamıdır . Belirsiz çok taraflı iletişim için birisi alt sınırlar hakkında herhangi bir referans önerebilir mi? Alandaki makaleleri inceliyorum, ancak herkes aşağıdaki tipte ayrımlar gösteriyor gibi görünüyor: rastgele protokol için bir alt sınır ve belirsiz olmayan bir protokol için …

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

NP = ko-NP ve polinom in bir 3-CNF örneği için tatmin edilemezlik kanıtının uzunluğunu sınırladığını varsayın . Öyleyse uzunluğunda için herhangi bir tatminsizlik kanıtının ne tür bir sonuç alabileceği konusunda herhangi bir sonuç var mı? Genel olarak, böyle bir kanıtın örneğin, sonsuz yapılar üzerinde ikinci dereceden mantığın tüm gücünü kullanması …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

Gerçek dünya verileri bazen doğal sayıda kümeye sahiptir (bazı sihirli k'lardan daha az bir kümeye kümelemeye çalışmak, kümelenme maliyetinde önemli bir artışa neden olur). Bugün Dr. Adam Meyerson'ın verdiği bir konferansa katıldım ve bu tür verileri "ayrılabilir veri" olarak adlandırdı. K-araçları dışında, verilerdeki doğal ayrılabilirliği kullanacak olan kümeleme algoritmalarına (yaklaşımlar …

11 lg.learning  clustering 

İ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 

Herhangi bir vücut, düz çizgi simülasyonunun anlamı için iyi bir referans biliyor mu? Şu anda Canetti'nin Universal Composability (UC) çerçevesinde derinlemesine çalışıyorum, ancak düz çizgi simülasyonunun anlamı için iyi bir referans bulamıyorum. Herhangi bir yardım takdir.

11 cr.crypto-security 

köşeli ve kenarlı bir grafik düşünün . gerçek değişkenler ile etiketlenir , burada sabittir. Her kenar bir "ölçümü" temsil eder: kenar , bir ölçüm elde ederim . Daha doğrusu, , gerçekten rastgele bir miktardır , eşit olarak dağılmış ve diğer tüm ölçümlerden (kenarlardan) bağımsızdır.m x i x 1 = 0 …

11 ds.algorithms  graph-algorithms 

Sorum biraz genel, bu yüzden bunu haklı çıkarmak için güzel bir hikaye hazırlıyorum. Gerçekçi değilse benimle ayı ;-) Hikaye Büyük bir şirketteki bilgisayar güvenliği departmanı başkanı Bay X biraz paranoyandı: kimlik veya bilgi hırsızlığı riskini en aza indirmek için tüm çalışanların ayda bir kez şifrelerini değiştirmelerini istiyor. Dahası, çalışanların güvenli …

11 lg.learning 

ve verildiğinde, 'bitini (veya herhangi bir küçük tabanın rakamını) elde etmek mümkün müzaman / uzay O (s (ln (K), In (M))) , p (x, y), bazı polinom fonksiyonu x ve y ?M M N ! O ( p ( l n ( N ) , l n ( M ) …

11 ds.algorithms  nt.number-theory 

DDD{ 0 , 1 }d× { 0 , 1 }{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf: { 0 , 1 }d→ { 0 , 1 }f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈ Cf∈Cf \in CO P T ( C , D ) = dk f ∈ C e r r ( f , D ) A C D 2 / 3 …

11 reference-request  machine-learning  lg.learning