{"id":"https://openalex.org/W1491637538","doi":"https://doi.org/10.1145/1132516.1132598","title":"On the importance of idempotence","display_name":"On the importance of idempotence","publication_year":2006,"publication_date":"2006-05-21","ids":{"openalex":"https://openalex.org/W1491637538","doi":"https://doi.org/10.1145/1132516.1132598","mag":"1491637538"},"language":"en","primary_location":{"id":"doi:10.1145/1132516.1132598","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1132516.1132598","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the thirty-eighth annual ACM symposium on Theory of Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022760571","display_name":"Sunil Arya","orcid":"https://orcid.org/0000-0003-0939-4192"},"institutions":[{"id":"https://openalex.org/I149899117","display_name":"Max Planck Society","ror":"https://ror.org/01hhn8329","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I149899117"]},{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["DE","HK"],"is_corresponding":false,"raw_author_name":"Sunil Arya","raw_affiliation_strings":["The Hong Kong University of Science and Technology, Kowloon, Hong Kong","Algorithms and Complexity, MPI for Informatics, Max Planck Society"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology, Kowloon, Hong Kong","institution_ids":["https://openalex.org/I200769079"]},{"raw_affiliation_string":"Algorithms and Complexity, MPI for Informatics, Max Planck Society","institution_ids":["https://openalex.org/I149899117"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070408072","display_name":"Theocharis Malamatos","orcid":null},"institutions":[{"id":"https://openalex.org/I149899117","display_name":"Max Planck Society","ror":"https://ror.org/01hhn8329","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I149899117"]},{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Theocharis Malamatos","raw_affiliation_strings":["Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany","Algorithms and Complexity, MPI for Informatics, Max Planck Society"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210109712"]},{"raw_affiliation_string":"Algorithms and Complexity, MPI for Informatics, Max Planck Society","institution_ids":["https://openalex.org/I149899117"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016442699","display_name":"David M. Mount","orcid":"https://orcid.org/0000-0002-3290-8932"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David M. Mount","raw_affiliation_strings":["University of Maryland, College Park, MD","University of Maryland  College Park MD"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Maryland, College Park, MD","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"University of Maryland  College Park MD","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"564","last_page":"573"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.991100013256073,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/semigroup","display_name":"Semigroup","score":0.8746079802513123},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8737215399742126},{"id":"https://openalex.org/keywords/idempotence","display_name":"Idempotence","score":0.711952805519104},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6365949511528015},{"id":"https://openalex.org/keywords/cancellative-semigroup","display_name":"Cancellative semigroup","score":0.5668855905532837},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.5455933213233948},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5403000116348267},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.49796628952026367},{"id":"https://openalex.org/keywords/element","display_name":"Element (criminal law)","score":0.4425748586654663},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4245879054069519},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.42395102977752686},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.2605907917022705}],"concepts":[{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.8746079802513123},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8737215399742126},{"id":"https://openalex.org/C172252984","wikidata":"https://www.wikidata.org/wiki/Q368988","display_name":"Idempotence","level":2,"score":0.711952805519104},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6365949511528015},{"id":"https://openalex.org/C21112865","wikidata":"https://www.wikidata.org/wiki/Q5031372","display_name":"Cancellative semigroup","level":3,"score":0.5668855905532837},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.5455933213233948},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5403000116348267},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.49796628952026367},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.4425748586654663},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4245879054069519},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.42395102977752686},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.2605907917022705},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1145/1132516.1132598","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1132516.1132598","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the thirty-eighth annual ACM symposium on Theory of Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.100.9085","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.9085","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.utah.edu/~suresh/fwcg05/abstracts/20.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.149.6509","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.6509","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://pelopas.uop.gr/~tmalamat/Papers/Idempotence06.pdf","raw_type":"text"},{"id":"pmh:oai:edoc.mpg.de:314593","is_oa":false,"landing_page_url":"http://edoc.mpg.de/314593","pdf_url":null,"source":{"id":"https://openalex.org/S4406922265","display_name":"Max Planck Institute for Plasma Physics","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":"Proceedings of the 38th Annual ACM Symposium on Theory of Computing, STOC'06, ACM, 564-573 (2006)","raw_type":"Conference-Paper"},{"id":"pmh:oai:pure.mpg.de:item_1328500","is_oa":false,"landing_page_url":"https://hdl.handle.net/11858/00-001M-0000-000F-239B-9","pdf_url":null,"source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 38th Annual ACM Symposium on Theory of Computing, STOC'06","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-30338","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-30338","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference paper"},{"id":"mag:1491637538","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1425488884","https://openalex.org/W1553172454","https://openalex.org/W1973949696","https://openalex.org/W1980228393","https://openalex.org/W1995232397","https://openalex.org/W2027387410","https://openalex.org/W2038636610","https://openalex.org/W2067636581","https://openalex.org/W2067695105","https://openalex.org/W2070228513","https://openalex.org/W2078939351","https://openalex.org/W2115964316","https://openalex.org/W2220451813","https://openalex.org/W6631045115","https://openalex.org/W6652723978"],"related_works":["https://openalex.org/W2165576953","https://openalex.org/W1967952322","https://openalex.org/W2061544335","https://openalex.org/W2474064131","https://openalex.org/W2516783454","https://openalex.org/W2102956735","https://openalex.org/W2951435501","https://openalex.org/W2101479644","https://openalex.org/W2131462849","https://openalex.org/W2199448419","https://openalex.org/W2567966754","https://openalex.org/W168334256","https://openalex.org/W1640968304","https://openalex.org/W1635360041","https://openalex.org/W1502531137","https://openalex.org/W3182499653","https://openalex.org/W1759768886","https://openalex.org/W2964340717","https://openalex.org/W3098957505","https://openalex.org/W1868105088"],"abstract_inverted_index":{"Range":[0],"searching":[1,130,225,298,322,404,454],"is":[2,17,43,79,138,153,169,187,241,357],"among":[3],"the":[4,41,46,50,55,69,73,95,100,111,126,161,199,220,226,239,247,252,262,279,287,290,336,352,355,384,392,399,406,412,431,443,456],"most":[5],"fundamental":[6],"problems":[7],"in":[8,15,219,251,261,343,354,370,405,455],"computational":[9,400,444],"geometry.":[10],"An":[11],"n-element":[12],"point":[13],"set":[14],"Rd":[16],"given":[18,60,84],"along":[19],"with":[20,289],"an":[21,85,270],"assignment":[22],"of":[23,37,54,72,98,110,119,128,198,222,283,362,372,402,425,433,446],"weights":[24],"to":[25,33,44,93,172,245,441],"these":[26],"points":[27,47,56,101,112],"from":[28],"some":[29],"commutative":[30],"semigroup.":[31,200],"Subject":[32],"a":[34,59,209,360],"fixed":[35],"space":[36],"possible":[38],"range":[39,62,129,216,224,234,297,321,403,432,453],"shapes,":[40],"problem":[42,74],"preprocess":[45],"so":[48],"that":[49,77,203,238,335,395,437],"total":[51],"semigroup":[52,96,133,136,204,240,253,396,407,457],"sum":[53,97,163],"lying":[57,113],"within":[58,103,114],"query":[61],"\u03b7":[63,78,104],"can":[64,341],"be":[65],"determined":[66],"quickly.":[67],"In":[68,346],"approximate":[70,215,223,296,419,451],"version":[71],"we":[75,82,124,230,268,438],"assume":[76],"bounded,":[80],"and":[81,105,151,178,184,193,214,218,264,307,375,378,449],"are":[83,92,181,228,368,411,439],"approximation":[86],"parameter":[87],"\u03b5":[88,116],">":[89],"0.":[90],"We":[91,201,303,315],"determine":[94],"all":[99,147,157,191],"contained":[102],"may":[106],"additionally":[107],"include":[108],"any":[109,418],"distance":[115],"\u2022":[117],"diam(\u03b7)":[118],"\u03b7's":[120],"boundar.In":[121],"this":[122],"paper":[123],"contrast":[125],"complexity":[127,401,445],"based":[131],"on":[132],"properties.":[134],"A":[135],"(S,+)":[137],"idempotent":[139,313,448],"if":[140,155],"x":[141,143,145,148,164,168],"+":[142,165,167],"=":[144],"for":[146,156,211,274,299,312,320,323,417],"\u2208":[149],"S,":[150],"it":[152],"integral":[154,242,275,324,450],"k":[158],"\u2265":[159],"2,":[160],"k-fold":[162],"...":[166],"not":[170],"equal":[171],"x.":[173],"For":[174,256],"example,":[175,257],"(R,":[176],"min)":[177],"(0,1,":[179],"\u2228)":[180],"both":[182,212,447],"idempotent,":[183],"(N,":[185],"+)":[186],"integral.":[188],"To":[189],"date,":[190],"upper":[192,292,310,330,379,428],"lower":[194,249,272,281,305,318,377,414],"bounds":[195,250,306,311,319,333,380],"hold":[196],"irrespective":[197],"show":[202,334],"properties":[205,397],"do":[206],"indeed":[207],"make":[208],"difference":[210],"exact":[213,232],"searching,":[217],"case":[221],"differences":[227],"dramatic.First,":[229],"consider":[231,295],"halfspace":[233],"searching.":[235],"The":[236,423],"assumption":[237],"allows":[243],"us":[244],"improve":[246],"best":[248,280],"arithmetic":[254,408,458],"model.":[255,409,459],"assuming":[258,348],"O(n)":[259],"storage":[260],"plane":[263],"ignoring":[265],"polylog":[266],"factors,":[267],"provide":[269,391],"\u03a9*(n2/5)":[271],"bound":[273,282,415],"semigroups,":[276,325],"improving":[277],"upon":[278],"\u03a9*(n1/3),":[284],"thus":[285],"closing":[286],"gap":[288],"O(n1/2)":[291],"bound.We":[293],"also":[294,316],"Euclidean":[300],"ball":[301],"ranges.":[302],"present":[304,317],"nearly":[308,327,363,426],"matching":[309,427],"semigroups.":[314],"which":[326],"match":[328,381],"existing":[329],"bounds.":[331],"These":[332,410],"advantages":[337],"afforded":[338],"by":[339,359],"idempotency":[340],"result":[342],"major":[344],"improvements.":[345],"particular,":[347],"roughly":[349],"linear":[350],"space,":[351],"exponent":[353],"\u03b5-dependencies":[356],"smaller":[358],"factor":[361],"1/2.":[364],"All":[365],"our":[366,376,387,389],"results":[367,390,416],"presented":[369],"terms":[371],"space-time":[373,434],"tradeoffs,":[374,435],"closely":[382],"throughout":[383,430],"entire":[385],"spectrum.To":[386],"knowledge,":[388],"first":[393,413],"proof":[394],"affect":[398],"geometric":[420],"retrieval":[421],"problems.":[422],"existence":[424],"bounds,":[429],"suggests":[436],"close":[440],"resolving":[442],"spherical":[452]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}