Qual é a proporção de CFGs ambíguos para todos os CFGs ? Como os dois conjuntos são infinitamente contáveis, a proporção não está bem definida. Mas e a densidade assintótica : limn ↦ ∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto...
Peço desculpas, essa é uma pergunta "suave". A teoria da informação não tem conceito de complexidade computacional. Por exemplo, uma instância do SAT ou uma instância do SAT mais um pouco indicando satisfação carregam a mesma quantidade de informações. Existe uma maneira de formalizar o conceito...
O que se sabe sobre a complexidade de resolver um sistema de equações lineares sobre algum campo finito? Eu sei que existe um algoritmo (Gauss) que calcula uma solução e que para sistemas esparsos existem algoritmos ainda melhores. No entanto, eu queria saber se havia alguma caracterização teórica...
Seja d:{0,1}k×{0,1}k→Rd:{0,1}k×{0,1}k→Rd:\{0,1\}^k\times \{0,1\}^k \to \mathbb{R} uma função à qual nos referimos como função de similaridade . Exemplos de funções de similaridade são distância cosseno, norma l2l2l_2 , distância de Hamming, similaridade de Jaccard, etc. Considere nnn vectores...
Qual é o algoritmo de isomorfismo de gráfico não direcionado mais rápido
Esta é uma extensão do problema clássico da secretária . No jogo de contratação, você tem um conjunto de candidatos e solicita a qualificação de cada trabalhador.C={c1,…,cN}C={c1,…,cN}\mathcal C=\{c_1,\ldots,c_N\} Wlog, assumimos que é o mais qualificado, seguido por etc.c1c1c_1c2c2c_2 A ordem...
Estou estudando a Conjectura de Jogos Exclusivos e a famosa redução para Max-Cut de Khot et al. Em seus artigos e em outros lugares da Internet, a maioria dos autores usa (o que para mim é) uma equivalência implícita entre a redução do MAX-CUT e a construção de testes específicos para códigos...
Um gráfico colorido pode ser descrito como tupla (G,c)(G,c)(G,c) onde GGG é um gráfico c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N} é a coloração. Diz-se que dois gráficos coloridos (G,c)(G,c)(G,c) e (H,d)(H,d)(H,d) são isomórficos se existir um isomorfismo π:V(G)→V(H)π:V(G)→V(H)\pi : V(G)...
Considere uma gramática arbitrária e livre de contexto sobre o alfabeto . Nas produções desta gramática, adicione duas produções fixas sem contexto : e . Chame a gramática resultante de " aumentada com as produções ".{ 0 , 1 , ¯ 0 , ¯ 1 } P ¯ 0 0 → ϵ ¯ 1 1 → ϵGGG{ 0 , 1 , 0¯¯¯,...
Sabemos pelo teorema da Igreja que determinar a satisfação de primeira ordem é indecidível em geral, mas existem várias técnicas que podemos usar para determinar a satisfação de primeira ordem. O mais óbvio é procurar um modelo finito. No entanto, existem várias instruções na lógica de primeira...
Seja um polinômio variável, dado como um circuito aritmético de tamanho poli , e seja p = 2 ^ {\ Omega (n)} um primo.n ( n ) p = 2 Ω ( n )fffnnn(n)(n)(n)p=2Ω(n)p=2Ω(n)p = 2^{\Omega(n)} Você pode testar se fff é igual a zero acima de ZpZp\mathbb{Z}_p , com time poly(n)poly(n)\mbox{poly}(n) e...
Reynolds propôs originalmente uma semântica relacional para o cálculo lambda polimórfico de segunda ordem [1]. No entanto, mais tarde ele mostrou [2] que essa abordagem era inconsistente com a teoria clássica dos conjuntos. Pitts descreveu a estrutura dos modelos de hiperdocina e modelos topos [3]...
As florestas aleatórias têm uma reputação entre os praticantes de estar entre as técnicas de classificação mais eficazes. No entanto, não os encontramos muito na literatura teórica da aprendizagem, da qual suponho uma ausência de resultados teóricos profundos. Se alguém quisesse mergulhar nessa...
A maioria dos métodos atuais de criptografia depende da dificuldade de fatorar números que são o produto de dois grandes números primos. Pelo que entendi, isso é difícil apenas enquanto o método usado para gerar os números primos grandes não puder ser usado como um atalho para fatorar o número...
Vamos fixar uma codificação de máquinas de Turing e uma máquina de Turing universal, U, que na entrada (T, x) produz qualquer saída de T na entrada x (possivelmente ambas funcionando para sempre). Defina a complexidade de Kolmogorov de x, K (x), como a duração do programa mais curto, p, de modo que...
Estou procurando referências para o seguinte problema: dados inteiros nnn e kkk , enumere todos os gráficos planares não isomórficos em nnn vértices e largura de árvore ≤k≤k\leq k . Eu estou interessado tanto em resultados teóricos e práticos, mas principalmente algoritmos práticos que são...
Esta pergunta é dupla e é principalmente orientada a referências: Existe algum lugar onde as principais intuições para provar o teorema menor do gráfico são dadas, sem entrar muito nos detalhes? Sei que a prova é longa e difícil, mas certamente deve haver idéias-chave que possam ser comunicadas...
Um dos meus projetos Java é uma bifurcação de analisadores parboilizados e, diferentemente do Antlr ou JavaCC, os geradores são gerados em tempo de execução. Gramáticas geradas são Gramáticas de Expressão de Análise ou PEGs (ouço outro termo para elas é "packrat"). Enquanto a geração de tempo de...
Quero saber se a decidibilidade da igualdade de duas provas decidíveis da mesma proposição pode ser comprovada sem axiomas adicionais em Cálculo de construções indutivas. Especificamente, quero saber se isso é verdade sem axiomas adicionais no
Estou interessado em uma variante da correspondência máxima de peso em um gráfico, que chamo de "Máxima correspondência justa". Assume-se que o gráfico está cheio (ou seja, E=V×VE=V×VE=V\times V ), tem ainda o número de vértices, e que o peso é dada por uma função de lucro . Dado um...