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 valor...
Estou fazendo alguns experimentos de classificação com árvores de decisão (especificamente o pacote rpart em R). Ao definir a profundidade de uma árvore de decisão como 10, espero obter uma árvore pequena, mas na verdade é bastante grande e seu tamanho é 7650. Então, qual é exatamente a definição...
Questão: Como os valores da tabela de hash são armazenados na memória, de modo que o espaço se usado com eficiência e os valores não precisem ser realocados com frequência? Meu entendimento atual (pode estar errado): Digamos que eu tenho 3 objetos armazenados em uma tabela de hash. Suas funções...
Estou lendo "O tempo, os relógios e a ordem dos eventos em um sistema distribuído", de Lamport, e há um detalhe que está me incomodando. Lamport define a ordem parcial "aconteceu antes", o que eu entendo. Então ele diz que "Outra maneira de visualizar a definição é dizer que a -> b significa...
Alguém pode me explicar o que são os kernels (problemáticos) e qual a utilidade deles? Meus slides dizem: O kernel de um problema parametrizado eueuL é uma transformação ( x , k ) ↦ (x′,k′)(x,k)↦(x′,k′)(x,k) \mapsto (x',k') de tal modo que: ( x , k ) ∈ L ⇔ (x′,k′) ∈ L(x,k)∈eu⇔(x′,k′)∈eu(x,k)...
Eu teria feito um comentário, pois isso diz respeito à resposta de Andrej Bauer neste tópico ; no entanto, acredito que vale a pena fazer uma pergunta. Andrej explica que, dado o conjunto de todas as seqüências de bits de comprimento 3 ou menos, uma função de compactação sem perdas pode apenas...
É sabido que uma máquina com uma única pilha, como apenas armazenamento ilimitado, não está completa com Turing, se puder apenas ler a partir da parte superior da pilha. Eu quero uma máquina que seja (ligeiramente) mais poderosa que uma máquina de empilhar, mas que ainda não esteja completa com...
Estou interessado em provar que eu--√= { w : w w ∈ L }L={w:ww∈L}\sqrt{L}=\{w:ww\in L\} é regular se euLLé regular, mas parece que não estou chegando a lugar algum. Se possível, eu estava esperando uma dica para me levar na direção certa. Obrigado pela ajuda. Minha idéia para demonstrar a...
Houve algum esforço para mostrar (usando o Switching Lemma), por exemplo, que SAT ou 3SAT não podem ter uma redução de AC para 2SAT? Quais são os problemas ou dificuldades envolvidos?00 0^0 SAT e 3SAT estão completos para NP e 2SAT está completo para NL sob reduções AC . Portanto, essa prova...
Eu tenho tentado apreender serializability e linearizability no contexto da memória transacional de software. No entanto, acho que ambas as noções podem ser aplicadas à memória transacional em geral. Neste ponto, a seguir, é minha compreensão de ambos os assuntos. Serializability A...
Na teoria dos sistemas distribuídos, encontrei a definição de que um sistema distribuído exige, entre outros, localização e transparência de acesso. Fiquei me perguntando se a transparência do local ainda não inclui a transparência de acesso. A Wikipedia define os dois da seguinte maneira:...
Em um curso de ciência da computação, é comum estudar a hierarquia de linguagens formais, gramáticas, autômatos e máquinas de Turing. Gostaria de saber qual é a relação desses objetos com sistemas formais. Por exemplo, o cálculo lambda é considerado um sistema formal. Sua gramática também seria...
Sou totalmente iniciante na Coq e estou tentando implementar algumas coisas da teoria das categorias como um exercício. Naveguei um pouco entre os repositórios git das muitas implementações disponíveis (HoTT, companhia de Awodey's Coq etc.), parece que todo projeto implementa algo assim Record...
As linguagens livres de contexto podem ser obtidas como o fechamento da linguagem Dyck nas operações do cone . A linguagem Dyck é uma linguagem livre de contexto determinístico, e as operações de cone correspondem às operações que podem ser implementadas por transdutores de estado finito não...
De um comentário , uma pergunta interessante surgiu. A classe de CFLs (os idiomas reconhecidos pelos PDAs) obviamente não está fechada sob não-determinismo - o que quero dizer com isso é que os PDAs determinísticos não são equivalentes em poder aos PDAs não-determinísticos. No entanto, todas as...
Quando você chama a tecla de diminuição em uma fila de prioridade mínima, basicamente está definindo a chave, pode colocar acidentalmente uma chave mais alta, certo? então por que não é chamado de "chave de ajuste" ou "chave de atualização"? por que (de acordo com a Wikipedia e outras fontes) uma...
A sonda Rosetta alcançou um cometa em agosto de 2014 e enviou uma sonda à superfície. Foi uma das maiores notícias científicas do ano. As técnicas automatizadas de planejamento e agendamento são realmente importantes nas operações desse tipo de missão. No último ICAPS, houve até uma palestra...
Eu segui dois livros famosos sobre "Autômatos e Teoria da Linguagem Formal": Livro de Micheal Sipser Livro de Jeffrey Ullman e John Hopcroft nos dois livros, a definição de nível de tupla da máquina de Turing difere entre si. Embora o trabalho em nível abstrato seja o mesmo, mas os detalhes são...
Dado nnn variáveis booleanas x1 1, ... ,xnx1,…,xnx_1,\ldots,x_n cada um dos quais recebe um custo positivo c1,…,cn∈Z>0c1,…,cn∈Z>0c_1,\ldots,c_n\in\mathbb{Z}_{>0} e uma função booleana fff nessas variáveis dadas na
Tentei provar que o seguinte idioma é recursivo: para , um número inteiro positivo: ondeΣ = { 0 , 1 }Σ={0,1}\Sigma=\{0,1\}kkkeuk=HT M ,ε∩ΣkLk=HTM,ε∩Σk L_k= H_{\mathrm{TM},\varepsilon}\cap \Sigma^k HT M ,ε= { ⟨ M⟩ | M é uma TM que para em uma entrada vazia }HTM,ε={⟨M⟩∣M is a TM that halts on an...