Ciência da Computação Teórica

O seguinte termo-λ, aqui na forma normal: sort = (λabc.(a(λdefg.(f(d(λhij.(j(λkl.(k(λmn.(mhi))l)) (h(λkl.l)i)))(λhi.(i(λjk.(bd(jhk)))(bd(h(λjk.(j (λlm.m)k))c)))))e))(λde.e)(λde.(d(λfg.g)e))c)) Implementa um algoritmo de classificação para listas codificadas por igrejas. Ou seja, o resultado de: sort (λ c n . (c 3 (c 1 (c 2 n)))) β→ (λ c n . (c 1 (c 2 (c 3 …

10 lo.logic  lambda-calculus  type-systems 

Do artigo sobre estratégia de avaliação na Wikipedia: A noção de estratégia de redução no cálculo lambda é semelhante, mas distinta. Do artigo sobre estratégia de redução na Wikipedia: É semelhante, mas sutilmente diferente da noção de estratégia de avaliação em ciência da computação. Qual é a distinção sutil entre …

10 pl.programming-languages  lambda-calculus  semantics 

Nos projetos Polymath, um grande grupo trabalha em um problema em aberto. Que tipo de problemas parecem funcionar melhor nessa estrutura? Existem bons candidatos a um projeto polímata em ciência da computação teórica? Existem obstáculos que tornam menos provável que os projetos da Polymath sejam bem-sucedidos em ciência da computação …

10 soft-question  open-problem  research-practice 

Os combinadores de interação foram propostos como um alvo de compilação para o cálculo λ antes. Esse documento implementa o cálculo λ completo. Sabe-se também que é possível otimizar codificações de interação-rede do cálculo λ para o subconjunto de termos λ que é tipável por EAL. Esse artigo implementa esse …

10 lambda-calculus  functional-programming  interaction-nets 

O teorema de Borsuk-Ulam diz que para cada função ímpar contínua ggg de uma esfera n para o espaço n euclidiano, existe um ponto x0x0x_0 tal que g(x0)=0g(x0)=0g(x_0)=0 . Simmons e Su (2002) descrevem um método para aproximar o ponto x0x0x_0 usando o lema de Tucker . No entanto, não …

10 approximation-algorithms  time-complexity  topology  algebraic-topology 

Seja uma classe hereditária de gráficos. (Hereditária = fechada no que diz respeito a tomar subgráficos induzidas.) Let Q n designar o conjunto de n gráficos -vertex em Q . Digamos que Q contenha quase todos os gráficos, se a fração de todos os gráficos de n- vértices que caem …

10 graph-theory 

Em http://www.dharwadker.org/tevet/isomorphism/ , há uma apresentação de um algoritmo para determinar se dois gráficos são isomórficos. Dadas várias afirmações "interessantes" de A Dharwadker, não estou inclinado a acreditar. Na minha investigação, acho que o algoritmo definitivamente produzirá a resposta correta e informará que dois gráficos não são isomórficos quando, na …

10 graph-isomorphism 

Deixe um número ser dado. Considere o seguinte idioma L n = {nnn .eun= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Em palavras, é o conjunto de cadeias de cópia de comprimento 2 n .eunLnL_n2 n2n2n Considere …

10 fl.formal-languages  automata-theory  grammars  context-free 

No teste de identidade polinomial, buscamos um algoritmo determinístico para inferir a igualdade de dois polinômios . Derandomizar algoritmos aleatórios eficientes conhecidos e produzir um algoritmo determinístico eficiente é um importante problema em aberto. Existe um problema completo para o PIT, de modo que o teste de identidade des randomizado …

10 derandomization  polynomials 

Gostaria de saber se pode existir uma maneira de fornecer uma espécie de "forma normal" para árvores de decisão binária (BDT) de maneira tratável. Mais precisamente: um BDT é uma árvore com nós internos rotulados por variáveis ​​booleanas e folhas rotuladas por 0 00 00 ou 1 11 11 . …

10 cc.complexity-theory  decision-trees 

Este blog fala sobre a geração de "labirintos tortuosos" usando um computador e enumerando-os. A enumeração pode ser feita usando o algoritmo de Wilson para obter o UST , mas não me lembro da fórmula de quantos existem. http://strangelyconsistent.org/blog/youre-in-a-space-of-twisty-little-mazes-all-alike Em princípio, o Teorema da Árvore Matricial indica que o número …

10 graph-theory  randomized-algorithms  matrices  tree 

Dadas duas permutações e sobre elementos (ou seja, membros de ), qual é a complexidade de calcular a ordem do subgrupo gerado por ? Ou apenas decidir se o subgrupo está na ordem(ou seja, todos os )?h n S n g , h n ! S nggghhhnnnSnSnS_ng, hg,hg,hn !n!n!SnSnS_n

10 cc.complexity-theory  algebra  gr.group-theory 

Seja k > 0k>0k>0 uma constante fixa. Dado um número inteiro nnn , queremos construir uma permutação σ∈ Snσ∈Sn\sigma \in S_n tal que: A construção utiliza tempo e espaço constantes (ou seja, o pré-processamento leva tempo e espaço constantes). Nós podemos usar a randomização. Dado i ∈ [ n ]i∈[n]i\in[n] …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

Qual é a complexidade do seguinte problema ( P? NP-hard?):∈∈\in Entrada: um gráfico acíclico direcionado , um conjunto de arestas inversas E ′ ⊂ V × V e dois nós distintos s e t .D=(V,E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsssttt Pergunta: Seja denotar o gráfico formado adicionando a D as arestas de E …

10 graph-algorithms  time-complexity  disjoint-paths 

É um problema em aberto velho se um direto de soma teorema vale para a complexidade de comunicação determinística, isto é, se resolver instâncias independentes de um problema é t vezes mais difícil do que resolver uma única instância. [FKNN95] mostrou os seguintes resultados:tttttt Resultado negativo: existe uma função parcial …

10 cc.complexity-theory  communication-complexity