Vi beskriver en ny algoritm, Minesweeper, som kan uppfylla starkare runtime-garantier än tidigare gå algoritmer (kollektivt, "bortom värsta fall-garantier") för data i indexerade sökträd. Vårt första bidrag är att utveckla en ram för att mäta denna starkare begrepp av komplexitet, som vi kallar certifikat komplexitet, som utvidgar begreppen Barbay et al. och Demaine m.fl.; ett certifikat är en uppsättning propositionella formler som intygar att utmatningen är korrekt. Detta begrepp fångar en naturlig klass av gå algoritmer. Dessutom gör certifikatet det möjligt för oss att definiera ett strikt starkare begrepp om komplexitet i drifttiden än traditionella värsta tänkbara garantier. Vårt andra bidrag är att utveckla ett dikotomiteorem för det certifikatbaserade begreppet komplexitet. Grovt visar vi att Minesweeper utvärderar β-acykliska frågor i tid linjära i certifikatet plus utdatastorlek, medan för varje β-cyklisk fråga finns det några exempel som tar superlinjär tid i certifikatet (och för vilka utdata inte är större än certifikatstorleken). Vi utökar också vår certifiering-komplexitet analys till frågor med avgränsad trädbredd och triangelfrågan. Vi presenterar empiriska resultat att certifikat kan vara mycket mindre än insatsstorleken, vilket tyder på att idéer i minesweeper kan leda till snabbare algoritmer i praktiken. Vi tackar LogicBlox, Mahmoud Abo Khamis, Semih Salihoglu och Dan Suciu för många hjälpsamma samtal. Vi tackar Jérémy Barbay för att ha gett oss hjälpsamma referenser vid korsningen.
I REF beskrivs en ny algoritm som kan uppfylla starkare runtime-garantier än tidigare gå algoritmer för data i indexerade sökträd.
Beyond worst-case analysis for joins with minesweeper
{'venue': "PODS '14", 'journal': None, 'mag_field_of_study': ['Computer Science']}