Ciência da Computação

Eu estava lendo sistemas operacionais da Galvin e me deparei com a linha abaixo, Nem todos os estados inseguros são um impasse, no entanto. Um estado inseguro pode levar a um impasse Alguém pode explicar como o impasse! = Estado inseguro ? Eu também peguei a mesma linha aqui Se …

10 operating-systems  deadlocks 

Tentei resolver o exercício a seguir, mas fiquei preso ao tentar encontrar todos os pares críticos . Tenho as seguintes perguntas: Como sei qual par crítico produziu uma nova regra? Como sei que encontrei todos os pares críticos? Seja onde é binário, é unário e é uma constante. ∘ i …

10 logic  first-order-logic 

Estou lendo "A Alma de uma Nova Máquina", de Tracy Kidder, onde uma equipe da Data General cria uma nova máquina (codinome "Eagle", mais tarde denominada MV / 8000). É uma extensão de 32 bits de uma arquitetura anterior (o Eclipse de 16 bits). Um dos temas rotativos parece ser …

10 computer-architecture 

Depois de ler as conquistas do google deepmind nos jogos da Atari , estou tentando entender o q-learning e q-networks, mas estou um pouco confuso. A confusão surge no conceito do fator de desconto. Breve resumo do que eu entendo. Uma rede neural profunda convolucional é usada para estimar o …

10 artificial-intelligence  neural-networks  reinforcement-learning 

Em um analisador LR (0), cada estado consiste em uma coleção de itens LR (0), que são produções anotadas com uma posição. Em um analisador de LR (1), cada estado consiste em uma coleção de itens de LR (1), que são produções anotadas com uma posição e um caractere lookahead. …

10 context-free  parsers  lr-k 

O algoritmo de Brzozowski pode ser estendido aos autômatos de Moore, mas sua complexidade de tempo é exponencial em geral. Existe algum outro algoritmo para minimizar os autômatos de Moore? Quais são os tempos de execução desses algoritmos, se houver?

10 reference-request  automata  optimization  finite-automata  transducers 

Estou tentando encontrar as respostas de duas perguntas sobre a máquina Universal Turing. Como a máquina Universal de Turing pode simular uma máquina de Turing se a que está sendo simulada possui um número maior de estados? Como a máquina Universal Turing pode simular uma máquina de Turing se a …

10 computability  turing-machines  simulation  turing-completeness 

O que "em posição positiva" e "em posição negativa" significa no contexto da teoria dos tipos? A única coisa que entendi no post de Bob Harper sobre o tema é que há uma conexão entre polaridade nesse sentido na teoria dos tipos e polaridade na lógica, mas não sei qual …

10 type-theory 

Eu sei que o problema quantificado da fórmula booleana para uma fórmula que não contém quantificadores e apenas as variáveis é um exemplo de problema com -complete. No entanto, eu me pergunto se há algum problema natural conhecido como , assim como a Minimização de Circuito é um problema natural …

10 complexity-classes 

Em relação ao segmento Provando que a conversão de CNF para DNF é NP-Hard (e um segmento Math relacionado ): E a outra direção, de DNF a CNF? É fácil ou difícil? Na página 2 deste artigo , eles parecem sugerir que ambas as direções são igualmente difíceis quando dizem …

10 complexity-theory  logic  satisfiability  normal-forms 

Os exemplos comuns de problemas difíceis de NP (clique, 3-SAT, cobertura de vértices etc.) são do tipo em que não sabemos se a resposta é "sim" ou "não" anteriormente. Suponha que tenhamos um problema no qual sabemos que a resposta é sim, além disso, podemos verificar uma testemunha em tempo …

10 complexity-theory  np-hard  search-problem 

Seja uma função bastante agradável (por exemplo, contínua, diferenciável, não há máximos locais demais, talvez côncavos etc.). Quero encontrar um máximo de f : um valor x ∈ R d que faça f ( x ) o maior possível.f:Rd→Rf:Rd→Rf:\mathbb{R}^d \to \mathbb{R}fffx∈Rdx∈Rdx \in \mathbb{R}^df(x)f(x)f(x) Se eu tivesse um procedimento para avaliar …

10 optimization  approximation 

O problema é o seguinte: Temos uma matriz / grade bidimensional de números, cada um representando algum "benefício" ou "lucro". Temos também dois inteiros fixos e (para "width" e "height".) E um inteiro fixo .h nWWwhhhnnn Agora, desejamos sobrepor retângulos de dimensões na grade, de modo que a soma total …

10 algorithms  optimization  combinatorics  approximation 

O problema de decidir se uma entrada é um palíndromo ou não tenha sido provado para exigir de espaço em uma máquina de Turing. No entanto, mesmo armazenar a entrada ocupa espaço n, então isso não significa que todas as máquinas de Turing requerem espaço Ω ( n ) ?Ω …

10 turing-machines  space-complexity 

Gostaria de saber, existe um método para análise automática de tempo de execução que funciona pelo menos em um subconjunto relevante de algoritmos (algoritmos que podem ser analisados)? Eu pesquisei "Análise automática de algoritmo", o que me deu isso, mas é muito matemático. Eu só quero um exemplo simples no …

10 algorithms  algorithm-analysis  reference-request  runtime-analysis