{"entities":{"Q810341":{"pageid":812189,"ns":120,"title":"Item:Q810341","lastrevid":64507104,"modified":"2026-04-11T20:20:42Z","type":"item","id":"Q810341","labels":{"en":{"language":"en","value":"The problem of choice decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4213699"}},"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":"Q810341$526D351E-C94E-4192-AB2D-0F99A29083AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff4ae5c72ff14d25bd1a8b2aefbec6d42fec57c2","datavalue":{"value":{"text":"The problem of choice decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q810341$51206673-CA47-4565-8CFF-E3AA6C026B79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1b5b53ca75298382415994cbab90846e056342f","datavalue":{"value":"0733.90006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810341$8DA3A916-9DA3-4E40-A149-982907DC5358","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2177f918620c1b27681a7c526dba0a548b118c36","datavalue":{"value":"10.1016/0165-4896(90)90068-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810341$8D6DFB06-AAB0-4344-9AB1-73D337507F1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35ecae8b86d6ca07d562e88f51a47e3eb2bb0a63","datavalue":{"value":{"entity-type":"item","numeric-id":810340,"id":"Q810340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810341$8E229CC4-BF18-402E-B401-30F9AB60F93B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f166790ec34f4b6b0fbf53f80bd31461e449db4","datavalue":{"value":{"entity-type":"item","numeric-id":177530,"id":"Q177530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810341$9741CB36-DE94-4FE2-8D85-5BB02849AC27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q810341$A3193A2F-38AB-47D3-9F01-4BC10BFABCDA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f1b3a18d333cbf79f110511cba43d8fd809b9b26","datavalue":{"value":"Let A be a discrete set of ``variants''. A choice function is a function c: \\(U\\subseteq 2^ A\\to 2^ A\\). It is usually difficult to find the value c(X) of some \\(X\\in {\\mathcal U}:\\) this motivates decomposition methods. An example is the Path Independence condition \\(c(U_ iZ_ i)=c(U_ ic(Z_ i))\\). A choice function c satisfies Path Independence iff it satisfies simultaneously (a) Heritage: for any S,T\\(\\in {\\mathcal U}\\), if \\(S\\subseteq T\\) then c(T)\\(\\cap S\\subseteq c(S)\\) and (b) Independence: for any S,T\\(\\in {\\mathcal U}\\), if c(T)\\(\\subseteq S\\subseteq T\\) then \\(c(T)=c(S)\\). The paper introduces a ``hierarchical'' decomposition of a choice function c at a given \\(X\\in {\\mathcal U}.\\)    Given a set \\(X\\in {\\mathcal U}=2^ A\\setminus \\{\\emptyset \\}\\), let \\(X_ 0=X\\), \\(X_ 1,...,X_ k,...,X_ m\\), \\(X_ k\\subseteq 2^{X_{k-1}}\\). Along with the function c consider functions \\(c_ 0,c_ 1,...,c_ k,...,c_ m\\), \\(c_ k:\\) \\({\\mathcal U}_ k=2^{X_ k}\\setminus \\{\\emptyset \\}\\to 2^{X_ k}\\), \\(c_ o\\) being the projection of c on \\({\\mathcal U}_ 0=2^ X\\setminus \\{\\emptyset \\}\\). The decomposition \\((X_ k,c_ k)^ m_{k=1}\\) is coordinated with the choice problem (X,c) if for every \\(k=m,...,1\\), \\(c_ k\\) is such that, given the correspondances \\(F_ k: X\\to X_ k\\), for any \\(Z\\in {\\mathcal U}_ k\\), \\(c_ 0(F_ k^{- 1}(Z))\\subseteq F_ k^{-1}(c_ k(Z))\\). The main result of the paper relies on the following procedure:  \\[  X^*_ m=c_ m(X_ m),\\quad X^*_ k=c_ k(f^{-1}_{k+1}(X^*_{k+1})),\\quad k=m-1,...,1  \\]  using the correspondances \\(f_ k: X_{k-1}\\to X_ k\\) (the correspondances \\(F_ k\\) are compositions of the correspondances \\(f_ 1,...,f_ k\\) and we have: \\(F_ k^{-1}(f^{- 1}_{k+1}(X^*_{k+1}))=F^{-1}_{k+1}(X^*_{k+1}))\\). The main result of the paper states that for a decomposition which is coordinated with a choice problem (X,c), i) if \\(c_ 0\\) satisfies the Heritage condition, then \\(c_ 0(X)\\subseteq c_ 0(X^*)\\) for \\(X^*=F_ 1^{- 1}(X_ 1^*)\\), and ii) if \\(c_ 0\\) satisfies the Path Independence condition then \\(c_ 0(X)=c_ 0(X^*).\\)    When the choice functions \\(c_ k=c_{\\beta_ k}\\) are generated by binary relations \\(\\beta_ k\\) on \\(X_ k:\\) (i.e. \\(c_{\\beta_ k}(Z)=\\{z\\in Z\\); \\(\\exists x\\in Z\\); \\(x\\beta_ kz\\}\\), \\(Z\\subseteq X_ k)\\) for a decomposition to be coordinated with the choice problem it is necessary that the \\(\\beta_ k\\) be ``homomorphic'' with a relation \\(\\beta\\) on \\(2^ X\\) such that \\(c_{\\beta}(S\\cup T)\\subseteq S\\), S,T\\(\\subseteq X\\). In some case the condition is also sufficient.","type":"string"},"datatype":"string"},"type":"statement","id":"Q810341$955E05F5-043E-481B-A5D0-FF04A94BB8E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"824cfdf2b129d72f7287008060b5bf497f3b4f34","datavalue":{"value":"91B14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810341$C9326519-E6EA-451F-8C24-BC3AD0758863","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81cf4cc98e455e209f8e30778a8f8dab02232399","datavalue":{"value":"4213699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810341$6973672A-B217-411B-8DD0-629873D732CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0edbdfa281825cdce2cef338d46b99c5e8d066","datavalue":{"value":"choice function","type":"string"},"datatype":"string"},"type":"statement","id":"Q810341$A039D8B1-B907-4112-9C5D-9F6BC63031DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcc04a4e07cadf1545be75118de04af886b908a9","datavalue":{"value":"Path Independence condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q810341$397DB604-4D93-46EA-97AF-540151F73FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"919aa6027e35eae623e9a2236a74c9dbbfb57c04","datavalue":{"value":"``hierarchical'' decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q810341$5BCDAD06-7B62-42D5-960F-3D499788A281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c57a6aedd0de54c3d989d647a2765432a712bcac","datavalue":{"value":"Heritage condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q810341$5BE5091C-DB3B-42EE-BD3C-1E008B07AEFD","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":"Q810341$A493C656-D5AC-4B65-A969-AED08A99A96A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb203f5c6ce698881f3da2019b478bf9abeb032","datavalue":{"value":{"entity-type":"item","numeric-id":1155495,"id":"Q1155495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810341$6447AAE2-8BE6-451B-AB4B-0068AF8AA751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99a895d53fb381fcd00e7ad7b904611d5b28d12","datavalue":{"value":{"entity-type":"item","numeric-id":5832426,"id":"Q5832426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810341$8C7B323A-462C-4ED0-ABE1-F273497691FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a608b2e850f1cb55537b9d6f007469c85a194e","datavalue":{"value":{"entity-type":"item","numeric-id":4401690,"id":"Q4401690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810341$7901C9CE-8F45-4DCF-8E57-18A1BD1E8C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e771b68cbc7ce9a61f27823dab27ca00cf85c3","datavalue":{"value":{"entity-type":"item","numeric-id":4051843,"id":"Q4051843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810341$D9ADDDCA-3C01-4E7E-A612-EAD6AE3F2148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eeca683ff426263ba305955e18da050a3531f4a","datavalue":{"value":{"entity-type":"item","numeric-id":5648106,"id":"Q5648106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q810341$5740744A-AE79-484D-9C10-421421BF2644","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11e7fc27272cee499f42186799efc2b69073995e","datavalue":{"value":"https://doi.org/10.1016/0165-4896(90)90068-i","type":"string"},"datatype":"url"},"type":"statement","id":"Q810341$30BB3034-CC81-459D-AD86-2277497F19D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46ec509092656ffdb009d7f08d681f494a927cbf","datavalue":{"value":"W2062682393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q810341$DA7642D7-829A-4278-9B06-75AA5BB1BCAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03aec510d7dee9737d11f7a16a0436fcd76b5baf","datavalue":{"value":{"entity-type":"item","numeric-id":1778358,"id":"Q1778358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac17b7e0231934056a84a9a1733a87ff16fc9a8","datavalue":{"value":{"amount":"+0.8499257564544678","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":"Q810341$25CDA1AC-F26F-4701-93A6-6F4ED777646D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04959b416f2da2a6ebc3e701a2fc0ab8bf47e7d9","datavalue":{"value":{"entity-type":"item","numeric-id":810347,"id":"Q810347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd11b10e33489aeecd55104ac2af4deab2280a3f","datavalue":{"value":{"amount":"+0.8240641951560974","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":"Q810341$D1E964C9-C4A9-454E-9501-07D67D8A26A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c44246571ac107c2e000d46c77fa8bfd72c80083","datavalue":{"value":{"entity-type":"item","numeric-id":580148,"id":"Q580148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ba68dbc0f7889133316ef71a35cced85a880b3","datavalue":{"value":{"amount":"+0.8069800734519958","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":"Q810341$0B013723-6415-419B-A64A-2E6464C8F6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef96f84f08c0473bc63bce2843035b6d2d374cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3359961,"id":"Q3359961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5b4b8418f1584c1da80d1d38530fd074cedd82","datavalue":{"value":{"amount":"+0.8005619645118713","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":"Q810341$7162CA4E-A2E0-49DC-9A98-0D243D94AF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a10caaf63e400ce366e7a0b7cd475a70f87fbe1","datavalue":{"value":{"entity-type":"item","numeric-id":3790896,"id":"Q3790896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17aded480151940133203da61cfd437accba79e","datavalue":{"value":{"amount":"+0.7892454266548157","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":"Q810341$EC073DD5-9B55-417A-AE8A-136C0D2FEBA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The problem of choice decomposition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_problem_of_choice_decomposition"}}}}}