COMPUTATION OF P(13) THE NUMBER OF POSETS WITH 13 ELEMENTS : 33.823.827.452

C. Chaunier and N. Lygeros

  • Post Category:Sections

For the history of this subject you can see records in combinatorics and number theory.
For the precise table of the computation of the number of posets with 12 or 14 elements see P(12) or P(14).

REFERENCES

  • Calculs exhaustifs sur les posets d’au plus 7 éléments.
    SINGULARITE, vol.2 n4 p.10-24, avril 1991. (N.Lygeros)
  • Petits posets : dénombrement, représentabilité par cercles et
    compenseurs.

    C.R.Acad.Sci.Paris, t.313, s.I, p.417-420, septembre 1991. (R.Fraïssé, N.Lygeros)
  • The number of orders with thirteen elements.
    Order, vol.9 p.203-204, 1992 (C.Chaunier, N.Lygeros)

    RelationsP(13,r)
    r=01
    r=11
    r=23
    r=37
    r=419
    r=547
    r=6133
    r=7354
    r=81014
    r=92874
    r=108305
    r=1123513
    r=1265215
    r=13173481
    r=14441249
    r=151062532
    r=162419194
    r=175194267
    r=1810529510
    r=1920169973
    r=2036606102
    r=2163090851
    r=22103573457
    r=23162384152
    r=24243809985
    r=25351390204
    r=26487237576
    r=27651206672
    r=28840404152
    r=291048785819
    r=301267416540
    r=311484925018
    r=321688672630
    r=331865878896
    r=342005172954
    r=352097659160
    r=362138021170
    r=372124818344
    r=382060635454
    r=391951423800
    r=401805816407
    r=411633935577
    r=421446444433
    r=431253457366
    r=441063880995
    r=45884825225
    r=46721452090
    r=47576924933
    r=48452654555
    r=49348576046
    r=50263545083
    r=51195684307
    r=52142728742
    r=53102283393
    r=5472028601
    r=5549849120
    r=5633906587
    r=5722666616
    r=5814891283
    r=599613263
    r=606096379
    r=613796733
    r=622320757
    r=631391478
    r=64817624
    r=65470396
    r=66264558
    r=67145258
    r=6877647
    r=6940260
    r=7020165
    r=719660
    r=724391
    r=731862
    r=74714
    r=75241
    r=7666
    r=7712
    r=781

     

    These results confirm R. Fraïssé’s conjecture on unimodality.