Ciência da Computação

Dada uma distribuição de graus, com que rapidez podemos construir um gráfico que segue a distribuição de graus dada? Um esboço de link ou algoritmo seria bom. O algoritmo deve relatar um "não" caso nenhum gráfico possa ser construído e qualquer exemplo, se vários gráficos puderem ser construídos.

12 algorithms  graphs  graph-theory 

Como provar que ? Estou apenas procurando por um oracle TM M e uma linguagem recursiva L ( M ) = L para a qual isso se aplica.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Eu sei que a prova de que você mostra que há um oráculo tal que P A ≠ …

12 complexity-theory  relativization 

Existem idiomas indecidíveis, de modo que seu idioma de união / interseção / concatenado seja decidível? Qual é a interpretação física desse exemplo porque, em geral, idiomas indecidíveis não são fechados nessas operações? O que podemos dizer sobre o fechamento de Kleene? Também temos exemplos para isso? Ou seja, o …

12 formal-languages  undecidability  closure-properties 

O algoritmo de Codd converte uma expressão no cálculo relacional da tupla em Álgebra relacional. Existe uma implementação padrão do algoritmo? Esse algoritmo é usado em algum lugar? (Parece que o setor precisa apenas de SQL e variantes, não tenho certeza sobre os teóricos de banco de dados na academia.) …

12 algorithms  database-theory 

Em outras palavras, quais são as vantagens do encadeamento híbrido sobre o encadeamento 1: 1 (somente kernel) e N: 1 (somente usuário)? Esta é uma continuação de Qual é a diferença entre os threads no nível do usuário e os do nível do kernel?

12 operating-systems  concurrency  os-kernel 

Como a senha que inserimos (para conectar-se a uma rede sem fio) criptografa os dados na rede sem fio? Durante a minha leitura, não tenho certeza se a senha digitada é a mesma que a senha. Se estiver correto, como a senha pode gerar as quatro chaves WEP? Entendo como …

12 cryptography  computer-networks  encryption  security 

Diz- se que um gráfico direcionado é unipático se, para quaisquer dois vértices uuu e no gráfico , houver no máximo um caminho simples de para .vvvG=(V,E)G=(V,E)G=(V,E)uuuvvv Suponha que eu receba um gráfico unipático modo que cada aresta tenha um peso positivo ou negativo, mas não contenha ciclos de peso …

12 algorithms  graphs 

Me deparei com esta figura que mostra que linguagens regulares e sem contexto são subconjuntos (apropriados) de problemas eficientes (supostamente ). Entendo perfeitamente que problemas eficientes são um subconjunto de todos os problemas decidíveis, porque podemos resolvê-los, mas isso pode levar muito tempo.PP\mathrm{P} Por que todas as linguagens regulares e …

12 formal-languages  regular-languages  context-free  efficiency 

O Windows NT usou um protocolo ponto a ponto em que um cliente pode se comunicar "com segurança" com um servidor usando uma cifra de fluxo para criptografar uma matriz de mensagens com alguma tecla . O servidor também criptografa sua resposta com a mesma chave k . Mas como …

12 cryptography  encryption 

Estou estudando o teorema do smn e o conceito me lembrou de currying. Do artigo da wikipedia sobre o teorema do smn : o teorema diz que, para uma dada linguagem de programação e números inteiros positivos m e n, existe um algoritmo específico que aceita como entrada o código …

12 computability 

Diz-se que no complemento de 2 o 0 tem apenas um valor, enquanto no complemento de 1 ambos +0 e -0 têm valores separados. O que eles são?

12 arithmetic 

O problema de programação linear: encontre um algoritmo de tempo fortemente polinomial que para a matriz A ∈ Rm × n eb ∈ Rm decida se existe x ∈ Rn com Ax ≥ b. Eu sei que o de Steve Smale lista alguns dos problemas não resolvidos em matemática. Mas …

12 algorithms  polynomial-time  linear-programming 

Eu já vi algumas perguntas neste site sobre o Deep Dream, no entanto, nenhuma delas parece realmente falar sobre o que o DeepDream está fazendo, especificamente. Até onde eu entendi, eles parecem ter alterado a função objetivo e também a retropropagação, de modo que, em vez de atualizar pesos, atualizam …

12 machine-learning  artificial-intelligence  neural-networks  image-processing  computer-vision 

Parece que as pessoas se cansaram do gerenciamento manual de memória e inventaram a coleta de lixo, e a vida era razoavelmente boa. Mas e todos os outros tipos de recursos? Descritores de arquivos, soquetes ou mesmo dados criados pelo usuário, como conexões com o banco de dados? Parece uma …

12 garbage-collection  resource-allocation 

Eu fiz um pouco de pesquisa no google e fiquei um pouco curto. Gostaria de saber quais são as principais razões para os cientistas da computação, programadores, estudarem a reescrita de termos e / ou a reescrita de gráficos de termos. Até onde eu sei, isso apenas ajuda no raciocínio …

12 term-rewriting