Não tenho certeza se é o lugar certo para esta pergunta. Desculpe se for um pouco fora de tópico. A escolha de um idioma adequado para o primeiro curso de programação é uma das coisas mais importantes que todo professor / professor relacionado deve ter em mente; especialmente se os alunos são...
Assumindo yyy é uma variável booleana em um programa ILP (ou seja, y∈Zy∈Zy \in Zst 0<=y<=10<=y<=10
Estou lendo a Linguagem de programação Rust e encontrei a seguinte passagem: Lembre-se de que escrever em uma estrutura não é uma operação atômica, e muitas funções como vec.push()podem se realocar internamente e causar comportamento inseguro; portanto, mesmo a monotonicidade pode não ser...
Minha pergunta é a seguinte. Assuma issoΠΠ\Pié um problema difícil de NP. Dada uma instância arbitráriaIII do ΠΠ\Pi e suponha que um adversário sabe que essa instância é fácil de resolver, é possível encontrar um algoritmo determinístico de tempo polinomial para resolver essa instância específica...
Seja uma coleção de seqüências de caracteres sobre o alfabeto que no total contêm símbolos.AAA{0,…,m−1}{0,…,m−1}\{0,\ldots,m-1\}nnn Sua tarefa é classificar cada uma das cadeias internamente e, em seguida, classificar as cadeias resultantes em ordem lexicográfica. (Seu algoritmo não precisa...
Em um gráfico, um conjunto dominante de aresta é um subconjunto D das arestas, de modo que qualquer aresta no gráfico esteja em D ou compartilhe um ponto final com uma aresta em D. O problema do Conjunto dominante de aresta mínimo é encontrar um conjunto dominante de aresta de cardinalidade mínima....
Recentemente, aprendi sobre o Q-learning, uma técnica de aprendizado por reforço que estima diretamente o valor esperado de uma ação em um estado. Gostaria de saber se existem técnicas para fazer "aprendizado dinâmico", a fim de estimar a dinâmica de um sistema. Um agente de "aprendizado...
Eu tenho a seguinte pergunta. Os solucionadores de SAT são determinísticos? Quero dizer, por exemplo, sobre o algoritmo miniSAT e DPLL . Eles são completamente determinísticos? Se esses algoritmos retornarem UNSAT, isso significa que certamente a solução não
Estou tentando entender como posso classificar uma matriz de nnn elementos quando apenas lognlogn\log n não estão no lugar. Ouvi dizer que classificar uma matriz com no máximo III inversões tem complexidade O(nlog( Eu/ n))O(nregistro(Eu/n))O(n\log(I/n)). Porque eles sãoregistronregistron\log n...
Estou estudando sistemas de tipos puros, particularmente o cálculo de construções, e tentando usar uma codificação para tipos recursivos, o que, de acordo com Philip Wadler, é possível . Como exemplo, estou usando a biblioteca Morte Haskell para codificar números Scott, conforme dados por Cardelli...
Como dito, eu quero construir um programa para gerar n pontos equidistantes em um espaço euclidiano. Pelo que eu sei 1d: todos os pontos 2d: todos os triângulos equilaterais 3d: todos os tetraedros equilaterais até 3d: suponho que seja chamado de hipertriangulo equilateral Portanto, meu...
eu suponho que Σ={a}Σ={a}\Sigma = \{a\}. Prove ou refute: para cada polinômio p(n)p(n)p(n) com coeficientes em NN\mathbb{N}, L={ap(n)|n∈N}L={ap(n)|n∈N}L = \{a^{p(n)} \; | \; n \in \mathbb{N}\} é uma linguagem sensível ao contexto. Parece que é uma linguagem sensível ao contexto. Eu acho que criar...
Isso é algo que não consegui encontrar - mas sempre achei interessante que o lema de bombeamento fosse apenas um lema (especialmente porque ele tem o mesmo nome para idiomas regulares, idiomas livres de contexto, etc ...) Para que é um
Meu algoritmo inicial: Compare o elemento 0 com qualquer outro elemento, acompanhando quantos elementos são menores que ele. Repita para cada elemento até encontrar um elemento maior que exatamente (k-1). Suponho que isso levaria no pior caso. É possível obter um tempo de execução mais rápido...
Dado um DFA, A, deixe L (A) denotar o número de palavras que A aceita. Eu acho que é fácil calcular L (A): traduza a codificação de A em uma expressão regular. Se a estrela Kleene aparecer em qualquer lugar da expressão - o idioma é infinito. Senão: percorra e conte todas as combinações de palavras...
Recentemente, pensei na seguinte prova de que L = P implica P = NP. Suponha que L = P. Seja A um problema no NP. Pela definição do verificador de NP, cada solução positiva para A tem uma testemunha que pode ser verificada em tempo polinomial. Desde P = L, a mesma solução pode ser verificada no...
Após minha aula de Teoria da Computação hoje, essa pergunta surgiu em minha mente: se um problema pode ser resolvido por um autômato finito, esse problema pertence a P. Eu acho que é verdade, já que os autômatos reconhecem linguagens muito simples, portanto todas essas linguagens teriam...
Suponha que você tenha alguma linguagem de programação com gerenciamento manual de memória. Quais recursos essa linguagem precisa para poder implementar a coleta de lixo precisa como uma biblioteca e não como uma construção fundamental da linguagem? Por um GC preciso, quero dizer um em que apenas...
Estou com problemas para entender o que é uma árvore de pesquisa binária classificada e por que é importante ter uma classificação. Espero que alguém possa esclarecer algumas coisas para mim. O que eu analisei: Pelo que li, uma árvore de pesquisa binária classificada é uma árvore em que cada nó...
Essa gramática é deixada recursiva: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term |...