«big-list» etiketlenmiş sorular

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 

Etrafında tonlarca tamamlanmış NP sorunu var ve bunları toplayan kaynaklar var, örneğin Garey ve Johnson'ın kitabına bakınız. NEXP-komple sorunların bir listesini de görmek isterim. Bir tane var mı? Var olmadığını varsaydığım gibi bu soruyu açıyorum (bunun bir topluluk wiki olması mı gerekiyor? Bu şeyleri bilmiyorum). İdeal olarak, liste NEXP-komple sorunların …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

Richard J. Lipton , “Yeni Fikir ve Tekniklerin Tanıtımı” adlı 2014 Knuth Ödülü'nü kazanan seçildi . Lipton'un geliştirdiği yeni ana fikir ve teknikler neler? Not. Bu soru topluluk wiki olacaktır, lütfen cevap başına böyle bir fikir, teknik veya sonuç koyun.

30 big-list 

Bazı matematik ve mantık paradoksları muhtemelen bilgisayarlara otomatik olarak uygulanabilir, ancak bilgisayar biliminin kendisinde keşfedilen herhangi bir paradoks var mı? Paradokslar ile çelişki gibi görünen sezgisel sonuçları kastediyorum.

30 big-list 

Son zamanlarda bir arkadaşım (TCS’de çalışan) bir konuşmada “yaşamındaki TCS’deki güzel sonuçların tümünü (veya mümkün olduğunca çok görmek istedi)” diye belirtti. Bu tür bana bu alanda güzel sonuçlar hakkında merak ve bu nedenle aşağıdaki soru için motivasyon yaptı: Teorik bilgisayar biliminde hangi sonuçlar (veya fikirler) sizce güzel? Sebebini de söyleseydin …

29 soft-question  big-list 

Üç mekansal boyutta bir evrende evrimleşmenin güzel şeylerinden biri, uzaydaki nesnelerle ilgili problem çözme becerileri geliştirmemizdir. Dolayısıyla, örneğin, üç boyutlu bir sayı olarak üçlü bir sayı olarak düşünebiliriz ve bu nedenle sayı üçlüleri hakkında 3-b'deki noktalarla ilgili hesaplama olarak düşünebiliriz, bu daha sonra uzay hakkındaki sezgimizi kullanarak çözülebilir. Bu, geometri …

28 big-list  cg.comp-geom  big-picture 

Bununla birlikte, kuantum mekaniği / bilgisiyle (örneğin tamamen klasik nesneler hakkında bir şeyler ifade eder) kuantum araçlarıyla hiçbir ilgisi olmayan bir teoremin kuantum araçları kullanılarak kanıtlanabileceği sorunların örnekleriyle ilgileniyorum. Bir anket Kuantum Proofs Klasik Teoremler için (A. Drucker, R. Kurt) bu tür sorunların güzel bir liste verir ama mutlaka çok …

27 quantum-computing  big-list  proofs 

Topoloji üzerine bir ders alan bir bilgisayar bilimcisiyim (süreklilik teorisi ile yoğun şekilde tatlandırılmış bir nokta-noktası topoloji serpme). Topolojik özellikler için bir mekanın (basit bir şekilde) açıklamasını test eden karar problemleriyle ilgilenmeye başladım; Homeomorfizma korunmuş olanlar. Örneğin, bir düğümün cinsinin belirlenmesinin PSPACE içerisinde olduğu ve NP-Sert olduğu bilinmektedir. (Agol 2006; …

27 cc.complexity-theory  big-list  topology 

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 

Vikipedi'deki hangi eksik TCS konuları hakkında bir makale olmasını istersiniz? İhmalleri göz ardı ediyor olabilirler ya da gerçekten bir makalesi olması gerektiğini düşündüğünüz konular. Cevap başına bir konu, lütfen en çok arananlar oylanabilir. Güncelleme 5/2/2017 : Shuchi Chawla, TCS’nin kapsama alanını iyileştirme çabalarına öncülük ediyor . Bu güncellemeyi, kişilerin cevaplarını …

26 soft-question  big-list  survey 

Bu benim cstheory yığındaki ilk sorum, bu yüzden bir şekilde görgü kurallarını ihlal ediyorsam çok kaba olmayın) Bildiğimiz gibi, matematikte ünlü matematikçiler bile, süperstarlar ve dahiler zaman zaman ciddi hatalar yapıyor. Örneğin, hem 4 renkli teorem hem de Fermat teoremi, en parlak zihinlerin bile nasıl kandırılabileceği konusunda çarpıcı vakalar sunar. …

26 soft-question  big-list 

İlk bilgisayar bilimi konferansına katılacağım ve konferansların nasıl geliştirileceğine ilişkin tavsiyeleri okuduktan sonra , birkaç önerinin ilk konferansa katılan mezun öğrenciler hakkında olduğunu fark ettim. İlk konferansa mezun olan bir öğrenciye ne tavsiye edersiniz ve odak noktası ne olmalıdır.

25 soft-question  big-list  conferences 

Tabii ki, bazı karmaşıklık sonuçları tek diller için çökebilir, ancak bu durumda bilinen sonuçları özetleyen bir anket olup olmadığını merak ediyorum: tek diller için bir tür karmaşıklık hayvanat bahçesi. Böyle bir referansı biliyor musunuz?

25 cc.complexity-theory  reference-request  big-list 

Bilgisayar bilimlerinde popüler bilim kitaplarımızın olmadığı bir ün vardır. Elbette bu doğru değil! (Listesinin aynı ruhla neler Kitaplar Meli Herkes okuyun? , Kağıtları herkesin okumalısınız Ne? , Videolar herkes izle? Gerekenler ve ilham Favori popüler matematik kitabı ) CS Teorisine ilham veren popüler bilim kitapları veya kaynakları nelerdir? Lütfen kitabın …

24 big-list  books