Changes between Version 1 and Version 3 of Ticket #16272


Ignore:
Timestamp:
04/30/14 14:51:43 (7 years ago)
Author:
vdelecroix
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #16272

    • Property Dependencies changed from to #15310, #16227
  • Ticket #16272 – Description

    v1 v3  
    66As the semantic changes, we will also turn the keyword `availability` into `existence` (or maybe have both).
    77
    8 In the same ticket, we will include some of the known non existence of transversal designs.
     8In the same ticket, we will include some of the known non existence of transversal designs:
     9 - The [http://en.wikipedia.org/wiki/Bruck%E2%80%93Ryser%E2%80%93Chowla_theorem Bruck Ryser Chowla Theorm] gives the non-existence of many TD(n+1,n)
     10 - C. Lam in Lam, "The Search for a Finite Projective Plane of Order 10" (1991) proved that TD(11,10) cannot exist
     11 - there is some work (?) that shows that if $k$ is large enough then the existence of TD(k,n) implies the existence of TD(n+1,n) and so the non-existence results can percolate downwards in k