A B n Birkhoff-politóp , más néven hozzárendelési politóp , duplán sztochasztikus mátrixpolitóp , vagy a teljes bipartit gráf [1] tökéletesen illeszkedő politópja , egy konvex politóp RN -ben ( ahol ), amelynek pontjai kétszeresen sztochasztikus mátrixok , azaz , n × n mátrixok, amelyek elemei nemnegatív valós számok, és e mátrixok sorainak és oszlopainak összege 1.
A Birkhoff poliéder n ! csúcsok, egy csúcs minden n elem permutációjához [1] . Ez a Birkhoff-Von Neumann tételből következik , amely kimondja, hogy a Birkhoff-politóp szélső pontjai permutációs mátrixok , és mivel bármely kétszeresen sztochasztikus mátrix ábrázolható permutációs mátrixok konvex kombinációjaként. Ezt Garrett Birkhoff [2] 1946-os cikkében bebizonyította , de a reguláris kétrészes gráfok konfigurációi és illesztése tekintetében már jóval korábban, 1894-ben Ernst Steinitz , 1916-ban pedig Denesh König [3] mutatott be ezzel egyenértékű eredményeket .
A Birkhoff-poliéder élei olyan permutációpároknak felelnek meg, amelyek ciklusban különböznek:
egy olyan permutáció , amely egy ciklus.Ebből következik, hogy a B n politóp gráfja az S n szimmetrikus csoport Cayley-gráfja . Ez azt is jelenti, hogy a B 3 gráf egy teljes K 6 gráf , majd B 3 egy szomszédsági politóp .
A Birkhoff-poliéder az összes n × n mátrix n 2 -dimenziós terének ( n 2 − 2 n + 1) -dimenziós affin alterében található – ezt az alteret a lineáris megszorítások adják, hogy az egyes sorok és oszlopok összege egyenlő eggyel. Ezen az altéren belül n 2 lineáris egyenlőtlenség van beállítva , minden koordinátához egy, ami megköveteli a koordináták negativitását.
Így egy poliédernek pontosan n 2 fazettája van [1] .
A B n Birkhoff-politóp vertex-tranzitív és arc -tranzitív (vagyis a kettős politóp csúcstranzitív ). A poliéder nem tartozik a helyesek közé n >2 esetén .
Megoldatlan probléma a Birkhoff poliéder térfogatának megtalálása. Megtalált kötet a [4] számára . Ismeretes, hogy a térfogat megegyezik a standard Young-diagrammal [5] társított poliéder térfogatával . Az összes n -re vonatkozó kombinatorikus képlet 2007-ben van megadva [6] . A következő aszimptotikus képletet találta Rodney Canfield és Brendan McKay [7] :
Egy poliéder Earhart-polinomjának megtalálása nehezebb, mint a térfogat megtalálása, mivel a térfogat könnyen kiszámítható az Earhart-polinom vezető együtthatójából. A Birkhoff-politóphoz társított Earhart-polinom csak kis értékekről ismert, és csak egy sejtés van, hogy az Earhart-polinomok összes együtthatója (a Birkhoff-politópokra) nem negatív.