Информатика

Предположим, я хочу построить операционную систему на основе очень маленького собственного нижнего ядра, которое действует как интерпретатор / среда выполнения управляемого кода, и большего верхнего ядра, скомпилированного с неродным машинным языком (байт-код Java, CIL и т. Д.). Примерами подобных операционных систем могут быть Singularity и Cosmos . Какие подводные камни …

14 operating-systems  type-checking  interpreters  os-kernel 

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

14 artificial-intelligence  search-algorithms 

Я читал об алгоритме типизации Хиндли-Милнере при написании реализации, и видят , что, до тех пор , как каждый переменная связана, вы всегда будете получать либо атомарные тип или типов , где аргументы будут определять окончательный тип, например, t1 -> t1или (t1 -> t2) -> (t1 -> t2)где t1и t2являются …

14 lambda-calculus  type-theory  typing  type-inference 

Учитывая алфавит , сколько существует различных регулярных языков, которые могут быть приняты недетерминированным конечным автоматом с n состояниями?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn В качестве примера рассмотрим . Затем у нас есть 2 18 различных конфигураций перехода и 2 3 различных конфигурации начального и конечного состояний, поэтому у нас есть верхняя …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Это произошло, когда я пытался ответить на этот вопрос о минимизации длины проводки . Я собирался назвать это проблемой "полигамного брака", но интернет, так что котята. Ура! Предположим , что мы имеем MMM котят , которые должны быть приняты NNN человек, M>NM>NM > N . Для каждого котенка, iii и …

14 algorithms  complexity-theory 

Можно ли использовать алгоритм сортировки с нетранзитивным сравнением, и если да, почему транзитивность указана в качестве требования для сортировки компараторов? Фон: Алгоритм сортировки обычно сортирует элементы списка в соответствии с функцией сравнения C (x, y), с C(x,y)=⎧⎩⎨−10+1if x≺yif x∼yif x≻yC(x,y)={−1if x≺y0if x∼y+1if x≻Y\begin{array}{ll} C(x,y) = \begin{cases} -1 & {\text{if}}\ x\prec …

14 algorithms  sorting  quicksort  transitivity 

У меня есть два больших наборов целых чисел AAA и . Каждый набор содержит около миллиона записей, и каждая запись представляет собой положительное целое число длиной не более 10 цифр. BBB Каков наилучший алгоритм для вычисления и ? Другими словами, как я могу эффективно вычислить список записей , которых нет …

14 algorithms  data-structures  sets 

ЧАСЧАСHч : U→ { 0 , … , M- 1 }час:U→{0,...,M-1}h: U \rightarrow \{0,\ldots,M-1\}∀ х , у∈ U, х ≠ у⇒ Prh ∈ H[ ч ( х ) = ч ( у) ] ≤ 1M∀Икс,Y∈U,Икс≠Y⇒Prчас∈ЧАС[час(Икс)знак равночас(Y)]≤1M\forall x,y \in U, x \neq y \Rightarrow \Pr_{h \in H}[h(x) = h(y)] \leq \frac{1}{M} …

14 data-structures  education  hash-tables  applied-theory 

Я просматривал этот сайт, и там говорится, что люди нашли решения для туров TSP, которые на 0,031% выше, чем оптимальный тур. Не найдя оптимального тура, откуда они знают, какой длины он должен быть?

14 complexity-theory  approximation 

Пусть GGG граф, и пусть sss и ttt две вершины GGG . Можем ли мы эффективно выбрать равномерно и независимо случайным образом кратчайший путь sss - ttt из множества всех кратчайших путей между sss и ttt ? Для простоты можно предположить, что GGG простая, ненаправленная и невзвешенная. Даже во многих …

14 graph-theory  reference-request  shortest-path  sampling 

Какой алгоритм вы бы использовали, чтобы найти кратчайший путь графа, который вложен в евклидову плоскость, чтобы путь не содержал каких-либо самопересечений (во вложении)? Например, на графике ниже вы хотите перейти от . Обычно такой алгоритм, как алгоритм Дейкстры, выдает такую ​​последовательность:( 0 , 0 ) → ( - 3 , …

14 algorithms  graphs  shortest-path  graph-traversal  weighted-graphs 

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

14 reference-request  programming-languages  lambda-calculus  functional-programming 

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

14 automata  pushdown-automata  nondeterminism 

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

14 complexity-theory  finite-automata  nondeterminism 

Задача Дана машина Тьюринга которая знает время выполнения O ( g ( n ) ) относительно длины ввода n , является временем выполнения M ∈ O ( f ( n ) )MMMO (г( н ) )О(грамм(N)){O}(g(n))NNnM∈ O ( f( н ) )M∈О(е(N))M \in {O}(f(n)) ? Разрешима ли указанная выше проблема …

14 complexity-theory  time-complexity