Ciência da Computação

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Esse problema foi retirado de Interviewstreet.com É-nos dada uma matriz de números inteiros que representa segmentos de linha, de modo que os pontos finais do segmento …

23 algorithms  probability-theory 

EPAL, o idioma dos palíndromos pares, é definido como o idioma gerado pela seguinte gramática inequívoca e livre de contexto: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b O EPAL é o 'bane' de muitos algoritmos de análise: ainda não …

23 formal-languages  formal-grammars  parsers 

Inicialmente, matróides foram introduzidas generalizar as noções de independência linear de uma coleção de subconjuntos sobre algum terreno definir . Certos problemas que contêm essa estrutura permitem que algoritmos gananciosos encontrem soluções ideais. Mais tarde, o conceito de greedoids foi introduzido para generalizar essa estrutura para capturar mais problemas que …

23 algorithms  optimization  combinatorics  greedy-algorithms  matroids 

Por aqui , Dave Clarke propôs que, para comparar o crescimento assintótico, você deve traçar as funções em questão. Como cientista da computação, teoricamente inclinado, chamo esse vodoo de que um enredo nunca é prova. Pensando bem, tenho que concordar que essa é uma abordagem muito útil que às vezes …

23 asymptotics  didactics 

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . "Alan Turing provou em 1936 que um algoritmo geral para resolver o problema de parada de todos os pares possíveis de entrada de programa não pode …

23 computability  formal-methods  halting-problem  software-verification 

Esta pergunta foi migrada do Mathematics Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 3 anos . Eu tenho tentado encontrar um algoritmo para encontrar uma cobertura máxima de ciclo de vértice de um gráfico direcionado - ou seja, um conjunto de ciclos disjuntos que …

23 graph-theory  algorithms 

Ao ler um livro, deparei-me com um parágrafo abaixo: Para sincronizar todas as operações de um computador, é usado um relógio do sistema - um pequeno cristal de quartzo localizado na placa-mãe. O relógio do sistema envia um sinal regularmente a todos os outros componentes do computador. E outro parágrafo: …

23 computer-architecture  clocks 

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Neste artigo da Wikipedia sobre o problema do Clique na teoria dos grafos , afirma no início que o problema de encontrar um clique do tamanho …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

Como o título diz, passei algumas horas no final de semana passado tentando me convencer sobre a classe de idiomas correspondida por expressões regulares compatíveis com Perl, excluindo qualquer operador correspondente que permita executar código arbitrário dentro do padrão . Se você não sabe o que são PCREs, leia isto …

23 formal-languages  regular-expressions 

Estou procurando algumas dicas em uma pergunta feita pelo meu instrutor. Então, acabei de descobrir que esse problema de decisão é :NP-completeNP-complete\sf{NP\text{-}complete} Em um gráfico , existe uma árvore de abrangência em que contém um conjunto exato de como folhas. Eu descobri que podemos provar que está reduzindo o caminho …

23 complexity-theory  graphs  np-complete 

Na classificação radix, classificamos primeiro pelo dígito menos significativo, depois classificamos pelo segundo dígito menos significativo e assim por diante e terminamos com a lista classificada. Agora, se temos lista de números que precisamos bits para distinguir entre aqueles número. Portanto, o número de passes de classificação de radix que …

23 algorithms  sorting 

Quando o O grande foi usado pela primeira vez na ciência da computação e quando se tornou padrão? A página da Wikipedia cita Knuth, Big Omicron e Big Omega And Big Theta , SIGACT de abril a junho de 1976, mas o início desse artigo diz A maioria de nós …

22 asymptotics  history 

Dado um gráfico ponderado e não direcionado G: Quais condições devem ser verdadeiras para que haja várias árvores abrangentes mínimas para G? Eu sei que o MST é único quando todos os pesos são distintos, mas você não pode reverter esta afirmação. Se houver várias arestas com o mesmo peso …

22 graphs  graph-theory  weighted-graphs  spanning-trees  minimum-spanning-tree 

Estou me preparando para uma entrevista de codificação e realmente não consigo descobrir a maneira mais eficiente de resolver esse problema. Digamos que temos duas matrizes que consistem em números que não são classificados. A matriz 2 contém um número que a matriz 1 não. Ambas as matrizes têm números …

22 algorithms  search-algorithms  arrays  efficiency 

Eu gostaria de saber se existe uma regra para provar isso. Por exemplo, se eu usar a lei distributiva, receberei apenas .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)

22 logic  propositional-logic