Вопросы с тегом «big-picture»

Теория сложности, кажется, отражает нечто фундаментальное в структуре вселенной, поскольку она формализует интуитивное представление о том, что некоторые проблемы сложнее других. Скотт Ааронсон предсказал : «Предположение о твердости NP в конечном итоге будет рассматриваться как аналог Второго закона термодинамики или невозможности сверхсветовой сигнализации». Так называемые «сложные проблемы» являются основой современной …

18 cc.complexity-theory  soft-question  big-picture 

В настоящее время я учусь в средней школе, интересуюсь теоретической информатикой и прикладной математикой. Я сам учил себя линейной алгебре и исчислению и конкретной математике. У меня есть наивное представление о том, что для того, чтобы писать лучшие алгоритмы, нужно знать как можно больше математики, потому что вы можете узнать …

17 big-picture 

задира Поскольку проблема длинная, здесь есть особый случай, который отражает ее суть. Проблема: Пусть A - детриминистический алгоритм для 3-SAT. Является ли проблема полного моделирования алгоритма A (на каждом экземпляре задачи). P-Space сложно? (Точнее, есть ли основания полагать, что эта задача сложная в P-Space, что-то в этом направлении следует из …

17 cc.complexity-theory  big-picture  structural-complexity 

Этот вопрос вдохновлен Технологическим Центром Джорджии и Центром Случайности футболкой , которая спрашивает «Рандомизировать или нет ?!» Есть много примеров, когда рандомизация помогает, особенно при работе в состязательной среде. Есть также некоторые настройки, в которых рандомизация не помогает и не мешает. Мой вопрос: Каковы некоторые настройки, когда рандомизация (каким-то, на …

17 randomness  big-picture  randomized-algorithms 

Фон . Я студент бакалавриата, который интересуется исследованиями, связанными с теорией категорий, монадами и Хаскеллом, и я хочу найти тему для своей диссертации бакалавра в этой области. Я посмотрел на бумагу Эудженио Могги , « Понятия вычислений и монад », 1991, и я пока не очень разбираюсь в этом. Возможно, …

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

Я всегда заинтригован отсутствием численных доказательств в экспериментальной математике за или против вопроса P против NP. В то время как гипотеза Римана имеет некоторые подтверждающие данные из численной проверки, я не знаю аналогичных доказательств для вопроса P против NP. Кроме того, мне неизвестны какие-либо прямые физические последствия для мира существования …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Будучи из физики, я был обучен изучать множество проблем с геометрической точки зрения. Например, дифференциальная геометрия многообразий в динамических системах и т. Д. Когда я читаю основы информатики, я всегда пытаюсь найти геометрические интерпретации. Как правдоподобная геометрическая интерпретация рекурсивно перечислимых множеств (я работал над частью, где пытался связать их с …

14 reference-request  computability  big-picture 

Какой класс сложности связан с исчерпывающими алгоритмами поиска? (если есть) Это NP или PSPACE? Существуют ли ограниченные модели вычислений, охватывающие класс алгоритмов исчерпывающего поиска, аналогичных моделям для жадного и динамического программирования?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Я вспоминаю, как видел исследование или статью, где недавно утверждалось, что большая часть ускорения, наблюдаемого в компьютерных программах за последние несколько десятилетий, происходит от более совершенных алгоритмов, а не от более быстрого аппаратного обеспечения. Кто-нибудь знает исследование или статью?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Мой первый вопрос: известна ли интерактивная характеристика системы доказательств для всех классических классов сложности. Я бы назвал P, NP, PSPACE, EXP, NEXP, EXPSPACE рекурсивными и рекурсивно перечислимыми функциями классическими (среди прочих). В частности, известна ли интерактивная характеристика системы доказательств для рекурсивных и рекурсивно перечислимых функций? Я знаю только, что IP …

14 cc.complexity-theory  big-picture  interactive-proofs 

Мне кажется, что большинство теоретиков сложности обычно верят в следующее философское правило: Если мы не можем найти эффективный алгоритм для задачи и можем свести проблему A к проблеме B , то, вероятно, эффективного алгоритма для проблемы B тоже нет.AAAAAABBBBBB Вот почему, например, когда новая проблема доказана NP-полной , мы просто …

14 cc.complexity-theory  big-picture  reductions 

вычислительная сложность включает в себя большое количество комбинаторики и теории чисел, некоторые особенности стохастики и растущее количество алгебры. Однако, будучи аналитиком, мне интересно, есть ли приложения анализа в этой области, или, может быть, идеи, вдохновленные анализом. Все, что я знаю, что немного соответствует этому, - это преобразование Фурье на конечных …

14 cc.complexity-theory  reference-request  soft-question  big-picture 

Я читал на интуиционистской теории типов (ITT), и это имеет смысл. Но что я изо всех сил пытаюсь понять, это «почему» он был создан в первую очередь? Интуиционистская логика (IL) и простой тип вычисления (STLC) и теория типов вообще предшествуют самому существованию самого Мартина-Лёфа! Кажется, что в STLC можно сделать …

13 lo.logic  soft-question  type-theory  big-picture  ho.history-overview 

Предположим, вы встречаетесь с программистами, которые прошли некоторые профессиональные курсы по программированию (или думали сами), но не изучали математику университетского уровня. Чтобы показать им всю прелесть TCS, я хотел бы собрать некоторые хорошие результаты / открытые вопросы, поступающие от TCS, которые легко объяснить. Хороший кандидат для этой цели (ИМХО) покажет, …

13 soft-question  big-list  big-picture  teaching 

Что такое теоретическая информатика? Это обучение кодированию на разных языках и создание приложений на платформах? Или это просто думать о более быстрых и быстрых алгоритмах, чтобы вы могли более эффективно решать задачи с помощью компьютеров? Или это программирование и размышление о новых жизненных ситуациях, которые можно смоделировать на компьютере? Что …

13 big-picture