{"entities":{"Q1417591":{"pageid":1428331,"ns":120,"title":"Item:Q1417591","lastrevid":48215521,"modified":"2026-01-03T23:53:39Z","type":"item","id":"Q1417591","labels":{"en":{"language":"en","value":"Integer programming, Barvinok's counting algorithm and Gomory relaxations."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2021242"}},"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":"Q1417591$7CECAB0E-8257-4322-8D7F-7E25A10FC990","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0094e1996b10fa0f9cd3674d0a3bae760efe05e","datavalue":{"value":{"text":"Integer programming, Barvinok's counting algorithm and Gomory relaxations.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1417591$9D72FF9F-2D07-4C41-BCB3-EA2EB17ED08A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21a094f60c442eb3dd2cb5c12236c030bd2fd5e5","datavalue":{"value":"1060.90055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1417591$BA0BD106-4764-46B9-8700-3FADF63A21EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d616517c5ac2bf6db1f5932e1cb34e2257594a77","datavalue":{"value":"10.1016/S0167-6377(03)00098-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1417591$5A6299D4-9263-46BD-9E61-DDB920DDD8BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f9747a37b0b56aeca2085282046e2737cd5087ca","datavalue":{"value":{"entity-type":"item","numeric-id":96289,"id":"Q96289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$DE1D861B-B557-4BAA-82B2-7C1E06A2EF9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19dd558f6b0463011ea13c13314371f3bde474be","datavalue":{"value":{"time":"+2004-01-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":"Q1417591$DFF33D80-6100-49BC-B24C-995F10914F22","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7448a0c025e71422b8ebc30a5741a8d3c6bc87c8","datavalue":{"value":"Barvinok's algorithm to count the integral points of a convex rational polytope can be used to solve integer programs. In this paper an upper bound on the optimal value of the integer program \\(P\\) is derived from Barvinok's formula. A condition for the upper bound being equal to the optimal value of \\(P\\) is also given. Finally, the author applies this result to the Gomory relaxation of \\(P\\) (which is also an integer program) to derive a relationship between Barvinok's result and Gomory relaxations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1417591$4E191AF3-5F25-480A-9513-98F6C768C453","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ebec3fead859bfe042f90942bb009137165d63bc","datavalue":{"value":{"entity-type":"item","numeric-id":297048,"id":"Q297048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$2F4CA7F4-C009-4C26-8AB5-7CE5137DA6BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1417591$0273A273-6D30-48CE-8B6E-FD5A8F4B078D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ac4c24d18e32f5d8787db665b49b29b90d60dfe","datavalue":{"value":"2021242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1417591$5BE19143-024B-4611-B5F9-D35B68201D67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a438e9092bcf192a5c493b52b0717e88c2591","datavalue":{"value":"integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1417591$2F82EBAC-81B3-4EDF-AC36-CD2AC3AF19B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931fc00879af8b0f86011ef32c390fa4802ca84e","datavalue":{"value":"generating functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1417591$C3B9D5A4-5C4A-4331-9606-52B59F2A6E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea590d5b33d85340f79d296af37867e6f8a2b63d","datavalue":{"value":"Barvinok's counting algortihm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1417591$89680FB0-1BA5-42B3-80E1-6DED2833E477","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14003a50a44c20e712064b27ecfc39c8400dd7cd","datavalue":{"value":{"entity-type":"item","numeric-id":16824,"id":"Q16824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$9F087185-EE0A-4D6D-BFE9-2D7F81BD6494","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d6909d519daff13c846ee3c5786c88cf823ecb9","datavalue":{"value":{"entity-type":"item","numeric-id":1731747,"id":"Q1731747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$5CA6EF4E-CFE2-45B3-8D23-B6D65E5519ED","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":"Q1417591$385D3305-EF52-4A52-9F6B-D04BA0C8210A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd728aff347e40bf1d99bd0a1a2a412a87058f7b","datavalue":{"value":{"entity-type":"item","numeric-id":697562,"id":"Q697562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$DBCE6984-B0D7-404A-B459-8AF716434DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53c4bead7070468cd29ee73be2e1967ffdc3c8f","datavalue":{"value":{"entity-type":"item","numeric-id":4698099,"id":"Q4698099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$4952CF43-B5F4-4D08-A25B-DB8AD3A9BD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c1e4e981540b3aaf7bafffe6298166d89fd29e","datavalue":{"value":{"entity-type":"item","numeric-id":685177,"id":"Q685177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$F0E2FCCA-3F80-407A-915D-5E418F78E5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb026c5d11c5a83c530872f8be5a7ba25d0b1b3","datavalue":{"value":{"entity-type":"item","numeric-id":4938470,"id":"Q4938470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$09EB8925-35B2-4C8E-8270-7FFDDE4413A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c7c3513868dbca038ea3932f63e60a6cf161f39","datavalue":{"value":{"entity-type":"item","numeric-id":3819625,"id":"Q3819625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$CFFECC37-9BAD-4148-97E9-18A86A27F92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c92aebe1288a33263b617b1b67a4323e7a616fa","datavalue":{"value":{"entity-type":"item","numeric-id":2643564,"id":"Q2643564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$28767AFD-ABF7-4DD6-B1C2-227FF41C853F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a5404370bdb47bb25cef22a2d934aa56b98980","datavalue":{"value":{"entity-type":"item","numeric-id":2535821,"id":"Q2535821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$31A298CD-1C2C-400D-959B-895796EA98F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57bbf5b5b9f19c7d242f9ea5423dae6b74cff079","datavalue":{"value":{"entity-type":"item","numeric-id":2460632,"id":"Q2460632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$E0C34CFF-2168-45B0-85AC-EF6A42BA1BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b369429581047e1dabd46e6eafe270ef5ac985","datavalue":{"value":{"entity-type":"item","numeric-id":3037135,"id":"Q3037135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$D2C760E7-30F2-4CDB-B7A4-EA0ECDC14790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4def438d8a28321802a44dbba53d7d9b373961a","datavalue":{"value":{"entity-type":"item","numeric-id":3923934,"id":"Q3923934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$C304433D-607F-4731-A353-41F5C9005CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$96F76848-C8B4-4D7F-95DB-7BF23D51310A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df15bd3f6b7e5673ff3a834a41390bed8b2d5c9","datavalue":{"value":{"entity-type":"item","numeric-id":5650209,"id":"Q5650209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$DB290AFA-AAB0-4989-9C0F-714012082CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0300b75746f48c329ad866edad1ecf0e12b326","datavalue":{"value":{"entity-type":"item","numeric-id":4054818,"id":"Q4054818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1417591$EC596E16-2970-4C8E-A313-656FB12FE72B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbb717204bc84a8769475d516b37cb7eb20cb1cb","datavalue":{"value":"https://doi.org/10.1016/s0167-6377(03)00098-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1417591$FB09D885-FA9C-45D0-BBE7-01F6BDA32356","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3b687cabf4f9f12195931d78aed023cc2ff6cbd","datavalue":{"value":"W1967723742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1417591$B0EF9929-F00B-4FBE-9047-4FEA47EBC26B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e70fc1c268af587a8b0ef0321cfb87d1c0e60d","datavalue":{"value":{"entity-type":"item","numeric-id":5712457,"id":"Q5712457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f064cd80bfecd5d09c8e3f93e1c65e5b15fbb91","datavalue":{"value":{"amount":"+0.8151863813400269","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":"Q1417591$F725C1EC-0A94-4B46-949F-FB27153A4005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"892bb989578361ee0cb986c7487a87aa83ebc058","datavalue":{"value":{"entity-type":"item","numeric-id":2568332,"id":"Q2568332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5143e668f6f1273b85bc667dd2f9b5b240e33f5","datavalue":{"value":{"amount":"+0.7989946007728577","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":"Q1417591$FA278D4F-1FF1-4DCD-81CD-10815A09D354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b63dd418e1d069b810943f7414dc3d7b6817c3c8","datavalue":{"value":{"entity-type":"item","numeric-id":4361783,"id":"Q4361783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef4c061ca7ae4dd9b5a9f1aa94fad9c16554eaf","datavalue":{"value":{"amount":"+0.7837567329406738","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":"Q1417591$FD053929-EA1F-43B6-A789-A32644B2A572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abcb987d34fa11ae406890dd5675a5e10e0d7342","datavalue":{"value":{"entity-type":"item","numeric-id":1707914,"id":"Q1707914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17c7fe54cb1f228882bf2ab15aec16d1fcf9012","datavalue":{"value":{"amount":"+0.769538938999176","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":"Q1417591$0F9732F8-E4CF-46C9-B402-C036C6D96252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a86fecfccd5d01fc9da12d107b93301f427b40f1","datavalue":{"value":{"entity-type":"item","numeric-id":324705,"id":"Q324705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd8ecf80f32452043543362c826f6291ce802da","datavalue":{"value":{"amount":"+0.7690892219543457","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":"Q1417591$8583F268-EE91-4943-B302-1EEE53BDBA42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1417591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1417591"}}}}}