Информатика

Проводились ли какие-либо исследования сложности доказательства решения проблемы P = NP? Если нет, учитывая отсутствие прогресса в решении этой проблемы, было бы неразумно предполагать, что любое доказательство, которое решает проблему P = NP, потребует суперполиномиального числа шагов?

15 complexity-theory  np 

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

15 programming-languages 

По крайней мере, на Java, если я напишу этот код: float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; значение будет . Я полагаю, что это связано с тем, …

15 arithmetic  floating-point  numerical-algorithms 

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

15 algorithms  arrays  searching 

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

15 mathematical-foundations 

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

15 complexity-theory  reference-request  complexity-classes  enumeration 

Предположим, два списка сопоставимых предметов: и и с. Пусть INV (u) будет числом инверсий в u. Я ищу эффективный алгоритм для вставки элементов s в вас с минимальным увеличением INV (u). По сути, я хотел бы вставлять объекты в список, сохраняя его «как можно более отсортированным», сохраняя порядок первого списка. …

15 algorithms  sorting 

В статье Филиппа Уодлера о теоремах для свободного он утверждает в разделе 2 о параметричности, что нет наивных теоретико-множественных моделей полиморфного лямбда-исчисления В наивной теоретико-множественной модели типы - это множества, а функции - теоретико-множественные функции, что представляется разумным. Так почему же он говорит, что нет наивных теоретико-множественных моделей полиморфного лямбда-исчисления?

15 functional-programming 

Я очень знаком с Dijkstra, и у меня есть конкретный вопрос об алгоритме. Если у меня есть огромный граф, например, 3,5 миллиарда узлов (все данные OpenStreetMap), то я явно не смог бы иметь граф в памяти, поэтому граф хранится на диске в базе данных. Есть библиотеки, доступные для вычисления кратчайших …

15 algorithms  graph-theory  graphs  shortest-path 

Пусть . Язык Говорят , обладает свойством «анти-палиндром» , если для каждой строки , что является палиндром, . Кроме того, для каждой строки которая не является палиндромом, либо либо , но не оба (!) (Исключая или).L ⊆ Σ ∗ w w ∉ L u u ∈ L R e v …

15 formal-languages 

Что означает ?журналO ( 1 )NlogO(1)⁡n\log^{O(1)}n Я знаю нотацию big-O, но эта нотация для меня не имеет смысла. Я тоже ничего не могу найти по этому поводу, потому что поисковая система не может правильно это интерпретировать. Для некоторого контекста предложение, в котором я нашел это, гласит: «[...] мы вызываем функцию …

15 asymptotics  landau-notation 

В моем учебнике упоминается, что: где - пустой язык.∅*= { ϵ }∅*знак равно{ε}\emptyset^*=\{\epsilon\}∅∅\emptyset Однако мы знаем, что , где - любой язык.L ⋅ ∅ = ∅L⋅∅знак равно∅L \cdot \emptyset = \emptysetLLL Я не могу интуитивно понять эту концепцию, потому что операция звезды Клини указывает на тот факт, что .∅*= ∅0∪ …

15 formal-languages  kleene-star 

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

15 compilers  parsers 

Прошлой осенью я отправился в тур по суперкомпьютеру Blue Waters в университете штата Иллинойс. Я спросил, использовал ли кто-нибудь весь компьютер. Мне сказали, что он всегда работал над несколькими проектами. Это заставило меня задуматься о полезности суперкомпьютеров. Возможно, «Голубые воды» необычны в том смысле, что они должны использоваться в промышленности …

15 computer-architecture 

Головоломка «Поток свободен» состоит из натурального числа и набора (неупорядоченных) пар различных вершин в графе сетки , так что каждая вершина находится не более чем в одной паре. Решением такой головоломки является набор неориентированных путей в графе, так что каждая вершина находится на одном пути, а множество концов каждого пути …

15 np-hard  square-grid