Problema: Recebemos um conjunto de paus, todos com comprimentos inteiros. A soma total de seus comprimentos é n (n + 1) / 2. Podemos separá-los para obter pedaços do tamanho em tempo polinomial? 1 , 2 , … , n1,2,…,n{1,2,\ldots,n} Surpreendentemente, a única referência que encontro para esse...
Seja um gráfico simples não direcionado e sejam vértices distintos. Deixe que o comprimento de um caminho simples seja o número de arestas no caminho. Estou interessado em calcular o tamanho máximo de um conjunto de caminhos st simples, de modo que cada caminho tenha um comprimento ímpar, e os...
Estou interessado em uma função booleana explícita com a seguinte propriedade: se for constante em algum subespaço afim de , então a dimensão deste subespaço é .f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff0,1n0,1n\\{0,1\\}^no(n)o(n)o(n) Não é difícil mostrar que uma função...
Quais universidades têm um currículo sólido de computação quântica e oferecem algum tipo de computação quântica / cursos de informação / pesquisa? O objetivo aqui é coletar uma lista útil para alguém que pensa em estudar nesses campos, e não discutir qual é o "melhor". Para tornar essa lista útil,...
Num artigo clássico, Munro e Paterson estudam o problema de quanto armazenamento é necessário para que um algoritmo encontre a mediana em uma matriz classificada aleatoriamente. Em particular, eles se concentram no seguinte modelo: a entrada é lida da esquerda para a direita por um número P de...
Em sistemas de prova para lógica proposicional clássica se quero mostrar que uma determinada fórmula não é um derivável simplesmente mostra que ¬ ψ pode ser derivada (embora outras técnicas certamente são possíveis). A não derivabilidade decorre essencialmente da solidez e integridade do sistema de...
Alguém sabe sobre um resultado de completude de NP para o problema DOMINATING SET em gráficos, restrito à classe de gráficos bipartidos planares de grau máximo 3? Eu sei que é NP-completo para a classe de gráficos planares de grau máximo 3 (veja o livro de Garey e Johnson), bem como para gráficos...
Recentemente, Watrous et al provaram que QIP (3) = PSPACE é um resultado notável. Este foi um resultado surpreendente para mim, para dizer o mínimo, e isso me fez pensar ... Eu me perguntava e se os Computadores Quânticos pudessem ser eficientemente simulados pelos Computadores Clássicos. Isso...
A teoria da complexidade parece capturar algo fundamental sobre a estrutura do universo, na medida em que formaliza a noção intuitiva de que alguns problemas são mais difíceis do que outros. Scott Aaronson previu : "A NP Hardness Assumption será vista como análoga à Segunda Lei da Termodinâmica ou...
Muitas vezes, se o tempo de execução de um algoritmo for uma expressão complicada, o próprio algoritmo também será complicado e impraticável. Cada uma das raízes do cubo e fatores no tempo de execução assintótico tende a adicionar complexidade ao algoritmo e também ocultar fatores constantes no...
O método de derivadas de Brzozowski é uma técnica muito bonita para construir autômatos determinísticos a partir de expressões regulares de uma maneira bastante algébrica. Eu elaborei algumas generalizações engraçadas dessa técnica para lidar com algumas classes maiores de gramática, mas os...
Estou correto ao entender que provar que um NP está completo é um sucesso de pesquisa? Se sim, por
Esta página afirma que muitos idiomas não usam subtipagem implícita (equivalência estrutural), preferindo subtipagem explícita / declarada (equivalência de declaração) Eu usei principalmente linguagens de programação que usam subtipos explícitos . Quais são as vantagens da subtipagem...
É sabido que existem muitos amadores - inclusive eu - que estão interessados no problema P vs. NP. Também existem muitos especialistas - inclusive eu - que tentaram resolver o problema. Um problema que eu acho que a comunidade do TCS sofre é uma proporção relativamente alta de...
2 perguntas para os geômetros computacionais ou algebristas: Estou apenas começando a mergulhar na geometria computacional e estou adorando =) Estou tentando ler o famoso artigo de Guibas e Stolfi chamado "Primitivos para a manipulação de subdivisões gerais e o cálculo dos diagramas de Voronoi"...
Acabei de ler a pergunta " A fatoração inteira é um problema NP-completo? " ... então decidi gastar parte da minha reputação :-) fazendo outra pergunta com P ( Q é trivial ) ≈ 1 :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Se é um oráculo que resolve inteiro fatoração, o...
É verdade que existem problemas na hierarquia polinomial solucionáveis no tempo (por uma máquina de Turing alternada em algum nível da hierarquia polinomial) que não são solucionáveis em em algum nível da hierarquia polinomial? Em outras palavras - existe um teorema da hierarquia de tempo para...
Quando consideramos um algoritmo de aproximação para um problema de minimização, o gap de integralidade de uma formulação IP para esse problema fornece um limite inferior de uma taxa de aproximação para determinada classe de algoritmos (como arredondamento ou algoritmo primal-duplo). De fato,...
Suponha que tenhamos polinômios de grau no máximo , , de modo que o número total de coeficientes diferentes de zero seja (isto é, os polinômios são esparsos). Estou interessado em um algoritmo eficiente para calcular o polinômio: n n > m np1, . . . , pmp1,...,pmp_1,...,p_mnnnn >...
Penso que um teorema da hierarquia de tamanho para a complexidade do circuito pode ser um grande avanço na área. É uma abordagem interessante para a separação de classes? A motivação para a pergunta é que temos que dizer existe alguma função que não pode ser calculada pelos circuitos de...