{"id":"https://openalex.org/W4395082536","doi":"https://doi.org/10.1007/s10107-024-02084-1","title":"From approximate to exact integer programming","display_name":"From approximate to exact integer programming","publication_year":2024,"publication_date":"2024-04-24","ids":{"openalex":"https://openalex.org/W4395082536","doi":"https://doi.org/10.1007/s10107-024-02084-1","pmid":"https://pubmed.ncbi.nlm.nih.gov/40026606"},"language":"lv","primary_location":{"id":"doi:10.1007/s10107-024-02084-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10107-024-02084-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10107-024-02084-1.pdf","source":{"id":"https://openalex.org/S193920097","display_name":"Mathematical Programming","issn_l":"0025-5610","issn":["0025-5610","1436-4646"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10107-024-02084-1.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044591096","display_name":"Daniel Dadush","orcid":"https://orcid.org/0000-0001-5577-5012"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Daniel Dadush","raw_affiliation_strings":["Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000598657","display_name":"Friedrich Eisenbrand","orcid":"https://orcid.org/0000-0001-7928-1076"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Friedrich Eisenbrand","raw_affiliation_strings":["\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), Lausanne, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (EPFL), Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008952420","display_name":"Thomas Rothvo\u00df","orcid":"https://orcid.org/0009-0007-8314-0963"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Thomas Rothvoss","raw_affiliation_strings":["University of Washington, Seattle, WA USA","University of Washington, Seattle, WA, USA"],"raw_orcid":"https://orcid.org/0009-0007-8314-0963","affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, WA USA","institution_ids":["https://openalex.org/I201448701"]},{"raw_affiliation_string":"University of Washington, Seattle, WA, USA","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5000598657","https://openalex.org/A5008952420","https://openalex.org/A5044591096"],"corresponding_institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I201448701","https://openalex.org/I5124864"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":{"value":2890,"currency":"USD","value_usd":2890},"fwci":0.2564,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.52611143,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"210","issue":"1-2","first_page":"223","last_page":"241"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12288","display_name":"Optimization and Search Problems","score":0.9882000088691711,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11502","display_name":"Facility Location and Emergency Management","score":0.9861999750137329,"subfield":{"id":"https://openalex.org/subfields/1407","display_name":"Organizational Behavior and Human Resource Management"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5826482772827148},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2920137643814087}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5826482772827148},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2920137643814087}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s10107-024-02084-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10107-024-02084-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10107-024-02084-1.pdf","source":{"id":"https://openalex.org/S193920097","display_name":"Mathematical Programming","issn_l":"0025-5610","issn":["0025-5610","1436-4646"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Programming","raw_type":"journal-article"},{"id":"pmid:40026606","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/40026606","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical programming","raw_type":null},{"id":"pmh:oai:pubmedcentral.nih.gov:11870894","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/11870894","pdf_url":"https://pmc.ncbi.nlm.nih.gov/articles/PMC11870894/pdf/10107_2024_Article_2084.pdf","source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Math Program","raw_type":"Text"},{"id":"pmh:oai:cwi.nl:34136","is_oa":false,"landing_page_url":"https://ir.cwi.nl/pub/34136","pdf_url":null,"source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematical Programming","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:infoscience.epfl.ch:311093","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/311093","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"WoS","raw_type":"research article"}],"best_oa_location":{"id":"doi:10.1007/s10107-024-02084-1","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10107-024-02084-1","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10107-024-02084-1.pdf","source":{"id":"https://openalex.org/S193920097","display_name":"Mathematical Programming","issn_l":"0025-5610","issn":["0025-5610","1436-4646"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2056264219","display_name":null,"funder_award_id":"805241-QIP","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"},{"id":"https://openalex.org/G4851664681","display_name":"Complexity of integer Programming","funder_award_id":"207365","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G6475570109","display_name":"Lattice Algorithms and Integer Programming","funder_award_id":"185030","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7817736591","display_name":"CAREER: Approximation Algorithms via SDP hierarchies","funder_award_id":"1651861","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306079","display_name":"David and Lucile Packard Foundation","ror":"https://ror.org/032atxq54"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4395082536.pdf"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W606453859","https://openalex.org/W2000956176","https://openalex.org/W2008924211","https://openalex.org/W2026129593","https://openalex.org/W2030106244","https://openalex.org/W2041990574","https://openalex.org/W2050689197","https://openalex.org/W2063342497","https://openalex.org/W2070971235","https://openalex.org/W2090960684","https://openalex.org/W2093079548","https://openalex.org/W2100440346","https://openalex.org/W2104245397","https://openalex.org/W2106318612","https://openalex.org/W2112574583","https://openalex.org/W2114616381","https://openalex.org/W2141040012","https://openalex.org/W2147366477","https://openalex.org/W2150780437","https://openalex.org/W2196147147","https://openalex.org/W2200725028","https://openalex.org/W2499349432","https://openalex.org/W2949628502","https://openalex.org/W2962900108","https://openalex.org/W3100363164","https://openalex.org/W4237591687","https://openalex.org/W4253814861","https://openalex.org/W4390098178"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2053286651","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2181413294","https://openalex.org/W2052122378","https://openalex.org/W2544423928","https://openalex.org/W2062023542","https://openalex.org/W4313731559"],"abstract_inverted_index":{"Abstract":[0],"Approximate":[1,94],"integer":[2,55,95,122,158,166,185,314,345,400],"programming":[3,96,123,159,401],"is":[4,50,81,292,373],"the":[5,58,116,236,301,304,318,349],"following:":[6],"For":[7],"a":[8,295,322,382],"given":[9],"convex":[10,59],"body":[11,60],"$$K":[12,33],"\\subseteq":[13],"{\\mathbb":[14,35,191,417],"{R}}^n$$":[15],"<mml:math":[16,37,66,103,130,193,221,245,266,281,324,419],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[17,38,67,104,131,194,222,246,267,282,325,420],"<mml:mrow>":[18,22,39,43,68,107,132,135,195,201,206,225,247,268,326,329,421],"<mml:mi>K</mml:mi>":[19,40,72,203],"<mml:mo>\u2286</mml:mo>":[20],"<mml:msup>":[21,42,105,133,143,196,205,223,283,327,336],"<mml:mi>R</mml:mi>":[23],"</mml:mrow>":[24,27,45,48,78,112,140,147,208,212,213,230,257,277,334,340],"<mml:mi>n</mml:mi>":[25,46,110,138,144,145,209,228,273,332,337,338],"</mml:msup>":[26,47,113,141,146,199,210,231,286,335,339],"</mml:math>":[28,49,79,114,148,214,232,258,278,287,341],",":[29,83,233,298],"either":[30],"determine":[31],"whether":[32],"\\cap":[34,190],"{Z}}^n$$":[36,418],"<mml:mo>\u2229</mml:mo>":[41,204],"<mml:mi>Z</mml:mi>":[44,207],"empty,":[51],"or":[52],"find":[53],"an":[54,184,354],"point":[56,186],"in":[57,100,125,218,403],"$$2\\cdot":[61],"(K":[62,189],"-":[63],"c)":[64],"+c$$":[65],"<mml:mn>2</mml:mn>":[69,106,134,224,328],"<mml:mo>\u00b7</mml:mo>":[70,142],"<mml:mo>(</mml:mo>":[71,109,137,202,227,272,331],"<mml:mo>-</mml:mo>":[73],"<mml:mi>c</mml:mi>":[74,77],"<mml:mo>)</mml:mo>":[75,111,139,211,229,276,333],"<mml:mo>+</mml:mo>":[76,274],"which":[80],"K":[82],"scaled":[84],"by":[85,356],"2":[86],"from":[87],"its":[88,394],"center":[89],"of":[90,238,279,303,317,353,368,391],"gravity":[91],"c":[92],".":[93,149],"can":[97,215],"be":[98,216,390],"solved":[99],"time":[101,126,219],"$$2^{O(n)}$$":[102,220],"<mml:mi>O</mml:mi>":[108,136,226,330],"while":[115],"fastest":[117],"known":[118,160],"methods":[119,156],"for":[120,157,259,343],"exact":[121],"run":[124],"$$2^{O(n)}":[127],"\\cdot":[128],"n^n$$":[129],"So":[150],"far,":[151],"there":[152],"are":[153,162,171,288,310],"no":[154],"efficient":[155],"that":[161,183,235,372,388],"based":[163,293],"on":[164,294,381,393],"approximate":[165,313,385],"programming.":[167,315,346],"Our":[168,377,396],"main":[169],"contribution":[170],"two":[172],"such":[173],"methods,":[174],"each":[175,239],"yielding":[176],"novel":[177],"complexity":[178],"results.":[179],"First,":[180],"we":[181],"show":[182],"$$x^*":[187],"\\in":[188,416],"{Z}}^n)$$":[192],"<mml:mi>x</mml:mi>":[197,249,284,423,429],"<mml:mo>\u2217</mml:mo>":[198,251,285],"<mml:mo>\u2208</mml:mo>":[200],"found":[217],"provided":[234],"remainders":[237,320],"component":[240],"$$x_i^*":[241],"\\mod":[242],"\\ell":[243],"$$":[244],"<mml:msubsup>":[248],"<mml:mi>i</mml:mi>":[250],"</mml:msubsup>":[252],"<mml:mspace/>":[253,255],"<mml:mo>mod</mml:mo>":[254],"<mml:mi>\u2113</mml:mi>":[256,269],"some":[260],"arbitrarily":[261],"fixed":[262],"$$\\ell":[263],"\\ge":[264],"5(n+1)$$":[265],"<mml:mo>\u2265</mml:mo>":[270],"<mml:mn>5</mml:mn>":[271],"<mml:mn>1</mml:mn>":[275],"$$x^*$$":[280],"given.":[289],"The":[290,307],"algorithm":[291,342,355,378],"cutting-plane":[296],"technique":[297],"iteratively":[299],"halving":[300],"volume":[302],"feasible":[305],"set.":[306],"cutting":[308],"planes":[309],"determined":[311],"via":[312],"Enumeration":[316],"possible":[319],"gives":[321],"$$2^{O(n)}n^n$$":[323],"general":[344],"This":[347],"matches":[348],"current":[350],"best":[351],"bound":[352],"Dadush":[357],"(Integer":[358],"programming,":[359],"lattice":[360],"algorithms,":[361],"and":[362],"deterministic,":[363],"vol.":[364],"Estimation.":[365],"Georgia":[366],"Institute":[367],"Technology,":[369],"Atlanta,":[370],"2012)":[371],"considerably":[374],"more":[375],"involved.":[376],"also":[379],"relies":[380],"new":[383],"asymmetric":[384],"Carath\u00e9odory":[386],"theorem":[387],"might":[389],"interest":[392],"own.":[395],"second":[397],"method":[398],"concerns":[399],"problems":[402],"equation-standard":[404],"form":[405],"$$Ax":[406],"=":[407],"b,":[408],"0":[409],"\\le":[410,412],"x":[411,415],"u,":[413],"\\,":[414],"<mml:mi>A</mml:mi>":[422],"<mml:mo>=</mml:mo>":[424],"<mml:mi>b</mml:mi>":[425],"<mml:mo>,</mml:mo>":[426],"<mml:mn>0</mml:mn>":[427],"<mml:mo>\u2264</mml:mo>":[428,430],"<mml:mi>u</mml:mi>":[431],"<mml:mo>,</mm":[432]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}