Ciência da Computação

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 Fourier.

12 history  image-processing 

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 x_4 \lor x_5) é uma função booleana monótona. Por outro lado, …

12 complexity-theory  np-complete  satisfiability 

Eu tenho uma árvore não direcionada cujos vértices eu quero rotular. Os nós das folhas devem ser rotulados como um. Então, assuma que as folhas foram removidas. Na árvore que resta, as folhas devem ser rotuladas como duas. Esse processo continua da maneira óbvia até que todos os vértices tenham …

12 algorithms  trees 

A dificuldade de um problema fortemente NP-difícil ou NP-completo (como por exemplo, definido aqui ) muda quando sua entrada é unária em vez de codificada em binária? Que diferença faz se a entrada de um problema fortemente NP-difícil é unária? Quero dizer, se eu pegar, por exemplo, o problema fracassado …

12 complexity-theory  time-complexity  np-complete 

Entendo que gramáticas sem contexto podem ser usadas para representar linguagens sem contexto. Pode ter ambiguidades. Também temos formas normais, como a forma normal de Chomsky e Greibach . Eu não conseguia entender a necessidade disso. Por que eles são importantes na teoria das línguas? Todos os livros que me …

12 formal-languages  context-free  formal-grammars  normal-forms 

Alguém poderia me explicar as diferenças e semelhanças entre aprendizado de máquina e identificação de sistemas? Estes são apenas dois nomes da mesma coisa? Em desta página , eles dizem: As comunidades de aprendizado de máquina e identificação de sistemas enfrentam problemas semelhantes, nos quais é necessário construir um modelo …

12 machine-learning 

Eu tenho essa "prova" muito simples de NP = CoNP e acho que fiz algo errado em algum lugar, mas não consigo encontrar o que está errado. Alguém pode me ajudar? Seja A um problema no PN, e M seja o decisor para A. Seja B o complemento, ou seja, …

12 complexity-theory  p-vs-np  check-my-proof  np 

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 - semelhante ao meu problema, mas é permitido …

12 algorithms  computational-geometry  tiling 

Diga . Então, como podemos provar que é regular?L ∗L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^*L∗L∗L^* Se é regular, é claro que também é regular. Se é finito, então é regular e novamente é regular. Também notei que, para , não é regular, e é regular.L ∗ L L ∗ L = { 0 …

12 formal-languages  regular-languages 

Eu acho que entendo como o desmatamento consome e produz uma lista ao mesmo tempo (de uma dobra e uma função desdobrada - veja esta boa resposta no CodeReview aqui ), mas quando eu comparei isso com a entrada da Wikipedia sobre a técnica que ele falou sobre 'remover árvores …

12 terminology  compilers  functional-programming 

Então, eu sei que testar se uma linguagem regular RRR é um subconjunto de linguagem regular SSS é decidível, já que pode converter-los tanto para DFAs, compute R∩S¯R∩S¯R \cap \bar{S} , e em seguida, teste se esta linguagem é vazia. No entanto, como isso requer conversão em DFAs, é possível …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

Diz-se que a teoria da computabilidade também é chamada de teoria da recursão. Por que é assim chamado? Por que a recursão tem tanta importância?

12 computability  terminology  history 

Quais são as principais diferenças entre esses três termos isomorfismo, automorfismo e homomorfismo na linguagem simples dos leigos e por que fazemos isomorfismo, automorfismo e homomorfismo?

12 graph-theory 

Se A2A2A^2 é regular, segue-se que AAA é regular? Minha tentativa de prova: Sim, por contradição, assuma que AAA não é regular. Em seguida, A2=A⋅AA2=A⋅AA^2 = A \cdot A . Desde concatenação de duas línguas não regular não é regular A2A2A^2 não pode ser regular. Isso contradiz nossa suposição. Então …

12 formal-languages  regular-languages  closure-properties 

Primeiro, deixe-me escrever a definição de grande apenas para tornar as coisas explícitas.OOO 0 ≤ f ( n ) ≤ c g ( n ) , ∀ n ≥ n 0f(n)∈O(g(n))⟺∃c,n0>0f(n)∈O(g(n))⟺∃c,n0>0f(n)\in O(g(n))\iff \exists c, n_0\gt 0 tal que0≤f(n)≤cg(n),∀n≥n00≤f(n)≤cg(n),∀n≥n00\le f(n)\le cg(n), \forall n\ge n_0 Digamos que temos um número finito de …

12 asymptotics  landau-notation