É um algoritmo de tempo polinomial determinístico conhecido pelo seguinte problema: Entrada: um número natural (em codificação binária)nnn Saída: um número primo .p > np>np > n (De acordo com uma lista de problemas em aberto de Leonard Adleman, o problema foi aberto em 1995.)...
Em conexão com a Slither Fazer a ligação quebra-cabeça, eu estive pensando: Suponha que eu tenho um grade de células quadrados, e eu quero encontrar um ciclo simples de bordas de grade, uniformemente de forma aleatória entre todos os ciclos simples possíveis.n×nn×nn\times n Uma maneira de fazer...
Formulei o seguinte problema hoje, enquanto brincava com o meu GPS. Aqui está : Seja um gráfico direcionado, de modo que se então , ou seja, é uma orientação do gráfico não direcionado subjacente. Considere as seguintes operações:G(V,E)G(V,E)G(V,E)e=(u,v)∈Ee=(u,v)∈Ee=(u,v) \in E(v,u)∉E(v,u)∉E(v,u)...
Eu tenho lido muito sobre sistemas de tipos e coisas desse tipo e entendo por que eles foram introduzidos (para resolver o paradoxo de Russel). Eu também entendo aproximadamente sua relevância prática em linguagens de programação e sistemas de prova. No entanto, não estou totalmente confiante de...
Como não houve resposta no Lambda the Ultimate , tentei novamente aqui: sistemas de reescrita de termos são usados, por exemplo, em teoremas automatizados que provam um cálculo simbólico e, é claro, para definir gramáticas formais. Existem algumas linguagens de programação baseadas na reescrita de...
Questão: Qual é o limite inferior do tamanho da fórmula mais conhecido para uma função explícita no AC 0 ? Existe uma função explícita com um limite inferior Ω(n2)Ω(n2)\Omega(n^2) ? Fundo: Como a maioria dos limites inferiores, os limites inferiores do tamanho da fórmula são difíceis de...
Recentemente, eu estava lendo o analisador Earley e acho que é um dos algoritmos mais elegantes que já vi até hoje. No entanto, o algoritmo em seu sentido tradicional é um reconhecedor e não um analisador, o que significa que ele pode detectar se uma sequência corresponde a um CFG específico, mas...
Os solucionadores SAT são muito importantes em ataques algébricos , por exemplo, walkinsat e minisat . No entanto, ao resolver os problemas de benchmark disponíveis aqui, há uma enorme diferença de desempenho entre os dois - o Walksat é muito mais rápido que o minisat para esses problemas. Por que...
Como afirmado no título, pergunto-me qualquer relação e diferença entre CIC e ITT. Alguém poderia me explicar ou apontar alguma literatura que compara esses dois sistemas?
O resultado por Robertson e Seymour demonstra um algoritmo para testar se um gráfico fixo é um menor de . Eu tenho duas perguntas e meia sobre este tópico:G HO(n3)O(n3)O(n^3)GGGHHH 1) Parece que houve melhorias nesse algoritmo desde então. Qual é o algoritmo mais conhecido atualmente? 2a) O que...
Li em vários artigos que se acredita amplamente na existência de funções de mão única . Alguém pode esclarecer por que esse é o caso? Que argumentos temos para apoiar a existência de funções
Estarei participando da minha primeira conferência de ciência da computação e, depois de ler os conselhos sobre como melhorar as conferências , notei que várias sugestões eram sobre alunos de pós-graduação que participavam de sua primeira conferência. Que conselho você daria para um estudante de...
Suponha que tenhamos uma classe de objetos (digamos gráficos, seqüências de caracteres) e uma relação de equivalência nesses objetos. Para gráficos, isso pode ser isomorfismo gráfico. Para strings, poderíamos declarar duas strings equivalentes se forem anagramas uma da outra. Estou interessado em...
Dado um gráfico não-direcionado e não ponderado e um número inteiro par , qual é a complexidade computacional da contagem de conjuntos de vértices modo que e o subgrafo de restrito ao conjunto de vértices admite uma combinação perfeita? A complexidade é # P-completa? Existe uma referência para este...
Essa questão surge da pura curiosidade (surgiu quando pensamos em embaralhar uma string , mas não tenho certeza se ela está realmente relacionada), por isso espero que seja apropriado. Existem vários produtos gráficos e estou interessado em qualquer um deles aqui. Qual é a complexidade de...
Volume III de Knuth de The Art of Computer Programming (capítulo 5, versículo 3.2) inclui o seguinte tabela listando o exato número mínimo de comparações necessárias para selecionar o th menor elemento de um conjunto indiferenciado de tamanho , para todos . Esta tabela, juntamente com as conhecidas...
O que se sabe sobre a complexidade do seguinte problema: Dado: números racionais x1<x2<…<xnx1<x2<…<xnx_1 < x_2 < \dotso < x_n . Saída: números inteiros y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n . Objetivo: minimizar ∑1≤i<j≤ne(i,j),∑1≤i<j≤ne(i,j),\sum_{1 \le i < j...
O Lema de Regularidade de Szemeredi diz que todo gráfico denso pode ser aproximado como uma união de O(1)O(1)O(1) muitos gráficos expansores bipartidos. Mais precisamente, existe uma partição da maioria dos vértices nos conjuntos O(1)O(1)O(1) , de modo que a maioria dos pares de conjuntos forma...
Recentemente, Ryan Willams provou que a Construtividade na Prova Natural é inevitável para derivar uma separação de classes de complexidade: N E X PNEXP\mathsf{NEXP} e . T C0 0TC0 0\mathsf{TC}^{0} A construtividade na prova natural é uma condição que todas as provas combinatórias na complexidade...
O que se sabe sobre a complexidade computacional de fatorar números inteiros em campos numéricos gerais? Mais especificamente: Sobre os números inteiros, representamos números inteiros por meio de suas expansões binárias. Quais são as representações análogas de números inteiros nos campos...