Информатика

19
Сложность нахождения биномиального коэффициента, равного числу

Предположим, вы получаете число mmm (используя O(logm)O(log⁡m)O(\log m) бит в двоичном кодировании). Как быстро вы можете найти (или определить, что такое не существует) ?n,k∈N,1<k≤n2:(nk)=mn,k∈N,1<k≤n2:(nk)=mn,k\in \mathbb N,...

19
Кто придумал термин «машинное обучение»?

Я пытаюсь выяснить, кто придумал термин «машинное обучение». Вспомогательный вопрос - откуда Артур Самуэль назвал область «машинного обучения» в 1959 году следующим образом: область обучения, которая дает компьютерам возможность учиться без явного программирования ? Вы можете найти много, много...

19
Как я могу академически сказать, что «один компьютер медленнее другого»?

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

19
Почему класс NP-Complete важен по сравнению с NP-hard?

Я изучаю вычислительную сложность, и мне было интересно, почему проблемы NP-Complete (NPC) вообще являются важным классом. Я нахожу очевидным, почему мы заинтересованы в том, чтобы показать, что данная проблема NP трудна для NP. Я также понимаю определение NPC, и то, что показать конкретное решение...

19
Детерминированный алгоритм линейного времени, чтобы проверить, является ли один массив отсортированной версией другого

Рассмотрим следующую проблему: Вход: два массива AAA и BBB длиной nnn , где BBB в отсортированном порядке. Запрос: делать и B содержат одни и те же элементы (с учетом кратности)?AAABBB Какой самый быстрый детерминированный алгоритм для этой проблемы? Можно ли решить это быстрее, чем отсортировать...

19
Как долго длится рекурсия Коллатца?

У меня есть следующий код Python. def collatz(n): if n <= 1: return True elif (n%2==0): return collatz(n/2) else: return collatz(3*n+1) Каково время работы этого алгоритма? Пытаться: Если обозначает время работы функции . Тогда я думаю, что у меня { T ( n ) = 1  для  n ≤ 1 T ( n ) = T ( n / 2 )...

19
Какой алгоритм сортировки в постоянном пространстве наиболее эффективен?

Я ищу алгоритм сортировки для массивов int, который не выделяет ни одного байта, кроме размера массива, и ограничен двумя инструкциями: SWAP: поменять следующий индекс на текущий; MOVE: перемещает курсор к индексу +1 или -1; То есть вы не можете поменять местами не соседние индексы и не поменять...

19
Разрешимо ли языковое равенство для линейных контекстно-свободных грамматик?

Давайте рассмотрим две не зависящие от контекста грамматики и G 2 и зададим следующий вопрос: Являются ли L ( G 1 ) = L ( G 2 ) , то есть эквивалентны ли эти две грамматики?грамм1грамм1G_1грамм2грамм2G_2L ( G1) = L ( G2)L(грамм1)знак равноL(грамм2)L(G_1) = L(G_2) В общем, эта проблема неразрешима....

19
Базисные наборы для комбинаторного исчисления

Хорошо известно, что комбинаторы S и K образуют базис для исчисления комбинаторов в том смысле, что все другие комбинаторы могут быть выражены через них. Существует также базис Карри B, C, K, W, который обладает тем же свойством. Таких баз должно быть бесконечное количество, но я не знаю других....

19
Почему функциональное программирование не исследовало динамические деревья?

Динамические деревья играют важную роль в решении таких проблем, как сетевые потоки, динамические графы, комбинаторные задачи («Динамические деревья на практике» Тарьяна и Вернека) и недавно объединенные словари («Простой объединяемый словарь» Адама Карчмара), Под динамическими деревьями я ссылаюсь...

19
Почему незавершенные транзакции должны отменяться в обратном порядке?

У меня есть журнал базы данных, где некоторые транзакции выигрывают (они фиксируются до сбоя), а некоторые проигрывают (еще не зафиксированы). В классе мы узнали, что действия проигравших должны быть отменены задом наперед. Есть ли причина делать это задом наперед? Может ли кто-нибудь привести...

19
Как доказать, что матричное умножение двух матриц 2x2 не может быть выполнено менее чем за 7 умножений?

В матричном умножении Штрассена мы констатируем один странный (по крайней мере для меня) факт, что умножение матрицы на два 2 x 2 требует 7 умножения. Вопрос: Как доказать, что невозможно умножить две матрицы 2 x 2 на 6 умножений? Обратите внимание, что матрицы над целыми...

19
Может ли доказательство от противоречия работать без закона исключенного среднего?

Недавно я думал о достоверности доказательства противоречием. В течение последних нескольких дней я читал материалы по интуиционистской логике и теоремам Годеля, чтобы посмотреть, дадут ли они мне ответы на мои вопросы. Прямо сейчас у меня все еще есть вопросы (возможно, связанные с новым...

19
Является ли проблема остановки вычислимой для определенных входных данных / предположений

Из моего понимания доказательства того, что проблема остановки не вычислима, эта проблема не вычислима, потому что если у нас есть программа P (x), которая вычисляет, останавливается ли программа x или нет, мы получаем парадокс, когда передаем P в качестве входных данных для тот же P, имеющий: P...

19
Структура данных или алгоритм для быстрого поиска различий между строками

У меня есть массив из 100 000 строк, все длиной kkk . Я хочу сравнить каждую строку с любой другой строкой, чтобы увидеть, отличаются ли любые две строки на 1 символ. Прямо сейчас, когда я добавляю каждую строку в массив, я проверяю ее по каждой строке, уже находящейся в массиве, которая имеет...

18
Умное управление памятью с постоянными операциями времени?

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

18
Естественные случаи появления монад, использующих теоретико-теоретическую структуру

Сегодня выступление Хеннинга Керстана («Семантика трассировки для вероятностных систем переходов») впервые поставило меня перед теорией категорий. Он построил теоретическую основу для описания вероятностных систем переходов и их поведения в общем виде, то есть с бесчисленно бесконечными наборами...

18
Проблемы с реализацией замыканий в нефункциональных настройках

В языках программирования замыкания являются популярной и часто желаемой функцией. Википедия говорит (выделение мое): В информатике замыкание (...) - это функция вместе со средой ссылки для нелокальных переменных этой функции. Закрытие позволяет функции обращаться к переменным вне ее...