«soft-question» etiketlenmiş sorular

Yıllar geçtikçe, birçok FourS teoreminin ayrık Fourier analizi kullanılarak kanıtlandığını görmeye alıştım. Walsh-Fourier (Hadamard) dönüşümü, mülk testi, sözderandumluluk, iletişim karmaşıklığı ve kuantum hesaplama dahil, neredeyse her TCS alt alanında kullanışlıdır. Boolean'ın Fourier analizini, bir problemle uğraşırken çok kullanışlı bir araç olarak kullanmakta rahat olmama rağmen, Fourier analizini kullanan vakaların iyi …

59 soft-question  boolean-functions  fourier-analysis 

Deterministik sonlu durum otomatlarını (DFA) undergrad'da okuduktan sonra çok iyi anlaşıldığını hissettim. Benim sorum, onlar hakkında hala anlamadığımız bir şey olup olmadığı. DFA'ların genelleştirilmesinden bahsetmiyorum, fakat orjinalinde incelediğimiz orijinal değiştirilmemiş DFA'lar. Bu belirsiz bir soru ama umarım fikri anlarsın. DFA'ları tamamen anladığımızı söylemenin adil olup olmadığını anlamak istiyorum. Bu yüzden, …

59 soft-question  open-problem  dfa 

İspatlarınızı kontrol etmek için genel kurallar nelerdir? Bunun benim gibi mezun öğrenciler için önemli olduğuna inanıyorum. Bir şeyi kanıtlamak için ne yapmamız gerektiğini zaten biliyorum, ancak göndermeden önce her zaman her şeyi kontrol etmeniz gerekir. Kendi danışmanına bile. Deneme-yanılma ile kendime bazı stratejiler geliştirdim ve danışmanımdan çok tavsiye aldım. Ancak …

59 soft-question  research-practice  writing 

Bu soru bir süredir merak ettiğim bir şey. İnsanlar P-NP problemini tanımladıklarında, genellikle NP sınıfını yaratıcılıkla karşılaştırırlar. Mozart kalitesinde bir senfoni oluşturmanın (NP görevine benzer şekilde) önceden oluşturulmuş bir senfoninin Mozart kalitesinde (P görevine benzer) olduğunu doğrulamaktan çok daha zor göründüğünü belirtiyorlar. Fakat NP gerçekten "yaratıcılık sınıfı" mı? Çok fazla …

59 cc.complexity-theory  complexity-classes  soft-question 

Sitede yeniyim. Matematik akışında bu topluluk wiki olur, ancak bunu nasıl ayarlayacağımı bilmiyorum. Bir araştırma sorusu değil, umarım profesyonel teorik bilgisayar bilimcilerine ilgi duyarız. Ben teoride 2. sınıf mezun bir öğrenciyim ve akademide bir kariyer yapmak için toplumun şu anda yapmam gerekenler için ne gibi önerileri olduğunu merak ediyordum. Biliyorum …

59 soft-question  career  advice-request 

İnternetin gelişmesiyle (ve sağduyuyla) açık erişim araştırması için giderek daha fazla talep var. Bazı araştırmacılar (ben dahil), hakemli dergilerde yayınlanan araştırma makalelerinin maaşların gerisinde kaldığını sinir bozucu buluyor. Kabul edilen tüm yayınları herkesin rahatça kullanabilmesini sağlayan dergiler ve konferanslar (teorik bilgisayar bilimi, grafik teorisi, birleştiriciler, birleştirici optimizasyon ile ilgili) arıyorum. …

58 soft-question  conferences  journals 

Kağıt yazmak için hangi araçları kullanıyorsunuz? Sahip olduğum küçük deneyime göre, teorisyen insanlar gerçekten yaratıcı olmanın yanı sıra, yazılar yazmak ve incelemek için çok zaman harcıyorlar. Başka bir deyişle, çalışmalarını diğer insanlarla paylaşmak. Belki de gazeteler bunu yapmanın doğru yolu değildir, ancak bu başka bir tartışmaya bırakılmalıdır. Her durumda, sonuçları …

55 soft-question  big-list  research-practice  writing 

Bu sitede ilk sorum. Hesaplama teorisi üzerine bir yüksek lisans kursu alıyorum. P = NP problemini 10 yaşındaki bir çocuğa nasıl açıklarsınız ve bunun üzerinde neden böyle bir para ödülü kazanırsınız? Sen al Kafam açıkladığında soruyu güncelleyeceğim.

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

Birçok birinci sınıf bilgisayar bilimi araştırmacısı ve araştırma grubu) yazarların ilgi alanlarındaki son araştırmalar hakkında bizi sürekli bilgilendiren aktif bloglar bulundurmaktadır. Çoğu durumda, blog yazılarının resmi evraklardan daha kolay anlaşılır, çünkü kanlı teknik ayrıntıların çoğunu atlar ve sezgiyi vurgular (hangi yazıların genellikle ihmal ettiği). Bu nedenle, önerilen blogların bir listesini, …

53 soft-question 

Bana genellikle teorik bir bilgisayar bilimcisinin ne yaptığı sorulur. Bu soruya güzel cevaplar vermek harika olurdu. Teknik jargona geri dönme eğilimindeyim ve insanların gözleri bu noktada genellikle sırlanıyor. Teorik bir bilgisayar bilimcisi, bilgisayar bilimcisi olmayan insanlar tarafından anlaşılabilecek şekilde ne yapar? İyi bir cevap belirsiz, titiz ve titiz görünmeden ruhsal …

51 big-list  soft-question 

MO'da verimli bir soruyu takiben, CS'de bazı önemli kağıt isimlerini tartışmanın faydalı olacağını düşündüm. Birçoğumuzun ilginç bir başlığı olan bir makaleyi okumaktan (veya en azından bir bakıştan) etkilenebileceği (en azından bir konferanstaki kağıtların bir listesini okuduğumda en azından bunu yaptığımdan) veya çok kötü okumaktan kaçınabileceğimiz açıktır. adlandırılmış makaleler. Başlıklarından dolayı …

49 soft-question  big-list 

Belirli bir karmaşıklıkla çözülebilen kanıtlanmış sorunlara referanslarla karşılaştığımı, ancak bu karmaşıklığa gerçekten ulaştığı bilinen bir algoritması olmadığını hatırlıyorum. Zihnimi bunun nasıl olabileceği etrafına sarmakla mücadele ediyorum; Bir algoritmanın varlığı için yapıcı olmayan bir kanıtın nasıl göründüğü. Gerçekten böyle sorunlar var mı? Çok pratik değerleri var mı?

47 ds.algorithms  soft-question  lo.logic  proofs 

Karmaşıklık teorisi benim için güçlü bir ikincil ilgi alanıdır, ancak benim birincil araştırma ilgim değil, bu yüzden tüm konferanslara katılmam, tüm blogları okumam ve cc: "in" kalabalığımın her bitiminde benim olmamı ummadım. sıcak haberler. Bunlardan bazılarını yapmaya çalışıyorum ama hangi yöntemlerin bana paranın karşılığını en iyi şekilde alacağını merak ediyorum …

47 cc.complexity-theory  soft-question  research-practice 

Öğrenci el yazmasını düzenliyordum. Öğrenci, yayınlanan çalışmalarda kaliteli yazı örneklerini görmenin iyi olacağını belirtti ve başımın üstünden gerçekten iyi örnekler alamadığımı fark ettim. Gördüğünüz kaliteli matematiksel yazının en iyi örnekleri nelerdir? Kurallar: TCS kağıtlarını mümkün olduğunca tercih ederim. Stilimiz, TCS'ye odaklanmanın daha iyi olduğunu düşündüğüm standart matematik ödevlerinden yeterince farklı …

46 soft-question  writing 

Bugün Ryan Williams , arXiv (daha önce SIGACT News'de göründü) hakkında yeni ACC düşük cilt tekniğinin daha az teknik bir versiyonunu içeren bir makale yayınladı . Benim sorum, tekniğin kendisi ile ilgili değil (elbette büyük övgülere layık), ama bu kağıdın tarzı ile ilgili. Özetinde şöyle yazar: Kanıt, onu keşfetmeye çalışan …

44 soft-question  big-list