The Center for Communications Research-La Jolla (CCR-L) provides practical solutions to real-world problems. These can range from broad mathematical investigations reflected in research papers to writing advanced computer programs. The research environment is distinctive in encouraging close collaboration, multidisciplinary teams, tight coupling between theory and practice, and active collaborations with the other two IDA centers located in Princeton, NJ and Bowie, MD.
CCR-L opened in 1989 and has been growing ever since. It now employs many PhD mathematicians and computer scientists working on problems in cryptography, cryptanalysis, machine learning, high-performance computing, network security, as well as related areas of pure and applied mathematics. The list of problem areas we attack gives no real hint as to the very wide diversity of mathematical approaches that we employ; virtually every branch of pure and applied mathematics has proved to be useful in these efforts.
Recently I asked this question about guaranteeing matching a certain number of lottery numbers, and the answer gave the right direction to what I’m looking for, La Jolla Covering tables.
But now that I’ve been studying the tables and trying to understand them, I’m not sure if I’m getting it at all.
As I mention in my post, I play lotto, where I pick 8 numbers and make 5 combinations of 5 each, like this:
This gives me the certainty that if the 5 winning lotto numbers are contained in my 8 numbers, I will hit at least 4 in 1 of my 5 tickets.
From what I’ve read in la Jolla Covering repo:
A $(v,k,t)-$covering design is a collection of $k$-element subsets, called blocks, of $<1,2,ldots ,v>$, such that any $t$-element subset is contained in at least one block.
From this, I think my design should be $(v=8,k=5,t=4)$, if I’m understanding correctly. If I go and check the table at the La Jolla repository, I get a table with 20 rows, which leads me to believe that I’m not understanding this at all.
What is it that I’m not understanding correctly? Can you elaborate your answer please?
1 Answer 1
I think this is the issue:
An $(8, 5, 4)$ covering design is a set $mathcal$ of subsets of $<1, 2, ldots, 8>$ (hereafter I’ll use $[8]$ to refer to $<1,2, ldots, 8>$) such that any $4$-element subset of $[8]$ is a subset of some $B in mathcal$.
What you have is not an $(8, 5, 4)$ design: for example, $<1, 2, 4, 7>$ isn’t a subset of any of your five $5$-element subsets of $[8]$.
But, your sets are enough to guarantee (and I had Sage help me make sure!) that for all $5$-element subsets of $[8]$, at least one of its $4$-element subsets is a subset of one of your sets.
This is not my area of expertise, so I’m not aware of any good references for the sort of things you’re looking to construct. But, they are not $(v, k, t)$ covering designs.
From the answer to your other question:
A Covering Design $C(v,k,t,m,l,b)$ is a pair $(V,B)$, where $V$is a set of $v$ elements (called points) and $B$ is a collection of $b$ $k$-subsets of $V$ (called blocks), such that every $m$-subset of $V$ intersects at least $l$ members of $B$ in at least $t$ points. It is required that $v geq k geq t$ and $m geq t.$
You want $l=1,k=5,$ $V= <1,2,ldots,14>quad(v=14)$ etc. Google the "La Jolla Covering Repository" for extensive tables.
We can reconcile this with the definition given by La Jolla:
A $(v,k,t)-$covering design is a collection of $k$-element subsets, called blocks, of $<1,2,ldots ,v>$, such that any $t$-element subset is contained in at least one block.
If we are talking about a $(v, k, t)$ covering design, it fits into the above definition, but it’s suppressed some parameters: Namely, requiring every $t$-element subset to be contained in at least one block, we’re stipulating that $m = t$ (in your case, $4$).
Specifically, your sets are a $$C(v = 8,, k = 5,, t = 4,, m = 5,, l = 1,, b = 5)$$ covering design. But what’s listed in La Jolla is a $$C(v = 8,, k = 5,, t=4,, m=4,, l=1,, b=20)$$
covering design. I suspect that you need $b ge 20$ subsets to cover $m = t = 4$-element subsets of $[8]$ (hence the $20$ sets in the repository) while, ev >
Topics: The Institute For Defense Analyses, and Ccr — Princeton.
Age: The domain is 25 years and 10 months old.
- Popular pages
- ccrwest.org La Jolla Covering Repository
- ccrwest.org La Jolla Covering Repository Tables
- ccrwest.org Massively Parallel Computation of Discrete Logarithms?
- ccrwest.org A survey of fast exponentiation methods
The estimated 75 daily visitors, each view 2.80 pages on average.
Links
- Links in
- numbertree.info Number Tree Numerology — Free Numerology Calculator & Sample
- probabilitytheory.info Probability theory
- Links out
- python.org Python Programming Language – Official Website
- >Server
Server Location Godaddy.com Inc.
Arizona
Scottsdale
United States
33.5093, -111.8985It has 4 nameservers, including cbru.br.ns.els-gms.att.net, cmtu.mt.ns.els-gms.att.net, and kaus.usc.edu. Ccrwest.org’s server IP number is 72.167.222.218. It is hosted by Godaddy.com Inc (Arizona, Scottsdale,) using Apache web server.
Web Server: Apache
PING www. (72.167.222.218) 56(84) bytes of data. 64 bytes from ip-72-167-222-218.ip.secureserver.net (72.167.222.218): icmp_req=1 ttl=54 55.0 ms 64 bytes from ip-72-167-222-218.ip.secureserver.net (72.167.222.218): icmp_req=2 ttl=54 55.0 ms 64 bytes from ip-72-167-222-218.ip.secureserver.net (72.167.222.218): icmp_req=3 ttl=54 54.8 ms — www. ping statistics — 3 packets transmitted, 3 received, 0% packet loss, time 2003ms rtt min/avg/max/mdev = 54.827/54.986/55.094/0.223 ms rtt min/avg/max/mdev = 54.827/54.986/55.094/0.223 ms Website load time is 258 milliseconds, slower than 97% of other measured websites. As well, a ping to the server is timed at 55.0 ms.