Ciência da Computação Teórica

As provas naturais são uma barreira para provar limites inferiores na complexidade do circuito das funções booleanas. Eles não implicam diretamente tal barreira na comprovação de limites mais baixos na complexidade do circuito . Existe algum progresso para identificar essas barreiras? Existem outras barreiras no cenário monótono?m o n o …

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

A transformada de Walsh-Hadamard (WHT) é uma generalização da transformada de Fourier e é uma transformação ortogonal em um vetor de números reais ou complexos de dimensão . A transformação é popular na computação quântica, mas foi estudada recentemente como uma espécie de pré-condicionador para projeções aleatórias de vetores de …

15 ds.algorithms  linear-algebra 

Existem duas teorias estudadas principais do cálculo lambda, a teoria beta e sua extensão pós-completa, a teoria beta-eta. Essas duas teorias têm um meio termo, uma regra eta intermediária que fornece uma teoria de reescrita confluente? Existe alguma noção interessante de extensionalidade parcial a que corresponde? Esta é a segunda …

15 lo.logic  lambda-calculus  extensionality 

Este é um acompanhamento para esta questão e está relacionado a esta questão de Shiva Kinali. Parece que as provas desses artigos ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) usam teoremas de hierarquia. Quero saber se as provas são teoremas de diagonalização " puros " ou se usam algo mais …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

Pedimos desculpas antecipadamente se esta pergunta for muito simples. Basicamente, o que eu quero saber é se há alguma função com as seguintes propriedades:f( X )f(x)f(x) Tome para ser quando o domínio e codomain são restritas a cadeias de bits. Entãof ( x ) nfn( X )fn(x)f_n(x)f( X )f(x)f(x)nnn fn( …

15 cc.complexity-theory 

No presente trabalho sobre "Círculo Embalagem para Origami design é duro" por Erik D. Demaine, Sandor Fekete P., Robert J. Lang, na página 15, figura 13, eles afirmam que o comprimento do lado do menor quadrado que envolve dois círculos da área 1/2 cada é 1,471299. Pelos meus cálculos, estou …

15 cg.comp-geom 

Uma classe hereditária de estruturas (por exemplo, gráficos) é aquela que é fechada sob subestruturas induzidas, ou equivalente, é fechada sob remoção de vértices. Classes de gráficos que excluem um menor têm boas propriedades que não dependem do menor excluído específico. Martin Grohe mostrou que para classes de gráfico excluindo …

15 cc.complexity-theory  graph-theory  relational-structures 

Fico sempre intrigado com a falta de evidências numéricas da matemática experimental a favor ou contra a questão P vs NP. Embora a hipótese de Riemann possua algumas evidências de apoio da verificação numérica, não conheço evidências semelhantes para a pergunta P vs NP. Além disso, não conheço nenhuma conseqüência …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Ao tentar provar algumas propriedades básicas usando tipos coindutores no Coq, continuo com o seguinte problema e não consigo contorná-lo. Eu destilei o problema em um script Coq simples da seguinte maneira. O tipo de árvore define árvores possivelmente infinitas com ramos rotulados com elementos do tipo A . Um …

15 coq  proof-assistants 

Existem algoritmos / provas mais simples para triangular um polígono plano em tempo linear? Qual é um bom recurso sobre o estado da arte desse famoso problema?

15 reference-request  cg.comp-geom 

Diz-se que um problema P está no APX se existir alguma constante c> 0, de modo que exista um algoritmo de aproximação em tempo polinomial para P com fator de aproximação 1 + c. O APX contém PTAS (visto simplesmente escolhendo qualquer constante c> 0) e P. O APX está …

15 cc.complexity-theory  complexity-classes  apx 

Estou procurando um algoritmo on-line para manter o fechamento transitivo de um gráfico acíclico direcionado com uma complexidade de tempo menor que O (N ^ 2) por adição de aresta. Meu algoritmo atual é assim: For every new edge u->v connect all nodes in Pred(u) \cup { u } with …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure 

Dada uma linguagem L definida por uma máquina de Turing que a decide, é possível determinar por algoritmo se L está no NP?

15 cc.complexity-theory  computability  turing-machines 

Esta questão é em relação ao algoritmo Fisher-Yates para retornar um shuffle aleatório de uma determinada matriz. A página da Wikipedia diz que sua complexidade é O (n), mas acho que é O (n log n). Em cada iteração i, um número inteiro aleatório é escolhido entre 1 e i. …

15 ds.algorithms  permutations 

Todos sabemos que mostrar tem barreiras. Todos nós estudamos essas barreiras porque acreditamos que P ≠ N PP≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP . No entanto, assuma e há pessoas sábias que acreditam que essa possibilidade existe . Se esse for realmente o caso, o próprio fato de não termos visto bons algoritmos …

15 p-vs-np  barriers