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...

Full description

Bibliographic Details
Main Authors: I. V. Rubanov, M. S. Barketau, M. Y. Kovalyov
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