Ciência da Computação

Recentemente, pensei na seguinte prova de que L = P implica P = NP. Suponha que L = P. Seja A um problema no NP. Pela definição do verificador de NP, cada solução positiva para A tem uma testemunha que pode ser verificada em tempo polinomial. Desde P = L, …

8 complexity-theory  p-vs-np 

Isso é algo que não consegui encontrar - mas sempre achei interessante que o lema de bombeamento fosse apenas um lema (especialmente porque ele tem o mesmo nome para idiomas regulares, idiomas livres de contexto, etc ...) Para que é um lema?

8 complexity-theory  regular-languages  finite-automata 

Estou estudando sistemas de tipos puros, particularmente o cálculo de construções, e tentando usar uma codificação para tipos recursivos, o que, de acordo com Philip Wadler, é possível . Como exemplo, estou usando a biblioteca Morte Haskell para codificar números Scott, conforme dados por Cardelli . Um resumo da codificação …

8 lambda-calculus  type-theory 

Meu algoritmo inicial: Compare o elemento 0 com qualquer outro elemento, acompanhando quantos elementos são menores que ele. Repita para cada elemento até encontrar um elemento maior que exatamente (k-1). Suponho que isso levaria no pior caso. É possível obter um tempo de execução mais rápido sem classificar a lista?O(n2)O(n2)O(n^2)

8 search-algorithms  lists 

Estou tentando entender como posso classificar uma matriz de nnn elementos quando apenas lognlog⁡n\log n não estão no lugar. Ouvi dizer que classificar uma matriz com no máximo III inversões tem complexidade O(nlog( Eu/ n))O(nregistro⁡(Eu/n))O(n\log(I/n)). Porque eles sãoregistronregistro⁡n\log n elementos que não são classificados, no meu caso existem no máximo …

8 sorting 

Eu tenho a seguinte pergunta. Os solucionadores de SAT são determinísticos? Quero dizer, por exemplo, sobre o algoritmo miniSAT e DPLL . Eles são completamente determinísticos? Se esses algoritmos retornarem UNSAT, isso significa que certamente a solução não existe?

8 algorithms  logic  satisfiability  sat-solvers 

Recentemente, aprendi sobre o Q-learning, uma técnica de aprendizado por reforço que estima diretamente o valor esperado de uma ação em um estado. Gostaria de saber se existem técnicas para fazer "aprendizado dinâmico", a fim de estimar a dinâmica de um sistema. Um agente de "aprendizado dinâmico" pode escolher ações …

8 machine-learning  physics 

Dado um DFA, A, deixe L (A) denotar o número de palavras que A aceita. Eu acho que é fácil calcular L (A): traduza a codificação de A em uma expressão regular. Se a estrela Kleene aparecer em qualquer lugar da expressão - o idioma é infinito. Senão: percorra e …

8 regular-languages  automata  regular-expressions 

Como dito, eu quero construir um programa para gerar n pontos equidistantes em um espaço euclidiano. Pelo que eu sei 1d: todos os pontos 2d: todos os triângulos equilaterais 3d: todos os tetraedros equilaterais até 3d: suponho que seja chamado de hipertriangulo equilateral Portanto, meu problema é o seguinte, em …

8 computational-geometry 

Minha pergunta é a seguinte. Assuma issoΠΠ\Pié um problema difícil de NP. Dada uma instância arbitráriaIII do ΠΠ\Pi e suponha que um adversário sabe que essa instância é fácil de resolver, é possível encontrar um algoritmo determinístico de tempo polinomial para resolver essa instância específica III? Por exemplo: suponha que …

8 complexity-theory  np-complete  np-hard  np  p-vs-np 

Estou lendo a Linguagem de programação Rust e encontrei a seguinte passagem: Lembre-se de que escrever em uma estrutura não é uma operação atômica, e muitas funções como vec.push()podem se realocar internamente e causar comportamento inseguro; portanto, mesmo a monotonicidade pode não ser suficiente para justificar UnsafeCell Ele apareceu do …

8 programming-languages  synchronization 

Assumindo yyy é uma variável booleana em um programa ILP (ou seja, y∈Zy∈Zy \in Zst 0&lt;=y&lt;=10&lt;=y&lt;=10 <= y <= 1) e x1x1x_1, x2x2x_2 são variáveis ​​inteiras delimitadas entre 000 e MMM. Quero codificar a seguinte restrição de alto nível: y=1⟺x1≤x2y=1⟺x1≤x2y = 1 \iff x_1 \le x_2 Até agora eu tenho …

8 integer-programming 

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 (classe #P) é: Quantos certificados existem para que V …

8 complexity-theory 

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&gt;0aij&gt;0a_{ij}>0 para todos i∈Ki∈Ki\in K e j∈Nj∈Nj\in N. PERGUNTA : preciso encontrar um subconjuntoSSS do NNN de tamanho o menor possível e particione o conjunto KKK para dentro |S||S||S| conjuntos disjuntos KjKjK_j cuja …

8 algorithms  optimization 

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. Certamente, eu não …

8 computability  type-theory  dependent-types