Abstrakt. Social Golfer Problemet har i stor utsträckning använts av tvångsgemenskapen under de senaste åren som ett exempel på ett mycket symmetriskt problem. Det är ett utmärkt problem för benchmarking av symmetribrottsmekanismer som SBDS eller SBDD och för att visa hur viktigt valet av rätt modell är för ett problem. Vi tar i detta papper en specifik instans av Golfer Problem väl känd som Kirkmans Schoolgirl Problem och lista en samling av tekniker och tricks för att hitta effektivt alla sina unika lösningar. I synnerhet föreslår vi SBDD+, en allmän förbättring jämfört med SBDD som möjliggör en djup beskärning när en symmetri upptäcks under sökningen. Vår implementering av de presenterade teknikerna förbättrar tidigare publicerade resultat genom en storleksordning för CPU-tid samt för antal backtracks. Den beräknar de sju unika lösningarna på Kirkmans problem på några sekunder.
Barnier och Brisset Ref har presenterat en kombination av tekniker för att effektivt hitta lösningar på ett specifikt fall av SGP, Kirkmans skolflicka problem.
Solving Kirkman’s Schoolgirl Problem in a Few Seconds
{'venue': 'Constraints', 'journal': 'Constraints', 'mag_field_of_study': ['Computer Science']}