Ciência da Computação

Vi máquinas de turing sendo representadas com fitas infinitas em uma e em duas direções. Existe alguma diferença no poder dessas máquinas de turing, ou elas são basicamente equivalentes? Na minha cabeça, acho que são equivalentes, pois acho que deve haver alguma maneira de representar a fita infinita bidirecional como …

11 turing-machines 

Fomos apresentados em classe com um algoritmo para encontrar o máximo em uma matriz em paralelo na complexidade de tempo com n 2 computadores.O(1)O(1)O(1)n2n2n^2 O algoritmo foi: Dada uma matriz A de comprimento n: Crie uma matriz de sinalizadores B de comprimento n e inicialize-a com zeros em computadores.nnn Compare …

11 algorithms  search-algorithms  parallel-computing 

Minimizando autómatos finitos determinista (AFDs) é um problema que tem sido bem estudada na literatura, e vários algoritmos foram propostos para resolver o seguinte problema: Dado um DFA , calcular um mínimo DFA correspondente aceite a mesma linguagem como um . A maioria desses algoritmos é executada em tempo polinomial.UMAA\mathscr{A}UMAA\mathscr{A} …

11 algorithms  formal-languages  finite-automata 

Esse é um tipo de pergunta de distância de edição e é muito fácil. Estou com morte cerebral bastante neste assunto e não consigo descobrir até agora. Dada uma série de números, por exemplo [3, 1, 1, 1] Como alguém transformaria todos os números de maneira mais eficiente no mesmo …

11 algorithms  optimization 

Estou envolvido no primeiro ano de programação e curso de algoritmos. Em uma palestra recente, decidi apresentar o material usando a codificação ao vivo , o que essencialmente significava que eu me sentava atrás do teclado e escrevia o código e o avaliava, usando o emacs para facilitar o processo. …

11 education  didactics 

Eu tenho um problema e acho difícil de NP, mas não posso provar. Aqui está um gráfico de camadas, em que a camada 0 é a camada mais alta e a camada L, a mais baixa. há alguma aresta direcionada entre as camadas, onde uma aresta (A, B) indica que …

11 graphs  np 

Estou interessado nas propriedades de uma classe de gráficos bipartidos que todos os nós em são 3-regulares, todos os nós em são 2-regulares e. Primeiro, essa é uma classe bem conhecida de gráficos? Em segundo lugar,G(X∪Y,E)G(X∪Y,E)G(X \cup Y, E)XXXYYY|X|=|2Y/3||X|=|2Y/3||X|=|2Y/3| Existe um exemplo de problema computacional intratável restrito a essa classe …

11 complexity-theory  graph-theory 

Linguagens sem contexto não são fechadas sob complementação. Nas palestras, recebemos o mesmo argumento aqui na Wikipedia : Para ambos A e B são livres de contexto, mas sua interseção A ∩ B não é. Como as linguagens sem contexto são fechadas sob uniões, elas também não podem ser fechadas …

11 formal-languages  context-free 

Acabei de começar a estudar Inteligência Artificial e estou me perguntando por que o espaço de estado acessível de um quebra-cabeça 8 é . Vejo que o número de permutações dos ladrilhos é 9 ! mas não é imediatamente óbvio por que metade dos estados possíveis do quebra-cabeça é inacessível …

11 artificial-intelligence 

Estou trabalhando em algoritmos de pesquisa de string que suportam a pesquisa de vários padrões. Encontrei dois algoritmos que parecem os candidatos mais fortes em termos de tempo de execução, a saber, Aho-Corasick e Rabin-Karp . No entanto, não consegui encontrar nenhuma comparação abrangente entre os dois algoritmos. Qual algoritmo …

11 algorithms  algorithm-analysis  runtime-analysis  strings 

Como você abordaria o problema da mochila em uma situação de programação dinâmica se agora precisa limitar o número de itens na mochila por um constante ? Esse é o mesmo problema (peso máximo de , cada item tem um valor peso ), mas você só pode adicionar item (s) …

11 algorithms  optimization  dynamic-programming  knapsack-problems 

Estou lendo Sipser e acho difícil entender como é o processo. Se você me der k máquinas de Turing com fitas k, posso cuspir uma máquina de Turing equivalente com apenas uma fita. Um exemplo seria bom. Na verdade, um exemplo elaborado que mostra como passar da TM com fitas …

11 turing-machines  simulation 

O problema de decisão Dada uma fórmula booleana , tem exatamente uma tarefa satisfatória?ϕϕϕ\phiϕϕ\phi pode ser visto em , -hard e -hard. Existe algo mais conhecido sobre sua complexidade?U P c o N PΔ2Δ2\Delta_2U PUP\mathsf{UP}c o N PcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Seja nnn um número inteiro e ZZ\mathbb{Z} denote o conjunto de todos os números inteiros. Deixe [a,b][a,b][a,b] denotar o intervalo de números inteiros {a,a+1,a+2,…,b}{a,a+1,a+2,…,b}\{a,a+1,a+2,\dots,b\} . Eu estou procurando uma estrutura de dados para representar um mapa f:[1,n]→Zf:[1,n]→Zf:[1,n] \to \mathbb{Z} . Quero que a estrutura de dados suporte as seguintes operações: …

11 algorithms  data-structures  trees  intervals 

Existe um algoritmo / procedimento sistemático para testar se um idioma é regular? Em outras palavras, dado um idioma especificado em forma algébrica (pense em algo como ), teste se o idioma é regular ou não. Imagine que estamos escrevendo um serviço da Web para ajudar os alunos com todos …

11 algorithms  formal-languages  regular-languages  decision-problem