Perguntas com a marcação «terminology»

Li na Wikipedia que a unificação é um processo de solução do problema de satisfação. Ao mesmo tempo, eu sei que esses solucionadores são chamados de "solucionadores SAT" ou "solucionadores SMT". Então, eles são nomes diferentes para a mesma coisa? Se você diz que eles são diferentes, por favor, indique …

10 terminology  sat-solvers  unification 

Aceitar significa que a TM lerá e reconhecerá um caractere da célula da qual está lendo atualmente? E é o caso de uma TM parar se a entrada for decidida?

10 terminology  turing-machines  undecidability 

Existe alguma definição formal sobre a altura média de uma árvore binária? Eu tenho uma pergunta tutorial sobre como encontrar a altura média de uma árvore binária usando os dois métodos a seguir: A solução natural pode ser usar o comprimento médio de todos os caminhos possíveis, da raiz até …

10 graph-theory  terminology  combinatorics  binary-trees 

Eu fiz uma pergunta (inicial) sobre somas dos termos do Landau antes , tentando avaliar os perigos de abusar da notação assintótica em aritmética, com sucesso misto. Agora, aqui o nosso guru da recorrência JeffE faz essencialmente isso: ∑i = 1nΘ ( 1Eu) =Θ( Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) …

10 terminology  asymptotics  landau-notation 

Ao ler um artigo descrevendo as diferenças de OO e programação funcional , deparei-me com indicadores de função. Já faz um tempo desde que terminei meu curso de Ciência da Computação (2003) e, portanto, procurei indicadores para refrescar minha memória. Ponteiros são variáveis ​​que contêm uma referência a um endereço …

10 terminology  programming-languages 

Estou achando difícil diferenciar claramente entre Multiprogramação e Multitarefa. Minha fonte principal é a Wikipedia , mas o artigo do WP parece estar um pouco em desacordo com algumas fontes menos respeitáveis ​​(como meu professor universitário). Enquanto eu leio o WP, a multiprogramação é uma maneira rudimentar de aumentar a …

10 terminology  process-scheduling 

Do ponto de vista do comportamento assintótico, o que é considerado um algoritmo "eficiente"? Qual é o padrão / motivo para desenhar a linha nesse ponto? Pessoalmente, eu pensaria que qualquer coisa que eu possa chamar ingenuamente de "sub-polinomial", tal que como n 1 + ϵ , seja eficiente e …

10 algorithms  terminology  asymptotics  landau-notation 

Às vezes, há uma variedade estonteante de símbolos usados ​​em trabalhos de matemática e ciências da computação. No entanto, muitos assumem familiaridade básica que parece raramente ensinada em um só lugar. Estou procurando um dicionário parecido com o seguinte, especialmente da perspectiva do CS. Ele listaria todos os símbolos matemáticos …

10 terminology  reference-request  education 

Eu estava pesquisando programação dinâmica e li o seguinte: Muitas vezes, ao usar um método mais ingênuo, muitos dos subproblemas são gerados e resolvidos várias vezes. O que é um método ingênuo?

10 terminology  dynamic-programming 

Um gráfico bipartido é plano se não tiver ou menores.K3 , 3K3,3K_{3, 3}K5K5K_5 Estou procurando condições necessárias ou suficientes para permitir que desenhos planares sem arestas "circulem" conjuntos de vértices. Estes são desenhos satisfatórios: Todos os vértices de uma parte são desenhados em uma única linha vertical. Os vértices da …

9 graph-theory  terminology  graph-drawing 

Ouvi várias explicações possíveis, então gostaria de alguma referência confiável. Atualização 05.19: Estou interessado na pergunta, porque um dos meus alunos escreveu em sua tese que o nome vem da explicação abaixo (1). Até agora, pensei / ouvi dizer que se trata de uma explicação (2). Eu me sentiria mal …

9 terminology  reference-request  history 

Alguém poderia me explicar o que exatamente RAM inconsciente é? Encontrei a seguinte explicação que me esclarece um pouco, mas gostaria de entender os aspectos técnicos: A criptografia nem sempre é suficiente para garantir a privacidade. Se um adversário puder observar seus padrões de acesso ao armazenamento criptografado, ele ainda …

9 terminology  computer-architecture  security  memory-hardware  memory-access 

Parece-me estranho que o TSP negue a possibilidade de cidades repetidas. O objetivo deste vendedor ambulante é ir o mais rápido possível e visitar todas as cidades, certo? E se for mais rápido viajar por uma cidade em que você já esteve?

9 terminology  traveling-salesman 

Um dos meus idosos teve uma entrevista de emprego e ele foi perguntado por que é chamado de dinâmico. Ele não conseguiu responder e, depois de desistir, o entrevistador disse que não havia nada de dinâmico nisso, é chamado assim. Isso é difícil de acreditar. Refere-se ao fato de que …

9 terminology  dynamic-programming 

No capítulo 1 de Fundamentos práticos para linguagens de programação , o autor menciona que as árvores de sintaxe abstratas estão associadas a tipos . Intuitivamente, as classificações são como tipos, mas eu gostaria de saber se elas têm uma definição precisa. Ficaria feliz se algumas referências também forem fornecidas.

9 terminology  programming-languages  semantics