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
É 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...
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...
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 . Um BDT...
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
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 a seguinte função de complexidade de estado...
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 em Q n se aproximar...
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...
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 está claro qual...
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...
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...
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...
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...
Considere o seguinte problema: Dada uma matriz , queremos otimizar o número de adições no algoritmo de multiplicação para calcular v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Acho esse problema interessante por causa de seus laços com a complexidade da multiplicação de matrizes (esse problema é uma...
É bem conhecido que certas classes de NP -Problemas Tem dicotomia teoremas, que garantia de que todas as tarefas na classe ou é NP -completo ou está em P . O resultado mais conhecido é o teorema da dicotomia de Schaefer , juntamente com várias generalizações. Entendo que provar esses teoremas da...
Os transdutores considerados aqui são aqueles que a Wikipedia chama de transdutores de estado finito . O comportamento de um transdutor , isto é, a relação que ele calcula, é escrito : uma palavra é uma saída para iff .[ T ] y x x [ T ] yTTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Pergunta: O seguinte...
Seja um simples gráfico não direcionado em n vértices e m arestas.G=(V,E)G=(V,E)G=(V,E)nnnmmm Eu estou tentando determinar o tempo de execução esperado de algoritmo de Wilson para a geração de uma árvore geradora aleatória de . Lá, é mostrado O ( τ ) , onde τ é o tempo médio de acerto : τ = ∑ v ∈...
O termo a seguir (usando índices bruijn): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Quando aplicado a um número de igreja, Navalia rapidamente a forma normal em vários avaliadores existentes, incluindo ingênuos . No...
Existem exemplos naturais conhecidos de problemas de otimização para os quais é muito mais fácil produzir uma solução ideal do que avaliar a qualidade de uma determinada solução candidata? Por questões de concretude, podemos considerar problemas de otimização solucionáveis em tempo polinomial da...
Conjectura de Berman-Hartman: todas as linguagens completas de NP são parecidas, no sentido de que podem ser relacionadas entre si por isomorfismos polinomiais no tempo [1]. Estou interessado em uma versão mais refinada do "tempo polinomial", isto é, se usarmos reduções parametrizadas. Um...