Ciência da Computação

Dado um labirinto bidimensional onde você pode dar 4 comandos "mover para cima / baixo / direita / esquerda". Conhecendo o labirinto, mas não onde está a pessoa, como encontrar a sequência mínima de comandos que garante a saída do labirinto? Estou procurando uma única sequência de comandos que funcione, …

13 algorithms  graphs  graph-traversal 

Aqui está o contexto ( Estrutura e Interpretação de Programas de Computador , seção 1.1.8, sob o título "Nomes locais"): Um parâmetro formal de um procedimento tem um papel muito especial na definição do procedimento, pois não importa qual o nome do parâmetro formal. Esse nome é chamado de variável …

13 logic 

Portanto, a classificação por mesclagem é um algoritmo de divisão e conquista. Enquanto eu observava o diagrama acima, estava pensando se era possível ignorar basicamente todas as etapas de divisão. Se você iterou sobre a matriz original enquanto pulava duas vezes, poderia obter os elementos no índice iei + 1 …

13 algorithms  sorting  efficiency  mergesort 

Acredito que isso seja verdade, mas também não consegui uma prova formal. Mas é verdade que qualquer árvore de abrangência mínima é alcançável aplicando o algoritmo de Kruskal? Da mesma forma, isso é verdade para o algoritmo de Prim? EDIT: Para ser mais preciso, quero saber se é fornecido um …

13 algorithms  graphs  minimum-spanning-tree 

A literatura é bastante clara que RAMs de custo unitário com multiplicação primitiva são irracionais, pois não pode ser simulado por máquinas de Turing em tempo polinomial pode resolver problemas completos do PSPACE em tempo polinomial No entanto, todas as referências que posso encontrar sobre esse tópico (Simon 1974, Schonhage …

13 complexity-theory  reference-request  computation-models  history 

Acho que estou bastante confuso sobre o que é chamado de cálculo e o que é chamado de linguagem de programação. Costumo pensar, e pode ter sido dito, que um cálculo é um sistema formal de raciocínio sobre a equivalência de programas. Os programas têm uma semântica operacional especificada por …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

Existem algoritmos conhecidos para problemas formulados que requerem uma complexidade ESPAÇO de O (sqrt (N))? Eu sei que existem algoritmos com essa complexidade grande.

13 complexity-theory  asymptotics  space-complexity 

Eu estava pensando em gramáticas para linguagens sensíveis a indendências e parece que as gramáticas CF fariam o truque se combinadas com parâmetros. Como exemplo, considere este fragmento para gramática simplificada do Python no formato ANTLR: // on top-level the statements have empty indent program : statement('')+ ; // let's …

13 formal-languages  context-free  formal-grammars  parsers 

Suponha que exista uma sessão de tutorial em uma universidade. Temos um conjunto de perguntas e um conjunto de alunos . Cada aluno tem uma dúvida em um determinado subconjunto de perguntas, ou seja, para cada aluno , seja o conjunto de perguntas que um aluno duvida. Assume-se que e …

13 algorithms  complexity-theory  np-complete  np-hard 

Dadas duas strings, como você pode verificar se elas são permutadas uma da outra usando o espaço O (1)? Modificar as strings não é permitido de forma alguma. Nota: O (1) espaço em relação ao comprimento da string E ao tamanho do alfabeto.

13 algorithms  strings  space-complexity 

Recentemente, fui questionado sobre esse problema em uma entrevista algorítmica e não consegui resolvê-lo. Dados dois valores N e M, é necessário contar o número de permutações de comprimento N (usando números de 1 a N), de modo que a diferença absoluta entre qualquer número na permutação e sua posição …

13 algorithms  permutations  algorithm-design 

Enquanto fazia a tarefa atual para meus idiomas formais e curso de autômatos, eu meio que fiquei preso em exercícios envolvendo idiomas unários (espero que seja o termo certo), ou seja, idiomas que se baseiam em uma única letra. Porém, não quero perguntar sobre os exercícios específicos, mas sobre uma …

13 formal-languages  regular-languages 

Estou estudando linguagens formais e sistemas de bases de produção (sistemas de bases de regras) e estou um pouco confuso sobre por que essas duas palavras "produção" e "regra" significam a mesma coisa em tantos contextos na Ciência da Computação. No idioma inglês, eles não parecem ter o mesmo significado. …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Amanhã é a minha apresentação e quero esclarecer meus conceitos ... Eu li no DFA: "Para cada estado, a transição em todos os símbolos possíveis (alfabeto) deve ser definida". Para cada estado, a transição de todos os símbolos possíveis é obrigatória no DFA? Se não, por favor, dê alguns exemplos?

13 automata  finite-automata  nondeterminism 

Eu estava pensando em provas e tive uma observação interessante. Portanto, as provas são equivalentes aos programas pelo isomorfismo de Curry-Howard, e as provas circulares correspondem a uma recursão infinita. Mas sabemos do problema da parada que, em geral, testar se um programa arbitrário se repete para sempre é indecidível. …

13 logic  curry-howard