Em complexidade computacional: Abordagem moderna de Arora e Barak , é mencionado que No entanto, exigiremos que S( n ) > lognS(n)>registronS(n)> \log n desde que a fita de trabalho tenha comprimento nnn, e gostaríamos que a máquina conseguisse pelo menos lembrar o índice da célula da fita...
Ontem, o StackOverflow ficou inoperante por meia hora. Mais tarde, eles escreveram um post sobre o assunto , detalhando que o problema surgiu da inesperadamente alta complexidade da correspondência de expressões regulares. Em resumo, a expressão regular a+b, quando executada na string...
Adams descreve um algoritmo de dividir e conquistar para encontrar a união de dois conjuntos (representados como árvores de pesquisa binária com ponderação de peso). Ele então descreve um novo algoritmo de "união de hedge" que, segundo ele, melhora o algoritmo de dividir e conquistar. No entanto,...
[Nota: Este problema foi inspirado no Pokemon Go. Vou primeiro explicar o problema em termos matemáticos, depois explicar a conexão com o Pokemon Go. Meu objetivo não é trapacear no jogo. Se eu quisesse trapacear, melhores informações estariam disponíveis com mais facilidade.] Suponha que haja NNN...
Estou lendo o artigo NJ Larsson, A. Moffat: Compactação baseada em dicionário offline , que descreve um algoritmo de compactação que, se bem entendi, é bastante semelhante à codificação de pares de bytes . Dada uma string de comprimento , estou tentando entender como se pode compactá-la no tempo...
Meu problema é encontrar todas as soluções inteiras para um ILP. Como exemplo, estou usando um ILP com duas variáveis, mas posso ter mais de duas variáveis. Descrevo o método que atualmente uso para resolver esse problema próximo ao fim, mas estou interessado em saber se existe um algoritmo ou...
De acordo com alguns slides que encontrei no google, a largura de árvore de qualquerk × kk×kk \times k gráfico de grade quadrada GGG é t w ( G ) = ktW(G)=ktw(G) = k. Comecei a pesquisar sobre largura de árvore e decomposição de árvores e, na maioria das vezes, faz sentido. No entanto, estou...
Meu livro de texto fornece a seguinte definição de chave primária em um banco de dados relacional, que eu não entendo completamente. A ajuda seria muito apreciada. Seja uma relação. Então a chave primária para é um subconjunto do conjunto de atributos de , digamos , satisfazendo as duas...
Um código de correção de erros da Reed-Solomon que consiste em N símbolos é garantido para detectar até N substituições de um único símbolo em uma entrada arbitrariamente longa mais o próprio ECC, além de garantir a correção de um único símbolo até o piso (N / 2) substituições no mesmo. Não posso...
Recentemente, iniciei meus estudos em teoria de tipos / sistemas de tipos e Lambda Calculus. Eu já li sobre o Simple Typed Lambda Calculus no estilo Church and Curry. O último também é conhecido como sistema de atribuição de tipos (TA). Estou pensando nas relações entre TA e Hindley-Milner (HM),...
Considere os termos criados a partir dos elementos de e as operações +, \ times, -, / , e \ sqrt [n] {\, \ cdot \,} para cada número natural n . Dada a promessa de que dois termos são bem-formados - isto é, não há divisão por zero e nem raízes de números negativos - existe um algoritmo que decide...
Na aula, nosso professor nos mostrou três métodos para provar a não regularidade: Teorema de Myhill – Nerode Lemma de bombeamento para idiomas regulares Prova de não regularidade, com base na complexidade de Kolmogorov Agora, os dois primeiros, teorema de Myhill-Nerode e lema de Pumping, eu...
Dado um conjunto de pontos de dados X= {x1,x2, ... ,xm}X={x1,x2,…,xm}X = \{x_1, x_2, \ldots, x_m\} Onde xEu∈RdxEu∈Rdx_i \in \mathbb{R}^d corremos K-significa em XXXe obtenha os clusters .c1,c2, ... ,ckc1,c2,…,ckc_1, c_2, \ldots, c_k Agora, se criar um novo conjunto de dados onde e e executar...
Pergunta: Existem textos introdutórios na linguagem formal ou na teoria da linguagem de programação que discutam como aplicá-la ao estudo da notação ideal? Em particular, estou interessado em aprender o que são linguagens de pilha, árvores de análise e índices e como prever quando um determinado...
Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Computer Science Stack Exchange. Fechado há 3 anos . Computadores e linguagens...
Eu tenho um problema de lição de casa que está me deixando perplexo porque a matemática está além do que eu fiz, embora nos tenham dito que não era necessário resolver isso matematicamente. Basta fornecer um limite superior próximo e justificá-lo. Deixei
Eu acho que essas duas classes devem ser as mesmas, mas não consigo encontrar nenhuma literatura sobre isso e tenho um conhecimento limitado sobre o assunto. Esse é o meu raciocínio, e eu gostaria de saber se (1) isso já é conhecido ou (2) eu entendi mal algo ou (3) acabei de descobrir algo...
A teoria do domínio fornece uma incrível teoria da computabilidade na presença de tipos simples. Mas quando o polimorfismo paramétrico é adicionado, não parece haver uma teoria legal que explique o que está acontecendo tão bem quanto a teoria de domínio explica a computação por tipos simples....
O verdadeiro problema que estou enfrentando é o seguinte. INSTANCE : tenho conjuntosN:={1,…,n}N:={1,…,n}N:=\{1,\ldots,n\} e K:={1,…,k}K:={1,…,k}K:=\{1,\ldots,k\} e matriz aij>0aij>0a_{ij}>0 para todos i∈Ki∈Ki\in K e j∈Nj∈Nj\in N. PERGUNTA : preciso encontrar um subconjuntoSSS do NNN de...
Depois de corrigirmos um verificador determinístico de tempo polinomial V (entrada, certificado), seu problema NP correspondente é a pergunta: Para esta entrada, existe um certificado (tamanho polinomial) de tal forma que V (entrada, certificado) retorne True? O problema de contagem associado...