Ciência da Computação

Sinto muito se esta pergunta tem alguma resposta trivial que estou perdendo. Sempre que estudo algum problema que foi provado indecidível, observo que a prova depende de uma redução para outro problema que foi provado indecidível. Entendo que ele cria algum tipo de ordem sobre o grau de dificuldade de …

11 computability  reductions  undecidability 

De acordo com o artigo da Wikipedia sobre esquemas de aproximação de tempo polinomial : Todos os problemas no FPTAS são tratáveis ​​com parâmetros fixos. Esse resultado me surpreende - essas classes parecem ser totalmente diferentes umas das outras. O FPTAS caracteriza problemas pela facilidade com que são aproximados, enquanto …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Meu problema. Dada nnn , quero contar o número de válido multisets SSS . Um multiset SSS é válido se A soma dos elementos de SSS é nnn , e Cada número de 111 a nnn pode ser expressa de forma única como uma soma de alguns dos elementos de …

11 algorithms  integers 

Estou construindo um categorizador de texto para frases curtas. Além de dizer ao usuário "a categoria do texto digitado é C", quero poder explicar por que tomei essa decisão, de uma maneira curta e compreensível. Por exemplo, não quero dizer ao usuário "Coloquei sua frase em uma complexa rede neural …

11 machine-learning  classification 

Existe um autômato celular (em 2D) que simula uma força de entre as partículas?1/r1/r1/r Mais especificamente, gostaria de saber se é possível, com regras de atualização estritamente locais, ter dois objetos (definidos dentro do modelo) se atraírem com uma força , em que r é a distância que separa os …

11 simulation  cellular-automata 

O seguinte problema é NP-completo? (Presumo que sim). Entrada: um gráfico não direcionado em que o conjunto de arestas pode ser decomposto em dois ciclos simples separados por arestas (estes não fazem parte da entrada).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Pergunta: Existe um ciclo simples em com comprimento maior que ?GGGkkk Obviamente, o …

11 graph-theory  np-complete  decision-problem 

Recentemente, me deparei com este problema , uma variação de torres de hanoi . Declaração do problema: Considere a seguinte variação do conhecido problema Towers of Hanoi: Recebemos torres e m discos de tamanhos empilhados em algumas torres. Seu objetivo é transferir todos os discos para a torre com o …

11 algorithms  combinatorics  recursion 

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 

Esta pode ser uma pergunta boba. Parece claro que um FSA, por ser finito, pode contar apenas o número de símbolos em sua sequência de entrada até um número limitado pelo número de seus estados. Mas agora suponha que damos ao FSA recursos de saída (por exemplo, impressão). Seria então …

11 automata  finite-automata 

Como você detectaria algoritmicamente para uma determinada foto se o sol estava brilhando quando a foto foi tirada? Exemplos Uma amostra desta webcam no topo de uma montanha: Claramente o sol está brilhando. Nesta outra amostra, é muito menos óbvio: Provavelmente, é possível detectar com facilidade se está nebuloso tentando …

11 algorithms  image-processing 

A afirmação usual do problema justo de cortar bolos supõe que todos os jogadores tenham sua participação ao mesmo tempo. No entanto, em muitos casos, os jogadores chegam de forma incremental. Por exemplo, podemos dividir um bolo por jogadores, mas um novo jogador chega e quer compartilhar.nnnnnnn Geralmente, a divisão …

11 algorithms  game-theory  online-algorithms 

Eu estava lendo uma resposta para uma pergunta recente, e uma espécie de pensamento estranho e efêmero veio à minha mente. Pedir isso pode revelar que minhas faltas teóricas estão seriamente ausentes (principalmente verdadeiras) ou que ainda é muito cedo para ler este site. Agora, com o aviso fora do …

11 turing-machines  undecidability  halting-problem 

Esta é uma pergunta do livro do Dragão (peço desculpas por erros de tradução, não tenho a versão em inglês): Que idioma é gerado por esta gramática? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Não sei o que devo fazer aqui. A definição no …

11 formal-languages  context-free  formal-grammars 

Fiquei me perguntando, vez que é um idioma sem estrelas, existe um idioma regular que não é um idioma sem estrelas? Você poderia dar um exemplo?a∗a∗a^* (de wikipdia ) Lawson define idiomas sem estrelas como: Diz-se que uma linguagem comum é livre de estrelas se puder ser descrita por uma …

11 formal-languages  regular-languages  automata 

Dados dois vetores de números inteiros de comprimentos possivelmente desiguais, como posso determinar o resultado máximo possível ao acumular a escolha do máximo entre pares correspondentes de números entre os dois vetores com zeros extras inseridos no vetor mais curto para compensar a diferença de tamanho? Por exemplo, considere os …

11 algorithms  optimization