Информатика

Почему такая компания, как Twitter, заинтересована в алгебраических понятиях, таких как группы, моноиды и кольца? Смотрите их репозиторий на github: twitter / algebird . Все, что я мог найти, это: Реализации Monoids для интересных алгоритмов аппроксимации, таких как фильтр Блума , HyperLogLog и CountMinSketch . Они позволяют вам думать об …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

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

38 clocks  distributed-systems  computer-networks 

Эта идея пришла мне в голову, когда я учился программировать и впервые столкнулся с PRNG. Я до сих пор не знаю, насколько это реалистично, но сейчас происходит обмен стека. Вот схема 14-летнего ребенка для удивительного алгоритма сжатия: Возьмите PRNG и начните его с seed, sчтобы получить длинную последовательность псевдослучайных байтов. …

38 information-theory  randomness  data-compression  pseudo-random-generators  entropy 

Сложность алгоритма разработана так, чтобы не зависеть от деталей более низкого уровня, но она основана на императивной модели, например, доступ к массиву и изменение узла в дереве занимают O (1) времени. Это не так в чисто функциональных языках. Список Haskell требует линейного времени для доступа. Модификация узла в дереве включает …

38 algorithm-analysis  runtime-analysis  computation-models  functional-programming 

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

38 programming-languages  compilers 

Я знаю, как кодировать для факториалов, используя итеративные и рекурсивные (например, n * factorial(n-1)например). Я прочитал в учебнике (без каких-либо дальнейших объяснений), что существует еще более эффективный способ кодирования для факториалов, разделив их пополам рекурсивно. Я понимаю, почему это может иметь место. Однако я хотел попробовать написать код самостоятельно, и …

38 algorithms  efficiency  arithmetic 

Реферат: Согласно теореме Райс, все невозможно. И все же, я делаю это якобы невозможное постоянно! Конечно, теорема Райс не просто говорит, что «все невозможно». В нем говорится что-то более конкретное: «Каждое свойство компьютерной программы не вычислимо». (Если вы хотите разделить волосы, каждое «нетривиальное» свойство. То есть свойства, которыми обладают все …

37 terminology  computability  undecidability  rice-theorem 

В настоящее время я читаю книгу (и много википедии) о квантовой физике, и мне еще предстоит понять, как квантовый компьютер может быть быстрее, чем компьютеры, которые мы имеем сегодня. Как квантовый компьютер может решить проблему в субэкспоненциальном времени, которую классический компьютер может решить только в экспоненциальном времени?

37 quantum-computing 

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

36 formal-languages  automata  formal-grammars  pushdown-automata 

Я читал во многих местах, что некоторые проблемы трудно приблизить ( NP-трудно приблизить их). Но аппроксимация не является проблемой решения: ответ - это действительное число, а не «Да» или «Нет». Также для каждого желаемого коэффициента аппроксимации существует много правильных ответов и много неправильных, и это изменяется с желаемым коэффициентом аппроксимации! …

36 complexity-theory  time-complexity  np-hard  approximation 

Возможно, извинения за то, что я задал еще один вопрос о предпосылках, но я был озадачен начальными моментами. Я встречал различные термины, такие как «модальная логика», «временная логика», «логика первого порядка», «логика второго порядка» и «логика высшего порядка». Что именно означает «логика» в этом контексте? Как мы строго определяем слово …

36 logic  mathematical-foundations 

Что было бы лучшим введением в идеи Пера Мартина-Лёфса о теории типов? Я посмотрел некоторые лекции из летней школы Орегона, но все еще озадачен следующим вопросом: Что такое тип? Я знаю, что такое набор, так как вы можете определить их по обычным аксиомам ZF, и они имеют очень интуитивную конкретную …

36 logic  type-theory 

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

36 algorithms  arithmetic  number-formats 

Я понимаю, что «структура» данных полностью зависит от булевой алгебры, но: Почему данные считаются дискретным математическим объектом, а не непрерывным? С этим связано: Какие недостатки или инварианты нарушаются при структурировании данных как непрерывного объекта в измерениях?ррr Я не эксперт в этой области, так как я учусь на старшекурснике по математике, …

35 data-structures  mathematical-foundations 

Предположим, у меня есть список функций, например nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots Как мне отсортировать их асимптотически, т.е. после отношения, определенного f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , при условии, что они действительно попарно сопоставимы (см. также здесь )? Использование определения кажется неудобным, …

35 asymptotics  landau-notation  reference-question