Вопросы с тегом «intuition»

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

27 soft-question  intuition 

Хорошо известно, что если то иерархия полиномов разрушается и .P = N PP=NP\mathbf{P}=\mathbf{NP}P = P HP=PH\mathbf{P}=\mathbf{PH} Это можно легко понять индуктивно с помощью оракулов. Вопрос в том, почему мы не можем продолжить индуктивный процесс за пределами постоянного уровня чередований и доказать (aka )?P = A l t T i m …

18 cc.complexity-theory  polynomial-hierarchy  intuition 

Я преподаю курс по структурам данных и в начале следующей недели расскажу о деревьях сплайнов. Я много раз читал статью о деревьях сплайнов и знаком с анализом и интуицией, стоящими за структурой данных. Тем не менее, я не могу найти твердую интуицию для потенциальной функции, которую Слеатор и Тарьян используют …

16 ds.data-structures  intuition  amortized-analysis 

AFAIK, Первое доказательство использования функций высшего порядка восходит к статье Шенфинкеля 1924 года: «О строительных блоках математической логики», где он позволил передавать функции в качестве аргументов другим функциям. Это кажется интересным. Тем не менее, все, что я читал о его работе (и о расширении Карри), похоже, намекает на одну вещь …

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

Я ищу примеры результатов, которые идут вразрез с интуицией людей для общей аудитории. Результаты, которые, если спросить у неэкспертов «что говорит ваша интуиция?», Почти все ошиблись бы. Заявление о результатах должно быть легко объяснимо для студентов в CS / математике. Я в основном ищу результаты в области компьютерных наук. Каковы …

14 big-list  teaching  intuition 

Я пытался обернуть голову вокруг того, что, почему и как вычислить, но я не могу понять, «почему это работает»?λλ\lambda «Интуитивно» я получаю модель вычислимости машин Тьюринга (ТМ). Но эта абстракция просто оставляет меня в замешательстве.λλ\lambda Давайте предположим, что ТМ не существуют - тогда как можно «интуитивно» убедиться в способности калькулятора …

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