Ciência da Computação

A seguir, um exercício no qual estou preso (fonte: Sanjeev Arora e Boaz Barak; não é tarefa de casa): Mostre que existe um oráculo UMAAA e uma lingua L ∈ NPUMAL∈NPAL \in NP^A de tal modo que euLL não é redutível em tempo polinomial para 3SAT, mesmo quando a máquina …

7 complexity-theory  np  nondeterminism  oracle-machines  relativization 

Estou implementando um intérprete para o cálculo lambda e agora quero adicionar o tipo de igualdade. A regra de introdução é fácil, mas a regra de eliminação é bastante obscura para mim. Encontrei esse encadeamento stackoverflow, mas explica o axioma J apenas em uma frase. Como isso pode ser entendido …

7 lambda-calculus  intuition  equality 

Li recentemente um comentário interessante em um artigo sobre como a matemática é estranhamente útil. Menciona como o tempo polinomial não precisa ser eficiente na realidade (por exemplo,O (n999999999999999999999)O(n999999999999999999999)O(n^{999999999999999999999})é tempo polinomial, mas não eficiente). No entanto, não é o caso de todos os algoritmos em tempo polinomial também serem realistas, …

7 algorithms  complexity-theory  polynomial-time 

Se eu tiver um gráfico , um subconjunto de vértices e um segundo conjunto de vértices , qual é a melhor maneira de encontrar o caminho mais curto conectando o dois conjuntos? Ou seja, estamos procurando um caminho mais curto entre todos caminhos de - . Também podemos assumir que …

7 algorithms  graphs  optimization  shortest-path 

O problema mínimo de zap abaixo é o Exercício 11 na palestra de Jeff Erickson sobre "Algoritmo Greedy" . O problema mínimo de zap pode ser declarado mais formalmente da seguinte maneira. Dado um conjuntoCCC do nnn círculos no plano, cada um especificado por seu raio e pela (x,y)(x,y)(x, y) …

7 algorithms  optimization  greedy-algorithms 

Eu li aqui que "um filtro inicializado aleatoriamente funciona muito como um detector de borda!". Quero saber se existem documentos descrevendo e explicando esse fenômeno.

7 machine-learning  computer-vision 

Eu li várias frases de tempo semelhantes a Finalmente, para classificação padrão de imagem, os recursos de palavras com base em descritores SIFT foram considerados críticos para altos desempenhos. Primeiro, calculamos um descritor SIFT padrão em pontos de grade regulares sobre toda a imagem. Fonte: "Segmentação de imagens em várias …

7 machine-learning  computer-vision  features 

L = { ϵ }L={ϵ}L = \left \{ \epsilon \right \} Claramente, esse idioma é finito, portanto deve ser um idioma regular. Agora, como toda linguagem comum é sensível ao contexto,euLLé uma CSL. Podemos definir a gramática paraeuLL Como : S→ ϵS→ϵS\rightarrow \epsilon Agora desde euLLé uma CSL, essa gramática …

7 formal-languages  regular-languages  context-sensitive 

Dado um item de entrada (N bytes), estou procurando uma função que mapeie isso para uma saída (ainda N bytes). A função deve ter as seguintes qualidades: Deve ser 1 para 1, para que todas as entradas sejam mapeadas para alguma saída e para que nenhuma duas entradas seja mapeada …

7 discrete-mathematics  cryptography  hash 

Eu estava lendo Estrutura e Interpretação de Programas de Computador (SICP), MIT. O que eu entendi é que na linguagem de programação funcional pura, não existe um estado local. SICP, página 230 diz: "A programação sem qualquer uso de atribuições, como fizemos nos dois últimos capítulos deste livro, é conhecida …

7 programming-languages  functional-programming  programming-paradigms 

Peço desculpas se esta pergunta já foi feita antes, mas não consegui encontrar uma duplicata. Acabei de ler The Annotated Turing e estou um pouco confuso. Pelo que entendi, o problema do Entscheidung é se existe ou não um algoritmo que pode determinar se uma declaração é comprovável. No artigo, …

7 computability  turing-machines  logic  decision-problem  incompleteness 

Para um idioma LLL, definir: NE(L)={x∈L:x is not the proper prefix of any string in L}NE(L)={x∈L:x is not the proper prefix of any string in L} NE(L) = \{x \in L : x \text{ is not the proper prefix of any string in } L\} Estou tentando mostrar que as …

7 formal-languages  context-free  closure-properties 

Dado um conjunto de intervalos em uma linha, existe um algoritmo para encontrar intervalos contidos em outros intervalos (por exemplo, Manber, "Utilizando a indução para projetar algoritmos", 1988). Existe um algoritmo para retângulos alinhados ao eixo em dimensões mais altas?nnnO(nlogn)O(nlog⁡n)O(n \log n)O(nlogn)O(nlog⁡n)O(n \log n) Fiz algumas pesquisas na internet e …

7 algorithms  computational-geometry 

Estou trabalhando em problemas práticos para um teste que tenho e todos os exemplos de variantes de loop diminuíram a cada iteração do loop. Nesse, os valores permanecem os mesmos quando a <b. Minhas tentativas também me deram uma variante de loop que tem uma chance de ser negativa, uma …

7 algorithms  loops  loop-invariants 

Antes de fazer minha pergunta, deixe-me começar com meu entendimento das definições, para me impedir com mais confusão e também fornecer alguns antecedentes. O Código Huffman é o código binário induzido a partir de uma árvore binária, construída pelo algoritmo de Huffman. O código Hu – Tucker é o código …

7 binary-trees  huffman-coding