{"entities":{"Q1403877":{"pageid":1414617,"ns":120,"title":"Item:Q1403877","lastrevid":67361790,"modified":"2026-04-12T17:06:47Z","type":"item","id":"Q1403877","labels":{"en":{"language":"en","value":"Constructive techniques for labeling constant weight Gray codes with applications to minimal generating sets of semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1967908"}},"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":"Q1403877$835C8DE6-09DF-41E3-A2F8-98347C73AE57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"690d4c56d318ad17ba209e1272d1c7c9e4d61539","datavalue":{"value":{"text":"Constructive techniques for labeling constant weight Gray codes with applications to minimal generating sets of semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1403877$C458CC35-D6F1-4577-9756-58B78275714E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abbce640671b5c5097c1d0e0ad9374eb07eb8be1","datavalue":{"value":"1029.05006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403877$901C131C-BC8C-421C-9DFA-DCBA11924575","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06793d1d05fa8c9854fd3edd84e9878c636b961b","datavalue":{"value":"10.1016/S0021-8693(03)00277-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403877$6B30BC1D-23F7-40E4-8B00-DD4BF4585EF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ca0423dca6905b18135d4d0d35769c6b93012d7","datavalue":{"value":{"entity-type":"item","numeric-id":688964,"id":"Q688964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$3B142F52-A891-4595-9DCA-7590FEF21CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32add50ea5d67ba42260848a9d3b68a26c01b100","datavalue":{"value":{"entity-type":"item","numeric-id":953263,"id":"Q953263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$B7329629-E250-4684-A036-8B8DEABA6943","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$8F2B5F75-A1A1-487A-819E-32199D31CC63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef5551d0bed39d732a1be7431b699cbb7e704fe8","datavalue":{"value":{"time":"+2003-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1403877$6F052B83-AF04-4965-8701-C3241E513875","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"175326c36411fe229ea95974531ca3ca85f4e0c5","datavalue":{"value":"Given a positive integer \\(n\\), let \\(X_n\\) be the set \\(\\{1,2,\\dots, n\\}\\). A partition \\(\\pi\\) of \\(X_n\\) is said to have weight \\(r\\) if \\(\\pi\\) has \\(r\\) distinct classes. The partition \\(\\pi\\) and an \\(r\\)-element set \\(A\\) are said to be orthogonal if every class of \\(\\pi\\) contains exactly one element of \\(A\\). An orthogonally labeled list for \\(n\\) and \\(r\\) is a sequence \\(({\\mathcal A},\\pi)= A_1\\), \\(\\pi_1\\), \\(A_2,\\pi_2,\\dots, A_{{n\\choose r}}, \\pi_{{n\\choose r}}\\) alternating between distinct \\(r\\)-sets \\(A_i\\) and distinct partitions \\(\\pi_i\\) of weight \\(r\\), such that for \\(i= 1,\\dots,{n\\choose r}- 1\\), \\(\\pi_i\\) is simultaneously orthogonal to \\(A_i\\) and \\(A_{i+1}\\), and \\(\\pi_{{n\\choose r}}\\) is simultaneously orthogonal to \\(A_{{n\\choose r}}\\) and \\(A_1\\).   A partition of the set \\(X_n\\) has type  \\[ \\tau= d^{\\mu(d_1)}_1 d^{\\mu(d_2)}_2\\cdots d^{\\mu(d_k)}_k \\]  and weight \\(r\\) if it has \\(\\mu(d_i)\\) classes of size \\(d_i\\), where \\(d_1> d_2>\\cdots> d_k\\),  \\[ n= \\sum^k_{i=1} d_i\\mu(d_i)\\quad\\text{and}\\quad r= \\sum^k_{i=1}\\mu(d_i). \\]  The partition type \\(\\tau\\) is said to be exceptional if the number of distinct partitions of type \\(\\tau\\) is less than \\({n\\choose r}\\).   Let \\(G_{n,r}\\) be the graph whose vertices are all the \\(r\\)-sets of \\(X_n\\), with two \\(r\\)-sets being adjacent if their intersection has exactly \\(r-1\\) elements. An orthogonally \\(\\tau\\)-labeled list \\(({\\mathcal A},\\pi)\\) for which the set sequence \\({\\mathcal A}\\) is a Hamiltonian cycle in \\(G_{n,r}\\) is called an orthogonally \\(\\tau\\)-labeled Hamiltonian cycle. The Hamiltonian cycles of \\(G_{n,r}\\) are also called constant weight Gray codes. The partition type conjecture states that there exist orthogonally \\(\\tau\\)-labeled Hamiltonian cycles for every non-exceptional partition type \\(\\tau\\).   This paper is mainly devoted to the proof of the partition type conjecture for a class of constant weight Gray codes. These results are applied in the theory of finite semigroups. The authors establish simple formulas for ranks and idempotent ranks of semigroups which are closed under conjugation by the permutations of \\(X_n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403877$CD8319F0-A593-4295-8194-1F33B5DC8441","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"16a41880afbd8630e6acc78be050f90ea5608911","datavalue":{"value":"05A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403877$EB263EB6-D0C2-40F6-A946-D606CA42FE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eef1b49f4a66afb755b22d7419db9d61ba07415f","datavalue":{"value":"05C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403877$A057BCDC-8918-4713-9169-C6B5A92D5907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06c948fd44541499360dc4d8f03d345101abad05","datavalue":{"value":"94B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403877$1A46F0C2-6960-4945-AE7F-C9FF43F7AEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403877$B731ED6A-1758-4E56-89DB-0FAD9CB027D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38d9480adf9ca21ec8332753033a354bd5285dae","datavalue":{"value":"1967908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403877$D16EB8F9-97DC-4317-A1A1-354A3E075E7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e41fb471c5632503b8716f23269ac7a1a49e160e","datavalue":{"value":"partition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403877$66390816-A3EF-4449-9F53-5B9DCBCE5C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0612807c22f01764e2b3d07b2bb1c1365e520f64","datavalue":{"value":"Hamiltonian cycle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403877$6ED36EB4-6839-4507-BDAA-A91DCC87CB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a3580fefb9f9a05b9104da92afdd215835bc22","datavalue":{"value":"transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403877$A68D7190-5CDD-434B-B360-8C7173D91723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"833ea2daa27308ba832728143f872a16f311e8cd","datavalue":{"value":"middle levels conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403877$15FBF56C-69BD-498C-A991-8E33E76B338B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00510ab9baba32a7d6718a9b829871524bc11da7","datavalue":{"value":"idempotent rank of a semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403877$89136129-543E-4977-B991-86D9EE9EB4EE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ba3efcb7de77d1bd49142f0373b838a01109e4e7","datavalue":{"value":{"entity-type":"item","numeric-id":584284,"id":"Q584284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$1FD1EA32-D77C-42E1-8973-6BA762AF923E","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":"Q1403877$CA679143-0CC4-47C2-9DB7-A34AF3A131AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5250e02486a79ebd69be420413de5224ca74ad21","datavalue":{"value":{"entity-type":"item","numeric-id":3741626,"id":"Q3741626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$2C2C2E43-E518-4B55-BB7B-5558CB0B5D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"189f5d02b4be4ac87cc8f90e4616676e6faedcd8","datavalue":{"value":{"entity-type":"item","numeric-id":1112063,"id":"Q1112063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$7ED64125-B1D1-465D-9BDE-28AFD5BE74B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce34d7e1560ad7df875e0c58a4b47a2d6b2969f","datavalue":{"value":{"entity-type":"item","numeric-id":4187988,"id":"Q4187988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$66067D12-0A1F-48E0-B3CB-DE348953EFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f9f4e1361dc0536562bc76183cb5cde3e9caed","datavalue":{"value":{"entity-type":"item","numeric-id":3483478,"id":"Q3483478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$0D48C95E-7AB7-4F34-BDE6-1F3E56E0CEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d839e05ea922df9dda307d29b054ba39682804dd","datavalue":{"value":{"entity-type":"item","numeric-id":4552162,"id":"Q4552162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$EA22EEA8-D118-4442-BE83-9457D30397B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65baceaaf75cf0c2ac891c9b23cafdee2415cc81","datavalue":{"value":{"entity-type":"item","numeric-id":4312770,"id":"Q4312770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$13A69823-D781-475E-9010-8E8E3509C0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3079712bc964eade626a317bc82de25106e1d260","datavalue":{"value":{"entity-type":"item","numeric-id":5697636,"id":"Q5697636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$B080D5F1-0779-4B11-AC9C-39AAD83ECED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bffc0ae849da539fa1c5afe3e49ca9045920634","datavalue":{"value":{"entity-type":"item","numeric-id":5463463,"id":"Q5463463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$335F5133-3BFC-43C0-BD5C-BD4C3B4A7236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d475efee554429a567975126628ef5fb8d6ed","datavalue":{"value":{"entity-type":"item","numeric-id":4787810,"id":"Q4787810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$7DE0527E-118C-4CD6-A7B7-0AA602B06ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8bbcf7b985c63e500d909b61f77847050e717f","datavalue":{"value":{"entity-type":"item","numeric-id":1403878,"id":"Q1403878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$FE28502D-49DC-483D-B006-597AD55D1065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be33069f278b06a91f8b5babb35dd415a3fb28a6","datavalue":{"value":{"entity-type":"item","numeric-id":2505018,"id":"Q2505018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$0F3C7C98-7761-453D-817B-FDFF4AC42841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b16ba5aec18c8dd3544da71f38a79929996c4de9","datavalue":{"value":{"entity-type":"item","numeric-id":1912271,"id":"Q1912271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$114A7A68-AF12-4A61-A6F8-5A82661B61D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e16d1dc4052e71d6b4ce452bdd1e1e49e7dff8b","datavalue":{"value":{"entity-type":"item","numeric-id":4144192,"id":"Q4144192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$ABA5FCCD-E379-45A8-AACA-852D02BEB795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93c05d1ab03356b0078a69599ea1c75bbf98953","datavalue":{"value":{"entity-type":"item","numeric-id":1805053,"id":"Q1805053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$205944A6-F63F-44E2-86AC-112CF1182B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b53db46eeece0d01f04f5c0433356f661348c55c","datavalue":{"value":{"entity-type":"item","numeric-id":5544315,"id":"Q5544315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$CB372993-B36D-4208-8BA8-99BC3EF7A30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d81a7ed898ee76971bb4230b3f2e2d589c6ed7","datavalue":{"value":{"entity-type":"item","numeric-id":3360805,"id":"Q3360805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403877$7AEA4E4C-CFFD-4E5D-9128-152BF2ABCF88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78c6007d03e34bbfe463685bb54301f39d6c7dd","datavalue":{"value":{"entity-type":"item","numeric-id":5697636,"id":"Q5697636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2affb9ccb98ff9f44227c00934131c8c62fb375","datavalue":{"value":{"amount":"+0.9020819067955016","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":"Q1403877$8CAED84F-8934-4A8E-A53E-6D82DA896EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92022d8aeb205d7d837ec2846fd149a06fe6e71f","datavalue":{"value":{"entity-type":"item","numeric-id":5463463,"id":"Q5463463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1174485fd90c6e1a46d5336db1a05ecbe8f6ab21","datavalue":{"value":{"amount":"+0.9001553058624268","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":"Q1403877$39B82061-E5DC-4E24-82C7-1D1FB638DC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1296b61c6da312435bfda52472c023f3146ddb0f","datavalue":{"value":{"entity-type":"item","numeric-id":3149456,"id":"Q3149456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9026cd32fd26691cd7bf00abfb05a604f92ca761","datavalue":{"value":{"amount":"+0.864397406578064","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":"Q1403877$715B15F2-3EBC-4780-A1F1-5EC45CA342F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298063c5705a6f0b355f40d06b6ee916e6f61f3f","datavalue":{"value":{"entity-type":"item","numeric-id":2505018,"id":"Q2505018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68be025e22565c4e3325897abb14299e2b3646a6","datavalue":{"value":{"amount":"+0.8630315661430359","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":"Q1403877$962DE998-029D-4149-9A4A-8358AE7371A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667d4a245eca9aca4169c0b72c9edad44555702d","datavalue":{"value":{"entity-type":"item","numeric-id":1403878,"id":"Q1403878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d65668340e34993e889717ac4f3c6ea5a4bcfc","datavalue":{"value":{"amount":"+0.8376227617263794","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":"Q1403877$B76B328F-A3AA-4358-8C24-0DF7DB83C0EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive techniques for labeling constant weight Gray codes with applications to minimal generating sets of semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_techniques_for_labeling_constant_weight_Gray_codes_with_applications_to_minimal_generating_sets_of_semigroups"}}}}}