{"entities":{"Q1368664":{"pageid":1379404,"ns":120,"title":"Item:Q1368664","lastrevid":70994943,"modified":"2026-04-13T18:46:35Z","type":"item","id":"Q1368664","labels":{"en":{"language":"en","value":"On representing faces of a cube by subfaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067853"}},"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":"Q1368664$8508E2AD-EC5F-4F9C-9639-63ED6DFB5BD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbf77800bf5b29661f4597e9c8081948b58bded3","datavalue":{"value":{"text":"On representing faces of a cube by subfaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1368664$44EA8429-A027-4682-9613-C9AA6F18603A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"382c9d360b8ddc4d4988642c6910460e87e562d1","datavalue":{"value":"0883.05002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368664$BEB8439D-1697-487A-A645-53C118E4F625","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cf2a47b5f52691e870a8a8db027b78b333323a0","datavalue":{"value":"10.1023/A:1005884911294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368664$A0367EB8-638E-4FE6-A019-A4CB5E79A27B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93dddee6d76536c87e79207f6d9f822f5b3bcf1f","datavalue":{"value":{"entity-type":"item","numeric-id":595652,"id":"Q595652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368664$A6C07ED9-CDD5-40CE-830E-A1C65919D728","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368664$689BBAE7-4332-4543-A6D0-E804A93C1970","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"409dfbf04be23dfa773dd922e108061256a04273","datavalue":{"value":{"time":"+1998-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1368664$DDD86DDA-3B57-44FC-8189-2602AAC8DF57","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd0a67aee2d5f6a3bcb922a3a8dd5827e5e29acf","datavalue":{"value":"The subject of the paper is the poset \\([m]\\) consisting of the integers \\(0,1,\\dots,m\\) and partially ordered by the relation \\(\\leq\\). This relation is defined by \\(i\\leq j\\) iff either \\(i=j\\) or \\(j=m\\). Furthermore, denote by \\([m]^n\\) the \\(n\\)th cartesian power of the poset \\([m]\\). Clearly, \\([m]^n\\) is a ranked poset. For a ranked poset \\((P,\\prec)\\) let \\(P_l\\) be the set of all elements of \\(P\\) of rank \\(l\\). For a subset \\(A=\\{x_1,\\dots,x_j\\}\\) of \\(P_l\\) and an integer \\(b<l\\) we say that \\(A\\) has a system of distinct representatives (SDR) in \\(P_{l-b}\\) if there exist distinct elements \\(y_1,\\dots,y_j\\in P_{l-b}\\) with \\(y_i\\prec x_i\\) for \\(i=1,\\dots,j\\). The goal of the paper is to compute a bound \\(C(b,l,P)\\) on the cardinality of the set \\(A\\), so that if \\(|A|\\leq C(b,l,P)\\) an SDR for the set \\(A\\) does exist and if \\(|A|\\) exceeds this bound the existence of an SDR is not guaranteed in general. Such a result concerning the poset \\([1]^n\\) (i.e. the \\(n\\)-cube) is known as Katona's marriage theorem. The author extends the Kruskal-Katona method for computing the minimal shadows in the \\(n\\)-cube and applies it for the poset \\([m]^n\\). This result is used in the algorithm for computing an SDR bound.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368664$E2BD4178-2619-484B-8CA0-8C745219D0F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6247f04fad65d359a20e559b3e9499d6219d492e","datavalue":{"value":"05A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368664$FA08D0D9-6D7B-43E8-AF0E-7E0A84A08209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368664$85076B2E-C829-43A3-81A6-68CEEF685F93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"207e35f47927e3249d531b4cf26403ccea876e3a","datavalue":{"value":"1067853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368664$241FA344-1CA9-4747-BE55-CD18BB06E244","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3109b27192a391c64461c7b1b7323241467fb802","datavalue":{"value":"Macaulay posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368664$F569D3E8-5FB8-48EC-A165-A1EF6894628F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d896fc3668b53e8d7a8f80f1665ce935bccedf15","datavalue":{"value":"system of distinct representatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368664$22E375F6-9618-4424-8A77-313B684B0858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e616af7de92988feac776ccf2397ba4c5dc2976d","datavalue":{"value":"marriage theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368664$8EAA7F46-7827-491E-AECF-37781DABFB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e13f00f041c6e107892cbeb6d90cf4ee4ffec8d","datavalue":{"value":"Kruskal-Katona method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368664$E10658A5-9DFD-4F16-97BB-D2BAEB3F534D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f12e1eb1be75d4426df498c29926dc868c2e1814","datavalue":{"value":{"entity-type":"item","numeric-id":187114,"id":"Q187114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368664$E145D537-69F6-4F5B-9785-924CDC11F741","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":"Q1368664$50E201BB-64E8-455F-BBF5-4C833E12AC58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e02f427a08d44d9c8e9b0dc3a3ac10efad1ca17","datavalue":{"value":"https://doi.org/10.1023/a:1005884911294","type":"string"},"datatype":"url"},"type":"statement","id":"Q1368664$9B76E26F-6570-41C6-A504-60F64F15BB59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f1721fd02ddcec4c9b4ef0de4b80f265b5a9cca","datavalue":{"value":"W201352207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368664$2347C516-2AE2-4F6E-9B49-AF2F87364A91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b241a35d7dc800f276cf485de409d80dcebd4f96","datavalue":{"value":{"entity-type":"item","numeric-id":762158,"id":"Q762158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bed920c8289235c61f1f180ebed5f9ac1775540","datavalue":{"value":{"amount":"+0.7738461494445801","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":"Q1368664$62E739B1-9527-439F-B4FB-4E17939306EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85879c4464dfcc43046de4f18c97fd932922dc7","datavalue":{"value":{"entity-type":"item","numeric-id":1584224,"id":"Q1584224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b2a566d0b11b1977a36cebf986d30c29b595c2","datavalue":{"value":{"amount":"+0.7574782967567444","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":"Q1368664$F37BC64E-CF21-4BC9-865B-B3048D6FDE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c01c7e8e8366e86a74e5eed61e30ce242428d0","datavalue":{"value":{"entity-type":"item","numeric-id":1336454,"id":"Q1336454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab07b41a236c1d41844032fb206a6138c1263cde","datavalue":{"value":{"amount":"+0.7528821229934692","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":"Q1368664$5E025A32-A6A4-4B5F-A966-108069943B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"087f8910c03b2fb9b31d35eebe97facfb64380fb","datavalue":{"value":{"entity-type":"item","numeric-id":696911,"id":"Q696911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4100e59f72b5e2cff2219f5533f8b415d7108fe3","datavalue":{"value":{"amount":"+0.7519936561584473","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":"Q1368664$4B40E9E9-0421-4D60-A43E-3310772240E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On representing faces of a cube by subfaces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_representing_faces_of_a_cube_by_subfaces"}}}}}