{"entities":{"Q583248":{"pageid":585015,"ns":120,"title":"Item:Q583248","lastrevid":62940933,"modified":"2026-04-11T09:07:12Z","type":"item","id":"Q583248","labels":{"en":{"language":"en","value":"The jump number of suborders of the power set order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4132218"}},"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":"Q583248$EC276DD7-F946-4BF2-BC5C-9D4FD91040A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c2c5429234dc14031be4b1351d17ce9dd1f6076","datavalue":{"value":{"text":"The jump number of suborders of the power set order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q583248$B431E3FD-C3FC-4F86-8BE3-AD01E0418D59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33b427b648844d8da4e2f893c8d735f37fcf56a0","datavalue":{"value":"0692.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583248$41B9F7FA-0FAE-4845-9662-1CECEA4E2057","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5844484108093536558c3b02b13e33ce896f6daf","datavalue":{"value":"10.1007/BF00341640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583248$8CD5CCBD-629C-420C-9468-1060B9BD2F99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9153f57b49379c8f42a6fee983336120467fb8fa","datavalue":{"value":{"entity-type":"item","numeric-id":551798,"id":"Q551798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583248$8DFE7B5F-2CA2-44E8-A787-B97ECDCA7DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583248$04579264-3033-4CD1-8376-89629B8475E1","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":"Q583248$CED40F0E-E90E-4E28-AF61-06F6B3635DEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q583248$B28D2920-FFFF-4ED5-B256-F660D40F952E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e300f4373f6ecfecc2e21a8e50b45d57de469f07","datavalue":{"value":"Let L be a linear extension of an ordered set P and \\(x,y\\in P\\). The pair (x,y) is said to be a jump if the elements x, y are comparable in L but not in P. The number of these jumps is denoted by s(P,L) and min\\(\\{\\) s(P,L)\\(|\\) L is a linear extension of \\(P\\}\\) is denoted by s(P). If L is a linear extension of P with \\(s(P)=s(P,L)\\), then L is said to be optimal.    Let S be an n-element set (n a positive integer) and \\(B_ n\\) denote the lattice of all subsets of S ordered by inclusion. For a subset \\(\\{\\ell_ 1<\\ell_ 2<...<\\ell_ t\\}\\) of \\(\\{\\) 0,1,...,n\\(\\}\\) the ordered set \\(B_ n(\\ell_ 1,...,\\ell_ t)\\) is defined as the subset of \\(B_ n\\) of all subsets of S with cardinal numbers \\(\\ell_ 1,...,\\ell_ t\\). The main result gives the following formula:    Theorem.  \\[  s(B_ n(\\ell_ 1,...,\\ell_ t))=- 1+\\sum^{t}_{k=1}\\left( \\begin{matrix} n\\\\ \\ell_ k\\end{matrix} \\right)- \\sum^{t-1}_{k=1}\\left( \\begin{matrix} n-\\ell_{k+1}+\\ell_ k\\\\ \\ell_ k\\end{matrix} \\right).  \\]  Further, let S be linearly ordered. For \\(A,B\\in B_ n\\) set \\(A<_ LB\\) if max((A\\(\\cup B)-(A\\cap B))\\in B\\). Then \\(<_ L\\) is a linear order on \\(B_ n\\) (with equality), which is called a reverse lexicographic ordering of \\(B_ n\\). The former theorem has now an addition: ``Reverse lexicographic orderings of \\(B_ n(\\ell_ 1,...,\\ell_ t)\\) are optimal.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q583248$B1F607A4-9F30-4D41-B68F-AAF61D113CE1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"11c6ee72db6a1595c302ec495a8cbae324d7c3a3","datavalue":{"value":{"entity-type":"item","numeric-id":551312,"id":"Q551312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583248$9F572303-E415-4E7F-9D0C-FA8CD1C94FD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583248$118DAB82-1047-49BB-A3A1-4B27FEA4B716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583248$80EA26BE-4FE1-4E13-8064-BFCB2AF472C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf2093b02cd4bc852fc92d655af78bff1981a7a2","datavalue":{"value":"4132218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583248$12145420-F970-4CCF-AC86-464518D4EAB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fdbede0e55799b154cb298ccb951db472fb2e85","datavalue":{"value":"jump number","type":"string"},"datatype":"string"},"type":"statement","id":"Q583248$856836E7-A569-4670-B5EE-38595450FBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e3c95d3b8a430ac922b7f924ec50f014991f2f5","datavalue":{"value":"power set order","type":"string"},"datatype":"string"},"type":"statement","id":"Q583248$C1A01241-DD29-4E35-B03D-6A131FED54CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3cfdb6b2705cbfa4f5325db3793e5c8fd944916","datavalue":{"value":"optimal linear extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q583248$B12C0FA3-9CCA-4934-A95C-2BA21C78A9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c56fbc6e205bc110a8588cbe3479b3f54c156812","datavalue":{"value":"linear extension of an ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q583248$88EBE5EB-91F5-4D34-B429-895D49AAEBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b909bce587a9e53147197347415a826f91f2f326","datavalue":{"value":"reverse lexicographic ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q583248$D09EF252-B1E0-47D4-B507-6B0B688CD994","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":"Q583248$420EF22E-A1D8-444B-923A-E3FD74C85AC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92e625b3fba39593af061990bd1006fb518f246","datavalue":{"value":{"entity-type":"item","numeric-id":1092934,"id":"Q1092934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583248$6A33CB65-A569-4931-A5BC-1DEC157E71C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9881c1ae62081c6d316c874c058699bb32ffc793","datavalue":{"value":{"entity-type":"item","numeric-id":1165848,"id":"Q1165848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583248$DB0D20E2-4081-45BE-B941-7FCEC2865BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e52059a589250b5c3bf927a52af00cebfb990d","datavalue":{"value":{"entity-type":"item","numeric-id":3665161,"id":"Q3665161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583248$55B71944-73D3-4439-8AFD-900F0848BF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a49b715dd97ccf438aa0c1366d33bf6b5a20c6","datavalue":{"value":{"entity-type":"item","numeric-id":2560252,"id":"Q2560252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583248$A70ABF28-1432-4262-A92D-E796A70554D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90123fb8b3bc5647d627b7df7c71b59ab30ee438","datavalue":{"value":{"entity-type":"item","numeric-id":762464,"id":"Q762464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583248$070015C2-4DB0-40A4-9497-45F0D93E78F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"161add9b7d94a95e1796751306a1bbc470bbe183","datavalue":{"value":"https://doi.org/10.1007/bf00341640","type":"string"},"datatype":"url"},"type":"statement","id":"Q583248$AB4A9906-C2AA-4486-80D8-A8CD47CE7992","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f30b3db79a02afda0c858a595888a246a5a3a559","datavalue":{"value":"W2013876096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583248$C7AE6FB2-1699-4408-9998-8F8749E71548","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0533bcaeff396372d55af7c85a63b59c3d7b87a5","datavalue":{"value":{"entity-type":"item","numeric-id":3976789,"id":"Q3976789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bdade5cc325419c431a36e6ee2328e33a0220ba","datavalue":{"value":{"amount":"+0.8198979496955872","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":"Q583248$923115AB-DA29-4C62-9D0E-38B7D2C563C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228ea1e2e82f9bc4ebe200a788ec67510b72cd37","datavalue":{"value":{"entity-type":"item","numeric-id":1061150,"id":"Q1061150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c9463cbf45b4544eca268b212d10bf23740b9c8","datavalue":{"value":{"amount":"+0.8125802278518677","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":"Q583248$74B9E20A-848D-4523-B776-B72BB82251C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b0ac58e354a5816b5dc0720eec2807defc5a64","datavalue":{"value":{"entity-type":"item","numeric-id":3691788,"id":"Q3691788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5b2487ed129d4f9943638f0f92242813aa3087","datavalue":{"value":{"amount":"+0.8115400075912476","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":"Q583248$3ED70C44-ACCA-474B-A81E-F5B27E202A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03a9fe8a31b218b7db8a092e2585890cf6c95ac","datavalue":{"value":{"entity-type":"item","numeric-id":802585,"id":"Q802585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c45c95cf54caa442607193da848baf289aa5c2","datavalue":{"value":{"amount":"+0.8102031946182251","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":"Q583248$51D44455-E391-4A02-90CA-45D819515650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d70e459c7891dc18dc3be30bdd64a4ba1bbc6107","datavalue":{"value":{"entity-type":"item","numeric-id":4429242,"id":"Q4429242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb20e6b8f41f89729ae5a520a55c163f20a98635","datavalue":{"value":{"amount":"+0.8062326908111572","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":"Q583248$2B198871-4F69-430D-8AAF-13A9DCE4C695","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The jump number of suborders of the power set order","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_jump_number_of_suborders_of_the_power_set_order"}}}}}