«intuition» etiketlenmiş sorular

Bu soru biraz belirsiz ise özür dilerim, ancak başarılı araştırmacıların TCS'deki sonuçlar için nasıl bir "his" elde ettiklerini merak ediyorum. Örneğin, lineer cebir geometrik olarak veya fiziksel yorumlamaları (özvektörler bir sistemde "sabit noktalar" olarak düşünülebilir), vb. Anlamında anlaşılabilir. Vb. protokol, oldukça farklı işlem gücüne sahip iki varlık arasında bir tür …

27 soft-question  intuition 

Şu iyi bilinmektedir ki eğer P=NPP=NP\mathbf{P}=\mathbf{NP} sonra polinom hiyerarşi çöker ve P=PHP=PH\mathbf{P}=\mathbf{PH} . Bu, oracle makineleri kullanılarak endüktif olarak kolayca anlaşılabilir. Soru - neden endüktif sürece sürekli bir değişim seviyesinin ötesinde devam edemiyoruz ve P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)}) (aka AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} ) ispatlayamıyoruz ? Sezgisel bir cevap arıyorum.

18 cc.complexity-theory  polynomial-hierarchy  intuition 

Veri yapıları hakkında bir ders veriyorum ve önümüzdeki hafta başında dalak ağaçlarını kapatacağım. Yayvan ağaçlarla ilgili makaleyi defalarca okudum ve veri yapısının arkasındaki analiz ve sezgiye aşinayım. Ancak, Sleator ve Tarjan'ın analizlerinde kullandığı potansiyel işlev için sağlam bir sezgi bulamıyorum. Analiz ağacındaki bir rasgele ağırlığı her öğe atayarak çalışır sonra …

16 ds.data-structures  intuition  amortized-analysis 

AFAIK, Yüksek mertebeden fonksiyonlar kullanmanın ilk kanıtı Schönfinkel'in 1924 tarihli makalesine geri dönüyor: "Matematiksel Mantıkın Yapı Taşlarında" - birisinin işlevleri diğer işlevlere argüman olarak geçirmesine izin verdi. İlginç görünüyor. Ancak, çalışmaları hakkında okuduğum her şey (ve Curry'nin uzantısıyla) bir şekilde veya başka bir şeyle ilgili gibi görünüyor: [üst düzey fonksiyonlar] …

15 lo.logic  soft-question  ho.history-overview  intuition  function 

İnsanların genel bir kitle konuşması için sezgilerine aykırı sonuçların örneklerini arıyorum. Uzman olmayan kişilerden "sezginiz size ne anlatıyor?" Sonuçların ifadesi cs / math lisans öğrencileri için kolayca açıklanabilir olmalıdır. Esas olarak bilgisayar bilimlerinde sonuç arıyorum. Bölgenizdeki en mantıksız / beklenmedik sonuçlar (genel ilgi) nelerdir?

14 big-list  teaching  intuition 

Başımı hesabının ne, neden ve nasıl sarmaya çalışıyordum ama "neden çalışıyor?"λλ\lambda "Sezgisel" Turing Machines (TM) hesaplanabilirlik modelini alıyorum. Ama bu soyutlama beni şaşırttı.λλ\lambda Diyelim ki TM'ler yok - o zaman hesabının bu hesaplanabilirlik kavramını yakalama yeteneği hakkında nasıl "sezgisel olarak" ikna edilebilir ? Her şey için bir grup fonksiyona sahip …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition