Bem, o título praticamente diz tudo. A pergunta interessante acima foi feita pelo comentarista Jay no meu blog (veja aqui e aqui ). Suponho que a resposta é sim e que existe uma prova relativamente simples, mas não a vi de imediato. (Muito grosso modo, pode-se tentar mostrar que, se um idioma em...
Eu gostaria de saber se houve conjecturas que há muito não foram comprovadas no TCS, que mais tarde foram provadas por uma implicação de outro teorema, que podem ter sido mais fáceis de provar.
A largura da árvore desempenha um papel importante nos algoritmos do FPT, em parte porque muitos problemas são parametrizados pelo FPT pela largura da árvore. Uma noção relacionada, mais restrita, é a de largura de caminho. Se um gráfico tem largura de caminho , ele também tem largura de árvore no...
Estou interessado no seguinte problema: Dado um matriz, existe um grafo não direcionado em n vértices cuja adjacência matriz ao quadrado é essa matriz?n × nn×nn\times nnnn A complexidade computacional desse problema é conhecida? Observações: Obviamente, isso também pode ser formulado como um...
Na descrição oficial do problema de Clay para P versus NP, afirma-se que seguiria mostrando que "todas as línguas em [a classe de línguas reconhecíveis em tempo exponencial com uma máquina de Turing determinística] podem ser computadas por uma família de circuitos booleanos modo que, por pelo menos...
Estou interessado na conexões entre aprendizagem "caos", ou, mais amplamente, sistemas dinâmicos, eo pergunta. Aqui está um exemplo do tipo de literatura que estou procurando:P= NPP=NPP{=}NP Ercsey-Ravasz, Mária e Zoltán Toroczkai. "Dureza de otimização como caos transitório em uma abordagem...
É um resultado bem conhecido que a pergunta Uma gramática sem contexto gera uma linguagem comum? é indecidível. No entanto, torna-se decidível em um alfabeto unário, simplesmente porque, neste caso, as classes de linguagens livres de contexto e regulares coincidem. Minha pergunta é saber o...
Há algum problema NP completo com nenhum subconjunto infinito de instâncias tal que a adesão em Φ pode ser decidida em tempo polinomial, e para todo x ∈ Φ , x pode ser resolvido em tempo polinomial? (Assumindo P ≠ N P )ΦΦ\PhiΦΦ\Phix∈Φx∈Φx \in \PhixxxP≠NPP≠NPP \neq...
Existe algum projeto em andamento para verificar formalmente os teoremas e as provas da teoria da complexidade usando um assistente de prova como Coq? Existem limites para fazer
Estou resolvendo um problema que é considerado difícil em NP em outros lugares, digamos no artigo [XYZ]. A dureza NP fornecida em [XYZ] é complicada e utiliza técnicas avançadas. Após algumas pesquisas e trabalhos, consegui dar uma prova simples e clara da dureza do NP. Gostaria de saber se isso é...
Existe um exemplo explícito conhecido de um algoritmo com a propriedade tal que, se P≠NPP≠NPP\neq NP , esse algoritmo não é executado no tempo polinomial e se P=NPP=NPP=NP , ele é executado no tempo
Sei que essa pode ser uma pergunta controversa, mas esse parece ser o lugar certo para perguntar. Por favor, me redirecione se não estiver. O pano de fundo é que eu sou um "praticante" (estudante de doutorado, não estudo teoria da CS), mas tenho uma base razoável em algoritmos de graduação e...
A Computação Quântica é uma área ativa de pesquisa que visa tirar proveito da física quântica (por exemplo, emaranhamento quântico) para aprimorar as capacidades de eficiência dos computadores (não altera a tese de Church-Turing ). Quais são os experimentos mais significativos que foram...
Suponha que você receba um gráfico H. simples, não direcionado, conectado O problema do corte sem H é definido da seguinte maneira: Dado um gráfico simples e não direcionado G, existe um corte (partição de vértices em dois conjuntos não vazios, L, R), de modo que os gráficos induzidos pelos...
Normalmente, algoritmos eficientes têm um tempo de execução polinomial e um espaço de solução exponencialmente grande. Isso significa que o problema deve ser fácil em dois sentidos: primeiro, o problema pode ser resolvido em um número polinomial de etapas e, segundo, o espaço da solução deve ser...
É sabido que o conjunto de idiomas com sistemas de prova interativa de dois provadores, nos quais o verificador é executado em tempo polinomial (MIP), é NEXP. Mas existem limites conhecidos sobre o poder de tais provas interativas quando os provadores têm um poder restrito? Por exemplo, qual é a...
A dinâmica de Glauber é uma cadeia de Markov nas cores de um gráfico, na qual a cada passo tenta-se recolorir um vértice escolhido aleatoriamente com uma cor aleatória. Ele não se mistura para as 3 cores de um ciclo de 5: existem 30 3 cores, mas apenas 15 delas podem ser alcançadas por etapas de...
No "último parágrafo" da "primeira página" do seguinte artigo: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Se NP possui circuitos de tamanho polinomial, então MA = AM", Ciência da Computação Teórica, 1995. Eu encontrei uma afirmação um tanto contra-intuitiva:...
Encontrei o livro Pairwise Independence and Derandomization sobre o assunto, mas é mais orientado para a pesquisa do que orientado para o tutorial. Eu sou novo no assunto de "Derandomization" e, como tal, queria saber de qual referência começar? Prefiro um que discuta literatura e história, bem...
Estou interessado em propriedades de gráficos direcionados aleatórios com grau externo fixoddd . Estou imaginando um modelo de gráfico aleatório em que cada vértice escolhe d vizinhos (digamos, com substituição) uar Pergunta : Sabe-se alguma coisa sobre a distribuição estacionária e os tempos...