Skip to main content

The Nonexistence of 4-(12,6,6) Designs

  • Chapter
Computational and Constructive Design Theory

Abstract

With the help of computer algorithms we prove that there are no 4-(12, 6, 6) designs, thereby answering the last open existence question in design theory for at most 12 points. We also enumerate three families of related designs, namely the 10977 simple 3-(10, 4, 3) designs, the 67 simple 4-(11, 5, 3) designs, and the 23 simple 5-(12, 6, 3) designs. Finally, we complete the census of all possible partitions of 6-sets on 12 points into 5-(12, 6, A) designs and of 5-sets on 11 points into 4-(11, 5, A) designs.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. T. Beth, D. Jungnickel and H. Lenz, Design Theory, Cambridge University Press (1986).

    Google Scholar 

  2. A. E. Brouwer, The t-designs with y 18, Stichting Math. Centrum ZN 76/77, Amsterdam, August 1977.

    Google Scholar 

  3. Y. M. Chee, C. J. Colbourn and D. L. Kreher, Simple t-Designs with v 30, Ars Combinatoria 29 (1990), 193–261.

    MathSciNet  MATH  Google Scholar 

  4. P. B. Gibbons, Computing Techniques for the Construction and Analysis of Block Designs (Ph.D. thesis), Department of Computer Science, University of Toronto (1976).

    Google Scholar 

  5. J. J. Harms, C. J. Colbourn and A. V. Ivanov, A Census of (9,3,3) Block Designs without Repeated Blocks, Congressus Num. 57 (1987), 147–170.

    MathSciNet  Google Scholar 

  6. A. V. Ivanov, Constructive Enumeration of Incidence Systems, Ann Discrete Math. 26 (1985), 227–246.

    Google Scholar 

  7. E. S. Kramer and D. M. Mesner, Intersections Among Steiner Systems, J. Combinatorial Theory 16A (1974), 273–285.

    Article  MathSciNet  MATH  Google Scholar 

  8. E. S. Kramer and D. M. Mesner, t-Designs on Hypergraphs, Discrete Math 15 (1976), 263–296.

    MathSciNet  MATH  Google Scholar 

  9. D. L. Kreher, D. de Caen, S. A. Hobart, E. S. Kramer and S. P. Radziszowski, The Parameters 4—(12, 6, 6) and Related t-Designs, Austral. J. Combin. 7 (1993), 3–20.

    MATH  Google Scholar 

  10. D. L. Kreher and S. P. Radziszowski, The Existence of Simple 6—(14, 7, 4) Designs, J. Combinatorial Theory 43A (1986), 237–243.

    Article  MathSciNet  MATH  Google Scholar 

  11. B. D. McKay, nauty Users’ Guide (Version 1.5), Technical Report TRCS-90–02, Computer Science Department, Australian National University, 1990.

    Google Scholar 

  12. B. D. McKay, Isomorph-free exhaustive generation, to appear.

    Google Scholar 

  13. S. P. Radziszowski, Enumeration of All Simple t— (t + 7, t + 1,2) Designs, J. Combin. Math. Combin. Comput. 12 (1992), 175–178.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

McKay, B.D., Radziszowski, S.P. (1996). The Nonexistence of 4-(12,6,6) Designs. In: Wallis, W.D. (eds) Computational and Constructive Design Theory. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-2497-4_7

Download citation

  • DOI: https://doi.org/10.1007/978-1-4757-2497-4_7

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4757-2499-8

  • Online ISBN: 978-1-4757-2497-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics