Ciência da Computação

Li várias vezes que não é possível alterar a resposta de um NDTM com eficiência. No entanto, eu não entendo o porquê. Por exemplo, dado um NDTM executado em O ( n ) , este texto (seção 3.3) afirma que não está claro como outro NDTM T pode determinar em …

11 complexity-theory  turing-machines 

Dado dois conjuntos de cadeias sobre o alfabeto Σ , podemos calcular o menor autômato de estado finito determinístico (DFA) M de modo que A ⊆ L ( M ) e L ( M ) ⊆ Σ ∗ ∖ B ?A , BA,BA,BΣΣ\SigmaMMMA ⊆ L ( M)UMA⊆eu(M)A \subseteq L(M)L ( …

11 regular-languages  automata  finite-automata  machine-learning 

Estou lendo sobre a teoria dos tipos dependentes no livro on-line da Teoria dos Tipos de Homotopia . Na seção 1.3 do capítulo Teoria dos tipos , introduz a noção de hierarquia de Universos : , em quevocê0 0: U1 1: U2: ⋯você0 0:você1 1:você2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : …

11 type-theory  homotopy-type-theory  dependent-types 

Dadas duas expressões regulares arbitrárias, existe um algoritmo "eficiente" para determinar se elas correspondem ao mesmo conjunto de cadeias? De maneira mais geral, podemos calcular o tamanho da interseção dos dois conjuntos de correspondências? Quais algoritmos existem para fazer isso e em que classe de complexidade eles vivem? Se recusarmos …

11 algorithms  regular-expressions 

Existem estruturas de dados eficientes para representar partições definidas. Essas estruturas de dados têm boas complexidades de tempo para operações como Union e Find, mas não são particularmente eficientes em termos de espaço. O que é uma maneira eficiente de espaço para representar uma partição de um conjunto? Aqui está …

11 data-structures  combinatorics  space-complexity  sets  partitions 

O lema de bombeamento para idiomas regulares pode ser usado para provar que determinados idiomas não são regulares, e o lema de bombeamento para idiomas sem contexto (junto com o lema de Ogden) pode ser usado para provar que determinados idiomas não são livres de contexto. Existe um lema de …

11 context-free  proof-techniques  pumping-lemma 

Em uma primeira árvore de profundidade, existem as arestas que definem a árvore (ou seja, as arestas que foram usadas no percurso). Existem algumas arestas restantes conectando alguns dos outros nós. Qual é a diferença entre uma aresta cruzada e uma aresta dianteira? Da wikipedia: Com base nessa árvore de …

11 algorithms  terminology  graphs  graph-traversal 

Fui informado de que o custo da inferência de tipo em uma linguagem funcional como o OCaml pode ser muito alto. A alegação é que existe uma sequência de expressões que, para cada expressão, o comprimento do tipo correspondente é exponencial no comprimento da expressão. Eu inventei a sequência abaixo. …

11 lambda-calculus  type-theory  functional-programming  type-inference  type-checking 

Da Wikipedia : O tipo de problema computacional: Os problemas mais comumente usados ​​são os de decisão . No entanto, as classes de complexidade podem ser definidas com base em problemas de função, problemas de contagem, problemas de otimização, problemas de promessa, etc. Eu também vi as definições de NP-completo, …

11 complexity-theory  terminology 

Uma das definições de um conjunto computávelmente enumerável (ce, equivalente a recursivamente enumerável, equivalente a semidecidável) é o seguinte: A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* é ce sse existe uma língua decidíveisV⊆Σ∗V⊆Σ∗V\subseteq \Sigma^* (chamado verificador) r para todos osx∈Σ∗x∈Σ∗x\in \Sigma^* , x∈Ax∈Ax\in A sse existe umay∈Σ∗y∈Σ∗y\in\Sigma^* r⟨x,y⟩∈V⟨x,y⟩∈V\langle x, y \rangle \in V . …

11 computability  proof-techniques  undecidability 

Estou estudando para a minha final em teoria da computação e estou lutando com a maneira correta de responder se essa afirmação é verdadeira ou falsa. Pela definição de , podemos construir a seguinte declaração,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin A \iff f(w) \notin B …

11 complexity-theory  computability  reductions 

Um algoritmo de máquina de Turing em tempo polinomial é considerado eficiente se seu tempo de execução, na pior das hipóteses, estiver limitado por uma função polinomial no tamanho da entrada. Estou ciente da forte tese de Church-Turing: Qualquer modelo razoável de computação pode ser eficientemente simulado em máquinas de …

11 complexity-theory  efficiency  computation-models 

De acordo com essas notas , o DFS é considerado como tendo complexidade de espaço , em que é o fator de ramificação da árvore em que é o comprimento máximo de qualquer caminho no espaço de estado.O ( b m )O(bm)O(bm)bbbmmm O mesmo é dito nesta página do Wikibook …

11 graphs  algorithm-analysis  graph-traversal  space-analysis 

Em problemas de satisfação com restrições, as heurísticas podem ser usadas para melhorar o desempenho de um solucionador de bactracking. Três heurísticas comumente fornecidas para solucionadores de retorno simples são: Valores restantes mínimos (quantos valores ainda são válidos para essa variável) Heurística de grau (quantas outras variáveis ​​são afetadas por …

11 artificial-intelligence  constraint-satisfaction 

Durante uma entrevista para uma posição de desenvolvedor Java, me perguntaram o seguinte: Escreva uma função que use dois parâmetros: uma String representando um documento de texto e um número inteiro fornecendo o número de itens a serem retornados. Implemente a função para que ela retorne uma lista de Strings …

11 algorithms  sorting  strings  data-mining