Como tenho ensinado as bases do cálculo λ ultimamente, implementei um avaliador simples do cálculo λ no Common Lisp. Quando pergunto a forma Y fac 3normal de redução na ordem normal, são necessários 619 passos, o que parecia um pouco demais. Obviamente, toda vez que fazia reduções semelhantes no...
Então, estou lendo um pouco sobre elaboração, particularmente sobre algoritmos baseados no Cálculo de Construção Bicolor, e estou um pouco confuso. Não entendo qual é exatamente o propósito da CCbiCCbiCC^{bi} . Parece ser idêntico a CCCCCC exceto que há uma distinção entre argumentos implícitos e...
Qual é o número médio de publicações (incluindo anais de conferências), por ano, para pesquisadores de pós-doutorado em CS nos EUA? Quais são as maneiras de descobrir ou estimar esse
Eu estou trabalhando em algoritmos de aproximação para um problema mínimo de conjunto dominante. Em particular, estou interessado em classes de gráficos restritas por subgráficos induzidos proibidos. Como o problema de dominação e suas variantes foram extensivamente estudados, suponho que alguém...
Gostaria de saber se existem estudos sistemáticos de somas de formas quadráticas ao quadrado, semelhantes às formas quadráticas, o que é praticamente refletido na decomposição de autovalores (que tem enorme implicação prática). Alguns exemplos relacionados à importância da pergunta. Análise de...
EDITADO PARA ADICIONAR : Esta questão agora está essencialmente respondida; consulte esta entrada do blog para obter mais detalhes. Obrigado a todos que postaram comentários e respostas aqui. PERGUNTA ORIGINAL Esta é uma versão esperançosamente mais inteligente e bem informada de uma pergunta...
Eu tenho um conjunto finito , uma função f : S → S , e uma ordem total < em S . Eu quero encontrar o número de ciclos distintos em S .SSSf: S→ Sf:S→Sf:S\to
A complexidade de Kolmogorov de uma string não é computável. No entanto, em um subconjunto aleatório do tamanho de cadeias binárias de comprimento , quantas são esperadas para ter complexidade menor que algum número inteiro menor que (como uma função de M , n e n_ {0}
Eu tenho uma família de problemas de programação linear: maximize c′xc′xc' x sujeito a Ax≤bAx≤bA x\le b , x≥0x≥0x\ge0 . Os elementos de , , e são números inteiros não negativos, estritamente positivo. ( também deve ser integral, mas vou me preocupar com isso mais tarde.)b c c...
Eu queria saber sobre quais conjuntos de idiomas são gerados por restrições de expressões regulares. Supondo que todas as restrições tenham um símbolo constante para cada elemento de e concatenação. Então, oito classes podem ser formadas pela presença ou ausência de complemento / negação, alteração...
Em todos os lugares que eu li sobre o problema de corte mais escasso, ele diz apenas que o problema é conhecido por ser NP- difícil. Onde posso encontrar uma prova disso? Qual problema NP- duro conhecido reduz ao problema de corte mais esparso? Não encontrei nenhuma prova no livro de Vazirani -...
Eu estou tentando mostrar que um determinado problema é incompreensível devido a uma redução da cobertura do conjunto. Minha redução transforma uma instância com o conjunto de aterramento de tamanho e em uma instância do meu problema em que um determinado parâmetro r é do tamanho . Em seguida,...
Wikipedia - SHA-2 diz SHA-224 é idêntico a SHA-256, exceto que: os valores variáveis iniciais h0 a h7 são diferentes e a saída é construída omitindo h7. RFC3874 - Função hash unidirecional de 224 bits: diz SHA-224 O uso de um valor inicial diferente garante que um valor de resumo...
(Minha pergunta original ainda não foi respondida. Adicionei mais esclarecimentos.) Ao analisar passeios aleatórios (em gráficos não direcionados), visualizando o passeio aleatório como uma cadeia de Markov, exigimos que o gráfico seja não bipartido, para que o teorema fundamental das cadeias de...
No problema Max-Cut , procura-se um subconjunto S de vértices de um dado gráfico simples e não direcionado, de modo que o número de arestas entre S e o complemento de S seja o maior possível. O Max-Cut é completo em APX em gráficos de grau delimitado [PY91] e de fato completo em APX em gráficos...
Para um aplicativo de aprendizado de máquina, meu grupo precisa calcular a distância euclidiana do ésimo vizinho mais próximo em um conjunto para cada (para entre 5 e cerca de 100 e algumas centenas até alguns milhões). Atualmente, estamos usando a abordagem de força bruta ou a abordagem óbvia com...
Dada uma função submodular em que e são disjuntos . Aqui e são submodulares em e respectivamente.fffΩ=X1∪X2Ω=X1∪X2\Omega=X_1\cup X_2X1X1X_1X2X2X_2f(S)=f1(S∩X1)+f2(S∩X2)f(S)=f1(S∩X1)+f2(S∩X2)f(S)=f_1(S\cap X_1)+f_2(S\cap X_2)f1f1f_1f2f2f_2X1X1X_1X2X2X_2 Aqui são desconhecidos e apenas um acesso de...
Estou aprendendo a teoria algébrica da análise. Meu primeiro problema é identificar exemplos de semicondutores específicos da teoria formal da linguagem. Aqui está uma tentativa de construir dois exemplos. 1 Dada a gramática CNF, os elementos de semiring são conjuntos de símbolos terminais e não...
Estou tentando aprender mais sobre a verificação de tipo de programa inteiro e sistemas de inferências de tipo que usam informações de sites de chamada de função para calcular informações de tipo (além da abordagem padrão do uso do corpo da função). Por exemplo, esse algoritmo pode usar uma chamada...
Estou lendo um artigo antigo do MC Golumbic sobre gráficos EPT (interseção de arestas de caminhos em uma árvore). No artigo, é mostrado que o número máximo de cliques de uma instância de gráfico EPT é polinomial. Conclui que, se um oracle relatar que um gráfico é um gráfico EPT, é possível...