Информатика

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

62 algorithms  asymptotics 

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

61 terminology  distributed-systems  parallel-computing 

Существует множество приложений, в которых используется генератор псевдослучайных чисел. Поэтому люди реализуют то, что, по их мнению, замечательно, но потом обнаруживают, что оно ошибочно. Нечто подобное произошло с генератором случайных чисел Javascript в последнее время. RandU намного раньше тоже. Есть также проблемы неподходящего начального посева для чего-то вроде Twister. Я …

60 pseudo-random-generators  random-number-generator 

Мы знаем, что проблема остановки (на машинах Тьюринга) неразрешима для машин Тьюринга. Проводятся ли некоторые исследования того, насколько хорошо человеческий разум может справиться с этой проблемой, возможно, с помощью машин Тьюринга или компьютеров общего назначения? Примечание : Очевидно, что в самом строгом смысле вы всегда можете сказать «нет», потому что …

60 computability  turing-machines  halting-problem  human-computing 

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

60 algorithms  graph-theory  graphs  weighted-graphs 

Я считаю, что у меня есть разумное представление о сложностях, таких как , Θ ( n ) и Θ ( n 2 )O(1)O(1)\mathcal{O}(1)Θ(n)Θ(n)\Theta(n)Θ(n2)Θ(n2)\Theta(n^2) . С точки зрения списка, - это постоянный поиск, поэтому он просто получает заголовок списка. Θ ( n ) - это место, где я прошёл бы весь …

60 algorithms  complexity-theory  time-complexity  intuition 

У меня есть целочисленная линейная программа (ILP) с некоторыми переменными , которые предназначены для представления логических значений. В х I «ы ограничены целыми числами и держать либо 0 или 1 ( 0 ≤ х я ≤ 1 ).Иксяxix_iИксяxix_i0 ≤ хя≤ 10≤xi≤10 \le x_i \le 1 Я хочу выразить логические операции …

58 linear-programming  integer-programming 

Может ли кто-нибудь объяснить разницу между зависимыми типами и типами уточнения? Насколько я понимаю, тип уточнения содержит все значения типа, выполняющего предикат. Есть ли особенность зависимых типов, которая их отличает? Если это поможет, я натолкнулся на уточненные типы через проект Liquid Haskell и зависимые типы через Coq и Agda. Тем …

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

Если у меня есть список значений ключей от 1 до 100, и я хочу организовать их в массив из 11 блоков, меня научили формировать функцию мода H=kmod 11H=kmod 11 H = k \bmod \ 11 Теперь все значения будут размещены один за другим в 9 строк. Например, в первом сегменте …

58 data-structures  hash  hash-tables  primes 

В этом руководстве по программированию сборки я прочитал, что 8 бит используются для данных, а 1 бит - для контроля четности, который затем используется для обнаружения ошибки контроля четности (вызванной неисправностью оборудования или электрическими помехами). Это правда?

56 computer-architecture  numeral-representations 

У меня есть общее понимание проблемы и я понимаю, что если бы это было абсолютно «доказано», чтобы быть правдой с предоставленным решением, это открыло бы дверь для решения многочисленных проблем в области компьютерных наук.п= NпP=NPP=NP Мой вопрос: если бы кто-то опубликовал неоспоримое, конструктивное доказательство , каковы некоторые непосредственные последствия такого …

56 complexity-theory  p-vs-np 

Многие, кажется, считают, что , но многие также считают маловероятным, что это когда-либо будет доказано. Нет ли здесь несоответствия? Если вы считаете, что такое доказательство маловероятно, то вы также должны верить, что отсутствуют веские аргументы в пользу . Или есть хорошие аргументы в пользу того, что маловероятно, в том же …

55 complexity-theory  p-vs-np 

Существует ли набор конструкций языка программирования на языке программирования, чтобы его можно было считать завершенным по Тьюрингу? Из того, что я могу сказать из Википедии , язык должен поддерживать рекурсию или, по-видимому, должен иметь возможность работать без остановки. Это все, что нужно?

55 computability  programming-languages  turing-machines  turing-completeness 

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

55 algorithms  time-complexity  optimization  sorting 

Все ли строки азбуки Морзе однозначно расшифрованы? Без пробелов, ......-...-..---.-----.-..-..-.. может быть, Hello Worldно, возможно, первая буква 5- на самом деле это выглядит очень маловероятным, произвольная последовательность точек и тире должна иметь уникальный перевод. Можно использовать неравенство Крафта, но это относится только к префиксным кодам . Код Морзе с пробелами …

54 information-theory  coding-theory