Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
10.1145/3319619.3321968acmconferencesArticle/Chapter ViewAbstractPublication PagesgeccoConference Proceedingsconference-collections
research-article

Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure

Published: 13 July 2019 Publication History

Abstract

Neighborhood operators play a crucial role in defining effective Local Search solvers, allowing one to limit the explored search space and prune the fitness landscape. Still, there is no accepted formal representation of such operators: they are usually modeled as algorithms in procedural language, lacking in compositionality and readability. In this paper we outline a new formalization capable of representing several neighborhood operators eschewing their coding in a full Turing complete language. The expressiveness of our proposal stems from a rich problem representation, as used in Constraint Programming models. We compare our system to competing approaches and show a clear increment in expressiveness.

References

[1]
{n. d.}. OptaPlanner User Guide, ({n. d.}). https://docs.optaplanner.org/7.15.0.Final/optaplanner-docs/html_single/index.html
[2]
Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale, András Z. Salamon, Patrick Spracklen, and James Wetter. 2018. A Framework for Constraint Based Local Search using Essence,. In Proceedings of the 27th International Joint Conference on Artificial Intelligence.
[3]
Gustav Björdal, Pierre Flener, Justin Pearson, Peter J. Stuckey, and Guido Tack. 2018. Declarative Local-Search Neighbourhoods in MiniZinc. In 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI). 98--105.
[4]
Renaud De Landtsheer, Yoann Guyot, Gustavo Ospina, and Christophe Ponsard. 2018. Combining Neighborhoods into Local Search Strategies. In Recent Developments in Metaheuristics. Springer, Cham, 43--57.
[5]
Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, and Guido Tack. 2007. MiniZinc: Towards a Standard CP Modelling Language. In Principles and Practice of Constraint Programming - CP 2007, Christian Bessière (Ed.). Vol. 4741. Springer Berlin Heidelberg, Berlin, Heidelberg, 529--543.
[6]
OscaR Team. 2012. OscaR: Scala in OR.

Cited By

View all
  • (2019)Research Report on Automatic Synthesis of Local Search Neighborhood OperatorsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.306.59306(433-440)Online publication date: 19-Sep-2019
  • (2019)Generating Local Search Neighborhood with Synthesized Logic ProgramsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.306.22306(168-181)Online publication date: 19-Sep-2019

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference Companion
July 2019
2161 pages
ISBN:9781450367486
DOI:10.1145/3319619
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 July 2019

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. constraint programming
  2. local search
  3. neighborhood

Qualifiers

  • Research-article

Conference

GECCO '19
Sponsor:
GECCO '19: Genetic and Evolutionary Computation Conference
July 13 - 17, 2019
Prague, Czech Republic

Acceptance Rates

Overall Acceptance Rate 1,669 of 4,410 submissions, 38%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 11 Sep 2024

Other Metrics

Citations

Cited By

View all
  • (2019)Research Report on Automatic Synthesis of Local Search Neighborhood OperatorsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.306.59306(433-440)Online publication date: 19-Sep-2019
  • (2019)Generating Local Search Neighborhood with Synthesized Logic ProgramsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.306.22306(168-181)Online publication date: 19-Sep-2019

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media