Информатика

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

16 computability  undecidability  pushdown-automata 

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

16 computability  turing-machines  undecidability  computation-models 

Теорема Галуа эффективно говорит, что нельзя выразить корни многочлена степени> = 5, используя рациональные функции коэффициентов и радикалов - разве нельзя считать, что это говорит о том, что для данного многочлена нет детерминированного алгоритма для нахождения корней? Теперь рассмотрим вопрос решения в форме: «Учитывая действительный корень полинома ppp и число …

16 complexity-theory  np-complete  np  polynomials 

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

16 algorithms  randomized-algorithms 

Когда мы смотрим на модель актора и передачу последовательных процессов, мы видим, что они оба пытаются выполнять параллелизм на основе передачи сообщений , но они различны . (Мы видим реализации НСП модели в ходу-лане «s goroutines (и Clojure в core.async ) и актер модель в компании Scala Akka инструментарии) Я …

16 concurrency  message-passing 

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

16 algorithms  artificial-intelligence  computer-games 

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

16 algorithms  artificial-intelligence  search-algorithms  heuristics 

Я только недавно узнал о существовании этой иерархической временной памяти (HTM) . Я уже читал документ « Иерархическая временная память: концепции, теория и терминология» (Джеффа Хокинса и Дилипа Джорджа), который кажется довольно простым для понимания, но один красный флажок заключается в том, что документ не рецензируется и не пытается объяснить, …

16 neural-networks  hierarchical-temporal-memory 

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

16 machine-learning  online-algorithms 

Рассмотрим следующий вопрос Google Code Jam в 1С : Великая китайская стена начинается бесконечной линией, где высота во всех местах равна .000 Некоторое количество племен , , будет атаковать стену в соответствии со следующими параметрами - начальный день, , начальная сила , начальная западная координата и начальная восточная координата , …

16 algorithms  data-structures  binary-trees 

Дан плоский план G=(V,E)G=(V,E)G=(V,E) и пусть GG\mathcal{G} обозначает его вложение в плоскость st, каждое ребро которого имеет длину . Кроме того, у меня есть множество точек в которых каждая точка содержится в . Кроме того, для любой точки в верно, что существует с геодезическим расстоянием до не более единицы. (Расстояние …

16 algorithms  graph-theory  set-cover 

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

16 terminology  automata  finite-automata 

Обычный вопрос интервью - дать алгоритм для определения того, является ли данное двоичное дерево сбалансированным по высоте (определение дерева AVL). Мне было интересно, можем ли мы сделать что-то подобное с красно-черными деревьями. Учитывая произвольное неокрашенное двоичное дерево (с узлами NULL), существует ли «быстрый» алгоритм, который может определить, можем ли мы …

16 algorithms  data-structures  binary-trees  search-trees 

Во многих обсуждениях двоичной кучи в качестве поддерживаемой операции для минимальной кучи обычно указывается только ключ уменьшения. Например, глава 6.1 CLR и эта страница википедии . Почему ключ увеличения обычно не указывается для min-heap? Я полагаю, что это можно сделать в O (высота), итеративно меняя увеличенный элемент (x) на минимум …

16 algorithms  data-structures  heaps  priority-queues 

Мне интересно, возможно ли это вообще, так как . Поэтому КПК, который может отличить слово от остальной части вполне может принять его , что звучит противоречиво для меня. w ∈ { a n b n c n ∣ n ≥ 0 } { a ∗ b ∗ c ∗ }{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n …

16 formal-languages  automata  context-free  pushdown-automata