Ciência da Computação

Considere este problema: Dado um gráfico não direcionado G=(V,E)G=(V,E)G = (V, E), encontrar G′=(V′,E′)G′=(V′,E′)G' = (V', E') de tal modo que: G′G′G' é um subgrafo induzido de GGG G′G′G' não tem 3 panelinhas |V′||V′||V'| é máximo Portanto, o menor número de vértices deve ser eliminado de GGG para que 3 …

8 algorithms  graph-theory  graphs  optimization 

Isso está um pouco relacionado a outra pergunta que fiz , mas acho que é diferente o suficiente para justificar sua própria pergunta. Estou pesquisando onde estou tentando encontrar a estrutura de complementos de uma determinada classe de linguagens finitas. É fácil para mim conseguir o mínimo de DFAs aceitando …

8 formal-languages  automata  finite-automata  discrete-mathematics  nondeterminism 

Pelo isomorfismo do gráfico, sabemos que dois gráficos A e B são isomórficos se houver uma matriz de permutação P tal que A = P× B ×P- 1UMA=P×B×P-1A = P \times B \times P^{-1} Portanto, para resolver o problema, se dois gráficos são isomórficos, precisamos encontrar uma matriz de permutação …

8 algorithms  graphs  cryptography  graph-isomorphism 

Tenho um pequeno problema para entender a prova do Teorema da Hierarquia do Tempo (Hennie e Stearns, 1966) que garante a existência de uma linguagem aceitável em mas não aceitável em para quaisquer funções , de modo que seja construtível no tempo evocê( N )você(n)U(n)T( N )T(n)T(n)T( N ) , …

8 complexity-theory  turing-machines  simulation 

Se você tem um idioma L, sem fazer nenhuma prova, há uma maneira de saber se é reconhecível ou co-reconhecível ou decidível? Basicamente, todas as dicas ou truques que podem ser usados ​​para contar. Ou talvez os padrões comuns a serem pesquisados ​​para saber qual é o tipo?

8 computability  undecidability  intuition 

Eu tenho lido sobre o algoritmo para encontrar os componentes fortemente conectados em um gráfico direcionado . Considera procurar dois DFS eo segundo passo é transpor o gráfico original .G = ( V, E)G=(V,E)G=(V,E)GTGTG^T O algoritmo é o seguinte: Execute o DFS no (iniciando em um vértice inicial arbitrário), acompanhando …

8 algorithms  graphs  graph-traversal 

Tradicionalmente, a programação linear é usada para encontrar a solução ideal para um conjunto de restrições, variáveis ​​e um objetivo (todos descritos como relacionamentos lineares). Às vezes, quando o objetivo é paralelo a uma restrição, existem infinitas ou muitas soluções ótimas igualmente boas. Não estou perguntando sobre este último caso. …

8 optimization  linear-programming 

Dado um conjunto de n trabalhos com [horário de início, horário de término, custo], localize um subconjunto para que nenhum trabalho se sobreponha e o custo seja máximo. Agora não tenho certeza se um algoritmo ganancioso fará o truque. Ou seja, classifique por custo e sempre faça o próximo trabalho …

8 algorithms  scheduling  greedy-algorithms  knapsack-problems 

É o idioma L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} sem contexto? Eu acho que não é livre de contexto, porque parece muito complicado para um PDA decidir se dois números são co-primos ou não. …

8 formal-languages  context-free  pumping-lemma  pushdown-automata 

Pelo que entendi: Um flip flop é uma trava com relógio, ou seja, flip flop = trava + relógio A trava verifica continuamente as entradas e altera a saída sempre que houver uma alteração na entrada O Flip Flop também verifica continuamente a entrada, mas altera o tempo de saída …

8 computer-architecture  sequential-circuit  digital-circuits 

Quando o famoso teorema de Savitch é declarado, muitas vezes se vê a exigência de que S( N )S(n)S(n)seja espaço construtível (curiosamente, é omitido na Wikipedia). Minha pergunta simples é: por que precisamos disso? Eu entendo o requisito paraS( N )S(n)S(n) estar em Ω ( logn )Ω(log⁡n)\Omega(\log n), o que …

8 complexity-theory  space-complexity  complexity-classes  nondeterminism 

Estou lendo o livro de sistemas operacionais da Galvin. Galvin explica, o que são modos de kernel e usuário, privilégios de instrução dados para ambos os modos e também sobre o modo bit. Mas estou interessado em saber como o modo muda de um para outro. Basicamente, quero resolver a …

8 computer-architecture  operating-systems  memory-management  cpu-cache  memory-access 

Deixei LLLser uma linguagem regular. É o idiomaL2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} regular? Eu sei que é muito semelhante à pergunta aqui , mas o problema é que não é uma simples substring de uma palavra …

8 formal-languages  regular-languages  closure-properties 

Em algumas ocasiões, treinei redes neurais (redes de propagação traseira) com alguns conjuntos de dados bastante complicados (posições de gamão e OCR). Ao fazer isso, parece que muito do trabalho envolve a tentativa de configurações diferentes das redes, a fim de encontrar a configuração ideal para o aprendizado. Freqüentemente, há …

8 machine-learning  neural-networks  learning-theory 

Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 6 anos . O Wiki tem uma boa folha de dicas, mas não …

8 algorithm-analysis  asymptotics  runtime-analysis  sorting  searching