Информатика

Я заинтересован в небольшом варианте мозаики: головоломка: каждый край (квадратной) плитки помечен символом из , и две плитки могут быть расположены рядом друг с другом, если символ на лицевой стороне одной плитки равен а символ на лицевой стороне другой плитки равен , для некоторых . Тогда, учитывая набор тайлов, можно …

18 complexity-theory  np-complete  tiling 

Если у меня возникла сложная проблема, один из стандартных подходов состоит в том, чтобы выразить его как экземпляр SAT и попробовать запустить на нем решатель SAT. Другой стандартный подход состоит в том, чтобы выразить это как проблему удовлетворения ограничений и попытаться использовать решатель CSP. Эти два понятия как-то смутно схожи …

18 heuristics  sat-solvers  constraint-programming 

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

18 terminology  programming-languages  api-design 

У вас есть массив из отдельных элементов. У вас есть доступ к компаратору (функция черного ящика, принимающая два элемента и и возвращающая true, если ) и действительно случайный источник битов (функция черного ящика, не принимающая аргументов и возвращающая независимо равномерно случайный бит). Рассмотрим следующие две задачи:NNnaaaббbа &lt; бa&lt;бa < b …

18 algorithms  algorithm-analysis  information-theory  permutations  entropy 

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

18 graph-theory  combinatorics  check-my-proof 

Учитывая регулярный язык , легко доказать, что существует постоянная N такая, что σ ∈ L , причем | σ | ≥ N существуют строки α , β и γ такие, что | α β | ≤ N и | β | ≠ &amp; epsi ; и для всех к это …

18 formal-languages  proof-techniques 

Дана матрица . Пусть обратная матрица будет (то есть ). Предположим, что один элемент в изменен (скажем, до ). Цель состоит в том, чтобы найти после этого изменения. Есть ли способ найти эту цель, который более эффективен, чем пересчет обратной матрицы с нуля.n × nN×Nn \times nAA\mathbf{A}AA\mathbf{A}A- 1A-1\mathbf{A}^{-1}A A- 1= …

18 algorithms  numerical-analysis  online-algorithms 

В последнее время я самостоятельно изучал максимизацию ожиданий и собрал в процессе несколько простых примеров: От сюда : Есть три монеты c0c0c_0 , c1c1c_1 и c2c2c_2 с p0p0p_0 , p1p1p_1 и p2p2p_2 соответствующей вероятностью для посадки на голове , когда кинули. Бросок c0c0c_0 . Если результат - голова, бросьте c1c1c_1 …

18 probability-theory  statistics 

В своей книге Рандомизированных алгоритмы , Motwani и Raghavan открыть введение с описанием их функции RandQS - Рандомизированная - где быстрой сортировкой стержень, используемый для разделения множества на две части, выбирается случайным образом . В течение некоторого времени я ломал свои мозги (по общему мнению, в недостаточной степени), но я …

18 algorithm-analysis  sorting  randomized-algorithms 

Википедия определяет это как Считается, что алгоритм имеет полиномиальное время, если его время выполнения ограничено сверху полиномиальным выражением в размере входных данных для алгоритма, т. Е. для некоторой константы k.T( n ) = O ( nК)T(N)знак равноО(NК)T(n) = O(n^k) Алгоритм работает за сильно полиномиальное время, если [8] количество операций в …

18 complexity-theory 

Я начал читать все больше и больше статей по языковым исследованиям. Я нахожу это очень интересным и хорошим способом узнать больше о программировании в целом. Тем не менее, как правило , приходит раздел , где я всегда борюсь с (Возьмем, например , части третьей этой ) , так как мне …

18 logic  reference-request  terminology  type-theory 

Учебники повсюду предполагают, что проблема ограниченной почтовой корреспонденции является NP-полной (не более индексов допускается с повторениями). Тем не менее, нигде не показано простого (как, например, то, что может понять студент) полиномиального сокращения времени из другой NP-полной задачи.NNN Однако каждое сокращение, которое я могу придумать, является экспоненциальным (по или по размеру …

18 complexity-theory  np-complete  reductions 

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

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis 

Разрешены ли проблемы типа «посещение вечеринки» в Прологе? Например: Лопух Малдун и Карлотта Пинкстоун сказали, что придут, если придет Альбус Дамблдор. Альбус Дамблдор и Дейзи Доддридж оба сказали, что придут, если придет Карлотта Пинкстоун. Альбус Дамблдор, Бердок Малдун и Карлотта Пинкстоун сказали, что придут, если придет Эльфрида Клэгг. Карлотта Пинкстоун …

18 logic  constraint-programming  prolog  logic-programming 

Теория Экзистенциальная из реалов в PSPACE , но я не знаю , является ли это PSPACE-Complete . Если я считаю, что это не так, как я могу доказать это? В более общем смысле, учитывая проблему в некотором классе сложности X , как я могу показать, что это не X-Complete ? …

18 complexity-theory  proof-techniques