Perguntas com a marcação «terminology»

Luto com poucas definições na representação do conhecimento e busco ajuda credível para distinguir entre elas. Eu tenho procurado na wikipedia e em muitos sites a diferença entre ontologias e redes semânticas (para não confundir com a web semântica). Enquanto a página da wikipedia na rede semântica nunca se refere …

9 terminology  knowledge-representation  ontologies 

Estou confuso sobre como PP e BPP são definidos. Vamos supor χχ\chi é a função característica de uma linguagem LL\mathcal{L} . M ser a máquina de Turing probabilística. As definições a seguir estão corretas: BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP =\{\mathcal{L} :Pr[\chi(x) \ne M(x)] \geq \frac{1}{2} + \epsilon \quad \forall x \in \mathcal{L},\ …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

Eu li muitos documentos sobre convolução no processamento de imagens e a maioria deles diz sobre sua fórmula, alguns parâmetros adicionais. Ninguém explica a intuição e o verdadeiro significado por trás da convolução em uma imagem. Por exemplo, a intuição de derivação no gráfico é mais linear, por exemplo. Penso …

9 terminology  intuition  graphics  computer-vision 

Estou estudando Bootstrapping dos Red Dragon Book Compilers e achei o diagrama T do cross compiler bastante confuso. Não consigo entender o que significa "Executar o compilador1 através do compilador2". Alguém pode fornecer uma explicação melhor, analogia ou um exemplo para se relacionar com algum compilador do mundo real? Alguma …

9 compilers  terminology 

StackOverflow me apontou aqui, então a pergunta pode ser um pouco nos termos de um leigo. A Wikipedia define funções puras como Na programação de computadores, uma função pode ser descrita como uma função pura se ambas as instruções sobre a função se mantiverem: A função sempre avalia o mesmo …

9 terminology  functional-programming  semantics 

Aparentemente, um byte se estabeleceu como 8 bits (isso está correto?). Normalmente, a RAM e o NOR-flash podem ser acessados ​​em um nível bastante granular, mas cabe à arquitetura do sistema determinar se a menor unidade endereçável é 8 bits, 16 bits ou qualquer outra potência de número de dois …

9 terminology  computer-architecture  memory-management  memory-access 

Eu tenho lido alguns artigos formais de teoria da linguagem e me deparei com um termo que não entendo. O documento geralmente se refere a um conjunto "efetivamente fechado sob interseção" ou outras operações. O que "efetivamente" significa aqui? Como isso difere do fechamento normal? Para referência, o artigo em …

9 formal-languages  terminology  computability  automata  closure-properties 

No problema de Subconjunto de soma, alguns dos números fornecidos podem a1,a2,a3,…,ana1,a2,a3,…,ana_1,a_2,a_3,\dots,a_nser o mesmo? Por exemplo, podemos ter[1,1,1,2,3,4][1,1,1,2,3,4][1,1,1,2,3,4] e o alvo é 555? Posso assumir que tenho uma solução específica com números222 e 333 e 1,1,11,1,11,1,1 e 222 não é?

9 complexity-theory  terminology 

Suponha que eu queira otimizar uma função unimodal definida em algum intervalo real. Eu posso usar o conhecido algoritmo descrito na Wikipedia sob o nome de pesquisa ternária . No caso do algoritmo que reduz repetidamente pela metade os intervalos, é comum reservar o termo pesquisa binária para problemas discretos …

8 algorithms  terminology  numerical-analysis  numerical-algorithms 

Ao calcular a dependência do tempo de execução da entrada, quais cálculos são considerados? Por exemplo, acho que aprendi que a indexação de array e as instruções de atribuição não são contadas, por que isso?

8 terminology  algorithm-analysis  runtime-analysis 

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 seguinte encontrada nesta página explicou claramente a capacidade de decisão …

8 complexity-theory  formal-languages  terminology  computability 

O problema da 3-Coloração pode ser comprovado pelo NP-Complete, utilizando a redução do 3SAT Graph Coloring (da 3SAT) . Como consequência, o problema 4-Coloring é NP-Complete usando a redução de 3-Coloring: Redução da instância de 3 cores: adicionando um vértice extra ao gráfico do problema de 3 cores e tornando-o …

8 complexity-theory  graph-theory  terminology  np-complete 

Eu sei o termo ordem de uma árvore B. Recentemente, ouvi um novo termo: árvore B com grau mínimo de 2. Sabemos que o grau está relacionado a um nó, mas qual é o grau de uma árvore? O grau impõe algum tipo de restrição à altura de uma árvore …

8 terminology  data-structures  search-trees  dictionaries 

Desde então, as provas pelo método probabilístico são frequentemente consideradas não construtivas. No entanto, uma prova pelo método probabilístico de fato projeta um algoritmo aleatório e o utiliza para provar a existência. Citado na página 103 de Algoritmos Aleatórios Por Rajeev Motwani, Prabhakar Raghavan : Poderíamos ver a prova pelo …

8 algorithms  terminology  randomized-algorithms 

Digamos que eu tenho um gráfico |G||G||G|com arestas. Eu quero executar o BFS no que tem um tempo de execução de .|E|=O(V2)|E|=O(V2)|E|=O(V^2)GGGO(V+E)O(V+E)O(V+E) Parece natural escrever que o tempo de execução neste gráfico seria e, em seguida, simplificaria para .O(O(V2)+V)O(O(V2)+V)O(O(V^2)+V)O(V2)O(V2)O(V^2) Existem armadilhas para usar esse atalho "remove-the-anested-O" (não apenas nesse caso, …

8 terminology  asymptotics  landau-notation