Alguns anos atrás, participei de uma aula de teoria da complexidade de Steven Rudich, e lembro-me dele dando uma palestra interessante conectando testes estatísticos (como encontrado nos departamentos de estatística!) Com a complexidade do circuito. Lembro-me dele afirmando algo vagamente parecido:...
Sabe-se se ESPAÇO (n) (a classe de linguagens reconhecida por TMs determinísticas com espaço linear) é um subconjunto apropriado de E (a classe de linguagens reconhecida por TMs determinística no tempo 2 ^ O
Alguém conhece algum trabalho sobre semântica de jogos para predicados coindutivos? Um predicado coindutivo é aquele em que o próprio predicado é chamado no corpo do predicado, e estamos assumindo que o significado do predicado é o maior ponto fixo da definição subjacente. Esse predicado será...
No artigo Relativizações do P =? NP Question , Baker et al. mostrou que existem mundos relativizados nos quais P = NP ou P ≠ NP se mantém. Todos os oráculos em suas configurações eram conjuntos recursivos. Noutra papel em relação a uma aleatória a Oracle , P Um ≠ N P A ≠ co- N P A com...
(Estou no meio do meu primeiro curso teórico de cs, então peço desculpas antecipadamente pelo que provavelmente é uma pergunta estúpida.) Então, dizemos que alguma linguagem L está em P, o que significa que uma máquina de Turing pode ser construída que gera 1 se x estiver em L e 0, caso contrário;...
Gostaria de verificar o status do limite inferior do espaço para resolver o problema de conectividade no fluxo em passes. O Ω ( n / p ) foi declarado na literatura, mas parece ser um problema ligeiramente diferente. Perdi alguma coisa? Detalhes abaixo. pppΩ(n/p)Ω(n/p)\Omega(n/p) Dado um gráfico de...
Um Quine é um programa de computador que produz uma cópia do seu próprio código-fonte como sua única saída. Existe algum programa Quine que pode se imprimir n vezes, com n especificado de alguma forma no
Suponha que tenhamos um multigráfico (mais tarde, um hiperhipógrafo). Um clique de aresta é um conjunto de arestas que se cruzam em pares (com pelo menos um vértice comum). Então, qualquer clique de borda em uma multigráfica sempre cai em uma de duas categorias:CCC Uma estrela : existe um vértice...
Dado um torneio , onde e ser dois acíclico sub-torneio de .S 1 S 2 tTTTS1S1S_1S2S2S_2TTT O seguinte problema é NP-Complete: Localizando um sub-torneio acíclico máximo , que é um subconjunto de ?S 1 ∪ S 2SSSS1∪ S2S1∪S2S_1 \cup S_2 O problema em questão pode ser resolvido em tempo polinomial?...
Tentar encontrar a solução ideal para o WEIGHTED-MAX-3SAT, a versão ponderada do problema de otimização do 3-SAT, é difícil para o NP. De fato, mesmo aproximando-se arbitrariamente da versão não ponderada do MAX-SAT é comprovadamente difícil o NP pelo Teorema do PCP. Um algoritmo canônico para...
É necessária uma referência a técnicas para provar que o tamanho de uma lacuna de integralidade é limitado por alguma expressão para um LP específico (ou SDP, mas menos importante). Também seria bom ter uma referência a um local onde são descritas técnicas para minimizar as lacunas de...
Desejo conhecer a dimensão VC de um espaço de intervalo construído da seguinte maneira:(X,R)(X,R)(X,\mathcal{R}) XXX é o cilindro {(x,y,z)∈R3|x2+y2≤1}{(x,y,z)∈R3|x2+y2≤1}\{(x,y,z)\in\mathbb{R}^3|x^2+y^2\leq 1\} Os intervalos em RR\mathcal{R} são formados pela união de discos circulares, de modo...
As frases: A rápida raposa marrom pula sobre o cachorro preguiçoso [A] e A raposa marrom uick pula sobre o cachorro preguiçoso [B] pode ser comparado usando o algoritmo Levenshtein Distance para determinar a similaridade, calculando o número mínimo de adições, exclusões ou substituições...
Sabemos que todos os autômatos push-down são representáveis usando gramáticas sem contexto. Além disso, existe um algoritmo para construir um CFG a partir de qualquer PDA (por exemplo, a prova de Sipser na introdução à teoria da computação). Existem ferramentas que fazem essa tradução? Ou seja,...
Considere os dois algoritmos a seguir para pesquisar em uma matriz classificada de elementos:nnn A) pesquisa de interpolação e pesquisa binária simulada em paralelo, e B) pesquise por etapas alternadas de interpolação e etapas binárias. Ambos os algoritmos têm a complexidade do pior caso (e a...
Dada uma lista de pulos de altura , qual é o comprimento esperado para um fator constante (multiplicativo)?nnn Na seção 2.2 das Árvores B sem cache , as Árvores de pesquisa fortemente equilibradas são definidas como: Para alguma constante , todo nó na altura tem descendentes...
Para uma dada linguagem livre de contexto G, chamamos um não-terminal anulável se , ou seja, podemos derivar a string vazia de depois de aplicar um número finito de produções.UMAEuUMAEuA_i UMAEu→∗ϵUMAEu→∗ϵA_i \rightarrow^* \epsilonUMAEuUMAEuA_i Existe um algoritmo simples para determinar quais...
Tenho algumas perguntas sobre a conjectura do Quantum PCP: Qual é a afirmação da conjectura quântica do PCP? Que implicações o teorema do PCP quântico teria para simular Hamiltonianos? Acredita-se que a adoção da prova de Irit Dinur do teorema clássico do PCP provavelmente leve a uma prova da...
A segurança baseada em simulação fornece uma definição de segurança mais natural e mais poderosa do que a segurança baseada em jogos. Vi as abordagens baseadas em simulação usarem as provas baseadas em jogos para provar a segurança de algumas partes do protocolo. Por exemplo, para avaliar a...
Uma pergunta genérica: existem técnicas espectrais para estimar o gênero de um gráfico? Estou interessado em gráficos