{"entities":{"Q797579":{"pageid":799427,"ns":120,"title":"Item:Q797579","lastrevid":42698382,"modified":"2025-07-08T14:32:44Z","type":"item","id":"Q797579","labels":{"en":{"language":"en","value":"On coverings of a finite set: Depth and subcovers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3867334"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797579$86F4D35D-FC7A-46C0-BC4F-57DDC8603CD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27aab6ba13e35604bd3eadb1c3f9f81ffae663ba","datavalue":{"value":{"text":"On coverings of a finite set: Depth and subcovers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q797579$3F868FFA-2FDA-4CCB-8BB3-F3079C47D7CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e5b9420d8dda66362cce6bc990584c1a0616451","datavalue":{"value":"0545.05005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797579$BB34597E-4DC5-4B7E-ADF6-CC1735AE138E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eeed75686adfdc0377671992dde4b9645b659f64","datavalue":{"value":"10.1007/BF02109371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797579$4045D519-08D7-4ECF-ABF8-1D63F15708B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79cf62a9958b364f23410afdb9205441e98571c7","datavalue":{"value":{"entity-type":"item","numeric-id":797577,"id":"Q797577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797579$8D4A13AB-B9BB-42B7-B83E-3D019E784B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ed046cfa0f3aaebe7ee5a321838d2b14a94a270","datavalue":{"value":{"entity-type":"item","numeric-id":221782,"id":"Q221782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797579$033A2FF3-0249-40FD-9065-8CC15C304545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e8b4632d29d5e67bdb751fb01533c02f12c1f5e","datavalue":{"value":{"entity-type":"item","numeric-id":1226499,"id":"Q1226499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797579$0B7B6651-3A9A-4DBF-B023-5A9C2BAB28C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"615950119797f35f49728e278e9727b73c5c7f8e","datavalue":{"value":{"entity-type":"item","numeric-id":168620,"id":"Q168620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797579$0CB59C98-B9D5-45D6-96B8-B5CFC8F3F1F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q797579$2FF9F5D6-45C5-4F27-B30D-B5C5888888ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bda5a8005013cd0c0098a4d94103d621ea596001","datavalue":{"value":"Let \\(A=\\{0,1,2,...,n-1\\}\\). For \\(m\\in A\\) let f(m,n) be the least integer k with the following property. If F is a family of subsets of A such that every \\(i\\in A\\) belongs to more than k members of F, then A can be covered by n-m members of F. \\textit{D. E. Daykin} [Minimum subcover of a cover of a finite set (solution of Problem E2654), Am. Math. Mon. 85, 766 (1978)] proved that \\(f(m,n)\\geq 2^{m-1}\\) and \\(f(m,n)=2^{m-1}\\) for 2\\(m\\leq n\\). The main result of the paper under review is the following theorem: For each positive integer j there exists a positive integer \\(m_ j\\) such that for all \\(m\\geq m_ j f(m,2m-j)=2^{m-1}.\\) Some applications for (2n,n,\\(\\lambda\\),1)-projective designs are also presented. In the last section, known facts about f(m,n) are summarized.","type":"string"},"datatype":"string"},"type":"statement","id":"Q797579$B081E870-52D6-41F8-A526-CDF6CD30548C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6247f04fad65d359a20e559b3e9499d6219d492e","datavalue":{"value":"05A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797579$051CC77E-96C9-4E78-89F0-7239014FE137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb6fa31c061028a10fb1c2a1679af7746583c504","datavalue":{"value":"05B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797579$F995DD60-93D1-4754-92E2-25D19AB2CCEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77a6a99ecf3b0e8db26d783de9eab71491a67553","datavalue":{"value":"3867334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797579$B6C12280-92B3-449E-8ED5-86BF65C05161","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37ca513d79a42851dc819987381fef83d86117ab","datavalue":{"value":"coverings","type":"string"},"datatype":"string"},"type":"statement","id":"Q797579$D7967363-1E4A-483A-B0C9-A62BEF37BCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b2026943a4997c57f81910281bb1fc2715ba23","datavalue":{"value":"depth of covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q797579$BB6CEE21-A6AA-42B2-AA14-99F9DE80AD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c5fa3aa3610b5b3f705bcd46d4ce49b17874a2","datavalue":{"value":"projective designs","type":"string"},"datatype":"string"},"type":"statement","id":"Q797579$D10650F2-3B0E-4681-A54F-95F3F54FB9AB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797579$4AF8AF43-1732-4795-BCD2-A471F0A15994","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d751d9802c2faa447664be5fdb7c3f95da9cc52","datavalue":{"value":{"entity-type":"item","numeric-id":3852197,"id":"Q3852197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797579$4585E2DF-EDE1-4006-B5AE-B8E8900AA824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"519c04edb24aef1ce88b720e46082a964b292326","datavalue":{"value":{"entity-type":"item","numeric-id":3281090,"id":"Q3281090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797579$5A5252C0-53AB-47EA-A872-92450DA605B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f3b4237a561d6898501cd03d1aa42140576f7b5","datavalue":{"value":{"entity-type":"item","numeric-id":1234699,"id":"Q1234699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797579$83E0C49A-841D-4332-B74B-B58023FB7874","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ec02728bb1b6929e089b81359127bb18b378556","datavalue":{"value":{"entity-type":"item","numeric-id":3680848,"id":"Q3680848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9adad25e56af3f0b79c0f6236a032a3008258ec9","datavalue":{"value":{"amount":"+0.92126924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q797579$61964ED6-7B17-4235-B45D-0933EA0F673C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cadf143c321574aa50d0e610bb58f288b130919","datavalue":{"value":{"entity-type":"item","numeric-id":3475931,"id":"Q3475931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6787608941d8722112de54154058f4e3c90e719a","datavalue":{"value":{"amount":"+0.90609896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q797579$174C35CA-24D6-43FC-9D79-1235312B3370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3759f6e2266755af69c893d0e1253ccfe1688d1","datavalue":{"value":{"entity-type":"item","numeric-id":5638379,"id":"Q5638379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5badb5ef72dbe429f8cf4abca0728c06936943c1","datavalue":{"value":{"amount":"+0.90582764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q797579$EFDB1AFC-8B04-4F11-B715-95F85DAF0084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0be6472f8cb5ffc5f9de50d4a402af614b511e8f","datavalue":{"value":{"entity-type":"item","numeric-id":797580,"id":"Q797580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad9e70ade1b759e0159dd20a21d032d76dc7b17","datavalue":{"value":{"amount":"+0.90382046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q797579$EE8D12CB-8823-4481-9105-4D621ACCF0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15c06af59f566c2fda75465493866bb3b56e646","datavalue":{"value":{"entity-type":"item","numeric-id":4306462,"id":"Q4306462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebaf95757076390f00808a89a0180f980e4eb104","datavalue":{"value":{"amount":"+0.9014112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q797579$E3A4BB00-0CAF-4394-A440-35EC4A61F94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f865657790daf10033ce4dc193e371eaac785cf4","datavalue":{"value":{"entity-type":"item","numeric-id":912112,"id":"Q912112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af22d4792596ccf9af47616fb9fe282b2e55d9b","datavalue":{"value":{"amount":"+0.8841044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q797579$696B691B-D4B2-4E1C-B810-00D4FC3E55B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a4f00af1a162d1ca6d5253e084bff769ffa52b","datavalue":{"value":{"entity-type":"item","numeric-id":4770946,"id":"Q4770946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a3510f6e165c36401285c93a3ff2ceef3b9340","datavalue":{"value":{"amount":"+0.8814591","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q797579$3651EA77-E3EB-4817-B272-E25BAF6E9B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"124233818b6c7ad593dcf32d31edfa05ad3a450f","datavalue":{"value":{"entity-type":"item","numeric-id":508828,"id":"Q508828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a69528cdde10a902291c6710109bbcf134a5fdc","datavalue":{"value":{"amount":"+0.8806001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q797579$3CB60AFB-3DFE-46E4-A305-1C001347A525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87ff2e859e70c1f95aa5c201d1b47fa0353e3de","datavalue":{"value":{"entity-type":"item","numeric-id":3195679,"id":"Q3195679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be63a60cae96ec8bd60bdf148e5cdc5a1b1a2008","datavalue":{"value":{"amount":"+0.8806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q797579$CB427D10-01DC-40C1-AA36-7CE11A699B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eeaf691da32ed74a14cc9751396cd02b39f3a1c","datavalue":{"value":{"entity-type":"item","numeric-id":426309,"id":"Q426309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83334af059764b3ae37bfa54749420e7d0aba225","datavalue":{"value":{"amount":"+0.87895495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q797579$6A3DC656-7149-40AD-A201-FFFA6634E43D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:797579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:797579"}}}}}