Teorik Bilgisayar Bilimi

Somutluk için LP'yi, her oyuncunun aksiyonu olan iki oyunculu sıfır toplamlı bir oyunu çözmek için düşünün . Getiri matrisi A'nın her girişinin mutlak değerde en fazla 1 olduğunu varsayalım . Basitlik için, hiç bir uzlaşma varsayımı yapmayalım.nnnbirAA Bu oyunun değerine yaklaşık olarak ulaşmak için çalışma zamanı olduğunu varsayalım .TTT Bu …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

Bu son oyun teorisi sorusu beni düşündürdü (elbette bu bir teğet): Oyun teorisini kullanmak için araştırma sorularını seçmek için kişisel bir stratejiyi verimli bir şekilde optimize etmek mümkün mü? Sorunun resmileştirilmesine yönelmek için aşağıdaki (gayri resmi olarak belirtilen) varsayımları yapacağım: Eşit şekilde çalışabileceğim herhangi bir problemi "beğeniyorum" ("İstediğinizi yapın!" Sorusunun …

19 soft-question  gt.game-theory 

Eşsiz oyun varsayımını göstermek için bir resmi nasıl tasarlarsınız? Bu, bir sonraki AMS Ortak Toplantısında benzersiz oyunlar hakkında "Güncel Etkinlikler" sunumu ve üretilecek kitapçık içindir. Geçmişte üretilen illüstrasyon türlerinin örneği http://www.ams.org/meetings/lectures/current-events-bulletin 2006 baskısına tıklarsanız Madhu Sudan'ın PCP'deki konuşmasını göstermek için kullandığı resmi görebilirsiniz. Maks kesme için benzersiz oyunları azaltan gadget'ı …

19 cc.complexity-theory  unique-games-conjecture 

Bana herhangi bir zamanda bir veri akışında 'k' en sık meydana gelen öğeleri söyleyen en verimli (akış ??) algoritması arıyor. Bu yazı: "Böl ve fethet" veri akışı algoritmaları beni ilgilendirdi. Örneğin, sayılar olduğunu varsayalım: (4,3,5,1,6,2,4,3,3,8,9,1) ve en sık görülen 3 sayıyı soruyorum (diyelim), o zaman yapmalıyım cevap olarak (3,4,1) olsun. …

19 ds.algorithms  online-algorithms  data-streams 

, derece tepe noktası olmadan köşelerinde basit bir grafik olsun . herhangi iki köşesi için her ikisine bitişik benzersiz bir tepe noktası olduğunu varsayalım . Böyle bir grafiğin düzenli olduğunu kanıtlamak, Kombinasyon Dersi , van Lint ve Wilson'dan bir alıştırmadır .GGGnnn(n>3)(n>3)(n > 3)n−1n−1n − 1GGG Ancak sorum, verilen kısıtlamaları karşılayan …

19 graph-theory  co.combinatorics  puzzles 

Zinkevich'in "çevrimiçi dışbükey optimizasyonu" ( http://www.cs.cmu.edu/~maz/publications/ICML03.pdf ), "pişmanlık en aza indirgeme" öğrenme algoritmalarını doğrusal bir ayardan dışbükey bir ortama genelleştirir ve iyi "dış pişmanlık" verir . İç pişmanlık için benzer bir genelleme var mı? (Bunun tam olarak ne anlama geldiğinden bile emin değilim.)

19 lg.learning  online-learning 

Perl veya .NET gibi düzenli ifadelerin modern uygulamalarının çoğu, ileri ve geriye bakış gibi özelliklere sahip klasik bilgisayar bilimi REGEXes tanımının ötesine geçer. Bu özellikler, sonlu, aşağı itilmeyen bir otomasyonla tanımlanamayan ifadeleri ayrıştırmaya izin veriyor mu? Turing'e ne kadar yakın olursa, bu onları mümkün kılar mı?

19 automata-theory  regular-expressions  fl.formal-languages 

düşünün , 1 iff sıfır döndüren bir işlev art arda görünür . Şimdi birisi bana nin hesaplanabilir olduğuna dair bir kanıt verdi :n π f ( n )f(n)f(n)f(n)nnnππ\pif(n)f(n)f(n) Ya her n için, öğenin göründüğü ya AM ST yoktur içinde görünür ve etmez. İlk olasılık için ; İkincisi için iff , …

19 computability 

İnterpolantları hesaplamak için herhangi bir algoritma araştırması var mı? Sadece bir algoritmadaki kağıtlar ne olacak? En çok ilgilendiğim durum ve C = q artı enterpolantın mümkün olduğu kadar küçük olması. ( McMillan'ın 2005'ten itibaren nicelleştiricilerden kaçınırken enterpolantların nasıl alınacağını açıklayan makalesini biliyorum .)A=¬p∧qA=¬p∧qA=\lnot p\land qC=qC=qC=q Arka plan: Craig interpolasyon teoremi …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

Kilitli . Bu soru ve cevapları kilitlidir çünkü soru konu dışıdır, ancak tarihsel önemi vardır. Şu anda yeni yanıtları veya etkileşimleri kabul etmiyor. En sık hangi algoritmalar kullanılır? Lütfen cevap başına tek bir algoritma yazın, yanıtınızı kısa tutmaya çalışın (bir veya iki satır).

19 ds.algorithms  big-list 

Anthony Aaby'in Anlambilim üzerine "Programlama Dillerine Giriş" bölümünde aşağıdaki gözlemi yapar: Programlama dillerinin anlambilimindeki çalışmaların çoğu, zorunlu programları --- atama komutları olan programları oluşturmaya ve anlamaya çalışırken karşılaşılan sorunlar tarafından motive edilir. Atama komutu değerleri değişkenlere yeniden atar, bu atamanın programın uzak bölümlerinde beklenmeyen etkileri olabilir. Bu dikkat çekici bir …

19 imperative-programming  semantics  big-picture 

Birisi bana aşağıdaki problemde yardımcı olabilir mi? Bazı değerleri bulmak istiyorum (mod ) burada (örneğin ), verilen değerleri listesi karşılık gelen somut ilişkiyi bilmeden (örneğin ) farklılıklarına karşılık gelir. Değerler yana benzersiz verilen tanımlanmamış farklılıklar , biz aramaya herhangi değerlerin geçerli atama.ai,bjai,bja_i,b_jNNNi=1,2,…,K,j=1,2,…,Ki=1,2,…,K,j=1,2,…,Ki=1,2,…,K, j=1,2,…,K K=6K=6K=6K2K2K^2ai−bj(modN)ai−bj(modN)a_i-b_j\pmod NN=251N=251N=251ai,bj(modN)ai,bj(modN)a_i,b_j\pmod Nai−bj(modN)ai−bj(modN)a_i-b_j\pmod N Kesinlikle, listedeki K2K2K^2 …

19 ds.algorithms  linear-algebra  nt.number-theory  cryptographic-attack  comp-number-theory 

Karar problemi CNF-SAT aşağıdaki gibi tanımlanabilir: Girdi: Normal normal formda bir boole formülü .ϕϕ\phi Soru: sağlayan değişken bir atama var mı?ϕϕ\phi Belirleyici olmayan iki bantlı bir Turing makinesi ile CNF-SAT'ı çözmek için birkaç farklı yaklaşım düşünüyorum . CNF-SAT'ı adımlarında çözen bir NTM olduğuna inanıyorum .n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot \texttt{poly}(\log(n)) Soru: adımlarda CNF-SAT'ı …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Aşağıdaki sorunla ilgileniyorum: tamsayı matrisleri verildiğinde A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k, bu matrislerin her sonsuz ürününün sonunda sıfır matrise eşit olup olmadığına karar verir. Bu araçlar tam olarak öyle düşündüğünü: Biz matrislerin kümesi diyecekler {A1,…,Ak}{A1,…,Ak}\{A_1, \ldots, A_k\} ürünlerinin sonunda eşit sıfır tüm orada eğer o özelliğine sahiptir değil sonsuz bir dizi var …

19 linear-algebra  decidability 

LP dualitesi hakkında 'eve gelmek' için iyi bir gayri resmi / sezgisel kanıt ne olabilir? Minimize edilmiş objektif fonksiyonun, sınırı anlamak için sezgisel bir yolla gerçekten minimum olduğunu nasıl gösterebiliriz? Bana öğretilen yol Dualite sadece bildiğim bir çok insan tarafından paylaşıldığından emin olduğum bir anlayışa yol açtı: Karşılık gelen her …

19 linear-programming  primal-dual