En informatique théorique et en recherche opérationnelle, la génération de colonnes est une méthode pour résoudre efficacement les problèmes d'optimisation linéaire de grande taille 1. Elle repose sur la décomposition de Dantzig-Wolfe (en), qui consiste à décomposer l'ensemble des contraintes en deux sous-ensembles.
Les farces ont en commun de mettre en scène des personnages ridicules et de représenter des situations de tromperie et de ruse. L’un des principaux schémas des farces, celui du trompeur trompé, constitue le grand ressort de La Farce de Maître Pathelin.
Lemme de Farkas, version topologique — Soient s1, ... , sk des éléments d'un espace vectoriel réel E de dimension finie. L'ensemble des combinaisons linéaires à coefficients positifs ou nuls de s1, ... , sk est fermé dans E . B étant une matrice de réels et l'on note B ≥ 0 lorsque c'est une matrice à coefficients positifs 2.
Avant de donner l'énoncé du lemme de Farkas, commençons par rappeler un résultat sur les équations linéaires, suffisamment simple pour ne pas bénéficier d'une dénomination particulière, et dont le lemme de Farkas est la généralisation aux inégalités.