Aprendemos sobre o conceito de enumerações de funções. Na prática, eles correspondem a linguagens de programação. Em uma observação de passagem, o professor mencionou que a classe de todas as funções totais (ou seja, as funções que sempre terminam para cada entrada) não é enumerável. Isso...
Este problema, para mim, parece muito interessante. Ele estava prestes a encontrar um ciclo simples (isto é, ciclo onde não há nós repetidos) em um gráfico direcionado. Minha solução está sendo assim, ou seja, este gráfico é um problema de caso: Eu sei que existe um ciclo em um gráfico, quando...
Eu estava lendo uma pergunta no Stack Overflow perguntando se era NP- difícil listar todos os ciclos simples em um gráfico contendo um nó específico e me ocorreu que eu não conseguia pensar em nenhuma classe de complexidade existente que fosse adequada para falando sobre problemas no formulário...
Uma pergunta foi feita no Stack Overflow ( aqui ): Dado um número inteiro NNN , imprimir todas as combinações possíveis de valores de número inteiro de A,B,CA,B,CA,B,C e DDD que resolvem a equação A2+B2+C2+D2=NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N . Essa questão está obviamente relacionada à...
Dado o fato de que enumeração - path é um problema # P-complete, poderia haver métodos eficientes que computem (ou pelo menos se aproximem) o comprimento médio do caminho - sem enumerá-los? E se os caminhos tiverem permissão para revisitar vértices?ssstttsssttt Resultados relevantes em gráficos...
Por que os números computáveis (no sentido de Turing) são enumeráveis? Deve ser muito óbvio, mas atualmente não estou
\def\R{\mathbb{R}}\def\Z{\mathbb{Z}}\def\n#1{\|#1\|_\infty} O problema vem diretamente da matemática computacional e pode ser indicado da seguinte forma: Dada uma matriz regular , encontre efetivamente todos os vetores modo que \ n {Mv} \ leq1 , em que \ n {Mv} seja o componente máximo do vetor em...
Definição. Dado um gráfico e dois vértices e , o problema -shortest-caminhos é encontrar o caminhos mais curtos simples entre e em .G=(V,E)G=(V,E)G=(V,E)ssstttkkkkkkssstttGGG Observe que o comprimento desses caminhos não é necessariamente igual e os vértices e estão necessariamente conectados...
Eu tenho tentado encontrar um algoritmo para listar todas as árvores binárias de uma determinada altura hhh. Observe que não estou tentando contá-las: o número dessas árvores é fornecido no OEIS ( A001699 ). Todos os algoritmos que eu pude ver listam todas as árvores binárias para um determinado...