MODELING MOVEMENT OF OBJECTS WITHOUT STOPS IN A NETWORK OF CROSSING ROUTES
Modeling of movement of objects without stops in a network of crossing routes is studied. The problem is formulated in terms of disjunctive linear programming, mixed integer linear programming and graph theory. Several variants for representing constraints on convergence of objects are considered. N...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
National Academy of Sciences of Belarus, the United Institute of Informatics Problems
2018-03-01
|
| Series: | Informatika |
| Subjects: | |
| Online Access: | https://inf.grid.by/jour/article/view/313 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832543206785417216 |
|---|---|
| author | I. V. Rubanov M. S. Barketau M. Y. Kovalyov |
| author_facet | I. V. Rubanov M. S. Barketau M. Y. Kovalyov |
| author_sort | I. V. Rubanov |
| collection | DOAJ |
| description | Modeling of movement of objects without stops in a network of crossing routes is studied. The problem is formulated in terms of disjunctive linear programming, mixed integer linear programming and graph theory. Several variants for representing constraints on convergence of objects are considered. NP-completeness of the problem in the strong sense is proved. |
| format | Article |
| id | doaj-art-2d470d7b5e1f4af38cebfc89975e9f3b |
| institution | Kabale University |
| issn | 1816-0301 |
| language | Russian |
| publishDate | 2018-03-01 |
| publisher | National Academy of Sciences of Belarus, the United Institute of Informatics Problems |
| record_format | Article |
| series | Informatika |
| spelling | doaj-art-2d470d7b5e1f4af38cebfc89975e9f3b2025-02-03T11:51:43ZrusNational Academy of Sciences of Belarus, the United Institute of Informatics ProblemsInformatika1816-03012018-03-011512133295MODELING MOVEMENT OF OBJECTS WITHOUT STOPS IN A NETWORK OF CROSSING ROUTESI. V. Rubanov0M. S. Barketau1M. Y. Kovalyov2Belarusian State Academy of AviationThe United Institute of Informatics Problems of the National Academy of Sciences of Belarus, MinskThe United Institute of Informatics Problems of the National Academy of Sciences of Belarus, MinskModeling of movement of objects without stops in a network of crossing routes is studied. The problem is formulated in terms of disjunctive linear programming, mixed integer linear programming and graph theory. Several variants for representing constraints on convergence of objects are considered. NP-completeness of the problem in the strong sense is proved.https://inf.grid.by/jour/article/view/313routingschedulingflight safetydifference logicsatisfiability modulo theorieslinear programmingdisjunctive programming |
| spellingShingle | I. V. Rubanov M. S. Barketau M. Y. Kovalyov MODELING MOVEMENT OF OBJECTS WITHOUT STOPS IN A NETWORK OF CROSSING ROUTES Informatika routing scheduling flight safety difference logic satisfiability modulo theories linear programming disjunctive programming |
| title | MODELING MOVEMENT OF OBJECTS WITHOUT STOPS IN A NETWORK OF CROSSING ROUTES |
| title_full | MODELING MOVEMENT OF OBJECTS WITHOUT STOPS IN A NETWORK OF CROSSING ROUTES |
| title_fullStr | MODELING MOVEMENT OF OBJECTS WITHOUT STOPS IN A NETWORK OF CROSSING ROUTES |
| title_full_unstemmed | MODELING MOVEMENT OF OBJECTS WITHOUT STOPS IN A NETWORK OF CROSSING ROUTES |
| title_short | MODELING MOVEMENT OF OBJECTS WITHOUT STOPS IN A NETWORK OF CROSSING ROUTES |
| title_sort | modeling movement of objects without stops in a network of crossing routes |
| topic | routing scheduling flight safety difference logic satisfiability modulo theories linear programming disjunctive programming |
| url | https://inf.grid.by/jour/article/view/313 |
| work_keys_str_mv | AT ivrubanov modelingmovementofobjectswithoutstopsinanetworkofcrossingroutes AT msbarketau modelingmovementofobjectswithoutstopsinanetworkofcrossingroutes AT mykovalyov modelingmovementofobjectswithoutstopsinanetworkofcrossingroutes |