L'informatique

1

Recherche du chemin le plus court entre deux nœuds

Étant donné un digraphe pondéré et une fonction de pondération, d ( u , v ) , on peut normalement utiliser l'algorithme de Dijkstra pour obtenir le chemin le plus court. Ce que je suis intéressé, est de savoir comment obtenir le 2 n d chemin -shortest, le 3 r …

9 algorithms graphs shortest-path graph-traversal

2

Sélection des paramètres pour l'algorithme génétique

Comment sélectionner le nombre approprié de paramètres pour un algorithme génétique pour modéliser un système donné? Par exemple, supposons que vous souhaitiez optimiser la production de voitures et que vous disposiez de 1 000 mesures d'efficacité horaire pour différentes tâches pour chacun des 1 000 employés différents. Donc, vous avez …

9 genetic-algorithms

6

Les techniques de vérification des programmes pourraient-elles empêcher les bogues du genre Heartbleed de se produire?

Concernant le bug Heartbleed, Bruce Schneier écrivait dans son Crypto-Gram du 15 avril: «Catastrophique» est le bon mot. Sur une échelle de 1 à 10, il s'agit d'un 11. » J'ai lu il y a plusieurs années qu'un noyau d'un certain système d'exploitation a été rigoureusement vérifié avec un système …

9 cryptography correctness-proof security software-verification program-correctness

4

Qu'est-ce qui est «dynamique» dans la programmation dynamique?

Un de mes aînés a eu un entretien d'embauche et on lui a demandé pourquoi cela s'appelait dynamique. Il n'a pas pu répondre et après avoir abandonné, l'intervieweur a dit qu'il n'y avait rien de dynamique, ça s'appelait juste comme ça. C'est difficile à croire pour moi. Fait-il référence au …

9 terminology dynamic-programming

5

Pourquoi le TSP n'exige-t-il aucune répétition des villes?

Il me semble étrange que le TSP nie la possibilité de villes répétées. Le but de ce vendeur itinérant est d'aller le plus vite possible et de visiter toutes les villes, non? Que se passe-t-il s'il est plus rapide de traverser une ville dans laquelle vous êtes déjà allé?

9 terminology traveling-salesman

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 …

9 data-structures efficiency space-complexity sets dictionaries

1

si je ne veux qu'un élément de la matrice inverse, existe-t-il un algorithme rapide?

J'utilise Mathematica pour résoudre des problèmes. J'ai une question sur l'inverse de la matrice. si je ne veux qu'un seul élément de la matrice inverse, existe-t-il un algorithme plus rapide que d'utiliser Inversepour calculer la matrice inverse entière et extraire l'élément que je veux?

9 algorithms

2

Conception de la notation par les pairs - choisir un graphique pour obtenir des classements / évaluations précis

Contexte. J'écris du code pour le classement semi-automatisé, en utilisant le classement par les pairs dans le cadre du processus de classement. Les étudiants reçoivent des paires d'essais à la fois, et les étudiants ont un curseur pour choisir lequel est le meilleur et combien il est meilleur. par exemple, …

9 algorithms graphs modelling

1

NTIME (f) sous-ensemble de DSPACE (f)

Comme l'indique la question, comment prouver que ?NTIME (f( n ) ) ⊆ ESPACE ( f( n ) )NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Quelqu'un peut-il m'indiquer une preuve ou la décrire ici? Merci!

9 complexity-theory time-complexity space-complexity

3

Astuce de nucléation, pour les réseaux de neurones

J'ai découvert les réseaux neuronaux et les SVM. Les tutoriels que j'ai lus ont souligné l'importance de la noyauisation pour les SVM. Sans fonction de noyau, les SVM ne sont qu'un classificateur linéaire. Avec la noyauisation, les SVM peuvent également incorporer des fonctionnalités non linéaires, ce qui en fait un …

9 machine-learning artificial-intelligence neural-networks

1

Arbre évasé avec un nombre impair de rotations

Lors de l'insertion d'un élément dans une arborescence, les rotations sont effectuées par paires sur la base d'un motif en zig-zag ou en zig-zig. Lorsqu'il y a un nombre impair de rotations à effectuer, on peut soit faire la rotation supplémentaire en commençant à la feuille, soit enregistrer la rotation …

9 data-structures binary-trees splay-trees

3

Est-il possible de prouver la sécurité des fils?

Étant donné un programme composé de variables et d'instructions qui modifient ces variables, et une primitive de synchronisation (un moniteur, un mutex, un java synchronisé ou un verrou C #), est-il possible de prouver qu'un tel programme est thread-safe? Existe-t-il même un modèle formel pour décrire des choses comme la …

9 proof-techniques correctness-proof concurrency threads

3

Échantillonnage aléatoire dans un polygone

Je voudrais échantillonner un point uniformément aléatoire dans un polygone ... S'ils en échantillonnent un grand nombre, ils seraient également susceptibles de tomber dans deux régions s'ils ont la même superficie. Ce serait assez simple s'il s'agissait d'un carré car je prendrais deux nombres aléatoires en [0,1] comme coordonnées. La …

9 algorithms randomness sampling random-number-generator

1

Pourquoi les poids des réseaux de neurones sont-ils initialisés avec des nombres aléatoires?

Pourquoi les poids initiaux des réseaux de neurones sont-ils initialisés sous forme de nombres aléatoires? J'avais lu quelque part que cela est fait pour "briser la symétrie" et que le réseau neuronal apprend plus vite. Comment briser la symétrie permet-elle d'apprendre plus rapidement? Est-ce que l'initialisation des poids à 0 …

9 machine-learning artificial-intelligence neural-networks

2

Preuves interactives pour coNP

J'essaie de comprendre les systèmes de preuve interactifs et j'ai essayé le problème suivant comme exercice. Nous savons que et I P = P S P A C E , alors imaginez des systèmes de preuve interactifs (faciles à comprendre) pour P H ?PH⊆ PSPA CEPH⊆PSPACEPH \subseteq PSPACEjeP= PSPA CEIP=PSPACEIP=PSPACEPHPHPH …

9 complexity-theory interactive-proof-systems