Nous savons que si l'écart entre les valeurs d'un programme entier et son dual (le "gap de dualité") est nul, alors les relaxations de programmation linéaire du programme entier et le dual de la relaxation admettent toutes deux des solutions intégrales (intégrité nulle) écart"). Je veux savoir si...
Considérons l' espace à nnn dimensions {0,1}n{0,1}n\{0,1\}^n , et soit ccc une contrainte linéaire de la forme a1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka_1x_1 + a_2x_2 + a_3x_3 +\ ...\ + a_{n-1}x_{n-1} + a_nx_n \geq k , où ai∈Rai∈Ra_i \in \mathbb{R} , et k ∈ R...
J'ai lu un peu sur la méthode de la somme des carrés (SOS) de l' enquête de Barak & Steurer et les notes de cours de Barak . Dans les deux cas, ils balaient les problèmes de précision numérique sous le tapis. D'après ma compréhension (certes limitée) de la méthode, ce qui suit devrait être...
Branch and bound est une heuristique efficace pour les problèmes de recherche, et Wikipedia répertorie un certain nombre de problèmes difficiles où branch-and-bound a été utilisé. Cependant, je n'ai pas été en mesure de trouver des références pour suggérer que c'est plus qu'une "seule méthode" pour...
Je commence à étudier la possibilité de compter sur un solveur SAT pour résoudre un problème d'optimisation qui m'intéresse, et je suis actuellement à la recherche d'une enquête qui présenterait des exemples de transformations "intelligentes" vers des variantes de SAT (c'est-à-dire des...
Cette question concerne les problèmes de programmation quadratique avec des contraintes de boîte (box-QP), c'est-à-dire des problèmes d'optimisation de la forme minimiser sous réserve de x ∈ [ 0 , 1 ] n .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T...
Sait-on quelque chose sur la deuxième plus petite coupe - t dans un réseau de flux? Ou, plus généralement, à propos de ce problème:sssttt Entrée: Un réseau et un nombre k , tous en binaire. Sortie: A k e plus petit s - t coupé.NNNkkkkkksssttt Une ème plus petite coupe s - t ( S , T ) est toute...
Existe-t-il des algorithmes de réorganisation des données à optimiser pour la compression? Je comprends que cela est spécifique aux données et à l'algorithme de compression, mais y a-t-il un mot pour ce sujet? Où puis-je trouver des recherches dans ce domaine? Plus précisément, j'ai une liste json...
L' entrée est un univers et une famille de sous - ensembles de U , par exemple, F ⊆ 2 U . Nous supposons que les sous - ensembles de F peuvent couvrir U , c. -à- ⋃ E ∈ F E = U .UUUUUUF⊆ 2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈ FE= U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Une séquence de recouvrement...
L'algorithme simplex est souvent traité soit dans l'arithmétique réelle, soit dans le monde discret avec des calculs exacts. Cependant, il semble être implémenté le plus souvent avec une arithmétique à virgule flottante. Cela conduit à se demander si l'algorithme simplex doit être considéré comme...
La programmation linéaire est, bien sûr, de nos jours très bien comprise. Nous avons beaucoup de travail qui caractérise la structure des solutions réalisables et la structure des solutions optimales. Nous avons la forte dualité, les algorithmes poly-temps, etc. Mais que sait- on des solutions...
On nous donne un matroïde. Notre objectif est de trouver un ensemble d'éléments de taille minimale ayant une intersection non vide avec chaque base du matroïde. Le problème est-il étudié auparavant? Est-ce en P? Par exemple, dans un matroïde couvrant un arbre, l'ensemble de frappe minimum doit être...
Supposons que l'on nous donne un tableau contenant des entiers non négatifs (pas nécessairement distincts).A[1..n]A[1..n]A[1..n] Soit un trié dans l'ordre non croissant. Nous voulons calculer A m = max i ∈ [ n ] B [ i ] + i .BBBAAAm=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. La...
Je serais très intéressé par les références à la théorie des fonctions sous-modulaires (des bases aux avancées). En particulier, j'étudie des approximations de problèmes d'optimisation difficiles et je souhaite développer mes fondations dans les fonctions sous-modulaires car elles sont pertinentes...
Je n'ai pas pu trouver dans la littérature une caractérisation précise de la disparition de l'écart de dualité SDP. Ou, quand la "forte dualité" tient-elle? Par exemple, quand on va et vient entre le Lasserre et le SOS SDP, on a en principe un écart de dualité. Cependant, d'une manière ou d'une...
L'ensemble est donné. Pour chaque élément , nous avons le poids et le coût . Le but est de trouver le sous-ensemble de taille qui maximise la fonction objectif suivante: .e i w i > 0 c i > 0 M k ∑
Étant donné un ensemble de points dans un espace cartésien 3D, je recherche un algorithme qui triera ces points, de sorte que la distance euclidienne minimale entre deux points consécutifs soit maximisée. Il serait également avantageux que l'algorithme tende vers une distance euclidienne moyenne...
La minimisation des circuits est le problème pour minimiser la taille d'un circuit donné. Existe-t-il quelque chose de similaire pour les programmes généraux? En particulier, ma question est - Existe-t-il des algorithmes pour minimiser le nombre d'instructions pour un programme donné. Je sais que...
Existe-t-il des exemples naturels connus de problèmes d'optimisation pour lesquels il est beaucoup plus facile de produire une solution optimale que d'évaluer la qualité d'une solution candidate donnée? Par souci de concrétisation, nous pouvons considérer les problèmes d'optimisation résolubles en...
MCTS / UCT est une méthode de recherche d'arbre de jeu qui utilise un algorithme de bandit pour sélectionner les nœuds prometteurs à explorer. Les jeux sont joués de manière aléatoire et les nœuds menant à plus de victoires sont explorés plus en profondeur. L'algorithme de bandit maintient un...