Estou procurando uma estrutura de dados e um algoritmo para calcular o número mínimo de alterações necessárias para transformar uma palavra em outra, considerando as duas palavras como entradas, onde as únicas alterações permitidas são adicione uma letra em uma das extremidades (por exemplo, AB...
Eu tenho algumas perguntas sobre enganar circuitos de profundidade constante. Sabe-se que a independência do é necessária para enganar os circuitos A C 0 de profundidade d , em que n é o tamanho da entrada. Como alguém pode provar isso?logO(d)(n)logO(d)(n)\log^{O(d)}(n)AC0AC0AC^0dddnnn Uma vez...
Estou tentando entender o protocolo bitcoin no contexto da segurança criptográfica computacional. A questão é uma solicitação de referência para fundações de artigos de criptografia em bitcoin. Minha primeira pergunta é qual protocolo criptográfico abstrato o bitcoin está tentando implementar?...
Gostaria de saber se existe um mundo relativizada onde . Também estou interessado em saber se existe um mundo relativizada onde P B ≠ N P B = P P B .PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf
Aproximadamente uma matriz da classificação é considerada rígida, se reduzir sua classificação para nnnn , é necessário alterar pelo menosn1+ϵde suas entradas, para algunsϵ>0.n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 Se um matriz A é rígida, então o mais pequeno programa...
Eu, como muitas pessoas, sou um usuário perspicaz de software matemático como Mathematica e Maple. No entanto, fico cada vez mais frustrado com os muitos casos em que esse software simplesmente fornece a resposta errada sem aviso prévio. Isso pode ocorrer ao executar todos os tipos de operações, de...
Deixe ad(G)ad(G)\rm{ad}(G) é a distância média de um gráfico conectado G.G.G. Uma maneira de calcular ad(G)ad(G)\rm{ad}(G) é somando os elementos de D(G),D(G),D(G), a matriz de distância de GGG e escalando a soma adequadamente. Se o gráfico de saída for uma árvore, sabe-se que a distância média...
O assistente de ensino de um curso conseguiu escrever um programa que (deterministicamente) gera perguntas difíceis para os exames. Agora, ela gostaria de escrever um programa que gere as respostas correspondentes. O problema do examinador pergunta se isso é sempre possível; a Conjectura de...
Estou tentando entender a relação entre a complexidade algorítmica e a complexidade do circuito de Determinantes e Multiplicação de Matrizes. Sabe-se que o determinante de um matriz pode ser calculado em ~ O ( H ( n ) ) de tempo, em que M ( N ) é o tempo mínimo necessário para multiplicar...
Sabe-se que algumas classes de complexidade sintática (não relativizadas) entre e P S P A C E têm a seguinte propriedade, P ⊆ C o N P ⊆ U S ⊆ C = P ⊆ P P ⊆ P S P A C E . Gostaria de saber se existe uma classe de complexidade sintática (não relativizada) X tal que P P ⊆ X ⊆ P S P A C EPP{\bf P}P S P...
Este é um acompanhamento da minha pergunta anterior: Limite inferior da complexidade determinística do tempo mais conhecido para um problema natural em NP Acho desconcertante não termos sido capazes de provar qualquer limite determinístico quadrático de tempo para qualquer problema de NP...
Parte da dificuldade de descobrir mais sobre esse problema é que o problema de correspondência de gráfico é diferente de seu primo muito mais famoso, o problema de correspondência, mas difícil de ser distinguido quando se usa os mecanismos de pesquisa. Dados dois gráficos e tais que, a tarefa é...
Embora a regra geral seja que, nos documentos da TCS, os autores sejam ordenados alfabeticamente, existem alguns contra-exemplos notáveis que vêm à mente, nos quais os autores são ordenados de maneira diferente, por exemplo, Métodos Algébricos para Sistemas Interativos de Prova [Lund, Fortnow,...
Recordar o diâmetro de um gráfico que é o comprimento de um caminho mais longo que mais curto em . Dado um gráfico, um algoritmo óbvio para calcular resolve o problema de caminho mais curto de todos os pares (APSP) e retorna o comprimento do caminho mais longo encontrado.G diam ( G )GGGGGGdiam ( G...
Todos os solucionadores #SAT que eu conheço, por exemplo, RelSat, C2D, retornam apenas o número de instâncias satisfatórias. Mas eu quero conhecer cada uma dessas instâncias? Existe um solucionador de #SAT ou como devo modificar um solucionador de #SAT disponível para fazer...
Esta pode ser uma pergunta muito simples. Mas qual é a diferença entre tipos e tipos? Meu entendimento atual é que você tem uma teoria de tipos com regras de tipos que dão uma noção de uma declaração bem digitada, mas as classificações são mais básicas, diferenciando símbolos em diferentes tipos...
Eu tenho alguns milhões de valores de 32 bits. Para cada valor, quero encontrar todos os outros valores a uma distância de 5. De maneira ingênua, isso requer comparações de O(N2)O(N2)O(N^2) , o que quero evitar. Percebi que se apenas tratasse esses valores de 32 bits como números inteiros e...
Atualmente, existem muitos resultados em separadores em gráficos, desde separador planar, separador de árvores, gráficos de largura de árvores delimitadas, gráficos de gênero delimitados, etc, etc, etc. Existe alguma pesquisa atualizada sobre isso e suas
Esse problema já foi estudado antes? Dado um gráfico métrico não direcionado G (os comprimentos das arestas satisfazem a desigualdade do triângulo), encontre um conjunto S de vértices de modo que o MST (G [S]) seja maximizado, onde MST (G [S]) é a árvore de abrangência mínima do subgráfico...
Este artigo recente do FOCS2013, Strong Backdoors to Bounded Treewidth SAT de Gaspers e Szeider, fala sobre o vínculo entre a largura da árvore do gráfico da cláusula SAT e a dureza da instância. Para instâncias aleatórias de 3-SAT, ou seja, 3-SAT escolhidas aleatoriamente, qual é a correlação...