Ciência da Computação

Atualmente, estou estudando línguas formais. Minha palestra afirma que, embora as palavras de uma língua sejam finitas, as frases construídas com a gramática subjacente não são. Mas não entendo por que isso geralmente deve ser verdade. Eu posso imaginar a gramática que me deixa com uma quantidade finita de frases. …

7 formal-languages 

Peço desculpas pelo título longo, mas realmente não sabia como escrevê-lo de maneira diferente, sem a falta de informações sobre o conteúdo. Recentemente, fiz um exame universitário sobre algoritmos paralelos. Um exercício me pediu para escrever um algoritmo para determinar se os elementos de uma matriz, vamos chamá-lo A, foram …

7 algorithms  algorithm-analysis  correctness-proof 

É possível distinguir termos normais que não contêm beta redex como uma sub-expressão, de outros como esses data WithBound a = Var | Other a data Normal a = Neutral (Neutral a) | Abstract (Normal (WithBound a)) data Neutral a = Variable a | Apply (Neutral a) (Normal a) Existe …

7 lambda-calculus  term-rewriting 

Estou lendo a pesquisa de Aaronson sobre P vs. NP, e entendi que, na teoria da CS, as pessoas realmente se preocupam com resultados de des aleatorização, como P vs. BPP etc. Minha pergunta é: qual é o problema da aleatoriedade? Se seu algoritmo exigir apenas um número polinomial de …

7 complexity-theory  randomized-algorithms  randomness 

É sabido que o problema da universalidade para a NFA (decidir se L(A)=Σ∗L(A)=Σ∗L(A)=\Sigma^*) é PSPACEPSPACEPSPACE-completo. No entanto, e se todos os estados da NFA estiverem aceitando? Parece-me que o problema está no máximocococo-NPNPNP, como um contra-exemplo (diferente do caso de uma NFA geral) é polinomial (mesmo linear) no tamanho da …

7 complexity-theory  regular-languages  finite-automata 

Trabalhos modernos sobre índices de pesquisa geralmente contêm uma declaração de que índices invertidos (listas de postagem) são categoricamente superiores aos arquivos de assinatura (filtros de bloom). Aqui estão alguns exemplos de artigos publicados em 2016: Embora essa técnica [arquivo de assinatura] forneça uma sobrecarga computacional relativamente baixa, estudos de …

7 reference-request  information-retrieval  search 

Sabemos que expressões regulares (ER) são implementadas com autômatos finitos (FA). Em alguma linguagem (como JavaScript) no RE, existem recursos como 'capturando parênteses' com 'referências anteriores': https://developer.mozilla.org/en-US/docs/Web/JavaScript/Guide/Regular_Expressions#special-capturing-parentheses (x) Corresponde a 'x' e se lembra da correspondência, como mostra o exemplo a seguir. Os parênteses são chamados de captura de parênteses. …

7 finite-automata  regular-expressions 

Dadas as saídas do gerador de números pseudoaleatórios, como se pode determinar o tipo (por exemplo, Registro de deslocamento de feedback linear), Multiplicar com transportar, Gerador linear de congratulações etc.) e recuperar a função e a semente? A matriz de números fornecida é com certeza gerada pelo PRNG (não criptograficamente …

7 algorithms  pseudo-random-generators 

É claro que o Mathematica usa o teste Baillie – PSW para sua função PrimeQ (que testa a primalidade) e, como eu li na documentação do Mathematica , ele começa com a divisão de teste, depois as bases 2 e 3 de Miller – Rabin e, em seguida, o teste …

7 reference-request  number-theory  primes 

Não posso comentar sobre esta questão, por isso pergunto aqui como uma nova pergunta: Ricky Demer afirma lá em um comentário para a primeira resposta "[...] como o FPSPACE pode fornecer resultados exponencialmente longos [...]" Como isso pode ser? Como um algoritmo no FSPACE pode fornecer uma saída exponencialmente longa? …

7 complexity-theory  space-complexity 

Na página da Wikipedia no problema P vs. NP, existe um algoritmo que "resolve" SUBSET-SUM no caso de P = NP em tempo polinomial. (A idéia é encontrar uma TM que dê um certificado). Mas dá "sim" no tempo polinomial e dura para sempre se a resposta for "não". Obviamente, …

7 complexity-theory  np-complete  np  p-vs-np 

Basicamente, e como um método simples, podemos acessar o cache com o Endereço físico, que é do TLB. Mas, como outro método, podemos acessar o cache com o Endereço Virtual . Porém, nesse caso, se o cache não for totalmente liberado entre a alternância de contexto (outros dados do processo …

7 computer-architecture  cpu-cache 

Ouvi algumas alegações de que o cálculo de construções sem tipos indutivos não é poderoso o suficiente para expressar provas por indução. Isso está correto? Se sim, por que a codificação da Igreja não é suficiente para isso?

7 proof-techniques  functional-programming  automated-theorem-proving  curry-howard 

Minha definição diz Uma clique é um gráfico que possui uma aresta conectando todos os pares de vértices mas, pelo que entendi, uma aresta conecta apenas dois vértices. Como .A−BA−BA-B Se queremos conectar três vértices, precisamos de pelo menos duas arestas. Por exemplo, .A−B−CA−B−CA-B-C Não entendo como uma aresta pode …

7 graphs  graph-theory  clique 

Conhecemos uma sequência infinita de problemas de decisão em que o algoritmo mais eficiente para cada problema ocorre Θ(nk)Θ(nk)\Theta(n^k) hora, onde kkk aumenta sem limites? Suponha, por exemplo, que saberíamos que encontrar um k-clique requer Θ(nk)Θ(nk)\Theta(n^k), essa sequência pode ser {1-clique, 2-clique, 3-clique, ...}. No entanto, talvez haja algoritmos mais …

7 complexity-theory  decision-problem  polynomial-time