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

Dado um gráfico com arestas ponderadas, como podemos encontrar um ciclo negativo que contenha pelo menos um vértice em um determinado conjunto de vértices ? Obrigado.{V1,V2,…,Vk}{V1,V2,…,Vk}\{V_1, V_2, \ldots, V_k\}

11 ds.algorithms  graph-theory 

Deixe uma matriz k×nk×nk\times n ( k≤nk≤nk\le n ) real AA{\bf A} com a propriedade de que qualquer coleção de kkk colunas tenha classificação completa. Q: Existe uma maneira eficiente de deterministically encontrar um vetor aa{\bf a} tal forma que a matriz aumentada A′=[Aa]A′=[Aa]{\bf A}' = [{\bf A}\;{\bf a}] preserva …

11 ds.algorithms  linear-algebra  matrices  coding-theory 

Estou familiarizado com o algoritmo de descida de gradiente, que pode encontrar o mínimo local (máximo) de uma determinada função. Existe alguma modificação na descida do gradiente que permita encontrar o mínimo absoluto (máximo), onde a função possui vários extremos locais? Existem técnicas gerais, como aprimorar um algoritmo que pode …

11 ds.algorithms  approximation-algorithms  machine-learning 

Seja uma sequência de números inteiros em que cada um é um j ∈ { 1 , 2 , … , n } . Para i ∈ { 1 , 2 , … , n } , deixe m i = | { j : a j = i } …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

Dado um gráfico não direcionado ponderado com m=o(n2)m=o(n2)m = o(n^2) arestas, eu gostaria de calcular distâncias de aproximação inferiores a 2 entre qualquer par de vértices. Obviamente, eu gostaria de usar o espaço subquadrático e o tempo de consulta sublinear. Estou ciente do resultado de Zwick que usa multiplicação de …

11 ds.algorithms  graph-algorithms 

Merlin, que possui recursos computacionais ilimitados, quer convencer Arthur de que para com e O cálculo dessa soma da maneira direta (exponenciação e adição modular) leva tempo com multiplicação baseada em FFT. * Mas Arthur só pode executar operações . ( N , m , k )m|∑p≤N, p primepkm|∑p≤N, p …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

Existe uma classe de algoritmos de hash, teóricos ou práticos, de modo que um algoritmo na classe possa ser considerado 'reflexivo' de acordo com uma definição dada abaixo: hash1 = algo1 ("texto de entrada 1") hash1 = algo1 ("texto de entrada 1" + hash1) O operador + pode ser concatenação …

11 ds.algorithms  hash-function 

Quais são os obstáculos para tornar competitivos os solucionadores SAT com algoritmos gráficos especializados? Em outras palavras, é possível esperar solucionadores SAT que possam substituir o papel de projetista de algoritmos - ou seja, ser capaz de reconhecer automaticamente a estrutura do problema e resolvê-la tão rapidamente quanto um algoritmo …

11 ds.algorithms  graph-theory  sat 

Seja um gráfico direcionado acíclico, de modo que o grau externo de qualquer vértice seja O ( log | V | ) . Para cada vértice de G , podemos contar o número de vértices alcançáveis, apenas executando dfs de cada vértice e isso levará tempo O ( | V …

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

Desculpe se estou enganado com o local para fazer a pergunta (talvez eu deva ir para stackoverflow.com/mathoverflow.net?). Gostaria de saber se existe uma prova de que, ao avaliar o algoritmo euclidiano estendido, os coeficientes de Bézout (que são s e t na identidade como + bt = gcd ( a …

11 ds.algorithms  nt.number-theory 

Considere um gráfico com vértices e arestas. Os vértices são rotulados com variáveis ​​reais , onde é fixo. Cada aresta representa uma "medida": para a aresta , obtenho uma medida . Mais precisamente, é uma quantidade verdadeiramente aleatória em , distribuída uniformemente e independente de todas as outras medidas (arestas).m …

11 ds.algorithms  graph-algorithms 

Dados e M , é possível obter o M 'ésimo bit (ou dígito de qualquer base pequena) de N ! no tempo / espaço de ó ( p ( l n ( N ) , l N ( H ) ) ) , onde P ( x , y ) …

11 ds.algorithms  nt.number-theory 

Isso pode parecer mais uma questão de ciências sociais do que uma questão do TCS, mas não é. Ao ler " Algoritmos aleatórios ", que descrevem o problema do casamento estável, pode-se ler o seguinte (p54) "Pode-se demonstrar que, para todas as listas de preferências, existe pelo menos um casamento …

11 ds.algorithms  graph-theory  matching 

Em um gráfico, um conjunto independente é um subconjunto de vértices que não contém uma aresta como um subgrafo induzido. O problema de encontrar os maiores conjuntos independentes em um gráfico é uma questão algorítmica fundamental e difícil. Vamos considerar a questão mais geral de encontrar (o tamanho de) o …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

O lema Johnson-Lindenstrauss diz aproximadamente que para qualquer coleção de pontos em , existe um mapa onde tal que para todos : É sabido que declarações semelhantes não são possíveis para a métrica , mas é sabido se existe alguma maneira de contornar tais valores inferiores limites, oferecendo garantias mais …

11 ds.algorithms  approximation-algorithms  cg.comp-geom  metrics  embeddings