«reference-request» etiketlenmiş sorular

Algoritmik lens aracılığıyla sorulara bakmak (yani algoritmik veya karmaşıklık açısından) bilgisayar biliminin 'standart alanı' dışındaki disiplinlerde faydalı olmuştur. Özellikle CS, hesaplamalı biyoloji yoluyla biyolojiyi, kuantum bilgi işlemesiyle fiziği etkilemiştir ve yapay zeka ve karmaşıklık teorisi nörobilim ile düzenli olarak etkileşime giriyor görünmektedir. Doğa bilimleri, TCS ile nispeten rahat görünüyor. Dolayısıyla …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

LOGLOG'u, O (loglog n) uzamında deterministik bir Turing makinesi (girdiye iki yönlü erişime sahip) ile hesaplanabilecek dillerin sınıfı olarak tanımlayın. Benzer şekilde, NLOGLOG'u, O uzayında (log log n) belirlenemeyen bir Turing makinesi (girdiye iki yönlü erişimi olan) ile hesaplanabilen dillerin sınıfı olarak tanımlayın. Bu sınıfların farklı olduğu gerçekten bilinmiyor mu? …

32 cc.complexity-theory  reference-request  space-bounded 

Hem lise hem de üniversitede olasılık teorisi üzerine bazı dersler geçerken, olasılık söz konusu olduğunda TCS belgelerini okumakta zorlanıyorum. TCS makalelerinin yazarlarının olasılıkları çok yakından tanıyor. Büyülü olasılık formülleriyle çalışırlar ve teoremleri çok kolay bir şekilde ispatlarlar; bir formülün nasıl elde edildiğini ve kimliklerin (veya eşitsizliklerin) nasıl kanıtlandığını anlamak için …

32 reference-request  big-list  pr.probability  books 

Bireysel çalışma için ve sınavlara hazırlanmak için kullanabileceğim birçok örnek içeren sonlu bir otomata teorisi kitabına ihtiyacım var.

32 reference-request  automata-theory  fl.formal-languages 

Nielson ve Nielson'un " Uygulamalar ile Semantik " adlı kitabını okudum ve konuyu gerçekten beğendim. Programlama dili anlambilimi hakkında bir kitap daha istiyorum - ancak gerçekten sadece bir tane alabilirim. Turbak / Gifford kitabına bir göz attım ama çok uzun soluklu; Winskel'in iyi olacağını düşünmüştüm, ancak erişimim yok (Üniversite kütüphanemizde …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Bilindiği gibi görünmüyor - ama kuantum hesaplama modelinde matris çarpımının karmaşıklığı ile ilgili ilginç daha düşük sınırlar var mı? Kuantum bilgisayarları kullanarak Coppersmith-Winograd algoritmasının karmaşıklığını yenebileceğimiz konusunda bir fikrimiz var mı?

30 reference-request  quantum-computing  matrix-product 

Polinom metodları , Kombinatoryal Nullstellensatz ve Chevalley – Warning teoreminin ilave kombinasyonlarda güçlü araçlardır. Uygun polinomlarla ilgili bir sorunu temsil ederek, bir çözümün varlığını ya da polinomların çözüm sayısını garanti edebilirler. Sınırlı toplamlar veya sıfır toplamlı problemler gibi problemleri çözmek için kullanılmışlardır ve bu alandaki teoremlerin bazıları ancak bu yöntemlerle …

29 cc.complexity-theory  reference-request  co.combinatorics  polynomials 

Boolean Function Complexity adlı kitabında Stasys Jukna, Kolmogorov'un P'deki her dilin doğrusal büyüklükte devrelere sahip olduğuna inandığını söyler (sayfa 564). Referans belirtilmemiş ve çevrimiçi bir şey bulamadım. bu konuyla ilgili daha fazla bilgisi olan var mı?

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

Sadece Schwartz-Zippel Lemması'nın iki kanıtının farkındayım. İlk (daha yaygın) ispat wikipedia girişinde açıklanmaktadır . İkinci kanıt Dana Moshkovitz tarafından keşfedildi. Büyük ölçüde farklı fikirler kullanan başka kanıtlar var mı?

28 cc.complexity-theory  reference-request  algebra  polynomials  finite-fields 

Diyelim ki , boyama numarasını d = χ ( G ) olan bir grafiktir . Alice ve Bob arasındaki şu oyunu göz önünde bulundurun. Her turda, Alice bir köşe alır ve Bob bu köşe için { 1 , … , d - 1 } ' de bir renkle cevap verir …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

Ekoloji ve evrim çalışmaları giderek daha matematiksel hale geliyor, ancak teorik araçların çoğu fizikten geliyor gibi görünüyor. Bununla birlikte, birçok durumda problemler çok ayrı bir yapıya sahiptir (bakınız örneğin SLBS00 ) ve bilgisayar bilimi perspektifinden faydalanabilir . Yine de, TCS'nin ekoloji ve evrimdeki belirli sorulara değinmeye çalışan ciddi sonuçlarının farkındayım. …

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

Düzenleme: 06 Aralık 2012 itibariyle en yüksek puana sahip cevabı seçiyorum. Bu yumuşak bir soru. (Deterministik) algoritmalar kavramı M.Ö. Olasılık algoritmaları ne olacak? Olarak bu sayfasını ziyaret , hesaplama geometride yakın çift sorunu için Rabin'in algoritma, ilk önce, randomize algoritması olarak verildi (yıl ???). Rasgele algoritmalar Modern çağın başlangıç olarak …

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

SAT çözücülerinde kesme düzlemi yöntemleri, değişken yayılım, dallanma ve sınırlanma, yan tümce öğrenme, akıllı geri izleme ve hatta el dokuması insan sezgiselliği bulabilirsiniz. Yine de onlarca yıldır en iyi SAT çözücüler büyük ölçüde çözünürlüğe dayanıklı tekniklere güveniyor ve yalnızca yardım almak ve özünürlük tarzı aramayı yönlendirmek için başka şeylerin bir …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

Sadece öğretilen Karger-Stein mincut algoritma randomize yüksek lisans algoritmaları sınıfında. Bu gerçek olduğunu algoritmik mücevher Ben bu yüzden, değil öğretmek, ama ana tekniğin diğer uygulamaları bilmiyorum çünkü her zaman bana sinirli bırakır. (Yani, evdekileri yönlendiren ödev vermek zor.) Karger ve Stein'ın algoritması, grafiğin yalnızca iki köşesi oluncaya kadar rasgele kenarları …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

Eminim ki , 18. yüzyıldaki Buffon'un iğne deneyini biliyordur , bu hesaplanacak ilk olasılık algoritmalarından biridir .ππ\pi Algoritmanın bilgisayarlarda uygulanması genellikle kesikli bir seri olarak uygulanmış olsalar bile, bu türden hedefleri aşan veya trigonometrik bir fonksiyonun kullanılmasını gerektirir.ππ\pi Bu sorunu aşmak için, bilinen reddetme yöntemi algoritması var: birim kareye koordinatlar …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo