{"entities":{"Q2430011":{"pageid":2440754,"ns":120,"title":"Item:Q2430011","lastrevid":51221732,"modified":"2026-01-17T07:47:18Z","type":"item","id":"Q2430011","labels":{"en":{"language":"en","value":"On the OBDD complexity of the most significant bit of integer multiplication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5874592"}},"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":"Q2430011$FAFF589D-6892-4679-BAD9-F6EED3F2EBE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f29ede6bfbb27ac1b71482797b7deca0e5bb717e","datavalue":{"value":{"text":"On the OBDD complexity of the most significant bit of integer multiplication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2430011$D06AC63B-A333-4170-9E7D-95014E6E9130","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d3ab17c1d4fc2458c1828882ff6cdcc1a63ffbc","datavalue":{"value":"1220.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430011$88E3855D-E9F5-4F10-AFD4-24733F7E4A60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be4ee1fbd4b7733cd16d69d04f0190aaf1da757e","datavalue":{"value":{"entity-type":"item","numeric-id":171934,"id":"Q171934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$3DE1525E-10BA-450F-83CE-805CD067842D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$FCAD7599-FB61-42B4-B025-AD8E3B287D5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b25fd71e890a291922acd90c65898775ceff0d51","datavalue":{"value":{"time":"+2011-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2430011$9236F864-22AF-46DC-A091-331B64A1E644","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"083a8fb078036ead1d9af87b78cf26a4092b4290","datavalue":{"value":"OBDDs are decision diagrams (also called branching programs) for Boolean functions where each variable may only be read at most once and there is a fixed ordering on the variables. They are a state-of-the-art data structure for Boolean functions. The size of an OBDD depends on the variable ordering. For a Boolean function, its OBBD size is the minimum size of an OBDD for it, where the minimum is taken over all variable orderings. While many important functions have OBDDs of small size, there are also important functions with large OBDD sizes. For the middle bit of integer multiplication it is long known that the OBDD size is exponential [\\textit{R. E. Bryant}, IEEE Trans. Comput. 40, No.~2, 205--213 (1991; Zbl 1220.68060)]. This paper establishes an exponential lower bound for the most signification bit. A lower bound of \\(\\Omega(2^{n/288})\\) is proved. For the natural interleaving variable ordering an improved lower bound of \\(\\Omega(2^{n/4})\\) is shown. The proofs are based on communication complexity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430011$193CCB8A-9336-40FA-9E4D-82D719914B3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430011$7F9850DC-C3B1-4EE7-8A79-92B852A3CE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430011$C928FC18-5C97-4E5F-80FC-C99D4E365A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430011$05067365-C3E3-4502-BA41-317B417724F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0cc3c874534569fd2e3729f30b120d6ad2ccdc1","datavalue":{"value":"5874592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430011$A97C37D4-38F0-4889-9949-0896A473850A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019fe5dbaa04d87aa1941be9ff79847ba89eafc8","datavalue":{"value":"OBDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430011$98E0B241-7ACF-47E0-8EE4-5740917736F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6473e8b200cf6dbb54eccfcd814faf9dbc0df721","datavalue":{"value":"ordered binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430011$5EA6DD93-6E7E-47EE-B2FF-975D209FBD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bf1c8d33f6fc76ac2e221ea69999b4912603564","datavalue":{"value":"branching program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430011$902BB8D7-F0B6-42F5-B4D0-E84004C2D430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18789b278f24ce44f99ad73b208c7669ea66ccb9","datavalue":{"value":"integer multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430011$BFC8B8E4-FF73-4532-B034-B9084D11878A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2430011$50D67FD2-C594-4C65-A4E0-71748683AEF0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3723b29b482d61480b3dfbfaea5e8cf64d29809c","datavalue":{"value":{"entity-type":"item","numeric-id":592022,"id":"Q592022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$8966CE21-69DF-4526-8974-222FBB88B11D","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":"Q2430011$5C98F6D6-712D-4A53-949A-677C1AC5C1AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcbeb48b5d4272857945398036612a07c6a1f781","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.12.043","type":"string"},"datatype":"url"},"type":"statement","id":"Q2430011$F820A72A-B512-4624-9AF2-78053A9A7170","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32a2b7f4b627e6c1dc41799234983dafdbce4ad8","datavalue":{"value":"W2079226789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430011$162C3833-73F4-4449-BB01-21BE96B94DDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca538750c433590e1814b91ed3d437c6a9edc97","datavalue":{"value":{"entity-type":"item","numeric-id":2370421,"id":"Q2370421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$BED77671-B86F-470C-8B4D-6B823A7DD073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f21d2c43380fd71ce30b186cde8cfc3789054c2","datavalue":{"value":{"entity-type":"item","numeric-id":2771493,"id":"Q2771493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$FDD1D040-54BC-4480-8F78-F1B3D378640C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173ff2aa66e23de3532e18368a62ca22a2644f3b","datavalue":{"value":{"entity-type":"item","numeric-id":3597887,"id":"Q3597887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$F7617766-593C-4AB6-BA2A-272209F8315C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28b51a029cd5d9ed4bf45e2efbc485db83b48ac","datavalue":{"value":{"entity-type":"item","numeric-id":2508966,"id":"Q2508966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$C771D8CA-06C4-4E03-8425-F7EE245BAAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16abdf368dd33cf8bde03e9899444e47d4a3a46c","datavalue":{"value":{"entity-type":"item","numeric-id":5175997,"id":"Q5175997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$93DF992B-D130-4B5F-82D2-D288626E2122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4748c6b78349bec2fb644b5081beb8cff08d7d43","datavalue":{"value":{"entity-type":"item","numeric-id":2581005,"id":"Q2581005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$1FD9ECE7-442F-49EA-AF53-D95BD46C9C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$D4F747E6-91D6-4C32-81FD-4B9CDA15673F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$7186C9A5-BACD-430B-8BB8-23BB8DB549B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691a9554438eae80ab306e362bf2acc0ee3a2b7b","datavalue":{"value":{"entity-type":"item","numeric-id":5302073,"id":"Q5302073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$E428608E-29FA-4A0A-903F-55366DAF0645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ee6e6a2ab1fbaa1f8d6432c50db632c0f09537d","datavalue":{"value":{"entity-type":"item","numeric-id":3549597,"id":"Q3549597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$D6E48AEA-DDC4-4436-87B4-04530E993381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f06e31eaae3e7c9bdc20c4ffadaf92d3ac9fa0","datavalue":{"value":{"entity-type":"item","numeric-id":4337605,"id":"Q4337605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$9C892C17-96A5-46CE-96B2-20F5D277D666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec4896edc35f1e12505542682c8c6b6145a21f0","datavalue":{"value":{"entity-type":"item","numeric-id":4875692,"id":"Q4875692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$3CCF3965-DF9C-4E13-A7C6-FFD55451CB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a40d4cd52cbb8257aec2493931da0082aa4777ce","datavalue":{"value":{"entity-type":"item","numeric-id":4229407,"id":"Q4229407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$01F29899-20B4-48A6-B2DC-6633B5D85E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6799f10c75d08391d77d9ac7ef080e9fb4530e4","datavalue":{"value":{"entity-type":"item","numeric-id":3581269,"id":"Q3581269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$0B6FF170-559B-4496-A13A-597B754CA25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782d72fc19d51a114d507ff40b49bfad5d1d4b82","datavalue":{"value":{"entity-type":"item","numeric-id":3525811,"id":"Q3525811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$ED4C91AD-AE88-4F58-92EB-600A742FC3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6a86b532fa2f7cb2f11cb112b058aba06364e6","datavalue":{"value":{"entity-type":"item","numeric-id":1802063,"id":"Q1802063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$014939BF-1C16-4A41-B412-0D9DE94821EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$4F405F52-8599-49B8-B86D-A6EEDE275E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e990404cf8eb44c376b68a981dd6f0aae81033","datavalue":{"value":{"entity-type":"item","numeric-id":2575837,"id":"Q2575837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2430011$6E5A3F81-3B9A-41CB-9A78-E57019D54818","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1eeb96d5b7e1262bebb5d1cc1aa7a4642267b53e","datavalue":{"value":"10.1016/J.TCS.2010.12.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2430011$ED3225C2-248C-4AA4-9738-D794EA407730","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad259520cdb11f65c1dbcb5851b57738b81a527","datavalue":{"value":{"entity-type":"item","numeric-id":3502656,"id":"Q3502656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca911686720e3413bbdfdbd2a656cf350e404e1","datavalue":{"value":{"amount":"+0.9311867356300354","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":"Q2430011$9F0DDF31-85B3-4CA6-84C2-FCAEA63EED90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd16d4105adb410a7425080fc4d970532e7f106","datavalue":{"value":{"entity-type":"item","numeric-id":553298,"id":"Q553298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e715166319f3b799749d98db07ef691b38cbad1","datavalue":{"value":{"amount":"+0.9282352328300476","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":"Q2430011$756839AB-622A-4C6D-887E-3F0A3BB62D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a152aabdb8d39b6218a40b035aacd8603ec2d94","datavalue":{"value":{"entity-type":"item","numeric-id":3618582,"id":"Q3618582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9752beabcdbf61c35bde0a9b37e81a84d6651b94","datavalue":{"value":{"amount":"+0.9239214062690736","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":"Q2430011$158B3E8B-067A-461D-9C5D-4535569D3664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"572b1f93a7186e7c1408e57698fe5b0afa12a80d","datavalue":{"value":{"entity-type":"item","numeric-id":3597887,"id":"Q3597887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0903a260ba56c0e268e2a19997251019b995b9c","datavalue":{"value":{"amount":"+0.9161428809165956","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":"Q2430011$88C9E77E-2096-4085-8998-2A909A5E9C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0564af05c20d59890690395e615b1f8514b7e5d5","datavalue":{"value":{"entity-type":"item","numeric-id":2429728,"id":"Q2429728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7174f79651a275bd5b0b8b20bfca0007b77ba400","datavalue":{"value":{"amount":"+0.91339910030365","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":"Q2430011$46F14CCE-0D73-471E-9411-6EB1A0DDF6C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2430011","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2430011"}}}}}