Ciência da Computação Teórica

Quando examinei " Uma abordagem de programação dinâmica para problemas de seqüenciamento ", de Michael Held e Richard M. Karp, surgiu a seguinte pergunta: por que a complexidade de seu algoritmo para TSP é (p. 199), quero dizer aonde eles levam o fator k ? Se entendi corretamente, k-1 significa …

9 ds.algorithms  tsp  exp-time-algorithms 

O seguinte problema de decisão é NP-completo: Seja um gráfico não direcionado e dois inteiros. É possível selecionar para cada vértice de exatamente vizinhos diferentes, de modo que nenhum nó seja escolhido mais que vezes.GGGb≤cb≤cb \le cb cGGGbbbccc O caso pode ser resolvido para qualquer em tempo polinomial usando a …

9 cc.complexity-theory  np-hardness  graph-algorithms 

Gostaria de saber se existem abordagens que formulam um problema de roteamento de veículo com Windows de tempo ( VRPTW ) (como um problema de decisão) como uma instância de SAT / SMT? (alternativa: TSP) Por exemplo: "Existe uma solução válida para visitar todos os clientes dentro de suas janelas …

9 ds.algorithms  reference-request  sat  reductions  tsp 

Perguntado pela primeira vez em math.SE sem respostas. Suponha que eu tenha um gráfico planar, com uma incorporação planar, como encontro a decomposição da árvore? O que é a decomposição de árvore ideal de uma -by- grade quadrada? Não sabe ao certo como definir "ideal", mas deve distinguir entre decomposição …

9 ds.algorithms  graph-theory  graph-algorithms  treewidth  integer-lattice 

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

9 soft-question  advice-request  research-practice  career 

Estou procurando uma estrutura de dados, que é basicamente uma árvore de mapas, onde o mapa em cada nó contém alguns novos elementos, bem como os elementos no mapa do nó pai. Por mapa aqui, quero dizer um mapa de programação com chaves e valores, como mapa no STL ou …

9 ds.data-structures  tree  hash-function 

Esta é uma versão especializada de uma pergunta anterior: Complexidade de encontrar a composição Eigend de uma matriz . Para matrizes simétricas NxN, sabe-se que o tempo O (N ^ 3) é suficiente para calcular a decomposição do eigen. A questão é: podemos alcançar complexidade sub-cúbica? Obrigado.

9 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

Alice e Bob estão dividindo a propriedade de seu falecido tio Charlie (uma coleção finita de itens discretos) de acordo com seus desejos. Primeiro, A escolhe um item, depois B, depois A e assim por diante.XXX Alice e Bob têm funções utilitárias aditivas , de modo que, se Alice terminar …

9 gt.game-theory 

Geralmente, chamamos um algoritmo de "bom algoritmo" se o tempo de execução for polinomial no pior dos casos. Mas em alguns casos (por exemplo, algoritmo Simplex), mesmo que o pior caso do algoritmo seja exponencial, ele poderia funcionar muito bem na prática. Existem exemplos (determinísticos) nessa situação além do algoritmo …

9 ds.algorithms 

Como você pode forçar uma parte a ser honesta (obedecer às regras do protocolo)? Eu já vi alguns mecanismos, como compromissos, provas e etc., mas eles simplesmente não parecem resolver todo o problema. Parece-me que a estrutura do design do protocolo e esses mecanismos devem fazer o trabalho. Alguém tem …

9 cr.crypto-security  gt.game-theory 

A teoria da complexidade computacional classifica os problemas de acordo com a dificuldade inerente. A teoria de sistemas complexos trata de sistemas que exibem comportamentos que obviamente não surgem das propriedades das partes individuais do sistema. Exemplos incluem sistemas caóticos, sistemas adaptativos complexos ou sistemas não lineares. Existe alguma ponte …

9 cc.complexity-theory  soft-question  big-picture 

É sabido que o problema NP-Complete chamado Subset Sum possui um FPTAS. Gostaria de saber se existe um problema PSPACE Complete que também possui um FPTAS? Desde já, obrigado.

9 ds.algorithms  space-bounded  big-picture 

Suponha que recebamos um gráfico GGG e os parâmetros k,ϵk,ϵk,\epsilon . Existem intervalos de valores para kkk (ou é possível para todos os kkk ) para os quais é possível testar se GGG é ϵϵ\epsilon - longe de ter um conjunto independente de tamanho pelo menos kkk no tempo O(n+poly(1/ϵ))O(n+poly(1/ϵ))O(n …

9 ds.algorithms  graph-theory  reference-request  property-testing 

A multiplicação de matrizes usando a técnica regular (produto interno da coluna de linha) utiliza multiplicações e O ( n 3 ) adições. No entanto, assumindo entradas de tamanho igual (número de bits em cada entrada de ambas as matrizes sendo multiplicadas) de tamanho m bits, a operação de adição …

9 cc.complexity-theory  algebraic-complexity 

Vamos ser um alfabeto, ou seja, um não-vazio finito set. Uma string é qualquer sequência finita de elementos (caracteres) de Σ . Como exemplo, { 0 , 1 } é o alfabeto binário e 0110 é uma sequência para esse alfabeto.ΣΣ\SigmaΣΣ\Sigma{0,1}{0,1} \{0, 1\}011001100110 Normalmente, contanto que contenha mais de 1 …

9 big-list  encoding  examples