é amplamente conjecturado ser falsa.RP=NPRP=NPRP = NP Mas imagine por um momento que seja verdade. Nesse caso, qual a probabilidade de ?P=NPP=NPP = NP Em outras palavras: em um mundo onde , o que ainda pode ser visto como um obstáculo para acreditarmos em P = N P ?RP=NPRP=NPRP = NPP=NPP=NPP =...
O algoritmo simplex é frequentemente tratado dentro da aritmética real ou no mundo discreto com cálculos exatos. No entanto, parece ser implementado com mais frequência com aritmética de ponto flutuante. Isso leva à questão de saber se o algoritmo simplex deve ser considerado como um algoritmo...
O teorema da dicotomia de Schaefer mostra que cada problema de CSP acima de é solucionável em tempo polinomial ou é NP completo. Isso se aplica apenas a problemas CSP de largura limitada, excluindo SAT e Horn-SAT, por exemplo. Os problemas gerais de largura ilimitada do CSP podem ser muito difíceis...
Considere um circuito que recebe como números de entrada em [0,1][0,1][0,1] e possui portas que consistem nas funções max(x,y)max(x,y)\max(x, y) , min(x,y)min(x,y)\min(x, y) , 1−x1−x1 - x e x+y2x+y2\frac{x+y}{2} . A saída do circuito também é um número em [0,1][0,1][0,1] . Alguém sabe se este...
O famoso artigo de 1983 de H. Lenstra Programação inteira com um número fixo de variáveis afirma que programas inteiros com um número fixo de variáveis são solucionáveis no polinômio no tempo no comprimento dos dados. Eu interpreto isso da seguinte maneira. A programação inteira, em geral,...
Qual é o algoritmo mais eficiente (em complexidade de tempo), conhecida hoje em dia para o Divisibity decisão Problema: dados dois inteiros, digamos, e b , faz uma divisão b ? Deixe claro que o que eu peço não é (necessariamente) um algoritmo para o Cálculo Restante. Eu só quero saber se a divide b...
Estou procurando resultados de dureza na coloração de vértices de gráficos com grau delimitado. Dado um gráfico , sabemos que para qualquer ϵ > 0 , é difícil aproximar χ ( G ) dentro de um fator de | V | 1 - ϵ a menos que NP = ZPP [ 1 ]. Mas e se o grau máximo de G for delimitado por d ?...
Sudoku é um quebra-cabeça conhecido que é NP-completo. O Sudoku binário é uma variante que permite apenas os números e 1 . As regras são as seguintes.000111 Cada linha e cada coluna deve conter um número igual de zeros e uns. Cada linha e cada coluna é única. Nenhuma linha ou coluna contém...
Defina como a classe de idiomas que pode ser aceita por uma máquina de Turing (multitape) no tempo f ( n ) + 1 . (O " + 1 " é apenas para simplificar a notação e evitar confusão.) Observe que não há O ( ⋅ ) em torno de f ( n ) + 1 .DTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+...
Estou procurando um pequeno gráfico GGG cujo número cromático vetorial é menor que o número cromático,
A análise suavizada foi aplicada muitas vezes para entender o tempo de execução de algoritmos exatos para muitos problemas, como programação linear e médias k. Existem resultados bastante gerais neste domínio, por exemplo, Heiko Röglin e Berthold Vöcking, Análise Suavizada da Programação Inteira,...
Qual é a relação entre PLSPLS\mathsf{PLS} e APXAPX\mathsf{APX} ? Em outras palavras, os problemas que admitem uma pesquisa local em horário polinomial são aproximados? Problemas aproximados de otimização implicam em geral um algoritmo de busca
Atualmente, estou fazendo uma pesquisa em Linguagem Formal envolvendo classes de idiomas acima do Regular, mas abaixo do Contexto Livre. Estou olhando para coisas como máquinas multicounter com limite de reversão, máquinas de balcão de pilha única, CFLs determinísticas, etc. Gostaria de saber se...
Dado um jogo determinístico de soma zero com informações parciais determinísticas, com apenas muitos estados finitos, cujos resultados possíveis são [perder, empatar, vencer] com valores [-1,0, + 1], respectivamente, qual é a complexidade de se aproximar o valor de tais um jogo de forma...
Sabemos que a hierarquia não colapso ( para todos os d )?TC0TC0\mathsf{TC^0} dTC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd A entrada Zoo para TC0TC0\mathsf{TC^0} menciona apenas a separação entre as profundidades 2 e 3. Também existe uma referência padrão para o fato de...
Esta é uma pergunta interessante que encontrei na web. Dado um array contendo n números (sem informações sobre eles), devemos pré-processar o array em tempo linear, para que possamos retornar os k menores elementos em O (k), quando recebermos um número 1 <= k <= n Estive discutindo esse...
Podemos provar um resultado nítido de concentração na soma de variáveis aleatórias exponenciais independentes, ou seja, Seja variáveis variáveis aleatórias independentes, de modo que . Seja . Podemos provar limites da forma . Isso segue diretamente se usarmos a forma de variação dos limites...
Esta questão é motivada por este post. Você consegue identificar a soma de duas permutações no tempo polinomial? , e meu interesse em propriedades computacionais de permutações. Uma sequência de diferenças de uma permutação dos números é formada pela descoberta da diferença entre cada dois números...
Eu tenho um autômato finito não determinístico muito grande e preciso convertê-lo no DFA. Em geral, quero dizer 40.000 estados. Até agora, fiz alguns experimentos e programei o algoritmo padrão que pesquisa na tabela (como descrito aqui ), mas mesmo após a otimização é muito lento e consome muita...
Quais são algumas aplicações concretas e convincentes para estimar o volume de poliedros convexos do tipo considerado nos artigos mais recentes sobre métodos de caminhada aleatória? Estes trabalhos sobre estimativa de volume mencionam a integração numérica como uma motivação. Quais são os...