Ciência da Computação

Suponha que recebamos uma lista de nnn pontos, cujos xxx e yyycoordenadas são todas não-negativas. Suponha também que não haja pontos duplicados. Só podemos ir do ponto(xEu,yEu)(xi,yi)(x_i, y_i) apontar (xj,yj)(xj,yj)(x_j, y_j) E se xEu≤xjxi≤xjx_i \le x_j e yEu≤yjyi≤yjy_i \le y_j. A questão é: dadas essasnnnpontos, qual é o número máximo …

8 computational-geometry  dynamic-programming  recurrence-relation 

O COQ é um provador de teoremas interativo que usa o cálculo de construções indutivas, ou seja, depende muito de tipos indutivos. Usando isso, estruturas discretas como números naturais, números racionais, gráficos, gramáticas, semânticas etc. são representadas de forma muito concisa. No entanto, como passei a gostar do assistente de …

8 probability-theory  coq  real-numbers  uncountability 

Seja um conjunto não trivial de linguagens recursivamente enumeráveis ​​( ) e seja L o conjunto de codificações de máquinas de Turing que reconhecem algum idioma em C : L = \ {\ langle M \ rangle \ mid L (M) \ em C \}CCC∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq \mathrm{RE}LLLCCCL={⟨M⟩∣L(M)∈C}L={⟨M⟩∣L(M)∈C}L=\{\langle M …

8 computability  turing-machines 

Estou procurando alguns exemplos relativamente simples de quando ocorrem riscos estruturais em uma arquitetura de tubulação. O único cenário em que consigo pensar é quando a memória precisa ser acessada durante diferentes estágios do pipeline (ou seja, o estágio inicial de busca de instruções e o estágio posterior de leitura …

8 computer-architecture  cpu-pipelines 

Eu tenho alguns dias em um exame e tenho problemas para resolver esta tarefa. Seja uma linguagem regular sobre o alfabeto . Temos a operação E agora devemos mostrar esse também é regular.LLLΣΣ\Sigmacycle(L)={xy∣x,y∈Σ∗ and yx∈L}cycle⁡(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in \Sigma^* \text{ and } yx\in L\}cycle(L)cycle⁡(L)\operatorname{cycle}(L) A referência …

8 formal-languages  regular-languages  finite-automata  closure-properties 

Se um algoritmo de criptografia pretende converter uma string para outra, que pode ser descriptografada de volta ao original, como esse processo pode envolver qualquer aleatoriedade? Certamente, isso deve ser determinístico; caso contrário, como a função de descriptografia poderia saber quais fatores estavam envolvidos na criação da cadeia criptografada?

8 cryptography  encryption  randomness 

Então, eu estou lendo "Introdução ao Machine Learning" 2ª edição, por Bishop, et. todos. Na página 27 eles discutem a dimensão Vapnik-Chervonenkis, que é, "O número máximo de pontos que podem ser destruídos por H [a classe de hipóteses] é chamado de dimensão Vapnik-Chervonenkis (VC) de H, é designado VC …

8 machine-learning  vc-dimension 

Lendo o artigo Uma Introdução ao Cálculo Lambda , me deparei com um parágrafo que eu realmente não entendia, na página 34 (em itálico): Dentro de cada um dos dois paradigmas, existem várias versões do cálculo lambda digitado. Em muitos sistemas importantes, especialmente nos da Igreja, os termos que possuem …

8 computability  logic  lambda-calculus  type-theory 

Eu sei que os problemas de mochila 2D e 3D são NPC, mas existe alguma maneira de resolvê-los em tempo razoável se as instâncias não forem muito complicadas? A programação dinâmica funcionaria? Com mochila 2D (3D), quero dizer que tenho um quadrado (cubo) e uma lista de objetos, todos os …

8 algorithms  complexity-theory  np-complete  computational-geometry  knapsack-problems 

é uma afirmação bem conhecida de que "A segurança criptográfica deve confiar em uma chave secreta em vez de em um algoritmo secreto ." Eu gostaria de perguntar sobre alguns detalhes sobre isso. E quais são as diferenças? Vejo o óbvio que, para um sistema multiusuário, gerar uma chave é …

8 cryptography  security  encryption 

Estou trabalhando no problema H no concurso ACM ICPC 2004-2005 do nordeste da Europa . O problema é basicamente encontrar o pior caso que produz um número máximo de trocas no algoritmo (peneirar) para criar o heap. Entrada: O arquivo de entrada contém ( ).nnn1 ≤ n ≤ 50.0001≤n≤50.0001 \le …

8 algorithms  data-structures  algorithm-analysis  sorting 

Me pediram para encontrar os argumentos do adversário necessários para encontrar os limites inferiores para a seleção e o tipo de inserção. Não consegui encontrar uma referência a ele em nenhum lugar. Eu tenho algumas dúvidas sobre isso. Entendo que argumentos adversários são geralmente usados ​​para encontrar limites mais baixos …

8 algorithms  algorithm-analysis  proof-techniques  lower-bounds 

Eu tenho um problema de logística que pode ser visto como uma variante de . É tão natural que tenho certeza de que foi estudado em pesquisa operacional ou algo semelhante. Aqui está uma maneira de encarar o problema.TSPTSP\text{TSP} Eu tenho armazéns no plano cartesiano. Há um caminho de um …

8 algorithms  optimization  reference-request  approximation 

Eu quero contar o número de strings ssssobre um alfabeto finito , que não contém repetições, e com isso quero dizer para qualquer substring deAAAtttsss, 1&lt;|t|&lt;|s|1&lt;|t|&lt;|s|1< |t| < |s|, não há cópia separada de ttt no sss. Por exemplo, deixeA={a,b}A={a,b}A=\{a,b\}. Então é uma das seqüências de caracteres que quero contar, …

8 formal-languages  combinatorics  strings  word-combinatorics 

Seja uma matriz . Dizemos que duas entradas são vizinhas se forem adjacentes na horizontal ou na vertical, e ambas as entradas são 1 's. Quer-se encontrar o número mínimo de 1 para adicionar, para que cada 1 possa alcançar outro através de uma sequência de vizinhos.MMM(0,1)(0,1)(0, 1)111111111 Exemplo: 100 …

8 algorithms  graph-theory  matrices