Existem estudos sobre algoritmos de aproximação para problemas completos de NP em tempo polinomial e algoritmos exatos em tempo exponencial. Existem estudos sobre algoritmos de aproximação para problemas completos de NP no tempo subexponencial da forma 2nδ22nδ22^{n^{\delta_2}} onde...
Isso está escrito na entrada wiki da Symbolic Execution , mas não consigo encontrar nenhuma referência para isso. Alguém pode me mostrar um ponteiro?
Os esforços de verificação do compilador geralmente se resumem em provar que o compilador é totalmente abstrato: preserva e reflete equivalências (contextuais). Em vez de fornecer provas completas de abstração, alguns trabalhos recentes de verificação do compilador (baseados em categorias) por...
Gráfico Isomorfismo ( ) é bom candidato para N P problema Intermédio. N P existem problemas Intermédio a menos que P = N P . Estou procurando um problema natural que é difícil para G I com redução de Karp (um problema gráfico X tal que G I < m p X
Uma maneira de mostrar que verificar a viabilidade de um sistema linear de desigualdades é tão difícil quanto a programação linear é através da redução dada pelo método elipsóide. Uma maneira ainda mais fácil é adivinhar a solução ideal e apresentá-la como uma restrição via pesquisa binária. Ambas...
Quando recebemos uma decomposição em árvore de um gráfico com largura , existem várias maneiras pelas quais podemos torná-lo "agradável". Em particular, sabe-se que é possível transformá-lo em uma decomposição de árvore onde a árvore é binária e sua altura é . Isso pode ser conseguido mantendo a...
Dizemos que uma Máquina de Turing é mortal se M parar para cada configuração inicial (em particular, o conteúdo da fita e o estado inicial podem ser arbitrários). Toda linguagem recursiva é reconhecida por uma máquina de Turing mortal? (ou seja, se existe uma MT que aceita L , também existe uma MT...
Existem muitas situações em que uma "prova" aleatória é muito mais fácil do que uma prova determinística, o exemplo canônico é o teste de identidade polinomial. Pergunta : Existem "teoremas" matemáticos naturais em que uma prova aleatória é conhecida, mas uma prova determinística não? Por uma...
Pergunta curta. Qual é o poder computacional dos circuitos "quânticos", se permitirmos portas não unitárias (mas ainda invertíveis) e exigirmos que a saída dê a resposta correta com certeza? Esta questão é de certa forma sobre o que acontece com a classe quando você permite que os circuitos usem...
Gostaria de pedir sugestões de bons textos que introduzam a complexidade do circuito. Qualquer indicação de avanços recentes e problemas em aberto nesse campo também seria
Um dos problemas em aberto interessantes sobre os DFAs listados em Existe algum problema em aberto sobre os DFAs? é o tamanho de um DFA necessário para separar duas cadeias de comprimento nnn . Estou curioso para saber se existem resultados sobre a capacidade de um DFA aleatório separar duas...
Em vez de evidências empíricas, por quais princípios formais provamos que a computação quântica será mais rápida que a computação tradicional /
O que acontece se definirmos P P A DPPAD{\bf PPAD} de tal modo que em vez de um circuito polytime Turing-máquina / polysize, um logspace Turing-máquina ou um A C 0AC0{\bf AC^0} circuito codifica o problema? Recentemente dando algoritmos mais rápidos para Circuit satisfiability para pequenos...
Todo circuito aritmético monótono , isto é, um circuito , calcula algum polinômio multivariado F ( x 1 , … , x n ) com coeficientes inteiros não negativos. Dado um polinômio f ( x 1 , … , x n ) , o
FewP é a classe de NPNPNP -os problemas com polinomial ligada do número de soluções (no tamanho da entrada). Não é conhecido nenhum NPNPNP problema -completo em fewPfewPfewP . Estou interessado em até onde podemos esticar essa observação. Existe alguma naturais NPNPNP problema -completo com...
Esta pergunta também foi publicada em Math.SE, /math/1002540/fixed-points-in-computability-nd-logic Espero que seja bom postá-lo aqui também. Caso contrário, ou se for muito básico para o CS.SE, informe-me e eu o excluirei. Gostaria de entender melhor a relação entre teoremas de pontos fixos...
Há cerca de um ano, um amigo e eu pensamos em uma maneira de implementar o algoritmo de Kruskal para gráficos densos melhor do que o usual vinculado (sem assumir arestas pré-classificadas). Especificamente, atingimos Θ ( n 2 ) em todos os casos, semelhante ao Prim quando implementado usando...
A complexidade da informação tem sido uma ferramenta muito útil na complexidade da comunicação, usada principalmente para limitar a complexidade da comunicação de problemas distribuídos. Existe um análogo da complexidade da informação para a complexidade da consulta? Existem muitos paralelos...
Se , então há um algoritmo logspace que resolve a versão decisão de 2-sab.L = N Leu=Neu\mathsf{L = NL} É conhecido como implicando que há um algoritmo logspace para obter uma atribuição de satisfazer , quando dado um exemplo satisfatível 2-sab como entrada?L = N Leu=Neu\mathsf{L = NL} Se não, e...
Há pouco tempo, alguém primeiro me disse que call / cc podia permitir objetos de prova para provas clássicas, implementando a lei de Peirce. Eu pensei um pouco sobre o assunto recentemente e não consigo encontrar uma falha nele. No entanto, eu realmente não consigo ver mais ninguém falando sobre...