Информатика

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

29 efficiency 

Мне любопытно определить подход к алгоритму «предложенных друзей». У Facebook есть функция, с помощью которой он будет рекомендовать вам людей, с которыми, по его мнению, вы можете быть знакомы. Эти пользователи обычно (исключая крайние случаи, когда пользователь специально рекомендует друга ) имеют очень похожую сеть на себя. То есть количество …

29 algorithms  machine-learning  modelling  social-networks 

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

29 database-theory  relational-algebra 

Многие учебники охватывают типы пересечений в лямбда-исчислении. Правила набора для пересечения могут быть определены следующим образом (поверх простого типа лямбда-исчисления с подтипами): Γ ⊢ M: T1Γ ⊢ M: T2Γ ⊢ M: T1∧ T2( ∧ я)Γ ⊢ M: ⊤( ⊤ я)Γ⊢M:T1Γ⊢M:T2Γ⊢M:T1∧T2(∧I)Γ⊢M:⊤(⊤I) \dfrac{\Gamma \vdash M : T_1 \quad \Gamma \vdash M : …

29 lambda-calculus  type-theory  logic 

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

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

Я ищу алгоритм для генерации массива из N случайных чисел, так что сумма из N чисел равна 1, а все числа лежат в пределах от 0 до 1. Например, N = 3, случайная точка (x, y, я) должен лежать в треугольнике: x + y + z = 1 0 < …

29 algorithms  randomness  random-number-generator  sampling 

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

28 algorithms  graphs 

Пусть SSS множество натуральных чисел. Мы рассматриваем в частичном порядке делимости, т.е. . ПозволятьSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V антицепь }}\} . Если мы рассмотрим задачу о сумме подмножеств, где мультимножество чисел находится в SSS , что мы можем …

28 complexity-theory  number-theory  knapsack-problems 

Что произойдет, если попытаться загрузить файл со скоростью 800 МБ / с (100 МБ / с) на жесткий диск со скоростью записи 500 МБ / с (62,5 МБ / с)? Будет ли система ограничивать скорость загрузки?

28 computer-networks 

Существуют ли программы, которые могут «переводить» исходный код между любыми двумя языками (при условии, что переводчик имеет доступ к необходимым библиотекам)? Если есть, как они работают (используемые методы, необходимые знания и т. Д.)? Как они могут быть построены? Если нет, то какие ограничения мешают их развитию? Это полная проблема ИИ …

28 computability  programming-languages  compilers 

В настоящее время я играю с прогнозами временных рядов (специально для Forex). Я видел несколько научных работ о сетях эхо-состояний, которые применяются к прогнозу Forex. Существуют ли другие хорошие алгоритмы машинного обучения для этой цели? Также было бы интересно извлечь «прибыльные» модели из временных рядов.

28 reference-request  machine-learning  artificial-intelligence 

Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно voidлучше подходит под определение пустого / нижнего типа voidНасколько я могу судить, ценности не обитают . Функция с …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

У меня есть следующая цитата из курса моего компилятора (в контексте раскраски графа): Поскольку это медленно, раскраска графа имеет тенденцию использоваться в пакетных компиляторах, в то время как линейное сканирование имеет тенденцию использоваться в компиляторах JIT. Я не мог найти четкое определение в Интернете. Итак, что делает компилятор пакетным компилятором?

28 compilers 

Каждая неразрешимая проблема, о которой я знаю, попадает в одну из следующих категорий: Проблемы, которые неразрешимы из-за диагонализации (косвенная самостоятельная ссылка). Эти проблемы, такие как проблема остановки, неразрешимы, потому что вы можете использовать предполагаемое определение языка для построения TM, поведение которого приводит к противоречию. В этот лагерь можно также добавить …

28 computability  proof-techniques  undecidability 

В Википедии написано, что "... сортировка выбора почти всегда превосходит сортировку по пузырькам и сортировку по гномам". Кто-нибудь, пожалуйста, объясните мне, почему сортировка выбора считается быстрее, чем сортировка пузырьком, даже если они оба имеют: В худшем случае сложность времени : O ( n2)O(n2)\mathcal O(n^2) Количество сравнений : O ( n2)O(n2)\mathcal …

28 algorithms  runtime-analysis  efficiency  sorting