Информатика

12
Упаковать сумку подарков для Руперта легче, чем для Санты?

Или: нам нужен Руперт, чтобы вообще получать подарки? Помимо вопросов маршрутизации , Санта сталкивается со следующей проблемой (много-много раз): Имея сумку вместимостью ¹ CCC и набор подарков {p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\} , каждый размером sisis_i , он хочет сделать детей...

12
PRNG для генерации чисел с n установленными битами точно

В настоящее время я пишу код для генерации двоичных данных. Мне конкретно нужно генерировать 64-битные числа с заданным количеством установленных битов; Точнее, процедура должна занять около 0<n<640<n<640 < n < 64 и вернуть псевдослучайное 64-битное число с точно nnn битами,...

12
Существует ли изоморфизм между (подмножеством) теории категорий и реляционной алгеброй?

Это происходит с точки зрения больших данных. По сути, многие фреймворки (например, Apache Spark) «компенсируют» отсутствие реляционных операций, предоставляя интерфейсы, подобные Functor / Monad, и наблюдается аналогичное движение к преобразованию кошек в SQL (Slick in Scala). Например, нам нужно...

12
Что значит сказать «Асимптотически эффективнее»?

Что это значит, когда мы говорим, что алгоритм XXX асимптотически более эффективен, чем ?YYY XXX будет лучшим выбором для всех входов. XXX будет лучшим выбором для всех входов, кроме небольших. XXX будет лучшим выбором для всех входов, кроме больших. YYY будет лучшим выбором для небольших входов....

12
Оптимальная стратегия для абстрактной игры

Мне дали следующую проблему в интервью (которую я уже не смог решить, не пытаясь обмануть мой путь мимо): Игра начинается с положительного целого числа . (Например , 0 = 1234 ) . Это число преобразуется в двоичное представление, и N представляет собой количество битов в 1 . (Например, A 0 = b 100...

12
Что подразумевается под термином «предыдущий» в машинном обучении

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

12
Является ли теорема smn тем же понятием, что и карри?

Я изучаю теорему SMN, и концепция напомнила мне о карри. Из википедии статьи о теореме SMN : теорема утверждает, что для данного языка программирования и целые положительные числа т и п, существует определенный алгоритм, который принимает в качестве входных данных исходный код программы с т + п...

12
Почему разумность подразумевает последовательность?

Я читал вопрос, что последовательность и полнота означают разумность? и первое утверждение в нем говорит: Я понимаю, что разумность подразумевает последовательность. Что меня очень озадачило, потому что я думал, что разумность была более слабым утверждением, чем последовательность (то есть я думал,...

12
Проблемы, которые кажутся экспоненциальными, но являются P

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

12
Что означает ведущий оператор турникета?

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

12
Слово факторизация за

Учитывая две строки S1,S2S1,S2S_1, S_2 , мы пишем S1S2S1S2S_1S_2 для их объединения. Учитывая , строка SSS и целое число k≥1k≥1k\geq 1 , мы будем писать (S)k=SS⋯S(S)k=SS⋯S(S)^k = SS\cdots S для конкатенации kkk копий SSS . Теперь, учитывая строку, мы можем использовать эту запись, чтобы «сжать» ее,...

12
Сколько пар скобок достаточно, чтобы завершить Brainfuck Turing?

Brainfuck - полный язык программирования Тьюринга, который использует только 8 символов (6, если вы игнорируете ввод / вывод). Две наиболее заметные из них , которые толкают его на Тьюринга полнота [и ], по существу , этикетки и Гото Brainfuck в. Обычно программы в Brainfuck используют несколько...

12
Почему пустой символ не считается частью входного алфавита машины Тьюринга?

Определения машин Тьюринга всегда явно указывают на то, что пустой символ не является частью входного алфавита. Интересно , что идет не так , когда вы бы сделать его частью входного алфавита, потому что фактически пустой символ , уже , кажется, часть входных данных. Чтобы объяснить, что «кажется» в...

12
Какие другие языки программирования, кроме Python и предшественника, используют отступ для определения блоков кода? [закрыто]

Закрыто. Этот вопрос не по теме . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос так, чтобы он был по теме для Computer Science Stack Exchange. Закрыто 11 месяцев назад . Python довольно широко использует отступы для синтаксического определения блоков кода....

12
Монада ввода-вывода технически неверна?

На вики Haskell есть следующий пример условного использования монады ввода / вывода (см. Здесь) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Обратите внимание, что в этом примере определение IO aиспользуется, RealWorld ->...

12
Есть ли какой-либо вариант использования для нижнего типа в качестве типа параметра функции?

Если функция имеет тип возврата of ( нижний тип ), это означает, что она никогда не вернется. Это может, например, выйти или бросить, обе довольно обычные ситуации. Предположительно, если функция имеет параметр типа ⊥, она никогда не сможет (безопасно) быть вызвана. Есть ли когда-нибудь причины для...

12
Может ли любая NP-полная проблема быть решена с использованием не более чем полиномиального пространства (но при использовании экспоненциального времени?)

Я читал о NPC и его связи с PSPACE, и я хотел бы знать, могут ли проблемы NPC быть детерминированно решены с использованием алгоритма с наименьшим требованием к полиномиальному пространству, но потенциально с экспоненциальным временем (2 ^ P (n), где P - полиномиальный). Более того, может ли оно...

11
Оценка средней сложности времени данного алгоритма сортировки пузырьков.

Учитывая этот псевдокод пузырьковой сортировки: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT Какие основные идеи я...