Ciência da Computação Teórica

Um sistema da estrela é uma família de n subconjuntos de N-elementos fixados S . Um sistema da estrela é gráfica, se houver algum gráfico G ( V , E ) de modo a que F é a família dos bairros de vértice em L . É N P -Complete …

10 cc.complexity-theory  np-hardness 

Muitos aqui provavelmente estão cientes dos recentes limites inferiores super-lineares de Alon para redes em uma configuração geométrica natural [PDF] . Gostaria de saber o que, se é que existe alguma coisa, um limite tão baixo implica na proximidade dos problemas associados ao conjunto de tampa / conjunto de batidas. …

10 cg.comp-geom  set-cover  hypergraphs  approximation-hardness  epsilon-nets 

Estou interessado em instâncias individuais "difíceis" de problemas de NP-completo. Ryan Williams discutiu o problema SAT0 no blog de Richard Lipton . SAT0 pergunta se uma instância SAT tem a solução específica que consiste em todos os 0s. Isso me fez pensar em construir instâncias SAT que provavelmente serão "difíceis". …

10 cc.complexity-theory  sat  hard-instances 

Exemplos de variantes limitadas de completas de conjuntos indecidíveis:NPNPNP Problema de parada limitada = { | A máquina NTM interrompe e aceita dentro de etapas}( M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Lado a lado com limite = { | há um quadrado de um quadrado da área por ladrilhos de }(T,1t)(T,1t)(T, 1^t)t2t2t^2TTT Problema …

10 cc.complexity-theory  np-hardness 

É fácil ver que para qualquer existe um mapeamento 1-1 F de {0,1} n a {0,1} n + O ( log n ), de modo que, para qualquer x, o vetor F ( x ) é " equilibrado ", ou seja, possui número igual de 1s e 0s. É possível …

10 ds.algorithms  ds.data-structures  encoding 

Temos classes de complexidade com relação a, digamos, complexidade de caso médio? Por exemplo, existe uma classe de complexidade (nomeada) para problemas que levam o tempo polinomial esperado para decidir? Outra questão considera a complexidade do melhor caso , exemplificado abaixo: Existe uma classe de problemas (naturais) cuja decisão requer …

10 cc.complexity-theory  complexity-classes 

Olá pessoal, Atualmente, estou tentando encontrar um tópico sólido de tese de mestrado referente a algum ramo da teoria dos autômatos ou relacionado a linguagens formais. Estou tentando gerar boas idéias para o que seria um tópico aceitável, algo ambicioso, mas algo factível ao mesmo tempo. Quaisquer sugestões seriam muito …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

Linguagens livres de contexto determinísticas (DCFL) e linguagens visivelmente pushdown (VPL) são conjuntos de linguagens formais entre linguagens livres de contexto (CFL) e linguagens regulares (REG). Existe uma notação legível que pode ser expressa em ASCII simples, como Backus-Naur-Form for CFL e expressões regulares para REG?

10 fl.formal-languages 

Na SODA 1995 , Jeff Erickson mostrou limites mais baixos para a satisfação linear (verificando se um subconjunto de de números reais satisfaz uma equação linear nas variáveis ). O método de prova usa infinitesimais e o princípio de transferência de Tarski .rrrrnnnrrr Alguém poderia explicar a intuição por trás …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

Mostre uma função que é construtível no espaço, mas não no tempo.f(n)f(n)f(n) Esse problema está relacionado a uma possível separação entre as classes de complexidade DTIME (f (n)) e SPACE (f (n))?

10 cc.complexity-theory  space-bounded  separation 

Por BPP / linear, refiro-me a máquinas de BPP com orientação linear, que cumprem a promessa quando recebem a orientação "correta", e a derandomização deve nos fornecer, digamos, um algoritmo P / linear ou (SUBEXP / linear). Se usarmos suposições não uniformes, acho que os resultados clássicos devem funcionar, porque …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

A maior parte da literatura parece estar preocupada com máquinas com oráculos únicos para problemas específicos, no entanto, parece haver alguns trabalhos que consideram máquinas com múltiplos oráculos. Existe um bom artigo ou tese que forneça uma visão geral do que se sabe sobre essas máquinas? Em particular, estou interessado …

10 oracles  turing-machines 

Que evidência existe de que ?c o R P≠ NPcoRP≠NPcoRP \neq NP c o R PcoRPcoRP é a classe de idiomas para a qual existe uma máquina de Turing probabililística que é executada em tempo polinomial e sempre responde Sim em uma entrada pertencente ao idioma e responde Não com …

10 cc.complexity-theory  complexity-classes 

Seja um grafo conectado não regular cujo grau é delimitado. Suponha que cada nó contenha um token exclusivo.G=(V,E)G=(V,E)G= (V, E) Eu quero embaralhar uniformemente os tokens no gráfico usando apenas swaps locais (ou seja, troca dos tokens entre dois nós adjacentes)? Existe um limite inferior conhecido para esse problema? A …

10 ds.algorithms  random-walks  dc.distributed-comp 

É possível (barra você pode fornecer um exemplo) reduzir a complexidade computacional de um problema usando um algoritmo paralelo que não requer um número de processadores em relação ao tamanho da entrada?

10 cc.complexity-theory  dc.parallel-comp