Questions marquées «efficiency»

Utiliser le moins de ressources possible (p. Ex. Temps, espace) pour résoudre un problème. Utilisez cette balise si votre question porte spécifiquement sur l'utilisation des ressources, et non pour les questions d'algorithme génériques qui mentionnent les temps d'exécution.

2
Quand puis-je utiliser la programmation dynamique pour réduire la complexité temporelle de mon algorithme récursif?
La programmation dynamique peut réduire le temps nécessaire pour exécuter un algorithme récursif. Je sais que la programmation dynamique peut aider à réduire la complexité temporelle des algorithmes. Les conditions générales sont-elles telles que si elles sont satisfaites par un algorithme récursif, cela impliquerait que l'utilisation de la programmation dynamique …

2
Problèmes qui semblent exponentiels mais qui sont P
J'essaie de construire une liste d'algorithmes / problèmes qui sont "exceptionnellement utiles", comme dans la résolution de problèmes qui semblent "de nature très exponentielle", mais qui ont un algorithme particulièrement intelligent qui les résout finalement. Exemples de ce que je veux dire: Programmation linéaire (L'algorithme simplex est un temps exponentiel; …

2
Tous les langages sans contexte et réguliers sont-ils décidables de manière efficace?
Je suis tombé sur cette figure qui montre que les langages sans contexte et réguliers sont des sous-ensembles (appropriés) de problèmes efficaces (supposément ). Je comprends parfaitement que les problèmes efficaces sont un sous-ensemble de tous les problèmes décidables car nous pouvons les résoudre, mais cela peut prendre très longtemps.PP\mathrm{P} …

3
Existe-t-il des algorithmes d'exponentiation à matrice parallèle plus efficaces que la multiplication séquentielle?
Il faut trouver la puissance (entier positif) de la matrice des nombres réels. Il existe de nombreux algorithmes de multiplication matricielle efficaces (par exemple, certains algorithmes parallèles sont ceux de Cannon, DNS ), mais existe-t-il des algorithmes qui sont exactement destinés à trouver la puissance de la matrice et qui …

3
Existe-t-il une preuve que les ordinateurs quantiques sont plus efficaces que les ordinateurs classiques?
L'algorithme de Shor est souvent utilisé comme argument. Il peut résoudre le problème de factorisation plus rapidement que n'importe quel algorithme connu pour les ordinateurs classiques. Pourtant, nous n'avons aucune preuve que les ordinateurs classiques ne peuvent pas également factoriser efficacement les entiers. Existe-t-il des ordinateurs quantiques de preuve réels …

2
Programmation dynamique avec un grand nombre de sous-problèmes
Programmation dynamique avec un grand nombre de sous-problèmes. J'essaie donc de résoudre ce problème depuis Interview Street: Grid Walking (Score 50 points) Vous êtes situé dans une grille à NNN dimensions à la position (x1,x2,…,xN)(x1,x2,…,xN)(x_1,x_2,\dots,x_N) . Les dimensions de la grille sont (D1,D2,…,DN(D1,D2,…,DN(D_1,D_2,\dots,D_N ). En une seule étape, vous pouvez …

1
Déduire les types de raffinement
Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

3
Notions de calcul efficace
Un algorithme de machine de Turing à temps polynomial est considéré comme efficace si son temps d'exécution, dans le pire des cas, est limité par une fonction polynomiale dans la taille d'entrée. Je connais la forte thèse de Church-Turing: Tout modèle raisonnable de calcul peut être simulé efficacement sur les …




2
Vous recherchez une implémentation d'ensemble avec une faible empreinte mémoire
Je recherche l'implémentation du type de données défini. Autrement dit, nous devons maintenir un sous-ensemble dynamique SSS (de taille nnn ) à partir de l'univers de taille u avecuU={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\}uuu opérations insert(x)(ajouter un élément xà SSS ) et find(x)(vérifie si l'élément …


3
Sous-ensemble maximum par paire non divisible par
Je un ensemble de nombres, et souhaite calculer le sous - ensemble maximal de telle sorte que la somme de deux quelconques des éléments de ce n'est pas divisible par un nombre entier . J'ai essayé de résoudre ce problème, mais j'ai trouvé la solution quadratique, qui n'est pas une …

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.