это кусок кода сборки section .text global _start ;must be declared for using gcc _start: ;tell linker entry point mov edx, len ;message length mov ecx, msg ;message to write mov ebx, 1 ;file descriptor (stdout) mov eax, 4 ;system call number (sys_write) int 0x80 ;call kernel mov eax, 1 ;system...
Предположим , что . N P I - класс задач в N P, которых нет ни в P, ни в N P -твердых. Вы можете найти список проблем предположительно N P I здесь .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Теорема Ладнера говорит нам, что если...
Есть ли какой-нибудь "естественный" язык, который неразрешим? под «естественным» я подразумеваю язык, определяемый непосредственно свойствами строк, а не с помощью машин и их эквивалентов. Другими словами, если язык выглядит как где - это ТМ, DFA (или регулярное выражение), КПК (или грамматика) и...
Было много ажиотажа по поводу JIT-компиляторов для таких языков, как Java, Ruby и Python. Чем JIT-компиляторы отличаются от компиляторов C / C ++ и почему компиляторы, написанные для Java, Ruby или Python, называются JIT-компиляторами, а компиляторы C / C ++ просто называются...
В предыдущем вопросе было определение деревьев с балансом веса и вопрос, касающийся красно-черных деревьев. Этот вопрос, чтобы задать тот же вопрос, но для деревьев AVL . Вопрос в том, что, учитывая определение μμ\mu сбалансированных деревьев, как в другом вопросе, Существует ли такое...
Я понимаю теорию, лежащую в основе байесовских сетей, и мне интересно, что нужно для ее создания на практике. Скажем для этого примера, что у меня есть байесовская (направленная) сеть из 100 дискретных случайных величин; каждая переменная может принимать одно из 10 значений. Сохраняю ли я все узлы...
Этот вопрос был перенесен из теоретического обмена стеков информатики, поскольку на него можно ответить в обмене стеков информатики. Мигрировал 7 лет назад . Я ищу математические теории, которые имеют дело с описанием формальных языков (набор строк) в целом, а не только грамматических...
Пусть G=(V,E)G=(V,E)G=(V,E) некоторый полный взвешенный неориентированный граф. Построим второй граф G′=(V,E′)G′=(V,E′)G'=(V, E') , добавив ребра одно за другим из в . Добавим края дляEEEE′E′E'Θ(|V|)Θ(|V|)\Theta(|V|)G′G′G' всего. Каждый раз, когда мы добавляем одно ребро (u,v)(u,v)(u,v) к E′E′E' ,...
При наличии не зависящей от контекста грамматики G существует недетерминированный автомат Pushdown N, который принимает именно тот язык, который принимает G. (и наоборот) Там может также существовать детерминированный магазинный автомат D , который принимает именно язык G принимает слишком. Это...
Обычные алгоритмы сортировки обычно используют набор данных для сортировки и функцию сравнения, которая может сравнивать два отдельных элемента. Если компаратор представляет собой отношение порядка¹, то результатом алгоритма является отсортированный список / массив. Мне интересно, однако, какие...
Машина Тьюринга, которая возвращается в ранее обнаруженное состояние со своей головкой чтения / записи в той же ячейке той же самой ленты, будет зациклена. Такая машина не останавливается. Может ли кто-нибудь привести пример никогда не останавливавшейся машины, которая не...
Я изучил кое-что о сложности Колмогорова , прочитал некоторые статьи и книги Витани и Ли и использовал концепцию нормализованного расстояния сжатия для проверки стилометрии авторов (определите, как каждый автор пишет некоторые текстовые и групповые документы по их сходству). В этом случае...
Читая Удай Редди ответ на Что такое соотношение между функторов в SML и теории категорий? Удай заявляет Теория категорий еще не знает, как обращаться с функциями более высокого порядка. Когда-нибудь, это будет. Поскольку я думал, что теория категорий способна послужить основой для математики, то...
Функциональное программирование использует постоянные структуры данных и неизменные объекты. Мой вопрос: почему важно иметь такие структуры данных здесь? Я хочу понять на низком уровне, что произойдет, если структура данных не является постоянной? Будет ли программа зависать...
Согласно этой странице , алгоритм Дейкстры - это просто BFS с очередью приоритетов. Неужели это так просто? Думаю,
Задание формальных языков с помощью формальных грамматик является частой задачей: нам нужны грамматики не только для описания языков, но также для их анализа или даже для правильной науки . Во всех случаях важно, чтобы грамматика под рукой была правильной , то есть генерировала именно нужные слова....
То, что я хочу сделать, это превратить мою математическую задачу в булеву проблему удовлетворенности (SAT), а затем решить ее с помощью SAT Solver. Интересно, знает ли кто-нибудь руководство, руководство или что-нибудь, что поможет мне преобразовать мою проблему в экземпляр SAT. Кроме того, я хочу...
Когда дело доходит до разработки алгоритмов, часто используются следующие методы: Динамическое программирование Жадная стратегия Разделяй и властвуй Хотя для первых двух методов существуют хорошо известные теоретические основы, а именно принцип оптимальности Беллмана и теория матроидов...
Этот вопрос был перенесен из переполнения стека, поскольку на него можно ответить в разделе «Информатика в стеке». Мигрировал 5 лет назад . Я все еще изучаю функциональное программирование (с помощью f #), и недавно я начал читать о вычислительных выражениях. Я до сих пор не до конца понимаю эту...
Я хотел бы начать с вопроса, говоря, что я программист, и у меня нет большого опыта в теории сложности. Одна вещь, которую я заметил, состоит в том, что, хотя многие проблемы являются NP-полными, когда они распространяются на проблемы оптимизации, некоторые из них гораздо сложнее приблизить, чем...