MAOS: Portal → Documentation → Knowledge Components → Declarative → Search Spaces

All search spaces are related to potential solutions. All potential solutions can be represented in a same data structure with certain elements. Moreover, each potential solution is associated with a quality value, which can be calculated according to the problem model.

Homo Search Spaces

There are several homo search spaces. Each state in homo spaces has a same data structure with a potential solution.

SPACE_SEARCH (Primary Search Space): The set of all potential solutions

SPACE_SUPER (Super Space): For each state, each of its element has been assigned with a value, but the state itself may not belong to SPACE_SEARCH

SPACE_PARTIAL (Partial Space): A partial of a sate in SPACE_SEARCH, i.e., some values of it elements may not be assigned.

SPACE_NULL (Null Space): As all the elements are not assigned with values.

There are several characteristics related to these spaces:

  • SPACE_NULL has only one state, i.e., the NULL state, and it carry no information. Moreover, SPACE_NULL is a special instance of SPACE_PARTIAL;
  • A state in SPACE_PARTIAL can be modified into SPACE_SEARCH by adding the remaining elements, without changing any existing elements of the state;
  • A state in SPACE_SUPER can be repaired into SPACE_SEARCH by changing the values of some elements of the state. Moreover, SPACE_SEARCH belongs to SPACE_SUPER.

    Return to homepage

    Maintained by AdaptiveBox StUdIo, under a Creative Commons Attribution 3.0 License.