Информатика

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

10 algorithms  formal-grammars  context-free  parsing 

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

10 algorithms  number-theory 

Что такое анонимные (лямбда) функции? Каково формальное определение анонимной функции в функциональном языке программирования? Проще говоря, когда я программирую на схеме / lisp, я бы сказал, что анонимная (лямбда) функция - это функция, которая не связана с идентификатором. Это все, что вы можете сказать формально о лямбда-функции? Я думаю, что …

10 logic  programming-languages  lambda-calculus  functional-programming 

Рассмотрим следующую проблему, входной экземпляр которой представляет собой простой граф и натуральное целое число k .гGGКkk Существует ли множество такое, что G - S двудольный и | S | ≤ к ?S⊆ V( G )S⊆V(G)S \subseteq V(G)G - SG−SG - S| S| ≤k|S|≤k|S| \leq k Я хотел бы показать, что …

10 complexity-theory  np-complete  reductions 

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

10 data-structures  runtime-analysis  heaps  amortized-analysis 

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

10 compilers  computer-architecture 

максимизировать F( х )при условии A x = bmaximize f(x)subject to Ax=b\text{maximize } f(\mathbf{x}) \quad\text{subject to } \mathbf{Ax} = \mathbf{b} где е( х ) = ∑я = 1N1 + х4я( ∑Nя = 1Икс2я)2-------------⎷,f(x)=∑i=1N1+xi4(∑i=1Nxi2)2,f(\mathbf{x}) = \sum_{i=1}^N\sqrt{1+\frac{x_i^4}{\left(\sum_{i=1}^{N}x_i^2\right)^2}}, х =[ х1, х2, . , , ,хN]T∈ RN× 1x=[x1,x2,...,xN]T∈RN×1\mathbf{x} = [x_1,x_2,...,x_N]^T \in \mathbb{R}^{N\times 1} …

10 optimization 

Существуют ли языки программирования (или логика), которые могут реализовать (или выразить) функцию тогда и только тогда, когда f вычислимые биективные функции?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Предположим, у меня есть ориентированный граф с весами ребер, взятыми из диапазона где - константа. Если я пытаюсь найти кратчайший путь, используя алгоритм Дейкстры , как я могу изменить алгоритм / структуру данных и повысить сложность времени до ?K O ( | V | + | E | )[1,…,K][1,…,K][1,\dots, K]KKKO(|V|+|E|)O(|V|+|E|)O(|V|+|E|)

10 algorithms  data-structures  shortest-path  weighted-graphs 

Мне очень нужна ваша помощь в доказательстве следующего. Если то . P = N PN T i m e ( n100) ⊆ D Т я м е ( п1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N PP=NP\mathrm{P}=\mathrm{NP} Здесь - это класс всех языков, которые могут быть определены недетерминированной машиной Тьюринга за полиномиальное время …

10 time-complexity  complexity-classes  p-vs-np 

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

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Исходя из POV кого-то, кто думает о получении докторской степени в области компьютерных наук. У меня возникают проблемы с выбором того, на чем я буду концентрироваться, когда буду получать докторскую степень. Смотрите также этот вопрос на academia.SE . Поэтому я думаю, что чтение / отслеживание того, какие исследования проводятся и …

10 reference-request 

У меня есть проблема, которая может быть сведена к проблеме назначения. (В предыдущем вопросе я узнал, как это сделать.) Это означает, что у нас есть набор агентов и набор задач а также функция стоимости . Нам нужно найти назначение, чтобы общая стоимость была минимальной.AAAc ( i , j )TTTc(i,j)с(я,J)c(i,j) Венгерский …

10 algorithms  graph-theory  assignment-problem 

Я запутался, решая следующую проблему (вопросы 1–3). Вопрос Д -ичные куч, как двоичные кучи, но (с одним возможным исключением) узлы без листьев имеют d детей вместо 2 -х детей. Как бы вы представили d -ary кучу в массиве? Какова высота d- дневной кучи из n элементов в терминах n и …

10 data-structures  time-complexity  runtime-analysis 

Я ищу быстрый алгоритм сопоставления строк k-несоответствие. Учитывая строку шаблона P длины m и текстовую строку T длины n, мне нужен быстрый (линейное время) алгоритм, чтобы найти все позиции, где P соответствует подстроке T с не более чем k несоответствиями. Это отличается от проблемы k-отличий (редактировать расстояние). Несовпадение подразумевает, что …

10 algorithms  reference-request  strings  string-metrics  substrings