Em algumas ocasiões, treinei redes neurais (redes de propagação traseira) com alguns conjuntos de dados bastante complicados (posições de gamão e OCR). Ao fazer isso, parece que muito do trabalho envolve a tentativa de configurações diferentes das redes, a fim de encontrar a configuração ideal para...
Contar todos os caminhos possíveis, ou todos os caminhos possíveis com um determinado comprimento, entre dois nós em um gráfico direcionado ou não direcionado é um problema clássico. Atenção deve ser dada a todos os meios, devido aos ciclos possíveis. Esta questão é um pouco diferente, ou pelo...
Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 6 anos . O Wiki tem uma...
Deixei LLLser uma linguagem regular. É o idiomaL2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} regular? Eu sei que é muito semelhante à pergunta aqui , mas o problema é que não é uma simples substring de uma palavra em...
Pelo que entendi: Um flip flop é uma trava com relógio, ou seja, flip flop = trava + relógio A trava verifica continuamente as entradas e altera a saída sempre que houver uma alteração na entrada O Flip Flop também verifica continuamente a entrada, mas altera o tempo de saída determinado pelo...
Quando o famoso teorema de Savitch é declarado, muitas vezes se vê a exigência de que S( N )S(n)S(n)seja espaço construtível (curiosamente, é omitido na Wikipedia). Minha pergunta simples é: por que precisamos disso? Eu entendo o requisito paraS( N )S(n)S(n) estar em Ω ( logn )Ω(logn)\Omega(\log...
Estou lendo o livro de sistemas operacionais da Galvin. Galvin explica, o que são modos de kernel e usuário, privilégios de instrução dados para ambos os modos e também sobre o modo bit. Mas estou interessado em saber como o modo muda de um para outro. Basicamente, quero resolver a seguinte...
Eu tenho lido sobre o algoritmo para encontrar os componentes fortemente conectados em um gráfico direcionado . Considera procurar dois DFS eo segundo passo é transpor o gráfico original .G = ( V, E)G=(V,E)G=(V,E)GTGTG^T O algoritmo é o seguinte: Execute o DFS no (iniciando em um vértice inicial...
É o idioma L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} sem contexto? Eu acho que não é livre de contexto, porque parece muito complicado para um PDA decidir se dois números são co-primos ou não. Tentei usar o lema de...
Tradicionalmente, a programação linear é usada para encontrar a solução ideal para um conjunto de restrições, variáveis e um objetivo (todos descritos como relacionamentos lineares). Às vezes, quando o objetivo é paralelo a uma restrição, existem infinitas ou muitas soluções ótimas igualmente...
Dado um conjunto de n trabalhos com [horário de início, horário de término, custo], localize um subconjunto para que nenhum trabalho se sobreponha e o custo seja máximo. Agora não tenho certeza se um algoritmo ganancioso fará o truque. Ou seja, classifique por custo e sempre faça o próximo...
Tenho um pequeno problema para entender a prova do Teorema da Hierarquia do Tempo (Hennie e Stearns, 1966) que garante a existência de uma linguagem aceitável em mas não aceitável em para quaisquer funções , de modo que seja construtível no tempo evocê( N )você(n)U(n)T( N )T(n)T(n)T( N ) , L( N...
Se você tem um idioma L, sem fazer nenhuma prova, há uma maneira de saber se é reconhecível ou co-reconhecível ou decidível? Basicamente, todas as dicas ou truques que podem ser usados para contar. Ou talvez os padrões comuns a serem pesquisados para saber qual é o...
Nosso PC funciona como uma máquina de Turing? O modelo de uma máquina de Turing consiste em fita de memória infinita, o que significa estados infinitos. Mas suponha que se nosso PC tiver 128 MB de memória e disco de 30 GB, ele terá 256 ^ 30128000000 estados e, portanto, estados finitos. Eu sei que...
Considere este problema: Dado um gráfico não direcionado G=(V,E)G=(V,E)G = (V, E), encontrar G′=(V′,E′)G′=(V′,E′)G' = (V', E') de tal modo que: G′G′G' é um subgrafo induzido de GGG G′G′G' não tem 3 panelinhas |V′||V′||V'| é máximo Portanto, o menor número de vértices deve ser...
Pelo isomorfismo do gráfico, sabemos que dois gráficos A e B são isomórficos se houver uma matriz de permutação P tal que A = P× B ×P- 1UMA=P×B×P-1A = P \times B \times P^{-1} Portanto, para resolver o problema, se dois gráficos são isomórficos, precisamos encontrar uma matriz de permutação P....
Deixei euLLser uma linguagem regular. Prove que: eu+ - -= { w :∃você| u | =2 | w | ∧wu∈G}L+−−={w:∃u|u|=2|w|∧wu∈L}L_{+--}=\left\{w: \exists_u |u|=2|w| \wedge wu\in L\right\} eu+ + -= { w :∃você2 | u | = | w | ∧ w u ∈ G }L++−={w:∃u2|u|=|w|∧wu∈L}L_{++-}=\left\{w: \exists_u 2|u|=|w| \wedge...
Qual modelo paralelo teórico é o mais próximo do modelo de programação CUDA / OpenCL? Por exemplo, ele se encaixa em algum grau ao modelo genérico da máquina de acesso aleatório paralelo (PRAM). No entanto, isso é genérico demais, pois abstrai várias latências de acesso à memória e problemas de...
Estou tentando (intuitivamente) entender os dois termos "decidibilidade" e "verificabilidade". Pesquisei bastante e passei pelos vários textos em que posso colocar as mãos. No entanto, o entendimento intuitivo deles parece me escapar, especialmente no segundo. Das muitas definições encontradas, a...
Considere o seguinte problema no universo . O problema do universo. Dado um conjunto finito para uma classe de idiomas e um autômato que aceita o idioma , decida se .ΣΣ\SigmaLLLL=Σ∗L=Σ∗L=\Sigma^* Em [1], é afirmado e provado que o problema do universo é indecidível para uma classe específica...