Ciência da Computação Teórica

A entrada é um universo e uma família de subconjuntos de U , digamos, F ⊆ 2 U . Nós assumimos que os subconjuntos em F pode cobrir U , ou seja, ⋃ E ∈ F E = U .UUUUUUF⊆2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Uma sequência de cobertura …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

A página da wikipedia no PSPACE menciona que a inclusão não é conhecida por ser rigorosa (infelizmente sem referências).NL ⊂ PHNL⊂PHNL\subset PH Q1: E quanto a e L ⊂ P # P - estes são conhecidos por serem rigorosos?L ⊂ PHL⊂PHL\subset PHL ⊂ P# PL⊂P#PL\subset P^{\#P} Q2: Se não, existe …

12 cc.complexity-theory  complexity-classes  logspace 

Digamos que uma família de gráficos tenha caminhos induzidos por muito tempo se houver uma constante modo que todo gráfico em contenha um caminho induzido em vértices. Estou interessado em propriedades de famílias de grafos que garantam a existência de longos caminhos induzidos. Em particular, estou me perguntando se os …

12 graph-theory  expanders 

Acabei de concluir um pequeno artigo (5 páginas) sobre a prova de um certo jogo combinatório NP-Complete. Isso não é de forma alguma um resultado de enorme significado, mas é um que eu acredito que é publicável. Que locais seriam bons para um jornal como este? O único que eu …

12 journals 

Ao responder a essa pergunta sobre a teoria , eu (informalmente) provei rapidamente o seguinte teorema: Teorema : Para qualquer fixo ≥ 3, o probem do ciclo hamiltoniano permanece NP-completo, mesmo que restrito a gráficos bipartidos planas não direcionados de grau máximo 3 que não contenham ciclos de comprimento ≤ …

12 reference-request  np-hardness 

Podemos provar que, para cada idioma que não é N P- duro (isso assume P ≠ N P ), P L ≠ P SAT ? Como alternativa, isso pode ser comprovado sob quaisquer suposições razoáveis?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

12 cc.complexity-theory  complexity-classes  np-intermediate 

Considere um vetor dimensional v em que v i ∈ { 0 , 1 } . Para cada i sabemos p i = P ( v i = 1 ) e vamos assumir o v i são independentes. Usando essas probabilidades, existe uma maneira eficiente de iterar sobre vetores binários …

12 ds.algorithms  space-bounded 

Eu estava lendo um artigo de Buhrman e Homer "Circuitos superpolinomiais , oráculos quase esparsos e a hierarquia exponencial" . Na parte inferior da página 2 eles observação de que os resultados de Kannan implica que NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} não têm circuitos de tamanho polinomiais. Sei que na hierarquia do tempo exponencial, …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

Considere o seguinte jogo de cartas (conhecido na Itália como "Cavacamicia", que pode ser traduzido como "camisa de tiras"): Dois jogadores dividem aleatoriamente em dois baralhos um baralho de cartas padrão. Cada jogador recebe um baralho. Os jogadores alternam colocando na pilha a próxima carta do baralho. Se um jogador …

12 board-games 

É possível que ? Existem conseqüências interessantes de tal contenção? Contrariaria a hipótese do tempo exponencial?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

É sabido que a classificação de permutações por transposição está em , pois o número mínimo de transposições necessárias para classificar é exatamente . Essa noção de "número de inversão" também tem aplicações na combinatória algébrica, por exemplo, permite dotar uma estrutura de treliça, chamada permutoedro e baseada na fraca …

12 sorting 

Qual é o modelo computacional mais simples para o qual o problema do vazio é indecidível? O problema de vazio para um modelo computacional (por exemplo, autômato de estado finito, autômato de empilhamento alternado, autômato quântico de erro limitado com um contador, LBA determinístico, etc.) é determinar se, para uma …

12 computability  decidability  undecidability  unary-languages 

Portanto, uma rápida pesquisa na web me levou a acreditar que "o APXHardness implica que não existe QPTAS para um problema, a menos que [alguma classe de complexidade] esteja incluída em alguma [outra classe de complexidade]" e também é bem conhecido! Parece que todo mundo sabe disso, exceto eu. Infelizmente, …

12 cc.complexity-theory  reference-request 

Faz NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}espera? Claramente NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , mas parece-me que NP∩coNPNP∩coNP\mathsf{NP\cap coNP} é "determinístico", o que me faz acreditar que isso é verdade. Existe uma prova simples (ou talvez apenas por definição)?

12 cc.complexity-theory  complexity-classes  oracles 

Idiomas dyck são definidos pela seguinte gramática S → S SD y c k (k)Dyck(k)\mathsf{Dyck}(k) sobre o conjunto de símbolos { ( 1 , … , ( k , ) 1 , … , ) k } . Linguagens intuitivamente dyck são as linguagens de parênteses balanceados de k tipos …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free