«soft-question» etiketlenmiş sorular

Polinom zaman azaltma kavramı (Aşçı azaltma) çok sezgisel bir kavramın soyutlamasıdır: farklı bir problem için bir algoritma kullanarak bir problemi etkin bir şekilde çözme. Ancak, teorik olarak -completeness, kavramı -hardness haritalama indirimleri (Karp indirimleri) üzerinden yakalanır. Bu "kısıtlı" indirimler kavramı çok daha az sezgiseldir (en azından benim için). Hatta biraz …

18 cc.complexity-theory  np-hardness  soft-question 

Gözden geçiriyorum SIGACT News için Doğadan Esinlenen ve Yenilikçi Hesaplama El Kitabı'nı . Çok ilginç bir okuma. Yine de her bölümün tadı var, "Burası benim araştırma alanım ve kahretsin, harika!" Yapmaya çalıştığım şeylerden biri de hype'ı ayırmak ve kitabın içeriği hakkında ayık bir değerlendirme yapmak. Bir bölüm, bulanık mantık ve …

18 soft-question 

P ve NP sorunuyla ilgilenen tonlarca amatör - ben dahil - olduğu bilinmektedir. Sorunu çözmek için girişimde bulunan çok sayıda amatör - kendim hala dahil - var. TCS topluluğunun muzdarip olduğunu düşündüğüm bir sorun, nispeten yüksek bir ilgilendiğim amatör-uzman oranı; Bu, uzmanların P! = NP olduğuna dair kanıtlarla su altında …

18 soft-question 

Çok sık olarak, bir algoritmanın çalışma süresi karmaşık bir ifadeyse, algoritmanın kendisi de karmaşık ve pratik değildir. Küp kökleri ve her biri asimptotik koşma zamanında faktörlere çalışma süresi için sabit faktörleri algoritmanın karmaşıklık ve aynı zamanda gizli eğilimindedir.loglognlog⁡log⁡n\log \log n Bu temel kuralın başarısız olduğu çarpıcı örneklerimiz var mı? Elbette, …

18 ds.algorithms  soft-question  recreational 

Karmaşıklık teorisi, bazı problemlerin diğerlerinden daha zor olduğu sezgisel fikrini resmileştirdiği için evrenin yapısı hakkında temel bir şeyi ele alıyor gibi görünmektedir. Scott Aaronson tahmin "NP Sertlik Varsayım sonunda Termodinamik veya süperlüminal sinyal imkansızlığı İkinci Kanunu benzer olarak görülecektir." Sözde "zor problemler" modern kriptografinin temelidir. Herhangi var mıdır başka , …

18 cc.complexity-theory  soft-question  big-picture 

Hangi üniversiteler güçlü bir kuantum bilişim müfredatına sahiptir ve bir çeşit kuantum bilişim / bilgi kursları / araştırma sunar? Buradaki amaç, hangisinin "en iyi" olduğunu tartışmak değil, bu alanlarda lisansüstü eğitim düşünen biri için yararlı bir liste toplamaktır. Bu listeyi yararlı hale getirmek için, lütfen üniversitenin bu alanın izlendiği bölümünün …

18 soft-question  quantum-computing  big-list  quantum-information 

Bu konu dışı olduğunda özür dilerim. Alan adının süresi doldu. Umarım buradaki topluluğun bazı üyeleri (ben değilim) o sitenin yöneticisi / sahibi kim bilir. Oldukça kullanışlı bir kaynaktı.

17 soft-question 

Ben öncelikle kendiliğinden eşlenik ve üniter operatörlerin spektral teorisinde çalışan bir matematikçiyim. Araştırmalarımdan bazıları kuantum yürüyüşleriyle alakalı ve özellikle bu Ocak Seattle'daki Kuantum Bilgi İşleme konferansında sunmak istediğim bir makalem var. Teorik CS topluluğunun kültürü matematik topluluğundan çok farklı görünüyor. Hatta bir konferansta "bildiri sunmanın" ne anlama geldiğini araştırmak zorunda …

17 soft-question  conferences 

Mantıkta sağlam bir geçmişe sahip matematik alanında yüksek lisans öğrencisiyim. Sonlu model teorisi ve zorlama ve küme teorisi üzerine yüksek lisans dersleri ile birlikte bir yıllık mantık yüksek lisans dersi aldım. Çoğu CS metni, mantıkta yalnızca önermeli mantık ve birinci dereceden mantığın temellerini kapsayan çok mütevazı bir arka plan olduğunu …

17 lo.logic  soft-question  big-list  books  formal-methods 

Son zamanlarda ACM destekli bir konferanstaydım. Ziyafet sırasında konferans organizatörleri bize konferansın geleceği ve geçmişi hakkında bilgi verdi. Konferansın 2010 baskısında 5000 $ kayıp olduğunu söylediler. Bize ACM'ye verilen 8000 $ (doğru hatırlıyorsam bütçenin% 10'u) olduğunu görebildiğimiz önceki konferansın bütçesini gösterdiler. Belki de henüz tam olarak sahada olmadığım için (Eylül …

17 soft-question  conferences 

Rüya kariyeri fikrim, zorlu ve aynı zamanda pratik bir kullanımı olan problemlerle başa çıkabileceği endüstriyel araştırmalarda bir kariyer. Bu amaçla, TCS'de doktora yapmak (dağıtılmış / paralel algoritmalar, çevrimiçi algoritmalar gibi konularla ilgileniyorum) kötü bir fikir mi? TCS'deki doktora adaylarının hepsinin olmasa da akademide kariyer yapması bekleniyor - geçerli bir kural …

17 soft-question  advice-request  career 

1950'li ve 1960'lı yılların pek çok bilgisayar bilimi yayını, zihnin doğası ve fiziksel dünyayla ilgili bilginin anlamı üzerine büyüleyici felsefi spekülasyonlar içermektedir. Meşhur örnekler "Turing Test", Zuse'un "Calculating Space", Wheeler'ın "it from bit" vb. Bugün bu tür temalar popüler bilim kitaplarında geniş yer kaplıyor, ancak ciddi araştırma yayınlarından başka her …

16 reference-request  soft-question  philosophy 

Bu forum için çok geniş bir soru varsa özür dilerim, ancak araştırmacıların (TCS'de) bir araştırma makalesinin tanıtımını yazmak için kullandıkları belirli taktik ve ipuçlarıyla ilgileniyorum.

16 soft-question  advice-request  research-practice  writing 

Çoğu Amerikan üniversitesinin sadece tek bir alandaki başvuruları kabul ettiği göz önüne alındığında, bir CS teorisi programına başvurmanın, birinin ilgisinin her iki bölümde de olduğu göz önüne alındığında, uygulamalı bir matematik programına karşı avantajlarının / dezavantajlarının ne olduğunu anlamaya çalışıyorum. Daha spesifik olmak gerekirse, azalan düzende ilgi alanlarım 1. Kombinatorik …

16 soft-question  advice-request  career 

Ek yayınların kaydınıza zarar verebileceği durumlar var mı? Bu, yanlış veya tartışmalı sonuçlar yayınladığınız bariz durumlardan kaçınır. Sonlu zaman durumundan da kaçınmak: sadece düşünmek ve yazmak için çok zamanınız var, bu yüzden bir kağıt yazmak başka bir projede zaman kaybetmenize neden olabilir. Örnek bir kullanım örneği şunlar olabilir: teorik bilgisayar …

16 soft-question  advice-request  career