No artigo "Sobre a complexidade de alguns jogos de colorir", Bodlaender faz algumas perguntas em aberto sobre a complexidade de decidir se o jogador 1 ou 2 tem uma estratégia vencedora em alguns jogos de colorir gráficos. Alguém sabe se eles foram resolvidos? 1) Em um jogo, dois jogadores se...
A barreira das provas naturais de Razborov e Rudich afirma que, sob suposições criptográficas confiáveis, não se pode esperar separar NP de P / poly encontrando propriedades combinatórias de funções construtivas, grandes e úteis. Existem vários resultados bem conhecidos que conseguem escapar à...
Existem algoritmos para reordenar dados para otimizar a compactação? Entendo que isso seja específico dos dados e do algoritmo de compactação, mas existe uma palavra para este tópico? Onde posso encontrar pesquisas nessa área? Especificamente, tenho uma lista json de 1,5 milhão de strings e quero...
Quais são os problemas com as seguintes propriedades: 1) são restrições de (possivelmente bem conhecidos) problemas que são completos no PSPACE; 2) as versões restritas estão no PSPACE, mas é um problema aberto se estiverem completas com o PSPACE (ou mesmo se forem difíceis de NP). Quatro...
Estou lendo pesquisas de Trevisan e Lovett sobre aplicações de aditivos combinatórios no TCS. A maioria desses aplicativos se enquadra na complexidade computacional , por exemplo, limites mais baixos. Gostaria de saber se a combinatória aditiva também encontrou aplicações no design de algoritmos...
Pense no modelo de célula-sonda. Existe uma estrutura de dados que pode alocar blocos contíguos de memória de qualquer tamanho (como, por exemplo, malloc em C), e liberá-los, evitando a segmentação de memória, e executa todas as operações no pior momento determinístico de O (log n) em que n é o...
Estou procurando uma lista sobre a complexidade conhecida ou desconhecida de vários problemas teóricos / algébricos de números. Por exemplo, GCD em está aberto,NC1NC1NC^1 factoring em é aberto,PPP a cohomologia do feixe de computação é -hard# P#P\#P , Arora e Barak afirmam que uma variante de...
É sabido que adicionar aleatoriedade de erro limitado ao PSPACE não adiciona energia. Ou seja, BPPSAPCE = PSPACE. É desconhecido se notoriamente P = BPP, mas sabe-se que .B PP⊆ Σ2∩ Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 Assim, é possível (embora conjecturado como falso) que adicionar...
Quais são algumas afirmações (não conhecidas) de que, se verdade, o PH deve entrar em colapso? Respostas que contenham uma breve declaração de alto nível com referência (s) são apreciadas. Tentei fazer uma pesquisa reversa sem muita
Seja fixo e G seja um gráfico (conectado). Se não me engano, segue-se do trabalho de Bodlaender [1, Teorema 3.11] que, se a largura de árvore de G é aproximadamente pelo menos 2 k 3 , G contém uma estrela K 1 , k como menor.kkkGGGGGG2k32k32k^3GGGK1,kK1,kK_{1,k} Podemos reduzir o termo ? Ou seja,...
P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly implica , que por sua vez tem conseqüências interessantes como o colapso da hierarquia polinomial.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly Existem implicações interessantes para ?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq
Dado um gráfico , precisamos encontrar a cardinalidade do maior conjunto de vértices para que cada um deles esteja presente em todas as correspondências máximas possíveis.GGG Existe uma solução ao lado do óbvio remover cada vértice e encontrar a correspondência máxima para ver que ela...
em 1979, Hopcroft / Ullman escreveu que o LPSP é conhecido como PSpace, mas o LPSP é a única contenção adequada (e trivial) conhecida, embora todos sejam conjecturados como contenções adequadas e "onde as coisas ainda estão" ~ 4 décadas depois . desde então, existem conexões conhecidas entre L ⊊...
'Dado a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , existe x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by=cax2+by=cax^2+by=c ' é NPNP\mathsf{NP} completo. A qual classe de complexidade 'Dado a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , existe x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by2=cax2+by2=cax^2+by^2=c '
Deixe o de -terms ser definido da seguinte maneira:λsizesizesizeλλ\lambda size(x)=1size(x)=1size(x) = 1 , size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 . Permita que a complexidade de a...
A redução de Karp é uma redução computável de muitos-um no tempo polinomial entre dois problemas computacionais. Muitas reduções de Karp são na verdade funções individuais. Isso levanta a questão de saber se toda redução de Karp é injetiva (função one-one). Existe um natural de completo que é...
Eu me pergunto, o que aconteceria se, na definição de (Hierarquia Polinomial, veja, por exemplo, aqui ), o papel do fosse substituído pelo ?PHPHPHNPNPNPRPRPRP Parece que ainda podemos construir uma hierarquia, da mesma forma que o é construído, apenas usando todos os lugares, em vez de , e vez de...
Dado composto peneira campo número geral é melhor conhecido algoritmo fatoração para fatoração número inteiro de . É um algoritmo aleatório e obtemos uma complexidade esperada de para fator . N O ( e √N∈NN∈NN\in\Bbb
Dada uma sequência , uma capa do palíndromo é uma sequência de palavras modo que e que cada seja um palíndromo.p 1 p 2 ⋯ p m p i p 1 p 2 ⋯ p m = ww = σ1σ2… Σnw=σ1σ2…σnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯ pmp1p2⋯pmp_1p_2\cdots p_mpEupip_ip1p2⋯ pm= wp1p2⋯pm=wp_1p_2\cdots p_m = wpipip_i Quão...
Eu sou um estudante de matemática interessado em TCS. Eu quero estudar os algoritmos e a complexidade deles para resolver os problemas teóricos do grupo, como encontrar ordem dos elementos, enumeração de coset, encontrar gerador, testar se um determinado subconjunto gera o grupo. Que livro devo...