{"id":329466,"date":"2022-02-12T09:00:26","date_gmt":"2022-02-12T09:00:26","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=329466"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=329466","title":{"rendered":"<span>\u0420\u0435\u0448\u0435\u043d\u0438\u0435 \u0437\u0430\u0434\u0430\u0447\u0438 \u0442\u0440\u0430\u043d\u0441\u043f\u043e\u0440\u0442\u043d\u043e\u0439 \u043b\u043e\u0433\u0438\u0441\u0442\u0438\u043a\u0438 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e IBM CPLEX Solver<\/span>"},"content":{"rendered":"<div><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p>\u0412\u0441\u0435\u043c \u043f\u0440\u0438\u0432\u0435\u0442!<\/p>\n<p>\u041e\u0434\u043d\u0430\u0436\u0434\u044b \u043c\u0435\u043d\u044f \u043f\u043e\u043f\u0440\u043e\u0441\u0438\u043b\u0438 \u0440\u0435\u0448\u0438\u0442\u044c \u0442\u0430\u043a\u0443\u044e \u0437\u0430\u0434\u0430\u0447\u043a\u0443 \u0432 \u043e\u0431\u043b\u0430\u0441\u0442\u0438 \u0442\u0440\u0430\u043d\u0441\u043f\u043e\u0440\u0442\u043d\u043e\u0439 \u043b\u043e\u0433\u0438\u0441\u0442\u0438\u043a\u0438:<\/p>\n<blockquote>\n<p><em>\u0415\u0441\u0442\u044c \u0433\u0440\u0443\u0437\u043e\u0432\u044b\u0435 \u043c\u0430\u0448\u0438\u043d\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u0437\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e \u0433\u043e\u0442\u043e\u0432\u044b \u0441\u0442\u0430\u0440\u0442\u043e\u0432\u0430\u0442\u044c \u0432 \u0440\u0430\u0437\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u0438\u0437 \u0440\u0430\u0437\u043d\u044b\u0445 \u0433\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0442\u043e\u0447\u0435\u043a.<\/em><\/p>\n<p><em>\u0415\u0441\u0442\u044c \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0435 \u0440\u0435\u0439\u0441\u044b, \u043d\u0430 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0443\u0436\u043d\u044b \u044d\u0442\u0438 \u043c\u0430\u0448\u0438\u043d\u044b. \u041f\u043e\u0433\u0440\u0443\u0437\u043a\u0430 \u0432 \u0441\u0440\u0435\u0434\u043d\u0435\u043c \u0437\u0430\u0439\u043c\u0435\u0442 \u043a\u0430\u043a\u043e\u0435-\u0442\u043e \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f, \u0437\u0430\u0442\u0435\u043c \u043c\u0430\u0448\u0438\u043d\u0430 \u0434\u043e\u043b\u0436\u043d\u0430 \u0434\u043e\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0433\u0440\u0443\u0437 \u0432 \u043f\u0443\u043d\u043a\u0442 \u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f. \u041f\u043e\u0442\u043e\u043c \u043e\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u0435\u0445\u0430\u0442\u044c \u043d\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0443\u044e \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0443 \u0438 \u0442.\u0434.<\/em><\/p>\n<p><em>\u041d\u0443\u0436\u043d\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0443\u044e \u043c\u043e\u0434\u0435\u043b\u044c, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0441\u043a\u0430\u0436\u0435\u0442 \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0439 \u043c\u0430\u0448\u0438\u043d\u044b, \u043d\u0430 \u043a\u0430\u043a\u0443\u044e \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0443 \u0431\u043e\u043b\u0435\u0435 \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u043e \u0435\u0451 \u043d\u0430\u043f\u0440\u0430\u0432\u0438\u0442\u044c, \u0447\u0442\u043e\u0431\u044b \u043c\u0430\u043a\u0441\u0438\u043c\u0430\u043b\u044c\u043d\u043e \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0445 \u0440\u0435\u0439\u0441\u043e\u0432 \u0431\u044b\u043b\u043e \u0431\u044b \u043e\u0431\u0441\u043b\u0443\u0436\u0435\u043d\u043e.<\/em><\/p>\n<\/blockquote>\n<figure class=\"full-width\"><img decoding=\"async\" src=\"\/img\/image-loader.svg\" height=\"547\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/a8e\/56b\/4d6\/a8e56b4d69378d6f747fdcf7719acd23.png\" data-width=\"983\"\/><figcaption><\/figcaption><\/figure>\n<p>\u041f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u044f \u0440\u0430\u0431\u043e\u0442\u0430\u043b\u0430 \u043d\u0430 \u0442\u043e\u0442 \u043c\u043e\u043c\u0435\u043d\u0442 \u0441 IBM CPLEX Solver, \u0442\u043e \u0435\u0433\u043e \u0438 \u0432\u0437\u044f\u043b\u0430 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u044f\u0434\u0440\u0430 \u0440\u0435\u0448\u0430\u0442\u0435\u043b\u044f. \u0410 \u043a\u0430\u043a \u044f \u0440\u0435\u0448\u0430\u043b\u0430 \u044d\u0442\u0443 \u0437\u0430\u0434\u0430\u0447\u0443 \u2013 \u0432\u0441\u0451 \u043f\u043e\u0434 \u043a\u0430\u0442\u043e\u043c.<\/p>\n<p>\u0422\u0438\u043f \u043c\u043e\u0434\u0435\u043b\u0438 \u0431\u0443\u0434\u0435\u0442 CP, \u0442.\u0435. \u043e\u043f\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0431\u0443\u0434\u0435\u043c \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u0430\u043c\u0438.   <\/p>\n<h2>\u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0434\u0430\u043d\u044b \u043f\u043e \u0443\u0441\u043b\u043e\u0432\u0438\u044e \u0437\u0430\u0434\u0430\u0447\u0438<\/h2>\n<p><strong>1.<\/strong> \u0414\u043e\u0441\u0442\u0443\u043f\u043d\u044b\u0435 \u0430\u0432\u0442\u043e\u043c\u043e\u0431\u0438\u043b\u0438 \u2013 <code>cars<\/code><\/p>\n<p><strong>2.<\/strong> \u0413\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0442\u043e\u0447\u043a\u0438, \u043a\u0443\u0434\u0430 \u0438\u043b\u0438 \u043e\u0442\u043a\u0443\u0434\u0430 \u043d\u0430\u0448\u0438 \u0430\u0432\u0442\u043e\u043c\u043e\u0431\u0438\u043b\u0438 \u043c\u043e\u0433\u0443\u0442 \u0441\u0442\u0430\u0440\u0442\u043e\u0432\u0430\u0442\u044c \u0438\u043b\u0438 \u043f\u0440\u0438\u0435\u0437\u0436\u0430\u0442\u044c, \u0442.\u0435. \u0442\u043e\u0447\u043a\u0438 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438, \u0441\u0442\u0430\u0440\u0442\u0430, \u0440\u0430\u0437\u0433\u0440\u0443\u0437\u043a\u0438. \u2013 <code>points<\/code><\/p>\n<p><strong>3.<\/strong> \u041a\u043e\u0440\u0442\u0435\u0436 \u0434\u043b\u044f \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0438 \u043e \u0441\u0442\u0430\u0440\u0442\u0435 \u043c\u0430\u0448\u0438\u043d &#8212; <code>StartDateCar<\/code><\/p>\n<p><code>&lt;carId, carStartPoint, carStartTime><\/code><\/p>\n<p><code>carId<\/code> \u2013 \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440 \u043c\u0430\u0448\u0438\u043d\u044b<\/p>\n<p><code>carStartPoint<\/code> &#8212; \u0442\u043e\u0447\u043a\u0430 \u043d\u0430\u0447\u0430\u043b\u0430 \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043c\u0430\u0448\u0438\u043d\u044b<\/p>\n<p><code>carStartTime<\/code> &#8212; \u0432\u0440\u0435\u043c\u044f \u043d\u0430\u0447\u0430\u043b\u0430 \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043a\u0430\u0436\u0434\u043e\u0439 \u043c\u0430\u0448\u0438\u043d\u044b<\/p>\n<p><strong>4.<\/strong> \u041a\u043e\u0440\u0442\u0435\u0436 \u0438\u0437 5 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0434\u043b\u044f \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f \u0434\u0430\u043d\u043d\u044b\u0435 \u043e \u0442\u0440\u0435\u0431\u0443\u0435\u043c\u044b\u0445 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0430\u0445 &#8212; <code>Shipments<\/code>: <\/p>\n<p><code>&lt;shipmentId, startShipmentTime, stratShipmentPoint, shipmentDuration, finishShipmentPoint><\/code><\/p>\n<p><code>shipmentId<\/code> &#8212; \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438, <\/p>\n<p><code>startShipmentTime<\/code> \u2013 \u043d\u0430\u0447\u0430\u043b\u043e \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 <\/p>\n<p><code>stratShipmentPoint<\/code> \u2013 \u0433\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u0442\u043e\u0447\u043a\u0430 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 <\/p>\n<p><code>shipmentDuration<\/code> \u2013 \u0432\u0440\u0435\u043c\u044f \u043f\u043e\u0433\u0440\u0443\u0437\u043e\u0447\u043d\u044b\u0445 \u0440\u0430\u0431\u043e\u0442 <\/p>\n<p><code>finishShipmentPoint<\/code> \u2013 \u043f\u0443\u043d\u043a\u0442 \u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f, \u0442.\u0435. \u043a\u0443\u0434\u0430 \u043d\u0443\u0436\u043d\u043e \u043e\u0442\u0432\u0435\u0437\u0442\u0438 \u0433\u0440\u0443\u0437<\/p>\n<p>\u041c\u044b \u0437\u043d\u0430\u0435\u043c, \u0447\u0442\u043e \u043c\u0430\u0448\u0438\u043d\u0443 \u0436\u0434\u0443\u0442 \u043d\u0430 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0443 \u043a \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u043e\u043c\u0443 \u0432\u0440\u0435\u043c\u0435\u043d\u0438. \u0415\u0441\u043b\u0438 \u043c\u0430\u0448\u0438\u043d\u0430 \u043a \u044d\u0442\u043e\u043c\u0443 \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u043d\u0435 \u043f\u0440\u0438\u0435\u0445\u0430\u043b\u0430, \u0442\u043e \u0438 \u044d\u0442\u043e\u0442 \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0439 \u0440\u0435\u0439\u0441 \u0435\u0439 \u043d\u0435 \u0434\u043e\u0441\u0442\u0430\u0435\u0442\u0441\u044f.<\/p>\n<h2>\u041c\u0430\u0442\u0440\u0438\u0446\u0430<\/h2>\n<p>\u041f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u043c\u044b \u0437\u043d\u0430\u0435\u043c \u0444\u0438\u0437\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0442\u043e\u0447\u043a\u0438 \u043d\u0430 \u043a\u0430\u0440\u0442\u0435, \u0442\u043e \u043c\u043e\u0436\u0435\u043c \u043f\u043e\u0441\u0447\u0438\u0442\u0430\u0442\u044c \u0440\u0430\u0441\u0441\u0442\u043e\u044f\u043d\u0438\u0435, \u0430 \u0442\u0430\u043a\u0436\u0435 \u0441\u0440\u0435\u0434\u043d\u0435\u0435 \u0432\u0440\u0435\u043c\u044f \u043f\u0443\u0442\u0438 \u0434\u043b\u044f \u0430\u0432\u0442\u043e\u043c\u043e\u0431\u0438\u043b\u044f. \u041e\u0444\u043e\u0440\u043c\u0438\u0442\u044c \u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u044d\u0442\u0443 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u0443\u0434\u043e\u0431\u043d\u0435\u0435 \u0432\u0441\u0435\u0433\u043e \u0432 \u0432\u0438\u0434\u0435 \u043c\u0430\u0442\u0440\u0438\u0446\u044b. \u0421\u0442\u043e\u043b\u0431\u0446\u0430\u043c\u0438 \u0438 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 \u043c\u0430\u0442\u0440\u0438\u0446\u044b \u0431\u0443\u0434\u0443\u0442 \u043d\u0430\u0448\u0438 \u0433\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0442\u043e\u0447\u043a\u0438, \u0430 \u0432 \u044f\u0447\u0435\u0439\u043a\u0430\u0445 \u043c\u0430\u0442\u0440\u0438\u0446\u044b \u0431\u0443\u0434\u0435\u0442 \u0445\u0440\u0430\u043d\u0438\u0442\u044c\u0441\u044f \u0441\u0440\u0435\u0434\u043d\u0435\u0435 \u0432\u0440\u0435\u043c\u044f \u043f\u043e\u0435\u0437\u0434\u043a\u0438 \u0438\u0437 \u0442\u043e\u0447\u043a\u0438 \u0410 \u0432 \u0442\u043e\u0447\u043a\u0443 \u0411. \u041d\u0430\u0437\u043e\u0432\u0435\u043c \u043c\u0430\u0442\u0440\u0438\u0446\u0443 <code>DistanceMatrix<\/code>.<\/p>\n<h2>\u0418\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044b<\/h2>\n<p>\u041e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c\u0441\u044f, \u043a\u0430\u043a\u0438\u043c\u0438 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u0430\u043c\u0438 \u0431\u0443\u0434\u0435\u043c \u043e\u043f\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c.<\/p>\n<p><strong>1.<\/strong>\u00a0\u0418\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044b \u043d\u0430\u0447\u0430\u043b\u0430 \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u043e\u0441\u0442\u0438 \u0430\u0432\u0442\u043e\u043c\u043e\u0431\u0438\u043b\u044f<\/p>\n<p><code>dvar interval StartInterval[c in cars] in startTimeCars[c]..startTimeCars[c] size 0;<\/code><\/p>\n<p><strong>2.<\/strong>\u00a0\u0418\u043d\u0442\u0435\u0440\u0432\u0430\u043b \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 \u0438 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b \u0440\u0430\u0437\u0433\u0440\u0443\u0437\u043a\u0438<\/p>\n<p><code>dvar interval StartShippingInterval[c in cars][sp in shipmentIds] optional in stratShipmentTime[sp]..(stratShipmentTime[sp]+shipmentDuration[sp]) size shipmentDuration[sp];<\/code><\/p>\n<p><code>dvar interval FinishShippingInterval[c in cars][sp in shipmentIds] optional size 0;<\/code> <\/p>\n<h2>\u041f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c<\/h2>\n<p>\u041e\u0431\u044a\u044f\u0432\u0438\u043c \u043c\u0430\u0441\u0441\u0438\u0432 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0435\u0439 \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0439 \u043c\u0430\u0448\u0438\u043d\u044b. \u041d\u0430 \u043d\u0438\u0445 \u0431\u0443\u0434\u0443\u0442 \u00ab\u0436\u0438\u0442\u044c\u00bb \u0432\u0441\u0435 \u043d\u0430\u0448\u0438 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044b. \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u043c, \u0447\u0442\u043e \u043a\u0430\u0436\u0434\u0430\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0438\u0437 \u043c\u0430\u0441\u0441\u0438\u0432\u0430 \u2013 \u044d\u0442\u043e \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u0434\u043b\u044f \u043c\u0430\u0448\u0438\u043d\u044b.<\/p>\n<pre><code>dvar sequence CarSequence[c in cars] in  append( all(a in {c}) StartInterval[a], all(sp in shipmentIds) StartShippingInterval[c][sp], all(sp in shipmentIds) FinishShippingInterval[c][sp] ) types append(   all(a in {c}) startPointCats[a], all(sp in shipmentIds) stratShipmentPoint[sp], all(sp in shipmentIds) finishShipmentPoint[sp] );<\/code><\/pre>\n<p>\u041c\u044b \u0432\u0438\u0434\u0438\u043c, \u0447\u0442\u043e \u0432 \u043f\u0435\u0440\u0432\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 \u043d\u0430\u0448\u0435\u0439 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 (<code>sequence<\/code>) \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u043e\u0432, \u0430 \u0432\u043e \u0432\u0442\u043e\u0440\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 (\u043f\u043e\u0441\u043b\u0435 <code>types<\/code>) \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0442\u0438\u043f\u044b \u044d\u0442\u0438\u0445 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u043e\u0432. \u0422\u0430\u043a \u0432\u043e\u0442 \u0442\u0438\u043f\u0430\u043c\u0438 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u043e\u0432 \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0433\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0442\u043e\u0447\u043a\u0438 \u0441\u0442\u0430\u0440\u0442\u0430, \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 \u0438 \u0440\u0430\u0437\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e. \u0412 \u044d\u0442\u043e\u043c \u0438 \u043e\u0441\u043d\u043e\u0432\u043d\u0430\u044f \u0445\u0438\u0442\u0440\u043e\u0441\u0442\u044c \u043c\u043e\u0434\u0435\u043b\u0438.<\/p>\n<h2>\u041e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043b\u0438<\/h2>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u0440\u043e \u0442\u0443 \u0441\u0430\u043c\u0443\u044e \u00ab\u0445\u0438\u0442\u0440\u043e\u0441\u0442\u044c\u00bb. \u0412 Cplex \u0435\u0441\u0442\u044c \u0442\u0430\u043a\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f <code>noOverlap<\/code>, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u043d\u0430 \u0432\u0445\u043e\u0434 \u0434\u0432\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430: \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c (<code>sequence<\/code>) \u0438 \u043c\u0430\u0442\u0440\u0438\u0446\u0443 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432. \u0418 \u0446\u0435\u043b\u044c \u044d\u0442\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0447\u0442\u043e\u0431\u044b \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044b \u043d\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u043d\u0435 \u043f\u0435\u0440\u0435\u0441\u0435\u043a\u0430\u043b\u0438\u0441\u044c \u0438 \u043c\u0438\u043d\u0438\u043c\u0430\u043b\u044c\u043d\u043e\u0435 \u0440\u0430\u0441\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u043c\u0435\u0436\u0434\u0443 \u043d\u0438\u043c\u0438 \u0440\u0430\u0432\u043d\u044f\u043b\u043e\u0441\u044c \u043e\u0431\u044a\u044f\u0432\u043b\u0435\u043d\u043d\u043e\u043c\u0443 \u0432 \u043c\u0430\u0442\u0440\u0438\u0446\u0435 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432. \u0412\u043e\u0442 \u044d\u0442\u0443 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0442\u043e \u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c:   <\/p>\n<pre><code>forall(c in cars) { noOverlap(CarSequence[c], DistanceMatrix); }<\/code><\/pre>\n<p>\u041c\u0430\u0442\u0440\u0438\u0446\u0430 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 \u0445\u0440\u0430\u043d\u0438\u0442 \u0441\u0440\u0435\u0434\u043d\u0435\u0435 \u0432\u0440\u0435\u043c\u044f \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043c\u0435\u0436\u0434\u0443 \u0444\u0438\u0437\u0438\u0447\u0435\u0441\u043a\u0438\u043c\u0438 \u0442\u043e\u0447\u043a\u0430\u043c\u0438. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0442\u043e\u0440 \u0441\u0430\u043c \u043f\u043e\u0439\u043c\u0435\u0442, \u043d\u0430 \u043a\u0430\u043a\u0438\u0435 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 \u043c\u0430\u0448\u0438\u043d\u0430 \u043d\u0435 \u0443\u0441\u043f\u0435\u0435\u0442 \u0434\u043e\u0435\u0445\u0430\u0442\u044c, \u0430 \u043d\u0430 \u043a\u0430\u043a\u0438\u0435 \u0443\u0441\u043f\u0435\u0435\u0442.<\/p>\n<p>\u041e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u0443\u0436\u0435 \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u0438\u0435.<\/p>\n<p>\u041e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435, \u0447\u0442\u043e\u0431\u044b \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b \u0441\u0442\u0430\u0440\u0442\u0430 \u043c\u0430\u0448\u0438\u043d\u044b \u0431\u044b\u043b \u043f\u0435\u0440\u0432\u044b\u043c \u0432  \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0435 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438:<\/p>\n<pre><code>first(CarSequence[c], StartInterval[c]);<\/code><\/pre>\n<p>\u041e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f, \u0447\u0442\u043e\u0431\u044b \u0441\u043e\u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0441\u0432\u044f\u0437\u043d\u043e\u0441\u0442\u044c \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 \u0438 \u0440\u0430\u0437\u0433\u0440\u0443\u0437\u043a\u0438. \u042d\u0442\u0438 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u044c \u0441\u0442\u0440\u043e\u0433\u043e \u0434\u0440\u0443\u0433 \u0437\u0430 \u0434\u0440\u0443\u0433\u043e\u043c:<\/p>\n<pre><code>prev(CarSequence[c], StartShippingInterval[c][sp], FinishShippingInterval[c][sp]);<\/code><\/pre>\n<p>\u0410 \u0442\u0430\u043a \u0436\u0435 \u0435\u0441\u043b\u0438 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0430 \u0434\u043b\u044f \u044d\u0442\u043e\u0439 \u043c\u0430\u0448\u0438\u043d\u044b, \u0442\u043e \u0434\u043e\u043b\u0436\u043d\u0430 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c \u0438 \u0440\u0430\u0437\u0433\u0440\u0443\u0437\u043a\u0430.<\/p>\n<pre><code>presenceOf(StartShippingInterval[c][sp]) == presenceOf(FinishShippingInterval[c][sp]);<\/code><\/pre>\n<p>\u041d\u0443 \u0438 \u043d\u0443\u0436\u043d\u043e \u0443\u0447\u0438\u0442\u044b\u0432\u0430\u0442\u044c, \u0447\u0442\u043e \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0439 \u0440\u0435\u0439\u0441 \u0434\u043e\u043b\u0436\u043d\u0430 \u043e\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043b\u044f\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0434\u043d\u0430 \u043c\u0430\u0448\u0438\u043d\u0430   <\/p>\n<pre><code>sum (c in cars )presenceOf(StartShippingInterval[c][sp]) &lt;= 1; sum (c in cars )presenceOf(FinishShippingInterval[c][sp]) &lt;= 1;<\/code><\/pre>\n<h2>\u0426\u0435\u043b\u044c \u043c\u043e\u0434\u0435\u043b\u0438<\/h2>\n<p>\u0412 \u0437\u0430\u0434\u0430\u0447\u0435 \u0441\u043a\u0430\u0437\u0430\u043d\u043e, \u0447\u0442\u043e \u043d\u0443\u0436\u043d\u043e \u043c\u0430\u043a\u0441\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u043e\u0431\u0441\u043b\u0443\u0436\u0435\u043d\u043d\u044b\u0445 \u0440\u0435\u0439\u0441\u043e\u0432. \u0422\u043e \u0435\u0441\u0442\u044c \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u043f\u043e\u044f\u0432\u043b\u0435\u043d\u0438\u044f \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u043e\u0432 <code>StartShippingInterval<\/code> \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c \u043c\u0430\u043a\u0441\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u043c.   <\/p>\n<pre><code>maximize sum(c in cars, sp in shipmentIds) presenceOf (StartShippingInterval[c][sp]);<\/code><\/pre>\n<p>\u041d\u043e \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043f\u043e\u044f\u0432\u0438\u043b\u0430\u0441\u044c \u0435\u0449\u0435 \u043e\u0434\u043d\u0430 \u043f\u0440\u043e\u0441\u044c\u0431\u0430 \u043f\u043e \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438: \u0447\u0442\u043e\u0431\u044b \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u0435 \u0430\u0432\u0442\u043e\u043c\u043e\u0431\u0438\u043b\u0435\u0439 \u0431\u044b\u043b\u043e \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u043c. \u0422\u043e \u0435\u0441\u0442\u044c \u043d\u0443\u0436\u043d\u043e \u043c\u0438\u043d\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043b\u0438\u0448\u043d\u0438\u0435 \u043f\u0435\u0440\u0435\u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043c\u0430\u0448\u0438\u043d, \u0438 \u0435\u0441\u043b\u0438 \u043c\u0430\u0448\u0438\u043d\u0430 \u0443\u0436\u0435 \u0441\u0442\u043e\u0438\u0442 \u043d\u0430 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u0442\u043e\u0447\u043a\u0435 \u0438 \u0442\u0430\u043c \u0432\u0441\u043a\u043e\u0440\u0435 \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0430, \u0442\u043e \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043c\u0430\u0448\u0438\u043d\u0443 \u0438\u043c\u0435\u043d\u043d\u043e \u043d\u0430 \u044d\u0442\u043e\u0439 \u0442\u043e\u0447\u043a\u0435.<\/p>\n<p>\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0446\u0435\u043b\u044c \u043c\u043e\u0434\u0435\u043b\u0438 \u043d\u0435\u043c\u043d\u043e\u0433\u043e \u0442\u0440\u0430\u043d\u0441\u0444\u043e\u0440\u043c\u0438\u0440\u043e\u0432\u0430\u043b\u043e\u0441\u044c \u0438  \u0432\u0442\u043e\u0440\u044b\u043c \u0443\u0441\u043b\u043e\u0432\u0438\u0435\u043c \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u043e\u0441\u044c \u0443\u0441\u043b\u043e\u0432\u0438\u0435, \u0447\u0442\u043e\u0431\u044b \u043c\u0438\u043d\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0432\u0440\u0435\u043c\u044f \u043c\u0435\u0436\u0434\u0443 \u043d\u0430\u0447\u0430\u043b\u043e\u043c  \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 \u0438 \u043e\u043a\u043e\u043d\u0447\u0430\u043d\u0438\u0435\u043c  \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0433\u043e \u0441\u043e\u0431\u044b\u0442\u0438\u044f. \u0422\u043e \u0435\u0441\u0442\u044c \u043f\u043e\u0440\u043e\u0436\u043d\u0438\u0445 \u0440\u0435\u0439\u0441\u043e\u0432 \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c  \u043a\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u043c\u0435\u043d\u044c\u0448\u0435.<\/p>\n<pre><code>minimize staticLex( card(cars)*card(shipmentIds) - sum(c in cars, sp in shipmentIds) presenceOf (StartShippingInterval[c][sp]), sum(c in cars, sp in shipmentIds) (startOf(StartShippingInterval[c][sp]) - endOfPrev(CarSequence[c], StartShippingInterval[c][sp], 0, 0)) );<\/code><\/pre>\n<h2>\u0410\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u0443\u0435\u043c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b<\/h2>\n<p>\u0421\u043e\u0437\u0434\u0430\u0434\u0438\u043c \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u043e\u0439 \u0434\u0430\u0442\u0430\u0441\u0435\u0442 \u0438\u0437 \u0434\u0432\u0443\u0445 \u043c\u0430\u0448\u0438\u043d, \u0447\u0435\u0442\u044b\u0440\u0435\u0445 \u0433\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0442\u043e\u0447\u0435\u043a \u0438 \u0442\u0440\u0435\u0445 \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0445 \u0440\u0435\u0439\u0441\u043e\u0432:<\/p>\n<details class=\"spoiler\">\n<summary>\u0414\u0430\u043d\u043d\u044b\u0435 \u0434\u043b\u044f \u043c\u043e\u0434\u0435\u043b\u0438. \u0412\u0430\u0440\u0438\u0430\u043d\u0442 1<\/summary>\n<div class=\"spoiler__content\">\n<pre><code>cars = {1, 2};   points = {1, 2, 3, 4};    StartDateCar = {  &lt;1, 3, 0>,  &lt;2, 1, 5>  };   \/\/ Shipments  \/\/int shipmentId;   \/\/int startShipmentTime;   \/\/int stratShipmentPoint;   \/\/int shipmentDuration;   \/\/int finishShipmentPoint;    Shipments = {  &lt;1, 25, 1, 4, 2>,  &lt;2, 15, 3, 2, 4>,  &lt;3, 40, 2, 1, 4>  };    DistanceMatrix = {  &lt;1,1,0>,&lt;1,2,10>, &lt;1,3, 6>, &lt;1,4, 19>,  &lt;2,1,8>,&lt;2,2,0>, &lt;2,3,15>,&lt;2,4,2>,  &lt;3,1,4>,&lt;3,2,18>,&lt;3,3,0>,&lt;3,4,6>,   &lt;4,1,17>,&lt;4,2,5>,&lt;4,3,3>,&lt;4,4,0>  };<\/code><\/pre>\n<\/div>\n<\/details>\n<p>\u0412\u043e\u0442 \u0442\u0430\u043a\u0438\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c:<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w780q1\/getpro\/habr\/upload_files\/51e\/04e\/c0d\/51e04ec0d0a204386f7cf079fabf42fc.jpg\" width=\"624\" height=\"67\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/51e\/04e\/c0d\/51e04ec0d0a204386f7cf079fabf42fc.jpg\" data-blurred=\"true\"\/><figcaption><\/figcaption><\/figure>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/r\/w780q1\/getpro\/habr\/upload_files\/a40\/13d\/97c\/a4013d97c568d5b85fce17a392c8a0ac.jpg\" width=\"969\" height=\"221\" data-src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/a40\/13d\/97c\/a4013d97c568d5b85fce17a392c8a0ac.jpg\" data-blurred=\"true\"\/><figcaption><\/figcaption><\/figure>\n<p>\u0414\u043e\u0431\u0430\u0432\u0438\u043c \u0435\u0449\u0435 \u0434\u0430\u043d\u043d\u044b\u0445: \u041f\u0443\u0441\u0442\u044c \u0431\u0443\u0434\u0435\u0442 9 \u043c\u0430\u0448\u0438\u043d \u0438 5 \u0433\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0442\u043e\u0447\u0435\u043a. \u0411\u0443\u0434\u0435\u043c \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0442\u044c \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438. \u041f\u0443\u0441\u0442\u044c \u0438\u0445 \u0431\u0443\u0434\u0435\u0442 25. \u0422\u043e\u0433\u0434\u0430 \u043f\u0435\u0440\u0432\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0442\u043e\u0436\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u0442 \u043c\u0435\u043d\u044c\u0448\u0435 \u0447\u0435\u043c \u0437\u0430 \u0441\u0435\u043a\u0443\u043d\u0434\u0443, \u043d\u043e \u043d\u0430\u0448\u0438 9 \u043c\u0430\u0448\u0438\u043d \u0441\u043c\u043e\u0433\u0443\u0442 \u043e\u0431\u0441\u043b\u0443\u0436\u0438\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e 17 \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0445 \u0440\u0435\u0439\u0441\u043e\u0432.<\/p>\n<details class=\"spoiler\">\n<summary>\u0414\u0430\u043d\u043d\u044b\u0435 \u0434\u043b\u044f \u043c\u043e\u0434\u0435\u043b\u0438. \u0412\u0430\u0440\u0438\u0430\u043d\u0442 2<\/summary>\n<div class=\"spoiler__content\">\n<pre><code>cars = {1, 2, 3, 4, 5, 6, 7, 8, 9};   points = {1, 2, 3, 4, 5};    StartDateCar = {  &lt;1, 3, 0>,  &lt;2, 1, 5>  &lt;3, 5, 45>  &lt;4, 2, 0>  &lt;5, 4, 10>  &lt;6, 4, 3>  &lt;7, 2, 4>  &lt;8, 1, 6>  &lt;9, 3, 4>  };   \/\/ Shipments  \/\/int shipmentId;   \/\/int startShipmentTime;   \/\/int stratShipmentPoint;   \/\/int shipmentDuration;   \/\/int finishShipmentPoint;    Shipments = {  &lt;1, 25, 1, 4, 2>,  &lt;2, 15, 3, 2, 4>,  &lt;3, 40, 2, 1, 4>  &lt;4, 45, 5, 1, 2>  &lt;5, 10, 4, 2, 1>  &lt;6, 12, 4, 2, 3>  &lt;7, 5, 2, 3, 5>  &lt;8, 45, 5, 1, 2>  &lt;9, 7, 1, 1, 5>  &lt;10, 16, 2, 1, 3 >  &lt;11, 1, 2, 2, 1 >  &lt;12, 18, 3, 4, 2>    &lt;13, 40, 2, 1, 4>  &lt;14, 45, 5, 1, 2>  &lt;15, 10, 4, 2, 1>  &lt;16, 12, 4, 2, 3>  &lt;17, 5, 2, 3, 5>  &lt;18, 45, 5, 1, 2>  &lt;19, 7, 1, 1, 5>  &lt;20, 16, 2, 1, 3 >  &lt;21, 1, 2, 2, 1 >  &lt;22, 18, 3, 4, 2>  &lt;23, 14, 3, 2, 1>  &lt;24, 6, 5, 3, 2>  &lt;25, 9, 5, 1, 4>  };    DistanceMatrix = {  &lt;1,1,0>,&lt;1,2,10>, &lt;1,3, 6>, &lt;1, 4, 19>, &lt;1, 5, 3>  &lt;2,1,8>,&lt;2,2,0>, &lt;2,3,15>,&lt;2,4,2>, &lt;2, 5, 12>  &lt;3,1,4>,&lt;3,2,18>,&lt;3,3,0>,&lt;3,4,6>, &lt;3, 5, 17>   &lt;4,1,17>,&lt;4,2,5>,&lt;4,3,3>,&lt;4,4,0> &lt;4,5, 9>   &lt;5,1, 3> &lt;5,2, 12>&lt;5,3, 17>&lt;5,4,9>&lt;5,5,0>  };<\/code><\/pre>\n<\/div>\n<\/details>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8af\/471\/cf1\/8af471cf172fb603e1f9383895b4c7dc.PNG\" width=\"951\" height=\"272\"\/><figcaption><\/figcaption><\/figure>\n<h2>\u0412\u044b\u0432\u043e\u0434<\/h2>\n<p>\u041f\u043e\u043b\u0443\u0447\u0438\u043b\u0438 \u0431\u044b\u0441\u0442\u0440\u0443\u044e \u043d\u0435\u0441\u043b\u043e\u0436\u043d\u0443\u044e \u043c\u043e\u0434\u0435\u043b\u044c, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0440\u0430\u0441\u0441\u0447\u0438\u0442\u0430\u0435\u0442 \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0445 \u0440\u0435\u0439\u0441\u043e\u0432 \u0434\u043b\u044f \u043d\u0430\u0448\u0435\u0433\u043e \u0430\u0432\u0442\u043e\u043f\u0430\u0440\u043a\u0430. \u041c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u043e\u043b\u0435\u0437\u043d\u0430 \u043b\u043e\u0433\u0438\u0441\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u043c \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u044f\u043c.   <\/p>\n<h2>\u041c\u043e\u0434\u0435\u043b\u044c<\/h2>\n<details class=\"spoiler\">\n<summary>\u041c\u043e\u0434\u0435\u043b\u044c<\/summary>\n<div class=\"spoiler__content\">\n<pre><code> using CP;  execute PARAMS{cp.param.TimeLimit = 60;}   {int} cars = ...; {int} points = ... ;  tuple startData {int carId; int carStartPoint; int carStartTime; }; {startData} StartDateCar = ...;  int startPointCats[cars] = [ i.carId : i.carStartPoint | i in StartDateCar ];  int startTimeCars[cars] = [ i.carId : i.carStartTime | i in StartDateCar ];   tuple shipmentData {int shipmentId; int startShipmentTime; int stratShipmentPoint; int shipmentDuration; int finishShipmentPoint; }; {shipmentData} Shipments = ... ;  {int} shipmentIds = {i.shipmentId | i in Shipments};  int stratShipmentTime[shipmentIds] = [ i.shipmentId : i.startShipmentTime | i in Shipments ];  int stratShipmentPoint[shipmentIds] = [ i.shipmentId : i.stratShipmentPoint | i in Shipments ]; int finishShipmentPoint[shipmentIds] = [ i.shipmentId : i.finishShipmentPoint | i in Shipments ];  int shipmentDuration[shipmentIds] = [ i.shipmentId : i.shipmentDuration | i in Shipments ];   \/\/-------------------- tuple triplet {int id1; int id2; int value;}; {triplet} DistanceMatrix = ...; \/\/-------------------------------------  dvar interval StartInterval[c in cars] in startTimeCars[c]..startTimeCars[c] size 0;  dvar interval StartShippingInterval[c in cars][sp in shipmentIds] optional in stratShipmentTime[sp]..(stratShipmentTime[sp]+shipmentDuration[sp]) size shipmentDuration[sp]; dvar interval FinishShippingInterval[c in cars][sp in shipmentIds] optional size 0;  \/\/----------------------------------- dvar sequence CarSequence[c in cars] in  append( all(a in {c}) StartInterval[a], all(sp in shipmentIds) StartShippingInterval[c][sp], all(sp in shipmentIds) FinishShippingInterval[c][sp] ) types append(   all(a in {c}) startPointCats[a], all(sp in shipmentIds) stratShipmentPoint[sp], all(sp in shipmentIds) finishShipmentPoint[sp] );   minimize staticLex( card(cars)*card(shipmentIds) - sum(c in cars, sp in shipmentIds) presenceOf (StartShippingInterval[c][sp]), sum(c in cars, sp in shipmentIds) (startOf(StartShippingInterval[c][sp]) - endOfPrev(CarSequence[c], StartShippingInterval[c][sp], 0, 0)) );  subject to { forall(sp in shipmentIds) {   forall(c in cars)     {              first(CarSequence[c], StartInterval[c]);                    presenceOf(StartShippingInterval[c][sp]) == presenceOf(FinishShippingInterval[c][sp]);       prev(CarSequence[c], StartShippingInterval[c][sp], FinishShippingInterval[c][sp]);     }          sum (c in cars )presenceOf(StartShippingInterval[c][sp]) &lt;= 1;     sum (c in cars )presenceOf(FinishShippingInterval[c][sp]) &lt;= 1; }   forall(c in cars) { noOverlap(CarSequence[c], DistanceMatrix, true);    }   }<\/code><\/pre>\n<\/div>\n<\/details>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"v-portal\" style=\"display:none;\"><\/div>\n<\/div>\n<p> <!----> <!----><br \/> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/post\/651085\/\"> https:\/\/habr.com\/ru\/post\/651085\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<div><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p>\u0412\u0441\u0435\u043c \u043f\u0440\u0438\u0432\u0435\u0442!<\/p>\n<p>\u041e\u0434\u043d\u0430\u0436\u0434\u044b \u043c\u0435\u043d\u044f \u043f\u043e\u043f\u0440\u043e\u0441\u0438\u043b\u0438 \u0440\u0435\u0448\u0438\u0442\u044c \u0442\u0430\u043a\u0443\u044e \u0437\u0430\u0434\u0430\u0447\u043a\u0443 \u0432 \u043e\u0431\u043b\u0430\u0441\u0442\u0438 \u0442\u0440\u0430\u043d\u0441\u043f\u043e\u0440\u0442\u043d\u043e\u0439 \u043b\u043e\u0433\u0438\u0441\u0442\u0438\u043a\u0438:<\/p>\n<blockquote>\n<p><em>\u0415\u0441\u0442\u044c \u0433\u0440\u0443\u0437\u043e\u0432\u044b\u0435 \u043c\u0430\u0448\u0438\u043d\u044b, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0438\u0437\u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e \u0433\u043e\u0442\u043e\u0432\u044b \u0441\u0442\u0430\u0440\u0442\u043e\u0432\u0430\u0442\u044c \u0432 \u0440\u0430\u0437\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u0438\u0437 \u0440\u0430\u0437\u043d\u044b\u0445 \u0433\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0442\u043e\u0447\u0435\u043a.<\/em><\/p>\n<p><em>\u0415\u0441\u0442\u044c \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0435 \u0440\u0435\u0439\u0441\u044b, \u043d\u0430 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0443\u0436\u043d\u044b \u044d\u0442\u0438 \u043c\u0430\u0448\u0438\u043d\u044b. \u041f\u043e\u0433\u0440\u0443\u0437\u043a\u0430 \u0432 \u0441\u0440\u0435\u0434\u043d\u0435\u043c \u0437\u0430\u0439\u043c\u0435\u0442 \u043a\u0430\u043a\u043e\u0435-\u0442\u043e \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f, \u0437\u0430\u0442\u0435\u043c \u043c\u0430\u0448\u0438\u043d\u0430 \u0434\u043e\u043b\u0436\u043d\u0430 \u0434\u043e\u0441\u0442\u0430\u0432\u0438\u0442\u044c \u0433\u0440\u0443\u0437 \u0432 \u043f\u0443\u043d\u043a\u0442 \u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f. \u041f\u043e\u0442\u043e\u043c \u043e\u043d\u0430 \u043c\u043e\u0436\u0435\u0442 \u0435\u0445\u0430\u0442\u044c \u043d\u0430 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0443\u044e \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0443 \u0438 \u0442.\u0434.<\/em><\/p>\n<p><em>\u041d\u0443\u0436\u043d\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0443\u044e \u043c\u043e\u0434\u0435\u043b\u044c, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0441\u043a\u0430\u0436\u0435\u0442 \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0439 \u043c\u0430\u0448\u0438\u043d\u044b, \u043d\u0430 \u043a\u0430\u043a\u0443\u044e \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0443 \u0431\u043e\u043b\u0435\u0435 \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u043e \u0435\u0451 \u043d\u0430\u043f\u0440\u0430\u0432\u0438\u0442\u044c, \u0447\u0442\u043e\u0431\u044b \u043c\u0430\u043a\u0441\u0438\u043c\u0430\u043b\u044c\u043d\u043e \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0445 \u0440\u0435\u0439\u0441\u043e\u0432 \u0431\u044b\u043b\u043e \u0431\u044b \u043e\u0431\u0441\u043b\u0443\u0436\u0435\u043d\u043e.<\/em><\/p>\n<\/blockquote>\n<figure class=\"full-width\"><figcaption><\/figcaption><\/figure>\n<p>\u041f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u044f \u0440\u0430\u0431\u043e\u0442\u0430\u043b\u0430 \u043d\u0430 \u0442\u043e\u0442 \u043c\u043e\u043c\u0435\u043d\u0442 \u0441 IBM CPLEX Solver, \u0442\u043e \u0435\u0433\u043e \u0438 \u0432\u0437\u044f\u043b\u0430 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u044f\u0434\u0440\u0430 \u0440\u0435\u0448\u0430\u0442\u0435\u043b\u044f. \u0410 \u043a\u0430\u043a \u044f \u0440\u0435\u0448\u0430\u043b\u0430 \u044d\u0442\u0443 \u0437\u0430\u0434\u0430\u0447\u0443 \u2013 \u0432\u0441\u0451 \u043f\u043e\u0434 \u043a\u0430\u0442\u043e\u043c.<\/p>\n<p>\u0422\u0438\u043f \u043c\u043e\u0434\u0435\u043b\u0438 \u0431\u0443\u0434\u0435\u0442 CP, \u0442.\u0435. \u043e\u043f\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0431\u0443\u0434\u0435\u043c \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u0430\u043c\u0438.   <\/p>\n<h2>\u041c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0434\u0430\u043d\u044b \u043f\u043e \u0443\u0441\u043b\u043e\u0432\u0438\u044e \u0437\u0430\u0434\u0430\u0447\u0438<\/h2>\n<p><strong>1.<\/strong> \u0414\u043e\u0441\u0442\u0443\u043f\u043d\u044b\u0435 \u0430\u0432\u0442\u043e\u043c\u043e\u0431\u0438\u043b\u0438 \u2013 <code>cars<\/code><\/p>\n<p><strong>2.<\/strong> \u0413\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0442\u043e\u0447\u043a\u0438, \u043a\u0443\u0434\u0430 \u0438\u043b\u0438 \u043e\u0442\u043a\u0443\u0434\u0430 \u043d\u0430\u0448\u0438 \u0430\u0432\u0442\u043e\u043c\u043e\u0431\u0438\u043b\u0438 \u043c\u043e\u0433\u0443\u0442 \u0441\u0442\u0430\u0440\u0442\u043e\u0432\u0430\u0442\u044c \u0438\u043b\u0438 \u043f\u0440\u0438\u0435\u0437\u0436\u0430\u0442\u044c, \u0442.\u0435. \u0442\u043e\u0447\u043a\u0438 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438, \u0441\u0442\u0430\u0440\u0442\u0430, \u0440\u0430\u0437\u0433\u0440\u0443\u0437\u043a\u0438. \u2013 <code>points<\/code><\/p>\n<p><strong>3.<\/strong> \u041a\u043e\u0440\u0442\u0435\u0436 \u0434\u043b\u044f \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u0438 \u043e \u0441\u0442\u0430\u0440\u0442\u0435 \u043c\u0430\u0448\u0438\u043d &#8212; <code>StartDateCar<\/code><\/p>\n<p><code>&lt;carId, carStartPoint, carStartTime><\/code><\/p>\n<p><code>carId<\/code> \u2013 \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440 \u043c\u0430\u0448\u0438\u043d\u044b<\/p>\n<p><code>carStartPoint<\/code> &#8212; \u0442\u043e\u0447\u043a\u0430 \u043d\u0430\u0447\u0430\u043b\u0430 \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043c\u0430\u0448\u0438\u043d\u044b<\/p>\n<p><code>carStartTime<\/code> &#8212; \u0432\u0440\u0435\u043c\u044f \u043d\u0430\u0447\u0430\u043b\u0430 \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043a\u0430\u0436\u0434\u043e\u0439 \u043c\u0430\u0448\u0438\u043d\u044b<\/p>\n<p><strong>4.<\/strong> \u041a\u043e\u0440\u0442\u0435\u0436 \u0438\u0437 5 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0434\u043b\u044f \u0445\u0440\u0430\u043d\u0435\u043d\u0438\u044f \u0434\u0430\u043d\u043d\u044b\u0435 \u043e \u0442\u0440\u0435\u0431\u0443\u0435\u043c\u044b\u0445 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0430\u0445 &#8212; <code>Shipments<\/code>: <\/p>\n<p><code>&lt;shipmentId, startShipmentTime, stratShipmentPoint, shipmentDuration, finishShipmentPoint><\/code><\/p>\n<p><code>shipmentId<\/code> &#8212; \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0442\u043e\u0440 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438, <\/p>\n<p><code>startShipmentTime<\/code> \u2013 \u043d\u0430\u0447\u0430\u043b\u043e \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 <\/p>\n<p><code>stratShipmentPoint<\/code> \u2013 \u0433\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u0442\u043e\u0447\u043a\u0430 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 <\/p>\n<p><code>shipmentDuration<\/code> \u2013 \u0432\u0440\u0435\u043c\u044f \u043f\u043e\u0433\u0440\u0443\u0437\u043e\u0447\u043d\u044b\u0445 \u0440\u0430\u0431\u043e\u0442 <\/p>\n<p><code>finishShipmentPoint<\/code> \u2013 \u043f\u0443\u043d\u043a\u0442 \u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f, \u0442.\u0435. \u043a\u0443\u0434\u0430 \u043d\u0443\u0436\u043d\u043e \u043e\u0442\u0432\u0435\u0437\u0442\u0438 \u0433\u0440\u0443\u0437<\/p>\n<p>\u041c\u044b \u0437\u043d\u0430\u0435\u043c, \u0447\u0442\u043e \u043c\u0430\u0448\u0438\u043d\u0443 \u0436\u0434\u0443\u0442 \u043d\u0430 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0443 \u043a \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u043e\u043c\u0443 \u0432\u0440\u0435\u043c\u0435\u043d\u0438. \u0415\u0441\u043b\u0438 \u043c\u0430\u0448\u0438\u043d\u0430 \u043a \u044d\u0442\u043e\u043c\u0443 \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u043d\u0435 \u043f\u0440\u0438\u0435\u0445\u0430\u043b\u0430, \u0442\u043e \u0438 \u044d\u0442\u043e\u0442 \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0439 \u0440\u0435\u0439\u0441 \u0435\u0439 \u043d\u0435 \u0434\u043e\u0441\u0442\u0430\u0435\u0442\u0441\u044f.<\/p>\n<h2>\u041c\u0430\u0442\u0440\u0438\u0446\u0430<\/h2>\n<p>\u041f\u043e\u0441\u043a\u043e\u043b\u044c\u043a\u0443 \u043c\u044b \u0437\u043d\u0430\u0435\u043c \u0444\u0438\u0437\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0442\u043e\u0447\u043a\u0438 \u043d\u0430 \u043a\u0430\u0440\u0442\u0435, \u0442\u043e \u043c\u043e\u0436\u0435\u043c \u043f\u043e\u0441\u0447\u0438\u0442\u0430\u0442\u044c \u0440\u0430\u0441\u0441\u0442\u043e\u044f\u043d\u0438\u0435, \u0430 \u0442\u0430\u043a\u0436\u0435 \u0441\u0440\u0435\u0434\u043d\u0435\u0435 \u0432\u0440\u0435\u043c\u044f \u043f\u0443\u0442\u0438 \u0434\u043b\u044f \u0430\u0432\u0442\u043e\u043c\u043e\u0431\u0438\u043b\u044f. \u041e\u0444\u043e\u0440\u043c\u0438\u0442\u044c \u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u044d\u0442\u0443 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u0443\u0434\u043e\u0431\u043d\u0435\u0435 \u0432\u0441\u0435\u0433\u043e \u0432 \u0432\u0438\u0434\u0435 \u043c\u0430\u0442\u0440\u0438\u0446\u044b. \u0421\u0442\u043e\u043b\u0431\u0446\u0430\u043c\u0438 \u0438 \u0441\u0442\u0440\u043e\u043a\u0430\u043c\u0438 \u043c\u0430\u0442\u0440\u0438\u0446\u044b \u0431\u0443\u0434\u0443\u0442 \u043d\u0430\u0448\u0438 \u0433\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0442\u043e\u0447\u043a\u0438, \u0430 \u0432 \u044f\u0447\u0435\u0439\u043a\u0430\u0445 \u043c\u0430\u0442\u0440\u0438\u0446\u044b \u0431\u0443\u0434\u0435\u0442 \u0445\u0440\u0430\u043d\u0438\u0442\u044c\u0441\u044f \u0441\u0440\u0435\u0434\u043d\u0435\u0435 \u0432\u0440\u0435\u043c\u044f \u043f\u043e\u0435\u0437\u0434\u043a\u0438 \u0438\u0437 \u0442\u043e\u0447\u043a\u0438 \u0410 \u0432 \u0442\u043e\u0447\u043a\u0443 \u0411. \u041d\u0430\u0437\u043e\u0432\u0435\u043c \u043c\u0430\u0442\u0440\u0438\u0446\u0443 <code>DistanceMatrix<\/code>.<\/p>\n<h2>\u0418\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044b<\/h2>\n<p>\u041e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u043c\u0441\u044f, \u043a\u0430\u043a\u0438\u043c\u0438 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u0430\u043c\u0438 \u0431\u0443\u0434\u0435\u043c \u043e\u043f\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u0442\u044c.<\/p>\n<p><strong>1.<\/strong>\u00a0\u0418\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044b \u043d\u0430\u0447\u0430\u043b\u0430 \u0434\u043e\u0441\u0442\u0443\u043f\u043d\u043e\u0441\u0442\u0438 \u0430\u0432\u0442\u043e\u043c\u043e\u0431\u0438\u043b\u044f<\/p>\n<p><code>dvar interval StartInterval[c in cars] in startTimeCars[c]..startTimeCars[c] size 0;<\/code><\/p>\n<p><strong>2.<\/strong>\u00a0\u0418\u043d\u0442\u0435\u0440\u0432\u0430\u043b \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 \u0438 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b \u0440\u0430\u0437\u0433\u0440\u0443\u0437\u043a\u0438<\/p>\n<p><code>dvar interval StartShippingInterval[c in cars][sp in shipmentIds] optional in stratShipmentTime[sp]..(stratShipmentTime[sp]+shipmentDuration[sp]) size shipmentDuration[sp];<\/code><\/p>\n<p><code>dvar interval FinishShippingInterval[c in cars][sp in shipmentIds] optional size 0;<\/code> <\/p>\n<h2>\u041f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c<\/h2>\n<p>\u041e\u0431\u044a\u044f\u0432\u0438\u043c \u043c\u0430\u0441\u0441\u0438\u0432 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0435\u0439 \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0439 \u043c\u0430\u0448\u0438\u043d\u044b. \u041d\u0430 \u043d\u0438\u0445 \u0431\u0443\u0434\u0443\u0442 \u00ab\u0436\u0438\u0442\u044c\u00bb \u0432\u0441\u0435 \u043d\u0430\u0448\u0438 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044b. \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u043c, \u0447\u0442\u043e \u043a\u0430\u0436\u0434\u0430\u044f \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0438\u0437 \u043c\u0430\u0441\u0441\u0438\u0432\u0430 \u2013 \u044d\u0442\u043e \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u0434\u043b\u044f \u043c\u0430\u0448\u0438\u043d\u044b.<\/p>\n<pre><code>dvar sequence CarSequence[c in cars] in  append( all(a in {c}) StartInterval[a], all(sp in shipmentIds) StartShippingInterval[c][sp], all(sp in shipmentIds) FinishShippingInterval[c][sp] ) types append(   all(a in {c}) startPointCats[a], all(sp in shipmentIds) stratShipmentPoint[sp], all(sp in shipmentIds) finishShipmentPoint[sp] );<\/code><\/pre>\n<p>\u041c\u044b \u0432\u0438\u0434\u0438\u043c, \u0447\u0442\u043e \u0432 \u043f\u0435\u0440\u0432\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 \u043d\u0430\u0448\u0435\u0439 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 (<code>sequence<\/code>) \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u043e\u0432, \u0430 \u0432\u043e \u0432\u0442\u043e\u0440\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 (\u043f\u043e\u0441\u043b\u0435 <code>types<\/code>) \u043e\u0431\u044a\u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0442\u0438\u043f\u044b \u044d\u0442\u0438\u0445 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u043e\u0432. \u0422\u0430\u043a \u0432\u043e\u0442 \u0442\u0438\u043f\u0430\u043c\u0438 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u043e\u0432 \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u0433\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0442\u043e\u0447\u043a\u0438 \u0441\u0442\u0430\u0440\u0442\u0430, \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 \u0438 \u0440\u0430\u0437\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0435\u043d\u043d\u043e. \u0412 \u044d\u0442\u043e\u043c \u0438 \u043e\u0441\u043d\u043e\u0432\u043d\u0430\u044f \u0445\u0438\u0442\u0440\u043e\u0441\u0442\u044c \u043c\u043e\u0434\u0435\u043b\u0438.<\/p>\n<h2>\u041e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043b\u0438<\/h2>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u0440\u043e \u0442\u0443 \u0441\u0430\u043c\u0443\u044e \u00ab\u0445\u0438\u0442\u0440\u043e\u0441\u0442\u044c\u00bb. \u0412 Cplex \u0435\u0441\u0442\u044c \u0442\u0430\u043a\u0430\u044f \u0444\u0443\u043d\u043a\u0446\u0438\u044f <code>noOverlap<\/code>, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u0442 \u043d\u0430 \u0432\u0445\u043e\u0434 \u0434\u0432\u0430 \u043f\u0430\u0440\u0430\u043c\u0435\u0442\u0440\u0430: \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c (<code>sequence<\/code>) \u0438 \u043c\u0430\u0442\u0440\u0438\u0446\u0443 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432. \u0418 \u0446\u0435\u043b\u044c \u044d\u0442\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0447\u0442\u043e\u0431\u044b \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044b \u043d\u0430 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438 \u043d\u0435 \u043f\u0435\u0440\u0435\u0441\u0435\u043a\u0430\u043b\u0438\u0441\u044c \u0438 \u043c\u0438\u043d\u0438\u043c\u0430\u043b\u044c\u043d\u043e\u0435 \u0440\u0430\u0441\u0441\u0442\u043e\u044f\u043d\u0438\u0435 \u043c\u0435\u0436\u0434\u0443 \u043d\u0438\u043c\u0438 \u0440\u0430\u0432\u043d\u044f\u043b\u043e\u0441\u044c \u043e\u0431\u044a\u044f\u0432\u043b\u0435\u043d\u043d\u043e\u043c\u0443 \u0432 \u043c\u0430\u0442\u0440\u0438\u0446\u0435 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432. \u0412\u043e\u0442 \u044d\u0442\u0443 \u0444\u0443\u043d\u043a\u0446\u0438\u044e \u0442\u043e \u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c:   <\/p>\n<pre><code>forall(c in cars) { noOverlap(CarSequence[c], DistanceMatrix); }<\/code><\/pre>\n<p>\u041c\u0430\u0442\u0440\u0438\u0446\u0430 \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u043e\u0432 \u0445\u0440\u0430\u043d\u0438\u0442 \u0441\u0440\u0435\u0434\u043d\u0435\u0435 \u0432\u0440\u0435\u043c\u044f \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043c\u0435\u0436\u0434\u0443 \u0444\u0438\u0437\u0438\u0447\u0435\u0441\u043a\u0438\u043c\u0438 \u0442\u043e\u0447\u043a\u0430\u043c\u0438. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0442\u043e\u0440 \u0441\u0430\u043c \u043f\u043e\u0439\u043c\u0435\u0442, \u043d\u0430 \u043a\u0430\u043a\u0438\u0435 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 \u043c\u0430\u0448\u0438\u043d\u0430 \u043d\u0435 \u0443\u0441\u043f\u0435\u0435\u0442 \u0434\u043e\u0435\u0445\u0430\u0442\u044c, \u0430 \u043d\u0430 \u043a\u0430\u043a\u0438\u0435 \u0443\u0441\u043f\u0435\u0435\u0442.<\/p>\n<p>\u041e\u0441\u0442\u0430\u043b\u044c\u043d\u044b\u0435 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f \u0443\u0436\u0435 \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u0438\u0435.<\/p>\n<p>\u041e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0435, \u0447\u0442\u043e\u0431\u044b \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b \u0441\u0442\u0430\u0440\u0442\u0430 \u043c\u0430\u0448\u0438\u043d\u044b \u0431\u044b\u043b \u043f\u0435\u0440\u0432\u044b\u043c \u0432  \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u044e\u0449\u0435 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u0438:<\/p>\n<pre><code>first(CarSequence[c], StartInterval[c]);<\/code><\/pre>\n<p>\u041e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f, \u0447\u0442\u043e\u0431\u044b \u0441\u043e\u0445\u0440\u0430\u043d\u0438\u0442\u044c \u0441\u0432\u044f\u0437\u043d\u043e\u0441\u0442\u044c \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 \u0438 \u0440\u0430\u0437\u0433\u0440\u0443\u0437\u043a\u0438. \u042d\u0442\u0438 \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u044b \u0434\u043e\u043b\u0436\u043d\u044b \u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u044c \u0441\u0442\u0440\u043e\u0433\u043e \u0434\u0440\u0443\u0433 \u0437\u0430 \u0434\u0440\u0443\u0433\u043e\u043c:<\/p>\n<pre><code>prev(CarSequence[c], StartShippingInterval[c][sp], FinishShippingInterval[c][sp]);<\/code><\/pre>\n<p>\u0410 \u0442\u0430\u043a \u0436\u0435 \u0435\u0441\u043b\u0438 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u0435\u0442 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0430 \u0434\u043b\u044f \u044d\u0442\u043e\u0439 \u043c\u0430\u0448\u0438\u043d\u044b, \u0442\u043e \u0434\u043e\u043b\u0436\u043d\u0430 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c \u0438 \u0440\u0430\u0437\u0433\u0440\u0443\u0437\u043a\u0430.<\/p>\n<pre><code>presenceOf(StartShippingInterval[c][sp]) == presenceOf(FinishShippingInterval[c][sp]);<\/code><\/pre>\n<p>\u041d\u0443 \u0438 \u043d\u0443\u0436\u043d\u043e \u0443\u0447\u0438\u0442\u044b\u0432\u0430\u0442\u044c, \u0447\u0442\u043e \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0439 \u0440\u0435\u0439\u0441 \u0434\u043e\u043b\u0436\u043d\u0430 \u043e\u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043b\u044f\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e \u043e\u0434\u043d\u0430 \u043c\u0430\u0448\u0438\u043d\u0430   <\/p>\n<pre><code>sum (c in cars )presenceOf(StartShippingInterval[c][sp]) &lt;= 1; sum (c in cars )presenceOf(FinishShippingInterval[c][sp]) &lt;= 1;<\/code><\/pre>\n<h2>\u0426\u0435\u043b\u044c \u043c\u043e\u0434\u0435\u043b\u0438<\/h2>\n<p>\u0412 \u0437\u0430\u0434\u0430\u0447\u0435 \u0441\u043a\u0430\u0437\u0430\u043d\u043e, \u0447\u0442\u043e \u043d\u0443\u0436\u043d\u043e \u043c\u0430\u043a\u0441\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u043e\u0431\u0441\u043b\u0443\u0436\u0435\u043d\u043d\u044b\u0445 \u0440\u0435\u0439\u0441\u043e\u0432. \u0422\u043e \u0435\u0441\u0442\u044c \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u043f\u043e\u044f\u0432\u043b\u0435\u043d\u0438\u044f \u0438\u043d\u0442\u0435\u0440\u0432\u0430\u043b\u043e\u0432 <code>StartShippingInterval<\/code> \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c \u043c\u0430\u043a\u0441\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u043c.   <\/p>\n<pre><code>maximize sum(c in cars, sp in shipmentIds) presenceOf (StartShippingInterval[c][sp]);<\/code><\/pre>\n<p>\u041d\u043e \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u0442\u0435\u0441\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043f\u043e\u044f\u0432\u0438\u043b\u0430\u0441\u044c \u0435\u0449\u0435 \u043e\u0434\u043d\u0430 \u043f\u0440\u043e\u0441\u044c\u0431\u0430 \u043f\u043e \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438: \u0447\u0442\u043e\u0431\u044b \u0434\u0432\u0438\u0436\u0435\u043d\u0438\u0435 \u0430\u0432\u0442\u043e\u043c\u043e\u0431\u0438\u043b\u0435\u0439 \u0431\u044b\u043b\u043e \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u044b\u043c. \u0422\u043e \u0435\u0441\u0442\u044c \u043d\u0443\u0436\u043d\u043e \u043c\u0438\u043d\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u043b\u0438\u0448\u043d\u0438\u0435 \u043f\u0435\u0440\u0435\u0434\u0432\u0438\u0436\u0435\u043d\u0438\u044f \u043c\u0430\u0448\u0438\u043d, \u0438 \u0435\u0441\u043b\u0438 \u043c\u0430\u0448\u0438\u043d\u0430 \u0443\u0436\u0435 \u0441\u0442\u043e\u0438\u0442 \u043d\u0430 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u0442\u043e\u0447\u043a\u0435 \u0438 \u0442\u0430\u043c \u0432\u0441\u043a\u043e\u0440\u0435 \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0430, \u0442\u043e \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043c\u0430\u0448\u0438\u043d\u0443 \u0438\u043c\u0435\u043d\u043d\u043e \u043d\u0430 \u044d\u0442\u043e\u0439 \u0442\u043e\u0447\u043a\u0435.<\/p>\n<p>\u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0446\u0435\u043b\u044c \u043c\u043e\u0434\u0435\u043b\u0438 \u043d\u0435\u043c\u043d\u043e\u0433\u043e \u0442\u0440\u0430\u043d\u0441\u0444\u043e\u0440\u043c\u0438\u0440\u043e\u0432\u0430\u043b\u043e\u0441\u044c \u0438  \u0432\u0442\u043e\u0440\u044b\u043c \u0443\u0441\u043b\u043e\u0432\u0438\u0435\u043c \u0434\u043e\u0431\u0430\u0432\u0438\u043b\u043e\u0441\u044c \u0443\u0441\u043b\u043e\u0432\u0438\u0435, \u0447\u0442\u043e\u0431\u044b \u043c\u0438\u043d\u0438\u043c\u0438\u0437\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0432\u0440\u0435\u043c\u044f \u043c\u0435\u0436\u0434\u0443 \u043d\u0430\u0447\u0430\u043b\u043e\u043c  \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438 \u0438 \u043e\u043a\u043e\u043d\u0447\u0430\u043d\u0438\u0435\u043c  \u043f\u0440\u0435\u0434\u044b\u0434\u0443\u0449\u0435\u0433\u043e \u0441\u043e\u0431\u044b\u0442\u0438\u044f. \u0422\u043e \u0435\u0441\u0442\u044c \u043f\u043e\u0440\u043e\u0436\u043d\u0438\u0445 \u0440\u0435\u0439\u0441\u043e\u0432 \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c  \u043a\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u043c\u0435\u043d\u044c\u0448\u0435.<\/p>\n<pre><code>minimize staticLex( card(cars)*card(shipmentIds) - sum(c in cars, sp in shipmentIds) presenceOf (StartShippingInterval[c][sp]), sum(c in cars, sp in shipmentIds) (startOf(StartShippingInterval[c][sp]) - endOfPrev(CarSequence[c], StartShippingInterval[c][sp], 0, 0)) );<\/code><\/pre>\n<h2>\u0410\u043d\u0430\u043b\u0438\u0437\u0438\u0440\u0443\u0435\u043c \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b<\/h2>\n<p>\u0421\u043e\u0437\u0434\u0430\u0434\u0438\u043c \u043d\u0435\u0431\u043e\u043b\u044c\u0448\u043e\u0439 \u0434\u0430\u0442\u0430\u0441\u0435\u0442 \u0438\u0437 \u0434\u0432\u0443\u0445 \u043c\u0430\u0448\u0438\u043d, \u0447\u0435\u0442\u044b\u0440\u0435\u0445 \u0433\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0442\u043e\u0447\u0435\u043a \u0438 \u0442\u0440\u0435\u0445 \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0445 \u0440\u0435\u0439\u0441\u043e\u0432:<\/p>\n<details class=\"spoiler\">\n<summary>\u0414\u0430\u043d\u043d\u044b\u0435 \u0434\u043b\u044f \u043c\u043e\u0434\u0435\u043b\u0438. \u0412\u0430\u0440\u0438\u0430\u043d\u0442 1<\/summary>\n<div class=\"spoiler__content\">\n<pre><code>cars = {1, 2};   points = {1, 2, 3, 4};    StartDateCar = {  &lt;1, 3, 0>,  &lt;2, 1, 5>  };   \/\/ Shipments  \/\/int shipmentId;   \/\/int startShipmentTime;   \/\/int stratShipmentPoint;   \/\/int shipmentDuration;   \/\/int finishShipmentPoint;    Shipments = {  &lt;1, 25, 1, 4, 2>,  &lt;2, 15, 3, 2, 4>,  &lt;3, 40, 2, 1, 4>  };    DistanceMatrix = {  &lt;1,1,0>,&lt;1,2,10>, &lt;1,3, 6>, &lt;1,4, 19>,  &lt;2,1,8>,&lt;2,2,0>, &lt;2,3,15>,&lt;2,4,2>,  &lt;3,1,4>,&lt;3,2,18>,&lt;3,3,0>,&lt;3,4,6>,   &lt;4,1,17>,&lt;4,2,5>,&lt;4,3,3>,&lt;4,4,0>  };<\/code><\/pre>\n<\/div>\n<\/details>\n<p>\u0412\u043e\u0442 \u0442\u0430\u043a\u0438\u0435 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u044b \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c:<\/p>\n<figure class=\"full-width\"><figcaption><\/figcaption><\/figure>\n<figure class=\"full-width\"><figcaption><\/figcaption><\/figure>\n<p>\u0414\u043e\u0431\u0430\u0432\u0438\u043c \u0435\u0449\u0435 \u0434\u0430\u043d\u043d\u044b\u0445: \u041f\u0443\u0441\u0442\u044c \u0431\u0443\u0434\u0435\u0442 9 \u043c\u0430\u0448\u0438\u043d \u0438 5 \u0433\u0435\u043e\u0433\u0440\u0430\u0444\u0438\u0447\u0435\u0441\u043a\u0438\u0445 \u0442\u043e\u0447\u0435\u043a. \u0411\u0443\u0434\u0435\u043c \u0434\u043e\u0431\u0430\u0432\u043b\u044f\u0442\u044c \u043f\u043e\u0433\u0440\u0443\u0437\u043a\u0438. \u041f\u0443\u0441\u0442\u044c \u0438\u0445 \u0431\u0443\u0434\u0435\u0442 25. \u0422\u043e\u0433\u0434\u0430 \u043f\u0435\u0440\u0432\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0442\u043e\u0436\u0435 \u043d\u0430\u0445\u043e\u0434\u0438\u0442 \u043c\u0435\u043d\u044c\u0448\u0435 \u0447\u0435\u043c \u0437\u0430 \u0441\u0435\u043a\u0443\u043d\u0434\u0443, \u043d\u043e \u043d\u0430\u0448\u0438 9 \u043c\u0430\u0448\u0438\u043d \u0441\u043c\u043e\u0433\u0443\u0442 \u043e\u0431\u0441\u043b\u0443\u0436\u0438\u0442\u044c \u0442\u043e\u043b\u044c\u043a\u043e 17 \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0445 \u0440\u0435\u0439\u0441\u043e\u0432.<\/p>\n<details class=\"spoiler\">\n<summary>\u0414\u0430\u043d\u043d\u044b\u0435 \u0434\u043b\u044f \u043c\u043e\u0434\u0435\u043b\u0438. \u0412\u0430\u0440\u0438\u0430\u043d\u0442 2<\/summary>\n<div class=\"spoiler__content\">\n<pre><code>cars = {1, 2, 3, 4, 5, 6, 7, 8, 9};   points = {1, 2, 3, 4, 5};    StartDateCar = {  &lt;1, 3, 0>,  &lt;2, 1, 5>  &lt;3, 5, 45>  &lt;4, 2, 0>  &lt;5, 4, 10>  &lt;6, 4, 3>  &lt;7, 2, 4>  &lt;8, 1, 6>  &lt;9, 3, 4>  };   \/\/ Shipments  \/\/int shipmentId;   \/\/int startShipmentTime;   \/\/int stratShipmentPoint;   \/\/int shipmentDuration;   \/\/int finishShipmentPoint;    Shipments = {  &lt;1, 25, 1, 4, 2>,  &lt;2, 15, 3, 2, 4>,  &lt;3, 40, 2, 1, 4>  &lt;4, 45, 5, 1, 2>  &lt;5, 10, 4, 2, 1>  &lt;6, 12, 4, 2, 3>  &lt;7, 5, 2, 3, 5>  &lt;8, 45, 5, 1, 2>  &lt;9, 7, 1, 1, 5>  &lt;10, 16, 2, 1, 3 >  &lt;11, 1, 2, 2, 1 >  &lt;12, 18, 3, 4, 2>    &lt;13, 40, 2, 1, 4>  &lt;14, 45, 5, 1, 2>  &lt;15, 10, 4, 2, 1>  &lt;16, 12, 4, 2, 3>  &lt;17, 5, 2, 3, 5>  &lt;18, 45, 5, 1, 2>  &lt;19, 7, 1, 1, 5>  &lt;20, 16, 2, 1, 3 >  &lt;21, 1, 2, 2, 1 >  &lt;22, 18, 3, 4, 2>  &lt;23, 14, 3, 2, 1>  &lt;24, 6, 5, 3, 2>  &lt;25, 9, 5, 1, 4>  };    DistanceMatrix = {  &lt;1,1,0>,&lt;1,2,10>, &lt;1,3, 6>, &lt;1, 4, 19>, &lt;1, 5, 3>  &lt;2,1,8>,&lt;2,2,0>, &lt;2,3,15>,&lt;2,4,2>, &lt;2, 5, 12>  &lt;3,1,4>,&lt;3,2,18>,&lt;3,3,0>,&lt;3,4,6>, &lt;3, 5, 17>   &lt;4,1,17>,&lt;4,2,5>,&lt;4,3,3>,&lt;4,4,0> &lt;4,5, 9>   &lt;5,1, 3> &lt;5,2, 12>&lt;5,3, 17>&lt;5,4,9>&lt;5,5,0>  };<\/code><\/pre>\n<\/div>\n<\/details>\n<figure class=\"full-width\"><figcaption><\/figcaption><\/figure>\n<h2>\u0412\u044b\u0432\u043e\u0434<\/h2>\n<p>\u041f\u043e\u043b\u0443\u0447\u0438\u043b\u0438 \u0431\u044b\u0441\u0442\u0440\u0443\u044e \u043d\u0435\u0441\u043b\u043e\u0436\u043d\u0443\u044e \u043c\u043e\u0434\u0435\u043b\u044c, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0440\u0430\u0441\u0441\u0447\u0438\u0442\u0430\u0435\u0442 \u043e\u043f\u0442\u0438\u043c\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u0433\u0440\u0443\u0436\u0435\u043d\u044b\u0445 \u0440\u0435\u0439\u0441\u043e\u0432 \u0434\u043b\u044f \u043d\u0430\u0448\u0435\u0433\u043e \u0430\u0432\u0442\u043e\u043f\u0430\u0440\u043a\u0430. \u041c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u043e\u043b\u0435\u0437\u043d\u0430 \u043b\u043e\u0433\u0438\u0441\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u043c \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u044f\u043c.   <\/p>\n<h2>\u041c\u043e\u0434\u0435\u043b\u044c<\/h2>\n<details class=\"spoiler\">\n<summary>\u041c\u043e\u0434\u0435\u043b\u044c<\/summary>\n<div class=\"spoiler__content\">\n<pre><code> using CP;  execute PARAMS{cp.param.TimeLimit = 60;}   {int} cars = ...; {int} points = ... ;  tuple startData {int carId; int carStartPoint; int carStartTime; }; {startData} StartDateCar = ...;  int startPointCats[cars] = [ i.carId : i.carStartPoint | i in StartDateCar ];  int startTimeCars[cars] = [ i.carId : i.carStartTime | i in StartDateCar ];   tuple shipmentData {int shipmentId; int startShipmentTime; int stratShipmentPoint; int shipmentDuration; int finishShipmentPoint; }; {shipmentData} Shipments = ... ;  {int} shipmentIds = {i.shipmentId | i in Shipments};  int stratShipmentTime[shipmentIds] = [ i.shipmentId : i.startShipmentTime | i in Shipments ];  int stratShipmentPoint[shipmentIds] = [ i.shipmentId : i.stratShipmentPoint | i in Shipments ]; int finishShipmentPoint[shipmentIds] = [ i.shipmentId : i.finishShipmentPoint | i in Shipments ];  int shipmentDuration[shipmentIds] = [ i.shipmentId : i.shipmentDuration | i in Shipments ];   \/\/-------------------- tuple triplet {int id1; int id2; int value;}; {triplet} DistanceMatrix = ...; \/\/-------------------------------------  dvar interval StartInterval[c in cars] in startTimeCars[c]..startTimeCars[c] size 0;  dvar interval StartShippingInterval[c in cars][sp in shipmentIds] optional in stratShipmentTime[sp]..(stratShipmentTime[sp]+shipmentDuration[sp]) size shipmentDuration[sp]; dvar interval FinishShippingInterval[c in cars][sp in shipmentIds] optional size 0;  \/\/----------------------------------- dvar sequence CarSequence[c in cars] in  append( all(a in {c}) StartInterval[a], all(sp in shipmentIds) StartShippingInterval[c][sp], all(sp in shipmentIds) FinishShippingInterval[c][sp] ) types append(   all(a in {c}) startPointCats[a], all(sp in shipmentIds) stratShipmentPoint[sp], all(sp in shipmentIds) finishShipmentPoint[sp] );   minimize staticLex( card(cars)*card(shipmentIds) - sum(c in cars, sp in shipmentIds) presenceOf (StartShippingInterval[c][sp]), sum(c in cars, sp in shipmentIds)<\/code><\/pre>\n<\/div>\n<\/details>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-329466","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/329466","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=329466"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/329466\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=329466"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=329466"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=329466"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}