Tenho a seguinte pergunta, mas não tenho resposta para isso. Eu apreciaria se meu método está correto: Q. Ao procurar o valor da chave 60 em uma árvore de pesquisa binária, os nós que contêm os valores da chave 10, 20, 40, 50, 70, 80, 90 são percorridos, não necessariamente na ordem especificada....
Por que a transformação laplace não é popular para a convolução do processamento de imagem? A maioria dos livros converte apenas as transformadas de
Estou tentando resolver esse problema e estou realmente lutando. Uma fórmula booleana monótona é uma fórmula na lógica proposicional em que todos os literais são positivos. Por exemplo, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor...
Se não, então o que significa quando, para algum estado qqq e algum símbolo umaumaa , δ( q, Um )δ(q,uma)\delta(q, a) não
Não sei se foi uma piada, mas uma vez li o que foi referido como uma definição formal de um arquivo em um sistema de versão, como git, hg ou svn. Era algo como um objeto matemático como um homeomorfismo. Isso foi uma piada ou existe realmente uma teoria da ciência da computação sobre sistemas de...
Vamos considerar o seguinte jogo: existem alguns jogadores e um computador. Cada jogador digita um número inteiro positivo e seu nome (o jogador não conhece os números dos outros, apenas os seus). Quando todos os jogadores fizeram suas jogadas, o computador exibe o nome do vencedor - que apresentou...
Nos é dado um array com todos .a [ 1 ... n ]uma[1...n]a[1 \ldots n]a [ i ] > 0uma[Eu]>0 0a[i]>0 Agora precisamos descobrir quantas somas distintas podem ser formadas a partir de suas sub-matrizes (onde uma sub-matriz é um intervalo contíguo da matriz, ou seja, para alguns , a soma é a soma...
Pergunto-me, qual é a complexidade de tempo para determinar o vazio para DFAs bidirecionais? Ou seja, autômatos finitos que podem retroceder na fita de entrada somente leitura. Segundo a Wikipedia, eles são equivalentes aos DFAs, embora o DFA equivalente possa ser exponencialmente maior. Encontrei...
Recentemente, percebi que existe algum tipo de relação entre a teoria de tipos russelliana e os sistemas de tipos, como encontrado, por exemplo, em Haskell. Na verdade, algumas das notações para tipos em Haskell parecem ter precursores na teoria dos tipos. Mas, IMHO, a motivação de Russell em 1908...
Estou usando redes neurais para prever uma série temporal. A questão que estou enfrentando agora é como codificar data / hora / número de série. de cada entrada definida como uma entrada para a rede neural? Devo usar uma codificação C (usada para categorias de codificação) conforme descrito aqui...
A integridade do coNP implica dureza do NP? Em particular, tenho um problema que demonstrei ser coNP-completo. Posso afirmar que é NP-difícil? Percebo que posso reivindicar dureza de coNP, mas não tenho certeza se essa terminologia é padrão. Estou satisfeito com a afirmação de que, se um problema...
Dado um polígono ortogonal (um polígono cujos lados são paralelos aos eixos), quero encontrar o menor conjunto de quadrados disjuntos do interior, cuja união é igual ao polígono. Encontrei várias referências a problemas ligeiramente diferentes, como: Cobrir um polígono ortogonal com quadrados -...
Estou tentando resolver um problema de SAT de 5k de cláusulas de 25k. Como está em funcionamento há uma hora (precosat) e gostaria de resolver os maiores depois, estou procurando um SAT-Solver com vários núcleos. Como parece haver muitos SAT-Solvers, estou bastante perdido. Alguém poderia me...
Um comentário sobre o tex.SE me fez pensar. A afirmação é essencialmente: Se eu posso escrever um compilador para o idioma X no idioma X, X é Turing-complete. Em termos de computabilidade e linguagens formais, é o seguinte: Se decidir e , então .MMML⊆LTML⊆LTML \subseteq...
Aqui está o problema: Prove que as Máquinas de Turing de fita única que não podem gravar na parte da fita que contém a sequência de entrada reconhecem apenas idiomas regulares. Minha idéia é provar que essa TM específica é equivalente a um DFA. O uso desta TM para simular o DFA é muito...
As coletas de lixo precisam visitar todos os objetos que estão vivos, para encontrar a memória que pode ser recuperada. (Ter muitas gerações atrasa um pouco isso) Sendo tudo igual, é claramente melhor visitar primeiro o objeto que já está paginado na RAM, antes de paginar outro bloco e, portanto,...
Eu tenho um conjunto de pontos CCC e tenho a distância entre cada ponto . Essas distâncias são euclidianas, mas os pontos estão realmente em um espaço de feição.D ( PEu, Pj)D(PEu,Pj)D(P_i,P_j) Dos pontos eu quero escolher um subconjunto de pontos. Chame esse subconjunto de . Quero escolher este...
Costumávamos ter computadores analógicos há várias décadas. Os computadores modernos são digitais. E os computadores Quantum? É analógico ou digital? Estou perguntando isso, já que o qubit pode ser muitas coisas ao mesmo
Em primeiro lugar, gostaria de dizer que meu texto abaixo pode conter erros, portanto, sinta-se à vontade para apontar quaisquer erros na minha formulação da pergunta. Considere um cálculo lambda sem tipo com booleanos e instruções if cujos termos são dados por esta sintaxe: t ::= v | t t | if t...
O problema da árvore de abrangência ligada a é onde você tem um gráfico não direcionado G ( V , E ) e você precisa decidir se ela tem ou não uma árvore de abrangência, de modo que cada vértice tenha um grau de no máximo k .kkkG ( V, E)G(V,E)G(V,E)kkk Percebo que, para o caso , esse é o problema do...