Информатика

Когда машинный код фактически выполняется аппаратным обеспечением и процессором, как он выглядит? Будет ли он выглядеть как двоичный, как в инструкциях, представляемых единицами и нулями, или это будет нечто, состоящее из шестнадцатеричных цифр, где коды операций - это байты, представленные в виде шестнадцатеричных чисел, которые можно разбить на двоичные числа, …

21 computer-architecture  cpu 

Как я могу выразить И-ворота, используя только ворота XOR?

21 logic  boolean-algebra 

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

21 randomized-algorithms  randomness  random-number-generator 

Название устанавливает вопрос. В качестве входных данных у нас есть список элементов, которые мы можем сравнить (определить, какой из них больше ). Ни один элемент не может быть равным. Ключевые моменты: Сравнение не является транзитивным (подумайте о бумажных ножницах): это может быть правдой: A> B, B> C, C> A (обратите …

21 algorithms  time-complexity  sets  transitivity 

Чтобы сформулировать вопрос, в информатике часто мы хотим вычислить произведение нескольких вероятностей: P(A,B,C) = P(A) * P(B) * P(C) Самый простой подход - просто умножить эти числа, и это то, что я собирался сделать. Однако мой начальник сказал, что лучше добавить журнал вероятностей: log(P(A,B,C)) = log(P(A)) + log(P(B)) + log(P(C)) …

21 algorithm-analysis  probability-theory 

Недавно я услышал интересную аналогию, которая гласит, что доказательство Тьюринга неразрешимости проблемы остановки очень похоже на парадокс Рассела. Поэтому мне стало интересно: математикам в конечном итоге удалось согласовать теорию множеств, перейдя от наивной формулировки поля Кантора к более сложной системе аксиом (теория множеств ZFC), сделав важные исключения (ограничения) и дополнения …

21 computability  turing-machines  computation-models  halting-problem 

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

21 algorithms  proof-techniques 

Массив или вектор - это просто последовательность значений. Они, безусловно, могут быть реализованы с помощью связанного списка. Это просто набор узлов с указателями на следующий узел. Стеки и очереди - это два абстрактных типа данных, которые обычно преподаются на курсах Intro CS. Где-то в классе ученикам часто приходится реализовывать стеки …

21 algorithms  data-structures  abstract-data-types 

Я просто наткнулся на следующее: я положил несколько одинаковых копий png-изображения в папку, а затем попытался сжать эту папку следующими способами: tar czf folder.tar.gz folder/ tar cf folder.tar folder/ && xz --stdout folder.tar > folder.tar.xz (это хорошо работает для идентичных изображений, однако для похожих изображений усиление равно нулю) zip -r …

21 data-compression 

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

21 functional-programming  category-theory 

Я хочу знать, какой алгоритм является самым быстрым для умножения двух n-значных чисел? Пространственная сложность может быть смягчена здесь!

21 algorithms  mathematical-programming 

Задача подмножества сумм является классической NP-полной задачей: Учитывая список чисел и цель , есть ли подмножество чисел из которое суммирует к ?k L kLLLКkkLLLКkk Студент спросил меня, является ли этот вариант проблемы, называемый проблемой «подмножество продукта», NP-полным: Имея список чисел и цель , существует ли подмножество чисел из , произведение …

21 complexity-theory  np-complete  reductions 

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

21 probability-theory  randomness  sampling 

Закрыто . Этот вопрос основан на мнении . В настоящее время не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто в прошлом году . Прямо к делу: я бы очень хотел выучить ИИ. Но я хочу получить совет …

21 artificial-intelligence 

Я студент университета, и в настоящее время мы изучаем лямбда-исчисление. Однако мне все еще трудно понять, почему это полезно для меня. Я понимаю, что если вы занимаетесь множеством функционального программирования, это может быть полезно, однако я считаю, что в действительности это не нужно для изучения функционального программирования, как вы думаете? …

21 lambda-calculus  functional-programming