Por que os números computáveis (no sentido de Turing) são enumeráveis? Deve ser muito óbvio, mas atualmente não estou
Por que os números computáveis (no sentido de Turing) são enumeráveis? Deve ser muito óbvio, mas atualmente não estou
Como você determina a complexidade temporal de um algoritmo genético (em geral)? Se possível. Eu tenho pensado muito sobre isso, e todo o ensino que tive está relacionado à determinação da complexidade temporal de problemas de natureza muito menos
Estou confuso sobre como PP e BPP são definidos. Vamos supor χχ\chi é a função característica de uma linguagem LL\mathcal{L} . M ser a máquina de Turing probabilística. As definições a seguir estão corretas: BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP...
Essa variante do problema de soma de subconjuntos é fácil / conhecida? Dado um número inteiro , e um conjunto de números inteiros positivos A = { x 1 , x 2 , . . . , x n } de modo que todo x i tenha no máximo k = 2 bits definido como 1 ( x i = 2 b i 1 + 2 b i 2 ,mmmA = { x1 1, x2, . . . ,...
Existe um algoritmo de tempo linear para verificar se uma sequência de caracteres é uma concatenação de palíndromos? A única coisa que me vem à cabeça é a solução ingênua: 1. k = 1 2. Split string into k substrings (all possibilities) and check 3. k++ 4. repeat Nota: a resposta é trivialmente...
Queremos ladrilhar m × mm×mm\times m quadrado usando dois tipos de ladrilhos: 1 × 11 1×1 11 \times 1 quadrado e 2×22×22 \times 2 quadrado, de forma que todos os quadrados subjacentes sejam cobertos sem sobreposição. Vamos definir uma função f(n)f(n)f(n) que fornece o tamanho do maior quadrado...
Lendo esta pergunta " Problemas indecidíveis de ER naturais, mas não completos de Turing ", veio à minha mente o seguinte idioma: Se for a função de castor ocupado (pontuação máxima atingível entre todas as máquinas de Turing de estado n de dois símbolos com parada do tipo descrito acima, quando...
Luto com poucas definições na representação do conhecimento e busco ajuda credível para distinguir entre elas. Eu tenho procurado na wikipedia e em muitos sites a diferença entre ontologias e redes semânticas (para não confundir com a web semântica). Enquanto a página da wikipedia na rede semântica...
Dado um programa inteiro (binário) da forma:0 , 10 0,1 10,1 minstf( X )A x = bxEu≥ 0xEu∈ { 0 , 1 }∀ i∀ iminf(x)stUMAx=bxEu≥0 0∀EuxEu∈{0 0,1 1}∀Eu \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall...
Operador - Diferença simétrica generalizada Se você pegar o xor binário e generalizá-lo para outras radições, poderá fazê-lo pelo valor absoluto da diferença de cada elemento em um vetor radix. No entanto, isso não tem as mesmas propriedades que o diferencial binário simétrico. A razão é que,...
Os caches da CPU são usados explorando a localidade temporal e espacial. Minha pergunta é quem é responsável por gerenciar esses caches? Este sistema operacional identifica um padrão de acesso específico e depois gerencia (ou seja, armazena os dados) o cache, usando chamadas de função de sistema...
Em um vídeo de recitação para o MIT OCW 6.006 às 43:30, Dada uma matriz A com m colunas e n linhas, o algoritmo de localização de pico 2-D, em que um pico é qualquer valor maior ou igual a seus vizinhos adjacentes, foi descrito como:m×nm×nm \times nAAAmmmnnn Nota: Se houver confusão na descrição...
Eu tenho um problema em relação à seguinte situação. Eu tenho duas matrizes de números como este: index/pos 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 Array 1(i): 1 2 3 4 7 5 4 3 7 6 5 1 2 3 4 2 Array 2(j): 4 4 8 10 10 7 7 10 10 11 7 4 7 7 4 Agora, suponha que a segunda matriz seja muito difícil...
Encontrei esse problema envolvendo a manipulação de uma linguagem livre de contexto. Seja uma linguagem livre de contexto. Definir L # = { x : x i ∈ L para cada i = 0 , 1 , 2 , . . . } . É L # sempre livre de contexto? Meu palpite é que preservará a transparência do contexto. Alguém pode fornecer...
Um SkipList fornece os mesmos limites para pesquisa como uma árvore equilibrada com a vantagem de que o reequilíbrio não é necessário. Como o SkipList é construído usando lançamentos aleatórios de moedas, esses limites são válidos apenas enquanto a estrutura do SkipList estiver suficientemente...
Inspirada nesta pergunta em que o solicitante deseja saber se o tempo de execução muda quando o comparador usado em um algoritmo de pesquisa padrão é substituído por um lançamento justo, e também pela falha proeminente da Microsoft em escrever um gerador de permutação uniforme, minha pergunta é...
Recentemente, fiz uma pergunta no Math SE. Nenhuma resposta ainda. Esta questão está relacionada a essa pergunta, mas mais detalhes técnicos sobre ciência da computação. Dado dois DFAs e que o conjunto de estados, o alfabeto de entrada e a função de transição de e são iguais, os estados iniciais e...
Na faculdade, aprendemos mais sobre a teoria da computação em geral e sobre as máquinas de Turing. Um dos grandes resultados teóricos é que, ao custo de um alfabeto potencialmente grande (símbolos), você pode reduzir o número de estados para apenas 2. Eu estava procurando exemplos de diferentes...
Um garoto inteligente de 15 anos que conheço está interessado em ciência da computação e genética. Eu disse a ela que esses campos são uma excelente combinação. Eu gostaria de dar a ela um livro sobre bioinformática ou genômica computacional. Estou procurando um livro divertido, não um livro...
Existe algum conjunto de regras ou métodos para converter qualquer gramática livre de contexto em um autômato pushdown? Eu já encontrei alguns slides online, mas não consegui entendê-los. No slide 10, ele fala sobre algumas regras que alguém poderia