De acordo com este gráfico , os DCFLs são fechados sob reversão. No entanto, não estou convencido de que seja a prova intuitiva (invertendo as setas da máquina de estados finitos controladores e alternando entre empurrões e estalos), pois isso depende do não-determinismo na escolha da transição...
Uma pesquisa * encontra a solução ideal para os problemas, desde que a heurística seja admissível, o que significa que nunca superestima o custo do caminho a partir de qualquer nó (e consistente, mas vamos nos concentrar em ser admissível no momento). Mas por que ele sempre encontra a solução...
Eu tenho um gráfico e preciso encontrar uma árvore de abrangência mínima para um determinado gráfico. O que deve ser feito para que a saída obtida seja uma árvore
Queremos um algoritmo que, considerando uma matriz de comprimento de números inteiros, encontre a diferença mínima entre dois números inteiros na matriz.nnn Um desses algoritmos é classificar a matriz e verificar pares de números adjacentes. Isso leva tempo .O(nlogn)O(nlogn)O(n\log n) Existe uma...
Houve uma boa quantidade de pesquisas sobre algoritmos de exclusão mútua - por exemplo, muitas delas são apresentadas em livros clássicos como The Art of Multiprocessor Programming , onde um capítulo inteiro é dedicado a eles. Pergunto-me quais são as situações práticas em que alguém pode precisar...
\def\R{\mathbb{R}}\def\Z{\mathbb{Z}}\def\n#1{\|#1\|_\infty} O problema vem diretamente da matemática computacional e pode ser indicado da seguinte forma: Dada uma matriz regular , encontre efetivamente todos os vetores modo que \ n {Mv} \ leq1 , em que \ n {Mv} seja o componente máximo do vetor em...
Quero provar que a complexidade do tempo de um algoritmo é polilogarítmica na escala de entrada. A relação de recorrência desse algoritmo é T(2n)≤T(n)+T(na)T(2n)≤T(n)+T(na)T(2n) \leq T(n) + T(n^a), Onde a∈(0,1)a∈(0,1)a\in(0,1). Parece que T(n)≤logβnT(n)≤logβnT(n) \leq \log^{\beta}{n} para alguns...
Este é um problema de exercício (Ex.3) da excelente nota de aula de Jeff Erickson. Aula 20: Árvores abrangentes mínimas [Fa'13] . Prove que um gráfico com aresta ponderada tem uma árvore de abrangência mínima exclusiva se e somente se as seguintes condições forem válidasGGG Para qualquer...
Suponha ΠΠ\Pi é um problema de decisão decidível. Faz ¸ ∉ NPΠ∉NP\Pi\not \in NP implicar ΠΠ\Pi é NPNPNP-Difícil? Edit: se assumirmos que existe ¸ ∈ c o NP∖ NPΠ∈coNP∖NP\Pi\in coNP\setminus NPentão terminamos. Podemos refutar a reivindicação sem suposições...
Diz-se que o Método da Incompressibilidade simplifica a análise de algoritmos para o caso médio. Pelo que entendi, isso ocorre porque não há necessidade de calcular todas as combinações possíveis de entrada para esse algoritmo e derivar uma complexidade média. Em vez disso, uma única string...
é possível minimizar os autômatos de empilhamento? Se não, por quê? É porque, para minimização, as classes de equivalência precisam ter um índice finito e não podemos garantir isso para o
Estou tentando vincular os circuitos lógicos combinacionais (computadores baseados apenas em portas lógicas) com tudo o que aprendi recentemente em Teoria da computação. Gostaria de saber se os circuitos lógicos combinacionais podem implementar cálculos da mesma maneira que as máquinas de estados...
Dizem que um programa inclui algoritmos; no entanto, se nos referirmos à sua definição, um algoritmo é uma sequência de instruções escritas para executar uma tarefa especificada e um programa de computador também é uma sequência de instruções para executar algumas tarefas no computador. Então, o...
Eu li muitos artigos e livros sobre ontologias e estou tentando descobrir como elas são usadas em um projeto real? Por exemplo, como a ontologia de um robô de jogador de futebol pode ser definida e usada com uma arquitetura cognitiva para torná-lo inteligente? As ontologias são relações entre...
Estou trabalhando em minha própria pequena linguagem de programação para fins educacionais e me deparei com um pouco de problema. Existem algumas soluções diferentes para isso, mas todas elas parecem deselegantes - e pelo que entendi, desnecessárias. Mas, lendo os livros que tenho e as pesquisas no...
Em um gráfico G ( V, E)G(V,E)G(V,E), fazemos o seguinte processo: Inicialmente, todos os nós em VVV são incolores. Embora existam nós não coloridos em VVV, cada nó não colorido faz o seguinte: Seleciona um número real aleatório e o envia a todos os seus vizinhos; Compara seu número com o número...
Toda vez que acho que entendo o que o teorema de Rice significa, encontro um contra-exemplo para me confundir. Talvez alguém possa me dizer onde estou pensando errado. Vamos usar uma propriedade não trivial do conjunto de funções computáveis, por exemplo, deixe . Obviamente, é infinito contável e...
Parece que a distinção entre fibras e fios é que as fibras são programadas cooperativamente, enquanto que as threads são programadas preventivamente. O objetivo do planejador parece ser uma maneira de fazer com que um recurso serial do processador atue de maneira paralela, "compartilhando o tempo"...
Eu sei que a Verificação Simbólica de Modelo é uma travessia de espaço de estado com base em representações de conjuntos de estados e relações de transição como fórmulas, como em CTL, usando modelos como o Modelo Kripke. Eu conheço a teoria. Mas acho difícil entender a aplicação real. Onde...
Pela tese de Church-Turing, é impossível projetar um algoritmo para decidir o problema da parada. A palavra algoritmo, neste contexto, inclui inteligência artificial ou não, isto é, a tese de Church-Turing também se aplica à inteligência artificial? É possível projetar um sistema de...