Ciência da Computação

Eu tenho um teste sobre o algoritmo de ramificação e limite . Entendo teoricamente como esse algoritmo funciona, mas não consegui encontrar exemplos que ilustrem como esse algoritmo pode ser implementado praticamente. Encontrei alguns exemplos como este, mas ainda estou confuso. Também procurei o problema do vendedor ambulante e não …

9 algorithms  optimization  branch-and-bound 

Na análise de algoritmos, você geralmente precisa resolver recorrências. Além do Teorema Mestre, métodos de substituição e iteração, existe um usando polinômios característicos . Digamos que eu tenha concluído que uma polinomial característica tem imaginárias raízes, ou seja e x_2 = 1-i . Então não posso usarx2−2x+2x2−2x+2x^2 - 2x + …

9 algorithms  algorithm-analysis  recurrence-relation 

Suponha que eu tenha duas cordas. Chamá-los de e . Nenhuma das cadeias possui caracteres repetidos.UMAUMAABBB Como posso encontrar a menor seqüência de operações de inserção, movimentação e exclusão que transforma em B , onde:UMAUMAABBB insert(char, offset)insere charno dado offsetna string move(from_offset, to_offset)move o personagem atualmente em deslocamento from_offsetpara uma …

9 algorithms  combinatorics  string-metrics 

Penso que no algoritmo de Peterson para exclusão mútua , se o primeiro processo para entrar na seção crítica morresse ou fosse cancelado, o outro processo entraria em loop para sempre, esperando para entrar na seção crítica. Na figura, se o processo 1 for parado, o restante dos processos por …

9 programming-languages  concurrency  mutual-exclusion 

Em um planejador round-robin, adicionar um processo várias vezes à lista de processos é uma maneira barata de dar prioridade mais alta. Eu me pergunto o quão prática essa abordagem pode ser. Qual o benefício que ele tem sobre outras técnicas, como conceder ao processo uma fatia de tempo mais …

9 operating-systems  process-scheduling 

Em aplicativos do mundo real, há um benefício concreto ao usar os algoritmos vez dos \ mathcal {O} (\ log (n)) ?O ( log ( n ) )O (log( log( N ) )O(registro⁡(registro⁡(n))\mathcal{O}(\log(\log(n))O (log( N ) )O(registro⁡(n))\mathcal{O}(\log(n)) É o caso quando se usa, por exemplo, árvores de van Emde Boas, …

9 algorithms  complexity-theory  binary-trees  algorithm-analysis  search-trees 

No meio do período, houve uma variante da seguinte pergunta: Para um decidível, defina Mostre que não é necessariamente decidível.Pref ( L ) = { x | ∃ y r x y ∈ G } Pref ( L )LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ …

9 computability  undecidability 

Tomemos como exemplo a redução 3d → 2d: Qual é o custo de simular um autômato celular 3d por um autômato celular 2d? Aqui estão algumas perguntas mais específicas: Que tipo de algoritmos terão sua complexidade de tempo alterada em quanto? Qual seria a ideia básica para a codificação; como …

9 complexity-theory  time-complexity  cellular-automata 

Sabemos neste artigo que não existe um quebra-cabeça que possa ser resolvido a partir de 16 ou menos pistas, mas implica que exista um quebra-cabeça que possa ser resolvido a partir de 17 pistas. Todos os quebra-cabeças válidos de sudoku podem ser especificados em 17 pistas? Caso contrário, qual é …

9 sudoku  combinatorics 

Eu estou projetando um algoritmo para uma classe que irá determinar se um grafo direcionado é único no que diz respeito a um vértice tal que para qualquer u ≠ v existe no máximo um caminho de v para u . Comecei usando o BFS (pesquisa pela primeira vez) para …

9 graph-theory  shortest-path  graph-traversal 

Se um gráfico tiver um ciclo de Euler, os componentes biconetados também têm ciclos de Euler?

9 graph-theory  eulerian-paths 

Estou tentando criar uma prova para o seguinte: Para qualquer idioma , existe uma linguagem B tal que A ≤ T B , mas B ≰ T A .AAABBBA≤TBA≤TBA \le_{\mathrm{T}} B≰TA≰TA\nleq_{\mathrm{T}} A Eu estava pensando em deixar ser um T M , mas eu percebo que nem todos os idiomas …

9 computability  reductions  undecidability 

Existe um teorema que diz que: Dado um autômato de estado finito com estados, se existe uma string cujo comprimento satisfaz , o idioma aceito pelo autômato é infinito.nnnWWwn≤|w|≤2n−1n≤|w|≤2n−1n \leq |w| \leq 2n-1 Eu entendo a restrição , mas não entendo por que a restrição está lá.|w|≥n|w|≥n|w| \geq n|w|≤2n−1|w|≤2n−1|w| \leq …

9 automata  finite-automata 

Estou preso resolvendo o próximo exercício: Argumente que se é livre de contexto e R é regular, então L / R = { w ∣ ∃ x ∈ ReuLLRRR (ou seja, oquociente certo) é livre de contexto.L / R = { w ∣ ∃ x ∈ Rstw x ∈ L …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

Estou investigando a aprendizagem do PAC (teoria da aprendizagem computacional) como iniciante, sem nenhum conhecimento prévio de aprendizado de máquina / IA. Estou investigando o modelo principalmente de um ponto de vista histórico. Para isso, as coisas mais importantes são, obviamente, os resultados baseados no modelo. Existem documentos suficientes por …

9 machine-learning