TWO METHODS OF SOLVING THE SYSTEM OF DIFFERENCE AND INTERVAL CONSTRAINTS
We develop two methods of solving DBM system. One method is based on Fourier – Motskinelimination scheme, it has complexity O(n3) for finding initial solve and complexity O(n3) for finding solve by changing one of variable value for some cases. The other method is based on the network of constraints...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | Russian |
Published: |
The United Institute of Informatics Problems of the National Academy of Sciences of Belarus
2016-09-01
|
Series: | Informatika |
Online Access: | https://inf.grid.by/jour/article/view/71 |
id |
doaj-46fecac7cf2e4d65b89fdb87284c6231 |
---|---|
record_format |
Article |
spelling |
doaj-46fecac7cf2e4d65b89fdb87284c62312021-07-28T21:07:21ZrusThe United Institute of Informatics Problems of the National Academy of Sciences of Belarus Informatika1816-03012016-09-0103676970TWO METHODS OF SOLVING THE SYSTEM OF DIFFERENCE AND INTERVAL CONSTRAINTSI. V. Rubanov0M. S. Barketau1M. Y. Kovalyov2Объединенный институт проблем информатики НАН БеларусиОбъединенный институт проблем информатики НАН БеларусиОбъединенный институт проблем информатики НАН БеларусиWe develop two methods of solving DBM system. One method is based on Fourier – Motskinelimination scheme, it has complexity O(n3) for finding initial solve and complexity O(n3) for finding solve by changing one of variable value for some cases. The other method is based on the network of constraints approach, it has complexity O(n3) for finding initial solve and O(n) or approximately for finding solve by changing one of variable value if it is limited by special bounds.https://inf.grid.by/jour/article/view/71 |
collection |
DOAJ |
language |
Russian |
format |
Article |
sources |
DOAJ |
author |
I. V. Rubanov M. S. Barketau M. Y. Kovalyov |
spellingShingle |
I. V. Rubanov M. S. Barketau M. Y. Kovalyov TWO METHODS OF SOLVING THE SYSTEM OF DIFFERENCE AND INTERVAL CONSTRAINTS Informatika |
author_facet |
I. V. Rubanov M. S. Barketau M. Y. Kovalyov |
author_sort |
I. V. Rubanov |
title |
TWO METHODS OF SOLVING THE SYSTEM OF DIFFERENCE AND INTERVAL CONSTRAINTS |
title_short |
TWO METHODS OF SOLVING THE SYSTEM OF DIFFERENCE AND INTERVAL CONSTRAINTS |
title_full |
TWO METHODS OF SOLVING THE SYSTEM OF DIFFERENCE AND INTERVAL CONSTRAINTS |
title_fullStr |
TWO METHODS OF SOLVING THE SYSTEM OF DIFFERENCE AND INTERVAL CONSTRAINTS |
title_full_unstemmed |
TWO METHODS OF SOLVING THE SYSTEM OF DIFFERENCE AND INTERVAL CONSTRAINTS |
title_sort |
two methods of solving the system of difference and interval constraints |
publisher |
The United Institute of Informatics Problems of the National Academy of Sciences of Belarus |
series |
Informatika |
issn |
1816-0301 |
publishDate |
2016-09-01 |
description |
We develop two methods of solving DBM system. One method is based on Fourier – Motskinelimination scheme, it has complexity O(n3) for finding initial solve and complexity O(n3) for finding solve by changing one of variable value for some cases. The other method is based on the network of constraints approach, it has complexity O(n3) for finding initial solve and O(n) or approximately for finding solve by changing one of variable value if it is limited by special bounds. |
url |
https://inf.grid.by/jour/article/view/71 |
work_keys_str_mv |
AT ivrubanov twomethodsofsolvingthesystemofdifferenceandintervalconstraints AT msbarketau twomethodsofsolvingthesystemofdifferenceandintervalconstraints AT mykovalyov twomethodsofsolvingthesystemofdifferenceandintervalconstraints |
_version_ |
1721262973344808960 |