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

Большой тег изображения предназначен для «широкого, общего представления или перспективы проблемы или проблемы».

13
Комплексный анализ в теоретической информатике
Существует множество применений реального анализа в теоретической информатике, охватывающих тестирование свойств, сложность коммуникации, обучение PAC и многие другие области исследований. Тем не менее, я не могу думать о каком-либо результате в TCS, который опирается на комплексный анализ (за исключением квантовых вычислений, где комплексные числа являются неотъемлемой частью модели). У кого-нибудь …
3
Можем ли мы количественно определить «степень квантованности» в квантовом алгоритме?
Запутывание часто считается ключевым компонентом, который делает квантовые алгоритмы хорошо ... квантовыми, и это можно проследить до состояний Белла, которые разрушают идею квантовой физики как вероятностной модели скрытого состояния. В квантовой теории информации (из моего довольно слабого понимания) запутывание также может использоваться как конкретный ресурс, который ограничивает способность выполнять определенные …
2
Каково было первоначальное намерение для создания лямбда-исчисления?
Я читал, что изначально Черч предложил -calculus как часть своей статьи «Постулаты логики» (которая читается плотно). Но Клини доказал свою «систему» ​​непоследовательной, после чего Черч извлек соответствующие вещи для своей работы по «эффективной вычислимости» и отказался от своей предыдущей работы над логикой.λλ\lambda Насколько я понимаю, -система и ее обозначения приняли …
3
Обоснование асимптотического анализа наихудшего случая ученым
Я работал над внедрением некоторых результатов вычислительной сложности в теоретическую биологию, особенно эволюцию и экологию , с целью быть интересным / полезным для биологов. Одна из самых больших трудностей, с которыми я столкнулся, заключается в обосновании полезности асимптотического анализа наихудшего случая для нижних оценок. Есть ли ссылки на длину статьи, …
1
Энергетические соображения при расчете
Чтобы проверить мое понимание, я хотел бы поделиться некоторыми мыслями об энергетических потребностях вычислений. Это продолжение моего предыдущего вопроса и может быть связано с вопросом Vinay о законах сохранения . Мне пришло в голову, что с термодинамической точки зрения выполнение вычислений можно считать в некоторой степени аналогом перемещения веса по …
5
Последствия недоказуемости
Я читал « Является ли P против NP формально независимым? », Но я был озадачен. В теории сложности широко распространено мнение, что . Мой вопрос о том, что, если это не доказуемо (скажем, в ). (Предположим, что мы только узнаем, что не зависит от но никакой дополнительной информации о том, …
5
Теоретические приложения для алгоритмов аппроксимации
В последнее время я начал изучать алгоритмы аппроксимации для NP-сложных задач и интересовался теоретическими причинами их изучения. (Вопрос не должен быть подстрекательским - мне просто любопытно). Из исследования алгоритмов аппроксимации возникла действительно прекрасная теория - связь между теоремой PCP и твердостью аппроксимации, гипотеза UGC, алгоритм аппроксимации Гомана-Уильямсона и т. Д. …
3
Пределы для параллельных вычислений
Мне интересно в широком смысле то, что известно о распараллеливании алгоритмов в P. Я нашел следующую статью в Википедии на эту тему: http://en.wikipedia.org/wiki/NC_%28complexity%29 Статья содержит следующее предложение: Неизвестно, является ли NC = P, но большинство исследователей подозревают, что это неверно, а это означает, что, вероятно, существуют некоторые проблемы, которые можно …
4
Сложность общения ... Классы?
Обсуждение : В последнее время я проводил некоторое личное время, изучая различные вещи в сложности общения. Например, я повторно ознакомился с соответствующей главой в Арора / Барак, начал читать некоторые статьи и заказал книгу Кушилевица / Нисана. Интуитивно я хочу сравнить сложность коммуникации с вычислительной сложностью. И, в частности, меня …
4
Почему проблема консенсуса так важна в распределенных вычислениях?
В распределенных вычислениях проблема консенсуса, по-видимому, является одной из центральных тем, которая привлекла интенсивные исследования. В частности, статья «Невозможность распределенного консенсуса с одним ошибочным процессом» была удостоена награды PODC за выдающуюся работу в 2001 году . Так почему проблема консенсуса так важна? Чего мы можем достичь с консенсусом как в …
1
Есть ли у криптографии термодинамические затраты?
Обратимые вычисления - это вычислительная модель, которая допускает только термодинамически обратимые операции. В соответствии с принципом Ландауэра, который гласит, что стирание небольшого количества информации высвобождает джоулей тепла, это исключает переходные функции, которые не являются взаимно-однозначными (например, булевы операторы AND и OR). Хорошо известно, что квантовые вычисления по своей природе обратимы, …
4
Как побочные эффекты обрабатываются в семантике?
В разделе « Семантика» Энтони Ааби «Введение в языки программирования» он делает следующее наблюдение: Большая часть работы в семантике языков программирования мотивируется проблемами, возникающими при попытке построить и понять императивные программы - программы с командами присваивания. Поскольку команда присваивания переназначает значения переменным, присваивание может иметь неожиданные последствия в удаленных частях …
11
Есть ли какие-либо применения методов в реальном анализе к теоретической информатике?
Я искал далеко и широко для таких приложений и в основном оказался коротким. Я могу найти множество применений топологии и подобных структур на счетных (или неисчисляемых) наборах, но редко я нахожу неисчислимые наборы в качестве объекта изучения компьютерными учеными, что приводит к необходимости использования методов анализа.
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.