Запитання з тегом «intuition»

Вибачте, якщо це питання трохи розпливчасте, але мені цікаво, як успішні дослідники отримують «відчуття» щодо результатів у TCS. Наприклад, лінійну алгебру можна зрозуміти геометрично або з точки зору її фізичних інтерпретацій (власні вектори в системі можна вважати "стабільними точками"). Також інтуїтивно зрозуміло, що існує протокол IP для TQBF (як IP …

27 soft-question  intuition 

Добре відомо, що якщо P = N P,P=NP\mathbf{P}=\mathbf{NP} то поліноміальна ієрархія руйнується і .Р = Р НP=PH\mathbf{P}=\mathbf{PH} Це легко зрозуміти індуктивно, використовуючи машини oracle. Питання - чому ми не можемо продовжувати індуктивний процес поза постійним рівнем чергувань і не довести (aka )?P=AltTime(nO(1))P=AltTime(nO(1))\mathbf{P}=\mathbf{AltTime}(n^{O(1)})AP=PSPACEAP=PSPACE\mathbf{AP}=\mathbf{PSPACE} Я шукаю інтуїтивну відповідь.

18 cc.complexity-theory  polynomial-hierarchy  intuition 

Я викладаю курс з структур даних і на початку наступного тижня буду висвітлювати грі дерева. Я читав статтю про splay дерева багато разів і знайомий з аналізом та інтуїцією, що стоїть за структурою даних. Однак, я не можу знайти тверду інтуїцію щодо потенційної функції, яку Sleator та Tarjan використовують у …

16 ds.data-structures  intuition  amortized-analysis 

AFAIK, Перші докази використання функцій вищого порядку відносяться до статті Шенфінкеля 1924 року: "Про будівельні блоки математичної логіки" - де він дозволив передавати функції як аргументи іншим функціям. Це здається цікавим. Однак, все, що я читав про його роботу (і про розширення Крірі), схоже, натякає на одне в тій чи …

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

Я шукаю приклади результатів, які суперечать інтуїції людей для загальної аудиторії. Результати, які, якби запитали у неекспертів "що вам каже ваша інтуїція?", Майже всі отримали б це неправильно. Заява результатів повинна бути легко зрозумілою для студентів з курсу / математики. Я в основному шукаю результати в галузі інформатики. Які є …

14 big-list  teaching  intuition 

Я намагався обернути голову навколо того, що, чому і як обчислення, але я не в змозі зіткнутися з "чому це працює"?λλ\lambda "Інтуїтивно" я отримую модель обчислення машин Тьюрінга (ТМ). Але ця абстракція просто залишає мене збентеженою.λλ\lambda Припустимо, ТМ не існує - тоді як можна "інтуїтивно" переконатися у здатності -рахунку захопити …

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