{"entities":{"Q760430":{"pageid":762279,"ns":120,"title":"Item:Q760430","lastrevid":64167486,"modified":"2026-04-11T18:05:22Z","type":"item","id":"Q760430","labels":{"en":{"language":"en","value":"Hypergraphs in which all disjoint pairs have distinct unions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3884165"}},"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":"Q760430$1D1F163A-EF3F-4698-8763-C398A59EBBAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4215809efaebfc25d1efca80795dc986997a10c","datavalue":{"value":{"text":"Hypergraphs in which all disjoint pairs have distinct unions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q760430$9E38C281-B9CB-4FD1-8A27-12F10A0F1DDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68efe94fb12d83c753a3e3d631c421a7b493874e","datavalue":{"value":"0555.05006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760430$E88A3F4F-1833-4263-84C0-894D7E2E02E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cb62fbdd07520a2d7967eb144128e6232055364","datavalue":{"value":"10.1007/BF02579216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760430$D7C910E0-853E-43DA-B032-34887127C838","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a87e84d22579e69c48ca0a6d828473db4dde3dd6","datavalue":{"value":{"entity-type":"item","numeric-id":168579,"id":"Q168579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760430$F8C553B8-65DF-464A-A015-3F410182F529","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":"Q760430$80BD2F6B-5D42-4952-935D-4EEA2446871B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7631d2c6d096e77555405bdea4356dfcc854f12c","datavalue":{"value":"A family \\({\\mathcal F}\\) of sets is called disjoint-union-free if for every \\(A,B,C,D\\in {\\mathcal F},\\) \\(A\\cap B=C\\cap D=\\emptyset\\) and \\(A\\cup B=C\\cup D\\) imply \\(\\{A,B\\}=\\{C,D\\}.\\) (That is, all disjoint pairs have distinct unions.) Let X be an n-element set. Denote \\(f_ r(n)\\) the maximum cardinality of \\({\\mathcal F}\\subseteq \\left( \\begin{matrix} X\\\\ r\\end{matrix} \\right)\\), \\({\\mathcal F}\\) is disjoint-union-free. The author proves the following theorem: If \\(r\\geq 3\\) then  \\[  \\left( \\begin{matrix} n-1\\\\ r-1\\end{matrix} \\right)+\\lfloor \\frac{n-1}{r}\\rfloor \\leq f_ r(n)<3,5\\left( \\begin{matrix} n\\\\ r-1\\end{matrix} \\right).  \\]  The proof is based on the following lemma: Let \\({\\mathcal G}_ i\\) be a bipartite graph with parts A and B, \\(i=1,2,...,t\\). Suppose that \\({\\mathcal G}_ i\\cap {\\mathcal G}_ j\\) does not contain two disjoint edges and \\({\\mathcal G}_ i\\cup {\\mathcal G}_ j\\) does not contain a cycle \\(C_ 4\\) of length 4 with two-two neighbouring edges from \\({\\mathcal G}_ i\\) and \\({\\mathcal G}_ j\\), \\(1\\leq i\\leq j\\leq t\\). Then  \\[  \\sum_{1\\leq i\\leq t}| {\\mathcal G}_ i| \\leq 2\\left( \\begin{matrix} | A| \\\\ 2\\end{matrix} \\right)+2\\left( \\begin{matrix} | B| \\\\ 2\\end{matrix} \\right)+(| A| +| B|)t/2+\\left( \\begin{matrix} t\\\\ 2\\end{matrix} \\right). \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q760430$165FFF80-706F-46AC-93F7-95104C007979","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6247f04fad65d359a20e559b3e9499d6219d492e","datavalue":{"value":"05A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760430$2D183AEC-9EC5-4A92-8E95-C9E91AF67B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a3bb76dbd41580d9287ece5137de80ddf22202f","datavalue":{"value":"05C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760430$24139327-EA3F-4123-9158-4F564C466D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760430$17A38EE1-AC7C-4DE4-BBAE-DDD46EE42020","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"529ac05930e7a3a7fdce1cfab30dce7c27dc5f8b","datavalue":{"value":"3884165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760430$C90C1893-3104-4FE5-8418-FED12CA271FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46201a68bbfc84f6c3e5113363a46ac2463361ba","datavalue":{"value":"family of finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q760430$AC575BFD-DD38-475C-8A9F-8428A5386291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1542675f25493fbb8d247ffffd913326b4970b6","datavalue":{"value":"uniform 3-hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q760430$543835A8-8D9B-48E7-B82F-4DF3E0026C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5a2e07ed8f1283e3d323f04892e3b12543085e9","datavalue":{"value":"disjoint-union-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q760430$1F8CC0DA-4A73-49BC-B4AB-C6B7378FA1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3187e84c5efaed03d0bd9515713a70084404d3ee","datavalue":{"value":"bipartite graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q760430$DD56EAC0-6496-4682-A276-8AE9C38A83AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"947071be942dac18e853a747b6abc41c36475503","datavalue":{"value":{"entity-type":"item","numeric-id":787137,"id":"Q787137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760430$B2BA72FF-30BA-42CD-BC2A-6F0D14106E62","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":"Q760430$BF49A9BB-87BC-4F72-B9A9-C430C836D127","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"344f697a74f08c27dbfe2d6124ad1eb1876a2d05","datavalue":{"value":{"entity-type":"item","numeric-id":5567713,"id":"Q5567713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760430$8D449562-3E28-453A-B008-AA1126D9B83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6147cf4f14cc754f1a913702727a94b8b85ace","datavalue":{"value":{"entity-type":"item","numeric-id":5771387,"id":"Q5771387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760430$19EB8DDA-D583-46DA-91D2-AAAC5544FBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3744f3abdcf872f117b4291b4e7b995a79b5dbf3","datavalue":{"value":{"entity-type":"item","numeric-id":5554168,"id":"Q5554168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760430$4AA3E5A4-F5D3-4DDF-A67E-75D9C3F2E54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc11b24c5af9cef6418bda6795148fabd885cf1","datavalue":{"value":{"entity-type":"item","numeric-id":5520566,"id":"Q5520566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760430$C4FCF3F7-0603-4D83-B787-0D987E73F194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69b33677a4bcd4c0552df39fcab08ac163a5ffa","datavalue":{"value":{"entity-type":"item","numeric-id":801918,"id":"Q801918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760430$454182FB-2F72-4B16-947D-1501A3CA0BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb5026bc3dec851417e7e61fddd768d095eccd6","datavalue":{"value":{"entity-type":"item","numeric-id":5896187,"id":"Q5896187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760430$7895AF4C-BF2F-48D6-85CF-A0C6EAA8150C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f9923e5bfcb689ab7c2bc8923442d8b848354c","datavalue":{"value":{"entity-type":"item","numeric-id":1835928,"id":"Q1835928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760430$BFDCDA79-4DC2-4EDE-8F8A-9E7661938646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4029bbe1b599a8e9e3861d05c9038311608932b0","datavalue":{"value":{"entity-type":"item","numeric-id":5339879,"id":"Q5339879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760430$C47429AD-8BEE-468D-8176-FF75CD8D0138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe45b2aa58448b7b5166150d992e6e7f218da7d","datavalue":{"value":{"entity-type":"item","numeric-id":3903003,"id":"Q3903003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760430$5C517AF8-469E-4D43-B9D8-AE01BAD87B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2c065e4cd7d13cac4b832c85bb21544ba0071e","datavalue":{"value":{"entity-type":"item","numeric-id":2561219,"id":"Q2561219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760430$B04F38E0-79D4-4464-9771-9F7921CF5AA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6031fb95f151e0f0dce2521d50f5b701138073fc","datavalue":{"value":"https://doi.org/10.1007/bf02579216","type":"string"},"datatype":"url"},"type":"statement","id":"Q760430$1BED3899-8325-421B-BDF1-E6F4EA67D8C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3264a90201deecfa2852fb83f8b587889ae5b1b","datavalue":{"value":"W2001029390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760430$B5C036A6-4A50-4530-80C9-40B159727E6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d738c2469446b601e23cb09ccc8bce91490ca7a7","datavalue":{"value":{"entity-type":"item","numeric-id":941357,"id":"Q941357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a063becd49ae45ee5d8a163eb3293bd471e7521","datavalue":{"value":{"amount":"+0.8153101801872253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760430$E438867C-B38E-4116-96D2-8ED03C33AD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0fb2b5493186e59eb90d8d4a431b44a88a00806","datavalue":{"value":{"entity-type":"item","numeric-id":1873809,"id":"Q1873809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67308fcdd1bcf403ec8e10e2269f0d3d09ff387","datavalue":{"value":{"amount":"+0.8013783097267151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760430$DA5FC7EF-FA91-41FE-8E27-D904E93A2F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5cef28faaa70227bfd0c17e35a4b12f6fd826c","datavalue":{"value":{"entity-type":"item","numeric-id":1066898,"id":"Q1066898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67308fcdd1bcf403ec8e10e2269f0d3d09ff387","datavalue":{"value":{"amount":"+0.8013783097267151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760430$F70ADD8C-A509-4732-9EAD-845F8FE2068A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c124af1e6f4ad925c0baeb1fa06d79549ca8b546","datavalue":{"value":{"entity-type":"item","numeric-id":790112,"id":"Q790112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a7e6cd6f2d2645f3aa9356c3809468d7e09c28","datavalue":{"value":{"amount":"+0.8000823259353638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760430$96B89E6B-6096-4283-90AC-2B43A68652FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c3d8d65a43022dc5d748072749b251ae539853","datavalue":{"value":{"entity-type":"item","numeric-id":2445085,"id":"Q2445085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28fe3dd17e78fd719403de7644771b89a7fe9f74","datavalue":{"value":{"amount":"+0.7960079908370972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q760430$21D10B01-A3C6-4426-8F74-15A5AA46E52E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hypergraphs in which all disjoint pairs have distinct unions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hypergraphs_in_which_all_disjoint_pairs_have_distinct_unions"}}}}}