Информатика

Как черные дыры в информатике. Мы можем только знать, что они существуют, но когда у нас есть один из них, мы никогда не узнаем, что это один из них.

23 halting-problem  correctness-proof 

это кусок кода сборки section .text global _start ;must be declared for using gcc _start: ;tell linker entry point mov edx, len ;message length mov ecx, msg ;message to write mov ebx, 1 ;file descriptor (stdout) mov eax, 4 ;system call number (sys_write) int 0x80 ;call kernel mov eax, 1 …

23 assembly 

В соответствии с рекомендацией я публикую это из Переполнения стека . Недавно я думал о следующей проблеме. Рассмотрим код для стандартного "Hello world!" программа: main() { printf("Hello World"); } Теперь почти любое изменение в этом коде сделает его абсолютно бесполезным, фактически почти каждое изменение будет препятствовать компиляции кода. Например: main(5 …

23 programming-languages  computation-models 

Это похоже на вопрос, который должен иметь простой ответ, но у меня нет однозначного ответа: Если у меня есть два битных числа , какова сложность вычисления ?nnna,pa,pa, pamodpamodpa\bmod p Простое деление aaa на ppp заняло бы время O(M(n))O(M(n))O(M(n)) где M(n)M(n)M(n) - сложность умножения. Но можно ли выполнить modmod\bmod немного быстрее?

23 algorithms  number-theory 

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

23 programming-languages  memory-management  garbage-collection 

Я изучаю C ++ и заметил, что время выполнения функции push_back для векторов постоянно «амортизируется». В документации также отмечается, что «если происходит перераспределение, само перераспределение будет линейным во всем размере». Разве это не означает, что функция push_back - это , где - длина вектора? В конце концов, нас интересует анализ …

23 algorithms  time-complexity  amortized-analysis 

В чем разница между нейронной сетью, системой глубокого обучения и сетью глубокого убеждения? Насколько я помню, ваша базовая нейронная сеть представляет собой 3-х уровневую штуку, и я описал Deep Belief Systems как нейронные сети, расположенные друг над другом. До недавнего времени я не слышал о системах глубокого обучения, но я …

23 machine-learning  neural-networks  boltzmann-machine 

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

23 programming-languages  computer-architecture 

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

23 algorithms  optimization 

Автомат - это абстрактная модель цифрового компьютера. Цифровые компьютеры полностью детерминированы; их состояние в любое время однозначно предсказуемо из входных данных и исходного состояния. Когда мы пытаемся моделировать реальные системы, зачем включать недетерминизм в теорию автоматов?

23 automata  nondeterminism  applied-theory 

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

23 randomness  modelling 

Орлы - рок-супергруппа 70-х и 80-х годов, ответственная за такую ​​классику, как Hotel California . У них два отличительных звука: один, где присутствует гитарист Джо Уолш (например, в Life in the Fast Lane ), и другой, где он отсутствует. Последние песни имеют заметно более мрачный / скучный вид. Мне любопытно …

23 machine-learning  modelling 

Этот вопрос был перенесен из Биржи стека разработки программного обеспечения, поскольку на него можно ответить в Бирже стеков информатики. Мигрировал 7 лет назад . Я пытаюсь реализовать распределенную хэш-таблицу для выпечки, но некоторые вещи ускользают от моего понимания. Я надеялся, что кто-то сможет уточнить. Отказ от ответственности : я не …

23 algorithms  data-structures  distributed-systems  hash-tables 

Я ищу простое исчисление, которое поддерживает рассуждения о рефлексии , а именно, самоанализ и манипулирование запущенными программами. Есть нетипизированная -исчисления расширения , которое позволяет конвертировать -терминов в форму , которая может быть синтаксический манипулирует , а затем впоследствии оценивается?λλλ\lambdaλλ\lambda Я предполагаю, что в исчислении есть два основных дополнительных условия: г …

23 logic  lambda-calculus  semantics  reflection 

Первоначально матроиды были введены обобщать понятия линейной независимости совокупности подмножеств над некоторыми основаниями установить . Некоторые проблемы, которые содержат эту структуру, позволяют жадным алгоритмам находить оптимальные решения. Позднее понятие жадных текстов было введено для обобщения этой структуры, чтобы охватить больше проблем, позволяющих найти оптимальные решения жадными методами.IЕEEяII Как часто эти …

23 algorithms  optimization  combinatorics  greedy-algorithms  matroids