Soit
{A=(a_{i,j})_{0\le i,j\le n-1}} dans
{\mathcal{M}_{n}(\mathbb{R})}.
On dit que
A est
{\mu}–
magique si la somme de chaque ligne et de chaque colonne vaut
{\mu}.
On dit que
{A} est
bistochastique si
A est
{1}-magique et si les
{a_{i,j}} sont positifs ou nuls.
On note
{\mathcal{B}_n(\mathbb{R})} l’ensemble des matrices bistochastiques d’ordre
n.
On note
{\mathcal{P}_n(\mathbb{R})\subset\,\mathcal{B}_n(\mathbb{R})} l’ensemble des matrices de permutations
{P_{\sigma}} d’ordre
n.
On illustre ici ces notions avec Python.