Я часто слышу, как люди говорят о параллельных вычислениях и распределенных вычислениях, но у меня сложилось впечатление, что четкой границы между этими двумя понятиями нет, и люди склонны запутывать это довольно легко, хотя я считаю, что это совсем другое: Параллельные вычисления более тесно...
Я считаю, что у меня есть разумное представление о сложностях, таких как , Θ ( n ) и Θ ( n 2 )O(1)O(1)\mathcal{O}(1)Θ(n)Θ(n)\Theta(n)Θ(n2)Θ(n2)\Theta(n^2) . С точки зрения списка, - это постоянный поиск, поэтому он просто получает заголовок списка. Θ ( n ) - это место, где я прошёл бы весь список,...
Существует множество приложений, в которых используется генератор псевдослучайных чисел. Поэтому люди реализуют то, что, по их мнению, замечательно, но потом обнаруживают, что оно ошибочно. Нечто подобное произошло с генератором случайных чисел Javascript в последнее время. RandU намного раньше...
Мы знаем, что проблема остановки (на машинах Тьюринга) неразрешима для машин Тьюринга. Проводятся ли некоторые исследования того, насколько хорошо человеческий разум может справиться с этой проблемой, возможно, с помощью машин Тьюринга или компьютеров общего назначения? Примечание : Очевидно, что в...
Я пытаюсь написать скрипт, который генерирует случайные графы, и мне нужно знать, может ли ребро в взвешенном графе иметь значение 0. на самом деле имеет смысл, что 0 можно использовать как вес ребра, но я работал с графиками в последние несколько дней, и я никогда не видел пример этого....
У меня есть целочисленная линейная программа (ILP) с некоторыми переменными , которые предназначены для представления логических значений. В х I «ы ограничены целыми числами и держать либо 0 или 1 ( 0 ≤ х я ≤ 1 ).Иксяxix_iИксяxix_i0 ≤ хя≤ 10≤xi≤10 \le x_i \le 1 Я хочу выразить логические операции...
Может ли кто-нибудь объяснить разницу между зависимыми типами и типами уточнения? Насколько я понимаю, тип уточнения содержит все значения типа, выполняющего предикат. Есть ли особенность зависимых типов, которая их отличает? Если это поможет, я натолкнулся на уточненные типы через проект Liquid...
Если у меня есть список значений ключей от 1 до 100, и я хочу организовать их в массив из 11 блоков, меня научили формировать функцию мода H=kmod 11H=kmod 11 H = k \bmod \ 11 Теперь все значения будут размещены один за другим в 9 строк. Например, в первом сегменте будет . Во втором будет и т....
В этом руководстве по программированию сборки я прочитал, что 8 бит используются для данных, а 1 бит - для контроля четности, который затем используется для обнаружения ошибки контроля четности (вызванной неисправностью оборудования или электрическими помехами). Это...
У меня есть общее понимание проблемы и я понимаю, что если бы это было абсолютно «доказано», чтобы быть правдой с предоставленным решением, это открыло бы дверь для решения многочисленных проблем в области компьютерных наук.п= NпP=NPP=NP Мой вопрос: если бы кто-то опубликовал неоспоримое,...
Я сталкивался со многими алгоритмами сортировки во время учебы в старшей школе. Тем не менее, я никогда не знаю, какой самый быстрый (для случайного массива целых чисел). Итак, мои вопросы: Какой самый быстрый в настоящее время известный алгоритм сортировки? Теоретически, возможно, что есть еще...
Существует ли набор конструкций языка программирования на языке программирования, чтобы его можно было считать завершенным по Тьюрингу? Из того, что я могу сказать из Википедии , язык должен поддерживать рекурсию или, по-видимому, должен иметь возможность работать без остановки. Это все, что...
Меня интересует сложность времени компилятора. Ясно, что это очень сложный вопрос, так как есть много компиляторов, опций компилятора и переменных, которые необходимо учитывать. В частности, меня интересует LLVM, но меня интересуют любые мысли людей или места, где можно начать исследования....
Я согласен, что машина Тьюринга может решать «все возможные математические задачи». Но это потому, что это всего лишь машинное представление алгоритма: сначала сделайте это, затем сделайте это, наконец, выведите это. Я имею в виду все, что разрешимо, может быть представлено алгоритмом (потому что...
Безопасные языки программирования (PL) набирают популярность. Интересно, каково формальное определение безопасного PL. Например, C небезопасен, но Java безопасен. Я подозреваю, что свойство «safe» должно применяться к реализации PL, а не к самой PL. Если это так, давайте обсудим определение...
Все ли строки азбуки Морзе однозначно расшифрованы? Без пробелов, ......-...-..---.-----.-..-..-.. может быть, Hello Worldно, возможно, первая буква 5- на самом деле это выглядит очень маловероятным, произвольная последовательность точек и тире должна иметь уникальный перевод. Можно использовать...
Проблемы с рюкзаком легко решаются динамическим программированием. Динамическое программирование выполняется за полиномиальное время; вот почему мы делаем это, верно? Я читал, что это на самом деле NP-полная проблема, однако это означает, что решить проблему в полиномиальной задаче, вероятно,...
Я знаю общую концепцию рекурсии. Я наткнулся на концепцию хвостовой рекурсии при изучении алгоритма быстрой сортировки. В этом видео о алгоритме быстрой сортировки из MIT в 18:30 секунд профессор говорит, что это хвостовой рекурсивный алгоритм. Мне не ясно, что на самом деле означает хвостовая...
В квантовых вычислениях, какова эквивалентная модель машины Тьюринга? Мне совершенно ясно, как квантовые схемы могут быть построены из квантовых вентилей, но как мы можем определить квантовую машину Тьюринга (QTM), которая действительно может извлечь выгоду из квантовых эффектов, а именно, работать...
Мне всегда было интересно, почему процессоры остановились на 32 регистрах. Это, безусловно, самая быстрая часть машины, почему бы просто не сделать процессоры большего размера с большим количеством регистров? Разве это не значит меньше идти в...