Perguntas com a marcação «enumeration»

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 significaria que não podemos …

29 computability  semi-decidability  enumeration 

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 "liste todas …

15 complexity-theory  reference-request  complexity-classes  enumeration 

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, …

15 algorithms  graphs  enumeration 

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 à conjectura de Bachet na teoria dos …

12 complexity-theory  time-complexity  number-theory  enumeration 

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 especiais também podem ser úteis.

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Por que os números computáveis ​​(no sentido de Turing) são enumeráveis? Deve ser muito óbvio, mas atualmente não estou vendo.

9 computability  turing-machines  enumeration 

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 em . Eu queria saber se há um tempo linear …

8 algorithms  graphs  optimization  shortest-path  enumeration 

\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 módulo.M∈Rd× dM∈Rd×dM\in\R^{d\times d}v ∈Zdv∈Zdv\in\Z^d∥ Mv∥∞≤ …

8 algorithms  linear-algebra  enumeration 

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 número …

7 algorithms  binary-trees  enumeration