Em sua resposta a essa pergunta , Stephane Gimenez me indicou um algoritmo de normalização em tempo polinomial para provas em lógica linear. A prova no artigo de Girard usa redes de prova, que são um aspecto da lógica linear de que eu realmente não sei muito. Agora, eu tentei ler artigos sobre...
Eu me deparei com um desacordo confuso entre Agda e Coq que não está obviamente relacionado às distinções mais conhecidas entre suas teorias de tipos (por exemplo, (im) predicatividade, indução-recursão etc.). Em particular, a seguinte definição é aceita pela Agda: data Ty : Set0 -> Set0...
Há uma reputação de que, na ciência da computação, não temos livros populares de ciência. Claro que isso não é verdade! (No mesmo espírito da lista de que os livros devem Todo mundo Read? , Que documentos devem todos ler? , O que vídeos deve relógio todos? E inspirado a partir Favorita livro de...
Sei que é indecidível determinar se um conjunto de peças pode ladrilhar o avião, resultado de Berger usar as peças Wang . Minha pergunta é se é também conhecido como indecidível determinar se um único bloco pode ladrilhar o avião, um bloco monohédico . Se isso não for resolvido, eu estaria...
Acho que li muitos documentos ambiciosos do CRR . O problema é que esses documentos não são revisados por pares, mas costumam parecer interessantes e passam por verificações básicas de plausibilidade. Ou talvez não, e eu só preciso melhorar minhas verificações de plausibilidade. Aqui está uma...
Estou tentando entender a relação entre isomorfismo de gráfico e o problema de subgrupo oculto. Existe uma boa referência para
Subhash Khot 's únicos Jogos Conjectura é uma das áreas de pesquisa ativos na teoria da complexidade. Que evidência temos para isso? Que evidência temos contra
Se eu tiver um conjunto de restrições lineares em que cada restrição tenha no máximo (digamos) 4 variáveis (todas não-negativas e com coeficientes {0,1}, exceto uma variável que pode ter um coeficiente -1), o que se sabe sobre a solução espaço? Estou menos preocupado com uma solução eficiente...
( Publiquei esta pergunta no MathOverflow há duas semanas, mas até agora sem uma resposta rigorosa) Tenho uma pergunta sobre medidas de largura de gráfico de gráficos simples não direcionados. É sabido que as cografias (gráficos que podem ser construídos pelas operações de união e complementação...
Postagem atualizada em 31 de agosto : Adicionei um resumo das respostas atuais abaixo da pergunta original. Obrigado por todas as respostas interessantes! Obviamente, todos podem continuar postando novas descobertas. Para quais famílias de gráficos existe um algoritmo polinomial de tempo para...
Dado é um dag. Você deseja rotular cada nó por quantos nós são acessíveis a partir dele. é um limite superior trivial; é um limite inferior (eu acho). Existe um algoritmo melhor? Há razões para acreditar que o limite inferior pode ser melhorado (relacionado: o que exatamente se sabe sobre limites...
Esta pergunta está relacionada a uma resposta que eu postei em resposta a outra pergunta. O problema de 3 partições é o seguinte: Instância : números inteiros positivos a 1 ,…, a n , em que n = 3m e a soma dos n números inteiros é igual a mB, de modo que cada a i satisfaça B / 4 <a i <B /...
A largura da árvore mede a distância entre um gráfico e uma árvore. É NP-difícil calcular a largura da árvore. O algoritmo de aproximação mais conhecido atinge fator.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) O teorema de Courcelle afirma que qualquer propriedade dos gráficos definíveis na lógica...
O que se sabe sobre a complexidade de encontrar circuitos mínimos que calculam SAT até o comprimento ? nnn Mais formalmente: qual é a complexidade de uma função que, dada como entrada, gera um circuito C mínimo, de modo que, para qualquer fórmula φ com | & Phi; | ≤ n , C ( φ ) = S A T ( φ )...
Na pesquisa "Circuitos Quânticos de Profundidade Pequena" de D. Bera, F. Green e S. Homer (p. 36 da ACM SIGACT News, junho de 2007 vol. 38, n. 2) , li a seguinte frase: A versão clássica de (na qual as portas e têm fanout no máximo constante) é comprovadamente mais fraca que...
A primeira etapa do algoritmo de teste de primalidade AKS é verificar se o número de entrada é uma potência perfeita. Parece que esse é um fato bem conhecido na teoria dos números, uma vez que o artigo não a explicou em detalhes. Alguém pode me dizer como fazer isso em tempo polinomial?...
Provavelmente, a aplicação mais comum de tipos lineares no PL é usá-los para fornecer linguagens que controlam o aliasing (ou seja, um valor linear tem um único ponteiro para ele, mais ou menos). Mas há uma pequena incompatibilidade entre esse uso e os modelos denotacionais típicos da lógica...
Para A⊂[n]A⊂[n]A\subset [n] designam por aiaia_i o ithithi^{th} menor elemento de AAA . Para dois conjuntos de elementos kkk , A,B⊂[n]A,B⊂[n]A,B\subset [n] , dizemos que A≤BA≤BA\le B se ai≤biai≤bia_i\le b_i para cada iii . Um kkk -uniform hipergrafo H⊂[n]H⊂[n]{\mathcal H}\subset [n] é chamado uma...
Onde posso encontrar gráficos relevantes para problemas da vida real? Dois repositórios que eu conheço são: Coleção Sparse Matrix da Universidade da Flórida Largura da Árvore de
Computadores quânticos são muito bons para distribuições de amostragem que não sabemos como amostrar usando computadores clássicos. Por exemplo, se f é uma função booleana (de a - 1 , 1 ) que pode ser calculada em tempo polinomial, então com computadores quânticos, podemos amostrar eficientemente...