Perguntas com a marcação «reference-request»

O termo inversão de programa tem várias tonalidades de significado, mas provavelmente começou com o trabalho de J. McCarthy, de 1956, The Inversion of Functions Defined by Turing Machines no contexto da IA. Até agora, muitas conexões entre inversão de programa e outros campos foram descobertas, por exemplo, programação reversível …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing 

Suponha que é uma linguagem parametrizada em relação a algum alfabeto . A fatia de é , o conjunto de instâncias em que têm o parâmetro . A classe de complexidade contém as linguagens parametrizadas modo que para cada , possivelmente com um algoritmo diferente e tempo de execução polinomial …

10 cc.complexity-theory  reference-request  parameterized-complexity 

Motivação : Ao desenvolver ferramentas para controle de versão de dados, acabamos analisando algoritmos para "diferenciar" dois conjuntos de números inteiros, criando uma sequência de transformações que levam um conjunto de números inteiros para o outro. Conseguimos reduzir esse problema ao seguinte problema muito natural que parece ter conexões para …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

Onde posso encontrar uma introdução aos autômatos probabilísticos e o que eles reconhecem (certas funções de palavras a )? Existe um termo padrão para essas funções que são reconhecidas por autômatos probabilísticos, análogos a "linguagens regulares" para o que os autômatos finitos determinísticos (DFAs) reconhecem?[ 0 , 1 ][0,1][0,1] Estou …

10 reference-request  fl.formal-languages  probabilistic-automata 

Seja AAA uma matriz sobre o campo finito F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} e xxx , yyy sejam vetores do espaço Fn2F2n\mathbb{F}_2^n . Estou interessado na complexidade computacional de decidir se existe t∈Nt∈Nt \in \mathbb{N} tal que Atx=yAtx=yA^t x = y , ou seja, no problema de alcançabilidade de sistemas dinâmicos lineares …

10 cc.complexity-theory  reference-request  linear-algebra 

Os transdutores considerados aqui são aqueles que a Wikipedia chama de transdutores de estado finito . O comportamento de um transdutor , isto é, a relação que ele calcula, é escrito : uma palavra é uma saída para iff .[ T ] y x x [ T ] yTTT[ T][T][T]yyyxxxx …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Considere o seguinte problema: Dada uma matriz , queremos otimizar o número de adições no algoritmo de multiplicação para calcular v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Acho esse problema interessante por causa de seus laços com a complexidade da multiplicação de matrizes (esse problema é uma versão …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

É um fato bastante conhecido que derivar uma contradição de uma desigualdade (por exemplo, ) na teoria do tipo Martin-Loef requer um universo.( 0 = 1 ) → ⊥(0 0=1 1)→⊥(0=1) \to \bot A prova também é bastante direta - na ausência de universos, podemos apagar as dependências de qualquer …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

A complexidade da prova é uma área mais básica da teoria da complexidade computacional. Um objetivo final dessa área é provar , ou seja, qualquer provador não pode dar uma prova de insatisfação de determinada fórmula de entrada. NP≠coNPNP≠coNPNP\neq coNP Um gráfico é um modelo formal de provas. Minha pergunta …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

No artigo de 1965 " Sobre a complexidade computacional dos algoritmos ", de Hartmanis e Stearns, os autores conjeturam que se uma Máquina de Turing em tempo real computa o número real , por exemplo, na base 10, então é um número racional ou um número transcendental.rrrrrr Existe um número …

10 cc.complexity-theory  reference-request  examples 

Histórico: O processamento de transações tem sido um tópico de pesquisa tradicional na teoria de bancos de dados. Atualmente, as transações distribuídas são popularizadas pelos sistemas de armazenamento distribuído em larga escala, que geralmente envolvem partição de dados (também chamada de sharding) e replicação de dados . Quais são os …

10 reference-request  big-list  dc.distributed-comp  db.databases 

nnnx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 Eu tentei algumas distribuições e quase todas elas têm variação . Por exemplo, a distribuição na qual cada coordenada de cada é escolhida de maneira independente e uniforme de e a distribuição na qual cada é um vetor uniforme independente na esfera unitária …

10 reference-request  randomized-algorithms 

Existem problemas solucionáveis ​​no tempo polinomial apenas se P! = NP e solucionáveis ​​no tempo (digamos) ?O ( 2n)O(2n)O(2^n) Um exemplo simples seria: Se P! = NP, calcule um teste de primalidade para um número aleatório de n bits, caso contrário, avalie uma posição aleatória de pior caso no xadrez …

10 cc.complexity-theory  reference-request 

Qual é a definição padrão do Planar 3-SAT? Eu já vi várias definições diferentes. Qual foi o documento original que o definiu e provou ser NP-completo?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Dado um gráfico direcionado, queremos decidir se ele contém um ciclo direcionado de comprimento uniforme. Este artigo de 1997 de YUSTER e ZWICK afirma que não se sabe que o problema está em nem se sabe que ele está completo como .PPPNPNPNP Existe algum resultado recente que resolva a complexidade …

10 cc.complexity-theory  reference-request  graph-theory