Perguntas com a marcação «terminology»

Eu li que a associação de nome atribui algum valor (dados / código / expressão) a um identificador . Atribuição e avaliação parecem fazer a mesma coisa. Isto é confuso. Posso apenas dizer que a variável livre é uma que não recebeu um valor, enquanto a variável vinculada tem seu …

7 terminology  programming-languages  variable-binding 

Suponha que há dois problemas e .PPPQQQ Como posso dizer que "resolver é a mesma coisa que resolver "?PPPQQQ Por exemplo, se é NP-Hard, então podemos dizer " pode ser resolvido em tempo polinomial se existir um algoritmo que resolva em tempo polinomial".PPPPPPAAAQQQ Deve haver um prazo mais curto para …

7 complexity-theory  terminology 

Estou tão confuso com alguns dos teoremas online sobre a altura das árvores. A altura da árvore significa o número de arestas ou nós? se nós, inclui o nó do qual está contando? A altura de uma árvore pode começar de 0?

7 graph-theory  terminology  trees 

Um hypervisor (1º tipo) é um software que cria e executa máquinas virtuais, gerenciando as solicitações dos sistemas operacionais dos hóspedes ao hardware. Um exokernel é um kernel do sistema operacional, que permite que os programas acessem diretamente o hardware ou, com o apoio de bibliotecas específicas que implementam abstações, …

7 terminology  operating-systems  os-kernel 

Estou lendo a programação The Art of Multiprocessor e tentando entender seu conceito de bloqueios inconsistentes. Especificamente, na página 37 , a definição 2.8.1 de um bloqueio inconsistente não está clara para mim, assim como o Lema 2.8.1. Definição 2.8.1. Um estado de objeto de bloqueio s é inconsistente em …

7 terminology  concurrency  threads  deadlocks 

Eu estava estudando a prova de que a função de Ackermann era recursiva, mas não primitiva, e uma pergunta me ocorreu: "E daí?". Por que isso Importa? Qual é o significado das funções recursivas primitivas?

7 terminology  computability  machine-models 

Eu tenho lido sobre o Teorema Sem Almoço Gratuito, mas não consigo entender direito do que se trata. Ouvi esse teorema descrito em outro lugar como a alegação de que "não existe um otimizador universal de propósito geral". Por outro lado, o artigo da Wikipedia fala sobre 'soluções candidatas' que …

7 algorithms  terminology  optimization  heuristics 

No sentido de uma string distinta de uma string de referência nula, qual é a importância de uma string vazia no CS (e especialmente nas linguagens formais)? Por que você precisa de um conceito separado, o de 'string vazia', que até tem sua própria letra grega (ε)? Um personagem EOL …

7 formal-languages  terminology 

Suponha que eu tenha um problema de decisão e o codifique para um idioma . Agora, também posso codificá-lo para um idioma diferente .DDDL ⊂ { 0 , 1}∗eu⊂{0 0,1 1}∗L \subset \{0,1\}^*eu′eu′L' Existe algum teorema relacionando a complexidade temporal de e ?eueuLeu′eu′L' Como a complexidade temporal de um problema …

7 complexity-theory  terminology  time-complexity 

Eu tenho lido o excelente livro Representação e Raciocínio do Conhecimento, de Ronald Brachman e Hector Levesque. No início da Seção 3.2 "Vocabulário" do Capítulo 3 "Expressando conhecimento", eles afirmam: Ao criar uma KB (Base de Conhecimento), é uma boa idéia começar com o conjunto de predicados e funções dependentes …

7 terminology  logic  knowledge-representation  first-order-logic  reasoning 

Em muitos artigos, li que é bem sabido que a entropia de Shannon de uma variável aleatória pode ser convertida em min-entropia (até pequena distância estatística) tirando cópias independentes da variável. Alguém pode me explicar o que exatamente isso significa?

7 terminology  probability-theory  entropy 

Como encontrar um mínimo local de uma árvore binária completa? Considere um nnnárvore binária completa do nó TTT, Onde n=2d−1n=2d−1n = 2^d − 1 para alguns ddd. Cada nóv∈V(T)v∈V(T)v \in V(T) é rotulado com um número real xvxvx_v. Você pode supor que os números reais que rotulam os nós são …

7 terminology  graphs  binary-trees 

Francamente, estou muito desconfortável com o material no momento. Há algumas coisas que posso entender, mas muitas ainda não o compreendo. Minha primeira tarefa é me fazer uma pergunta (que eu sei fazer) para fornecer uma descrição completa de uma MT que aceite um idioma L = { x ∈ …

7 terminology  turing-machines 

Eu sou novo neste tópico e, em alguns artigos científicos que tenho lido sobre previsão em esportes, encontrei o termo raciocínio baseado em regras. É este termo o mesmo que um raciocínio semântico (onde as duas direções principais estão encadeadas para frente e para trás?). Se sim, você pode apontar …

7 terminology  artificial-intelligence  data-mining 

Estou trabalhando no livro didático CLRS Algorithms da 3ª edição e no capítulo 3 uma discussão começa sobre a notação assintótica que começa com a notação . Eu entendi a definição inicial de:ΘΘ\Theta Θ(g(n))={f(n)|∃c1,c2>0,n0∈N:0≤c1g(n)≤f(n)≤c2g(n) ∀n≥n0}Θ(g(n))={f(n)|∃c1,c2>0,n0∈N:0≤c1g(n)≤f(n)≤c2g(n) ∀n≥n0}\Theta(g(n)) = \{ f(n)\,|\, \exists\, c_1, c_2 > 0, n_0 \in \mathbb{N}: 0 \leq c_1 …

7 terminology  asymptotics