Perguntas com a marcação «ds.algorithms»

Sejam conjuntos que possam ter elementos em comum. Estou à procura de um menor conjunto X tal que ∀ i ,S1 1, S2, … , SnS1 1,S2,...,SnS_1,S_2,\ldots,S_nXXX .∀ i ,X∩ SEu≠ ∅∀Eu,X∩SEu≠∅\forall i,\,X\cap S_i \ne \emptyset Esse problema tem um nome? Ou reduz a algum problema conhecido? No meu contexto, …

16 ds.algorithms  graph-algorithms 

Dadas duas matrizes e , o problema de decidir se existe uma matriz de permutação tal que seja equivalente a (gráfico isomorfismo). Mas se relaxarmos para ser apenas uma matriz invertível, então qual é a complexidade? Existem outras restrições em uma matriz invertível , além de ser uma permutação, que …

16 ds.algorithms  time-complexity  linear-algebra  matrices  graph-isomorphism 

Suponha que recebamos uma matriz e deixe . Quão rápido podemos calcular a potência dessa matriz?A ∈ RN× NA∈RN×NA \in \mathbb R^{N\times N}m ∈ N0 0m∈N0m \in \mathbb N_0UMAmAmA^m A próxima melhor coisa em comparação com a computação de produtos é utilizar a exponenciação rápida, que requer produtos da matriz …

16 ds.algorithms  matrices  na.numerical-analysis 

Ao ler o blog de Dick Lipton, deparei-me com o seguinte fato no final de seu post no Bourne Factor : Se, para cada , existe uma relação da forma ( 2 n ) ! = M - 1 Σ k = 0 um K b c k k onde …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

Dado um gráfico não direcionado de vértices , qual é o tempo de execução mais conhecido para encontrar um subgráfico que é uma biclique ? Existem algoritmos parametrizados mais rápidos que o algoritmo de tempo \ binom {n} {k} \ mbox {poly} (n) de "adivinhar" um lado da biclique e …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Eu queria saber se os problemas para os quais existem algoritmos de tempo sublinear (no tamanho da entrada) podem ser caracterizados como possuindo propriedades específicas. Isso inclui tempo sublinear (por exemplo, teste de propriedades, uma noção alternativa de aproximação para problemas de decisão), espaço sublinear (por exemplo, algoritmos de esboço …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Uma frase de permutação é uma extensão das definições gramaticais livres de contexto (E) BNF: uma frase de permutação contém produções (ou equivalentes, não terminais) a . Na posição da frase de permutação, gostaríamos de ver cada uma dessas produções exatamente uma vez, mas não estamos interessados ​​em ordenar essas …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

Não trabalho em teoria, mas meu trabalho exige a leitura (e a compreensão) de trabalhos de teoria de vez em quando. Depois de entender um (conjunto de) resultados, discuto esses resultados com pessoas com quem trabalho, a maioria das quais também não trabalha em teoria. Durante uma dessas discussões, surgiu …

16 ds.algorithms  graph-algorithms 

Como é sabido, uma decomposição em árvore de um gráfico consiste em uma árvore com uma bolsa associada para cada vértice , que satisfaz as seguintes condições:T T v ⊆ V ( G ) v ∈ V ( T )GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v∈V(T)v∈V(T)v \in V(T) Cada vértice de ocorre em algum …

16 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Estou tentando descobrir como o Path Graph acordo com o algoritmo de Eppstein, neste artigo funciona e como posso reconstruir os caminhos mais curtos de para com a construção de pilha correspondente .P(G)P(G)P(G)kkkssstttH(G)H(G)H(G) Tão longe: out(v)out(v)out(v) contém todas as arestas que saem de um vértice em um gráfico de que …

16 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

fundo Uma árvore de decisão binária é uma árvore com raiz onde cada nó interno (e raiz) é marcado por um índice j ∈ { 1 , . . . , n } de modo que nenhum caminho da raiz para a folha repita um índice, as folhas são rotuladas …

16 ds.algorithms  query-complexity  decision-trees 

Faça um gráfico direcionado onde as bordas são decoradas com um número natural. Queremos o conjunto de todos os caminhos P entre dois vértices v 1 e v 2, de modo que cada aresta sucessiva no caminho seja decorada com um número natural que seja maior que o número natural …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

supAOPTsupAOPT\sup\frac{A}{OPT}MINMINMINAAAAAAOPTOPTOPTinfΩ−AΩ−OPTinfΩ−AΩ−OPT\inf\frac{\Omega-A}{\Omega-OPT}ΩΩ\Omega fornece a mesma taxa de aproximação para problemas como cobertura mínima de vértices e conjunto independente máximo, que são conhecidos por serem apenas realizações diferentes do mesmo problema; fornece a mesma proporção para as versões max e min do mesmo problema. Ao mesmo tempo, sabemos na teoria padrão MIN …

16 ds.algorithms  approximation-algorithms  approximation-hardness 

Uma pergunta recente discutiu o agora clássico algoritmo de programação dinâmica para TSP, devido independentemente a Bellman e Held-Karp . O algoritmo é universalmente relatado para ser executado no tempo O ( 2nn2)O(2nn2)O(2^n n^2) . No entanto, como um dos meus alunos apontou recentemente, esse tempo de execução pode exigir …

16 ds.algorithms  machine-models  computing-over-reals 

Recebemos uma família de m subconjuntos de {1, ..., n}. É possível encontrar um limite inferior não trivial à complexidade de decidir se F é uma família Sperner? O limite inferior trivial é O ( n m ) e eu suspeito fortemente que ele não seja rígido.FF\mathcal{F}mmmFF\mathcal{F}O ( n m …

16 ds.algorithms  co.combinatorics