Ciência da Computação

A seguinte matriz ocupa 10.000 slots na memória: a = [0,1,2,3,4,5,6,7,8,9,10,...,10000] Mas pode-se facilmente representar a mesma matriz que: a = {len:10000, get: λ idx -> idx} O que é muito mais compacto. Da mesma forma, existem várias matrizes que podem ser representadas compactamente: a = {a:1000, get: λ idx …

7 algorithms  complexity-theory  formal-languages  programming-languages  data-compression 

Não consigo conceber nenhum problema que possa ser resolvido em tempo exponencial, mas não possa ser verificado em tempo polinomial.

7 complexity-classes 

O Instituto de Estudos Avançados teve um programa especial de um ano dedicado ao Programa de Fundações Univalentes . No final, eles produziram um livro e um repositório de código . No final, vemos uma entrada de blog na Scientific American alegando: ... poderia fornecer uma base nova e independente …

7 homotopy-type-theory 

Eu tenho um algoritmo genético para um problema de otimização. Plotei o tempo de execução do algoritmo em várias execuções na mesma entrada e nos mesmos parâmetros (tamanho da população, tamanho da geração, cruzamento, mutação). O tempo de execução muda entre as execuções. Isso é normal? Também notei que, contra …

7 algorithm-analysis  genetic-algorithms 

Eu ouvi aqui que o problema ciclo hamiltoniano é polinomial em gráficos de treewidth limitada. Estou interessado em exemplos / referências a diferentes problemas que são essencialmente difíceis, mas que possuem complexidade polinomial em gráficos de largura de árvore limitada.

7 complexity-theory  graph-theory  reference-request  np  polynomial-time 

Deixei {umaEu}{ai}\{a_i\} e {bEu}{bEu}\{b_i\} ser sequências não decrescentes de números inteiros não negativos. Com que velocidade se pode encontrar para todos os ?cj=max0 ≤ i &lt; j{umaEu+bj - i - 1}cj=max0 0≤Eu&lt;j{umaEu+bj-Eu-1 1}c_j=\max_{0 \leq i< j}\{a_i+b_{j-i-1}\}0 ≤ j ≤ n - 10 0≤j≤n-1 10\leq j\leq n-1 Ingenuamente, leva O (n2)O(n2)O(n^2) …

7 algorithms 

Eu me pergunto como posso provar que, se um idioma L é decidível em o (nlog (n)), então L deve ser regular. Eu provavelmente deveria mencionar que, por "decidível", quero dizer "ser decidível por uma máquina de turística determinística de fita única". Obrigado e cumprimentos Guillermo

7 regular-languages  time-complexity 

É sabido que qualquer fórmula CNF pode ser transformada em tempo polinomial em uma fórmula 3-CNF usando novas variáveis ​​( veja aqui ). Se o uso de novas variáveis ​​não for permitido, isso nem sempre é possível (por exemplo, a fórmula da cláusula única:(x1 1∨x2∨x3∨x4)(x1 1∨x2∨x3∨x4)(x_1 \lor x_2 \lor x_3 …

7 complexity-theory  satisfiability  decision-problem  complexity-classes 

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á 6 anos . Estou falando deste projeto de pesquisa : mas a MS a fechou em …

7 operating-systems  os-kernel 

Eu acho que a pergunta é auto-suficiente. A sintaxe da linguagem C é completamente definida por meio de gramáticas livres de contexto ou temos construtos de linguagem que podem exigir definições não livres de contexto durante a análise? Um exemplo de construção não CFL que pensei ser a declaração de …

7 context-free  programming-languages  compilers  parsing  c 

No sentido de uma string distinta de uma string de referência nula, qual é a importância de uma string vazia no CS (e especialmente nas linguagens formais)? Por que você precisa de um conceito separado, o de 'string vazia', que até tem sua própria letra grega (ε)? Um personagem EOL …

7 formal-languages  terminology 

Deixei ϕϕ\phi ser uma fórmula 3-CNF sobre variáveis x1,x2,…,xnx1,x2,…,xnx_1,x_2,\ldots,x_n. Toda variávelxixix_i, i∈[n]i∈[n]i \in [n], ocorre igualmente muitas vezes como um literal positivo e como um literal negativo em ϕϕ\phi. É NP-completo decidir a satisfação de tal fórmula? Supondo que seja, eu estaria interessado em saber se ele tem um nome …

7 complexity-theory  np-complete  satisfiability  decision-problem 

Esta é uma pergunta do exame do nosso curso "Autômatos e línguas formais". Há uma pergunta em que é solicitado que prove ou refute que qualquer operação de "complemento relativo" entre duas linguagens sensíveis ao contexto também produzirá uma linguagem sensível ao contexto. Das propriedades de fechamento sensíveis ao contexto …

7 formal-languages  closure-properties  context-sensitive 

Para continuar este post , vamos definir o problema Monotone -SAT:(+,2−)(+,2−)(+, 2^-) Dada uma fórmula monótona de CNF , em que cada variável aparece exatamente uma vez (como um literal positivo) e uma fórmula monotônica de 2-CNF definida nas mesmas variáveis ​​que , onde todas as variáveis ​​são negadas. É …

7 complexity-theory  np-complete  decision-problem  complexity-classes 

3-PARTITION é fortemente NP-completo , isto é, permanece NP-completo mesmo se a entrada for dada como unária. Estou pesquisando dois ou três exemplos de problemas não numéricos (possivelmente bem conhecidos) que provaram ser NP-completos usando uma redução de 3-PARTITION (e a redução obviamente depende da fortemente np-completude). Gostaria das referências …

7 reference-request  np-complete