Pertanyaan yang diberi tag «intuition»

Saya minta maaf jika pertanyaan ini agak kabur, tetapi saya ingin tahu bagaimana para peneliti yang sukses mendapatkan "perasaan" untuk hasil di TCS. Misalnya, aljabar linier dapat dipahami secara geometris, atau dalam hal interpretasi fisiknya (vektor eigen dapat dianggap sebagai "titik stabil" dalam suatu sistem), dll. Juga intuitif bahwa terdapat …

27 soft-question  intuition 

Diketahui bahwa jika maka hierarki polinomial runtuh dan .P=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} Ini dapat dengan mudah dipahami secara induktif menggunakan mesin oracle. Pertanyaannya adalah - mengapa kita tidak dapat melanjutkan proses induktif di luar tingkat pergantian yang konstan dan membuktikan (alias )?P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)})AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} Saya mencari jawaban yang intuitif.

18 cc.complexity-theory  polynomial-hierarchy  intuition 

Saya mengajar kursus tentang struktur data dan akan mencakup pohon splay awal minggu depan. Saya telah membaca makalah tentang hamparan pohon berkali-kali dan saya akrab dengan analisis dan intuisi di balik struktur data. Namun, saya tidak bisa menemukan intuisi yang kuat untuk fungsi potensial yang digunakan Sleator dan Tarjan dalam …

16 ds.data-structures  intuition  amortized-analysis 

AFAIK, Bukti pertama tentang penggunaan fungsi-fungsi tingkat tinggi kembali ke makalah Schönfinkel 1924: "Pada Blok Bangunan Logika Matematika" - di mana ia mengizinkan seseorang untuk melewatkan fungsi sebagai argumen ke fungsi lain. Itu sepertinya menarik. Namun, semua yang telah saya baca tentang karyanya (dan Curry dengan ekstensi) tampaknya menyinggung satu …

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

Saya mencari contoh hasil yang bertentangan dengan intuisi orang untuk pembicaraan khalayak umum. Hasil yang jika ditanyakan dari non-pakar "apa yang dikatakan intuisi Anda kepada Anda?", Hampir semua akan salah. Pernyataan hasil harus mudah dijelaskan kepada sarjana dalam cs / matematika. Saya terutama mencari hasil dalam ilmu komputer. Apa hasil …

14 big-list  teaching  intuition 

Saya sudah mencoba untuk membungkus kepala saya di sekitar apa, mengapa dan bagaimana -kalkulus tapi saya tidak bisa memahami "mengapa itu bekerja"?λλ\lambda "Secara Intuitif" Saya mendapatkan model komputer Turing Machines (TM). Tapi -straksi ini membuat saya bingung.λλ\lambda Mari kita asumsikan, TM tidak ada - lalu bagaimana seseorang bisa "secara intuitif" …

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