En solros i en hypergraph är en uppsättning hyperedges parvis skär i exakt samma vertex set. Solrosor är ett användbart verktyg i polynom-tid datareduktion för problem formaliserar som d-HITTING SET, problemet med att täcka alla överkanter (av kardinalitet som mest d) av en hypergraf av de flesta k hörn. Dessutom ger solrosor vid feldiagnos kortfattade förklaringar till "mycket defekta strukturer". Vi tillhandahåller en linjär tid algoritm som, genom att hitta solrosor, omvandlar en instans av d-HITTING SET till en likvärdig instans som omfattar högst O (k d ) hyperkanter och hörn. När det gäller parameteriserad komplexitetsteori visar vi en problemkärna med asymptotiskt optimal storlek (om inte coNP  på NP/poly). Vi visar att antalet hörn kan minskas till O(k d-1 ) med ytterligare bearbetning i O(k 1.5d ) tid-nontrivially kombinera solrosteknik med kända problemkärnor på grund av Abu-Khzam och Moser.
En linjär-tid algoritm REF producerar en kärna med O (k d ) hyperedges; med ytterligare O (k 1.5d ) tid antalet hörn kan minskas till
Towards Optimal and Expressive Kernelization for d-Hitting Set
{'venue': 'Algorithmica 70(1):129-147, 2014', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}