Ciência da Computação

Digamos que sabemos que o problema A é difícil, depois reduzimos A ao problema desconhecido B para provar que B também é difícil. Como exemplo: sabemos que 3 cores são difíceis. Em seguida, reduzimos 3 cores para 4 cores. Ao confundir uma das cores da 3-coloração, você tem 4-coloração, portanto, …

9 complexity-theory  np-complete  reductions 

MMMG(U,V,E)G(U,V,E)G(U, V, E)min(|U|,|V|)min(|U|,|V|)\min(|U|, |V|)

9 graph-theory  graphs  bipartite-matching 

Uma máquina de Turing com permissão para ler e escrever símbolos de um alfabeto infinito é mais poderosa que uma TM comum (essa é a única diferença, a máquina ainda possui um número finito de estados)? A intuição não me diz, pois você precisa de um número infinito de estados …

9 computability  turing-machines  reductions  simulation 

Se você possui um algoritmo de classificação rápida e sempre seleciona o menor (ou maior) elemento como seu pivô; estou certo ao supor que, se você fornecer um conjunto de dados já classificado, sempre obterá o pior desempenho possível, independentemente de sua lista 'já classificada' estar em ordem crescente ou …

9 algorithms  time-complexity  algorithm-analysis  runtime-analysis  sorting 

Recebi uma tarefa de casa com Big O. Estou preso a aninhados para loops que dependem do loop anterior. Aqui está uma versão alterada da minha pergunta de lição de casa, pois eu realmente quero entender: sum = 0; for (i = 0; i < n; i++ for (j = …

9 algorithms  algorithm-analysis  runtime-analysis  landau-notation 

Eu li muitos documentos sobre convolução no processamento de imagens e a maioria deles diz sobre sua fórmula, alguns parâmetros adicionais. Ninguém explica a intuição e o verdadeiro significado por trás da convolução em uma imagem. Por exemplo, a intuição de derivação no gráfico é mais linear, por exemplo. Penso …

9 terminology  intuition  graphics  computer-vision 

Desejo filtrar com eficiência uma lista de números inteiros para duplicatas, de maneira que apenas o conjunto resultante precise ser armazenado. Uma maneira de isso ser visto: nós temos um intervalo de números inteiros S={1,…,N}S={1,…,N}S = \{1, \dots{}, N\} comNNN grande (por exemplo,2402402^{40} ) temos uma função f:S→Sf:S→Sf : S …

9 algorithms  data-structures  sorting 

Estou tentando me ensinar diferentes abordagens à verificação de software. Eu li alguns artigos. Até onde eu aprendi, a lógica proposicional com temporal geralmente usa verificação de modelo com solucionadores SAT (em sistemas reativos contínuos), mas e a lógica de primeira ordem com temporal? Ele usa provadores de teoremas? Ou …

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

Normalmente, as universidades ensinam matemática discreta / estrutura discreta. Minha pergunta é: quanta matemática é preciso saber para entender essa área? O cálculo é necessário ou o pré-cálculo será bom? É preciso ter feito provas antes para poder entender esta área? Obrigado a todos por suas respostas. Nota: minhas desculpas …

9 discrete-mathematics 

O requisito da codificação como livre de prefixo resulta em árvores grandes, pois a árvore precisa estar completa. Existe um limite em que o armazenamento de dados não codificado de comprimento fixo seja mais eficiente do que codificar os dados?

9 information-theory  data-compression 

No artigo Analisando expressões por descendência recursiva de Theodore Norvell (1999), o autor começa com a seguinte gramática para expressões aritméticas: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | …

9 formal-languages  context-free  formal-grammars  left-recursion 

Um algoritmo de rede neural artificial poderia ser expresso em termos de operações de redução de mapa? De maneira geral, também estou interessado em métodos de paralelização aplicados às RNAs e sua aplicação na computação em nuvem. Eu acho que uma abordagem envolveria executar uma RNA completa em cada nó …

9 parallel-computing  artificial-intelligence  neural-networks 

Suponha que desejemos unir duas relações em um predicado. Isso está no NC? Percebo que uma prova de que não está na NC equivaleria a uma prova de que , então aceitaria a evidência de que é um problema em aberto como resposta.P≠NCP≠NCP\not=NC Estou interessado no caso geral e também …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

Dado dois conjuntos AAA e BBB cada um contendo nnn pontos disjuntos no plano, calcule a menor distância entre um ponto em AAA e um ponto em BBB , ou seja, min { dist(p,q) | p∈A∧q∈B }min { dist(p,q) | p∈A∧q∈B }\min \space \{\mbox{ } \text{dist}(p, q) \mbox{ } | …

9 algorithms  computational-geometry 

Queremos resolver um problema de fluxo de custo mínimo com um algoritmo genérico de cancelamento de ciclo negativo. Ou seja, começamos com um fluxo válido aleatório e, em seguida, não selecionamos nenhum ciclo "bom" negativo, como ciclos mínimos de custo médio, mas usamos a Bellman-Ford para descobrir um ciclo mínimo …

9 algorithms  graph-theory  algorithm-analysis  runtime-analysis  network-flow