Информатика

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

12 garbage-collection  resource-allocation 

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

12 term-rewriting 

Мне интересно, какова сложность определения пустоты для двусторонних DFA? То есть конечные автоматы, которые могут двигаться назад на своей ленте ввода только для чтения. Согласно Википедии, они эквивалентны DFA, хотя эквивалентный DFA может быть экспоненциально больше. Я обнаружил сложность состояний для их дополнений и пересечений, но не для их проверки …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

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

12 game-theory  randomness 

Если нет, то что это значит, когда для некоторого состояния и некоторого символа , не существует?Qqqδ ( q , a )aaaδ( д, )δ(q,a)\delta(q, a)

12 terminology  automata  finite-automata 

Я читал ответ на недавний вопрос, и мне в голову пришла странная эфемерная мысль. Мои просьбы об этом могут предать либо то, что мои теоретические отбросы серьезно отсутствуют (в основном это правда), либо что мне еще слишком рано читать этот сайт. Теперь с отказом от ответственности ... Это хорошо известный …

12 turing-machines  undecidability  halting-problem 

Я хочу доказать, что дополнение не является регулярным, используя свойства замыкания.{ 0N1N∣ n ≥0 }{0N1N|N≥0}\{0^n1^n \mid n \geq{} 0\} Я понимаю, что лемму прокачки можно использовать, чтобы доказать, что не является регулярным языком. Я также понимаю, что обычные языки закрыты в рамках операции дополнения. Однако означает ли это, что дополнение …

12 formal-languages  regular-languages  closure-properties 

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

12 operating-systems  memory-allocation  virtual-memory  paging  memory-management 

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

12 terminology  machine-learning  pattern-recognition  bayesian-statistics 

В настоящее время я читаю введение в алгоритмы и пришел по алгоритму Джонсона, который зависит от того, чтобы убедиться, что все пути положительны. алгоритм зависит от нахождения новой весовой функции (w '), которая является положительной для всех ребер и сохраняет правильность соотношений кратчайших путей. Это достигается путем вычисления значений h …

12 algorithms  graph-theory  graphs  shortest-path 

На курсах колледжа CS есть много деталей о сумматорах для переноски, таких как Kogge-Stone, Lander-Fischer и т. Д. Они описаны как «распространенные в отрасли». Тем не менее, я не могу найти никаких доказательств (кроме, может быть, цепочки для переноса в Манчестере) из недавних времен, что они действительно используются где-то конкретно. …

12 computer-architecture 

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

12 algorithms  algorithm-analysis  terminology  asymptotics 

Мне интересно это на основании нескольких мест в Интернете, которые называют co- серьезной открытой проблемой ... но я не могу найти никаких указаний на то, является ли это тем же, что проблема ...Н П П = Н ПNP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf P=NP

12 complexity-theory  complexity-classes  p-vs-np 

Это вопрос из Книги Дракона. Это грамматика: S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon Вопрос состоит в том, как показать, что это LL (1), но не SLR (1). Чтобы доказать, что это LL (1), я попытался построить его таблицу синтаксического анализа, но я получаю несколько продукций …

12 formal-grammars  compilers  parsers 

- го числа Фибоначчи может быть вычислен в линейное время с использованием следующего повторения:Nnn def fib(n): i, j = 1, 1 for k in {1...n-1}: i, j = j, i+j return i - го числа Фибоначчи также может быть вычислена как [ ф п / √Nnn. Тем не менее, это …

11 algorithms  time-complexity  recurrence-relation