Improving problem solving by exploiting the concept of symmetry

12/23/2012
by   M. A. El-Dosuky, et al.
0

We investigate the concept of symmetry and its role in problem solving. This paper first defines precisely the elements that constitute a "problem" and its "solution," and gives several examples to illustrate these definitions. Given precise definitions of problems, it is relatively straightforward to construct a search process for finding solutions. Finally this paper attempts to exploit the concept of symmetry in improving problem solving.

READ FULL TEXT

page 1

page 4

research
04/15/2010

Symmetry within Solutions

We define the concept of an internal symmetry. This is a symmety within ...
research
03/05/2020

Static Symmetry Breaking in Many-Sorted Finite Model Finding

Symmetry in finite model finding problems of many-sorted first-order log...
research
07/27/2012

Earthquake Scenario Reduction by Symmetry Reasoning

A recently identified problem is that of finding an optimal investment p...
research
06/30/2016

Contextual Symmetries in Probabilistic Graphical Models

An important approach for efficient inference in probabilistic graphical...
research
07/23/2020

Process Symmetry in Probabilistic Transducers

Model checking is the process of deciding whether a system satisfies a g...
research
03/18/2021

Exploiting Isomorphic Subgraphs in SAT (Long version)

While static symmetry breaking has been explored in the SAT community fo...
research
06/14/2022

Sequential Optimization Numbers and Conjecture about Edge-Symmetry and Weight-Symmetry Shortest Weight-Constrained Path

This paper defines multidimensional sequential optimization numbers and ...

Please sign up or login with your details

Forgot password? Click here to reset