XOR via SATyrus
Autores
5312 |
Cássia Francine Novello
|
2400,131,162
|
5313 |
2400,131,162
|
|
5314 |
2400,131,162
|
Informações:
Publicações do PESC
O ou-exclusivo (XOR) é um subproblema muito comum para outros problemas de otimização mais complexos. SATyrus é um ambiente para modelar e resolver problemas de otimização, que utiliza a lógica para definir restriçõoes e a função objetivo, na linguagem chamada SATish. Um mapeamento de fórmulas lógicas em expressões algébricas gera uma função de energia representativa do problema. Entretanto o mapeamento não possui operador para o ou-exclusivo. Este trabalho explora a flexibilidade da linguagem SATish de modo a demonstrar que, usando um modelo base, é possível modelar outros problemas mais complexos. As modelagens na linguagem SATish denominadas CrossWTA, LogWTA, CrossLogWTA, TreeWTA e CrossTreeWTA são estudadas como alternativas de modelagem do XOR, e a modelagem LogWTA é usada como base para um modelo do TSP.
Exclusive-Or (XOR) is a very commom subproblem to more complex optimization problems. SATyrus is an environment to model and solve optimization problems, that uses logic formulae to specify constraints and objective function, in the language called SATish. Logic formulae are mapped into algebraic expressions, generating a energy function that represents the problem. However, this mapping does not include an operator for XOR. This work explores the flexibility of the SATish modeling language, in order to demonstrate that, with the usage of a base model, it is possible to model more complex optimization problems. The models in SATish language called CrossWTA, LogWTA, CrossLogWTA, TreeWTA and CrossTreeWTA are studied as alternatives for modeling XOR, and the LogWTA model is used as base for a TSP model.