During loading and unloading steps, energy is consumed when cranes lift containers, while energy is often wasted when cranes drop containers. By optimizing the scheduling of cranes, it is possible to reduce energy consumption, thereby lowering operational costs and environmental impacts. In this paper, we introduce a single-crane scheduling problem with energy savings, focusing on reusing the energy from containers that have already been lifted and reducing the total energy consumption of the entire scheduling plan. We establish a basic model considering a one-dimensional storage area and provide a systematic complexity analysis of the problem. First, we investigate the connection between our problem and the semi-Eulerization problem and propose an additive approximation algorithm. Then, we present a polynomial-time Dynamic Programming (DP) algorithm for the case of bounded energy buffer and processing lengths. Next, adopting a Hamiltonian perspective, we address the general case with arbitrary energy buffer and processing lengths. We propose an exact DP algorithm and show that the variation of the problem is polynomially solvable when it can be transformed into a path cover problem on acyclic interval digraphs. We introduce a paradigm that integrates both the Eulerian and Hamiltonian perspectives, providing a robust framework for addressing the problem.
- ID de l'article: 2510.10989
- Titre: Crane Scheduling Problem with Energy Saving
- Auteurs: Yixiong Gao, Florian Jaehn, Minming Li, Wenhao Ma, Xinbo Zhang
- Classification: cs.DS (Structures de Données et Algorithmes)
- Conférence de Publication: 42nd Conference on Very Important Topics (CVIT 2016)
- Lien de l'article: https://arxiv.org/abs/2510.10989
Cet article étudie le problème d'ordonnancement de grues avec fonctionnalités d'économies d'énergie. Lors du chargement et du déchargement de conteneurs, les grues consomment de l'énergie en soulevant les conteneurs, tandis que l'énergie libérée lors de la descente est généralement gaspillée. En optimisant l'ordonnancement des grues, on peut réutiliser l'énergie libérée par les conteneurs soulevés, réduisant ainsi la consommation énergétique totale, les coûts d'exploitation et l'impact environnemental. L'article établit un modèle fondamental pour les zones de stockage unidimensionnelles et fournit une analyse de complexité systématique. La recherche adopte deux perspectives : eulérienne et hamiltonienne, proposant plusieurs algorithmes pour résoudre le problème dans différents contextes.
- Besoins Pratiques: Les villes portuaires dépendent d'un débit de marchandises élevé pour développer leur économie ; les terminaux à conteneurs nécessitent des stratégies d'ordonnancement efficaces pour gérer le stockage et le transport de grandes quantités de conteneurs
- Problème de Consommation Énergétique: Les grues portiques consomment une grande quantité d'énergie en soulevant les conteneurs, tandis que l'énergie libérée lors de la descente est généralement gaspillée
- Philosophie Industrielle Verte: Avec la sensibilisation croissante à la réduction des émissions de carbone, l'industrie logistique doit réduire la consommation énergétique et les émissions de CO₂
- Mécanisme de Stockage d'Énergie: Basé sur des dispositifs de stockage d'énergie tels que les volants d'inertie, l'énergie ne peut être stockée que temporairement ; au-delà de la distance du tampon énergétique, l'énergie se dissipe
- Optimisation de l'Ordonnancement: Il faut maximiser la réutilisation de l'énergie tout en satisfaisant les contraintes opérationnelles et minimiser la consommation énergétique totale
- Analyse de Complexité: Le problème implique une optimisation combinatoire nécessitant une analyse de la complexité informatique selon différents paramètres
- Modélisation du Problème: Première établissement systématique d'un modèle mathématique pour le problème d'ordonnancement d'une seule grue avec économies d'énergie
- Analyse Théorique: Révèle les connexions intrinsèques entre ce problème et les problèmes semi-eulériens, fournissant une analyse de complexité complète
- Conception d'Algorithmes:
- Propose un algorithme d'approximation additive basé sur la semi-eulérisation
- Conçoit un algorithme de programmation dynamique en temps polynomial pour les cas de paramètres bornés
- Développe un algorithme de programmation dynamique exact pour les cas de paramètres arbitraires
- Cadre Théorique: Établit un paradigme unifié intégrant les perspectives eulérienne et hamiltonienne, fournissant un cadre robuste pour la résolution du problème
Entrée:
- Ensemble de tâches J = {j₁, j₂, ..., jₙ}
- Chaque tâche j possède une position de départ sⱼ et une position cible tⱼ
- Taille du tampon énergétique e
- Longueur de traitement lⱼ = |sⱼ - tⱼ|
Sortie:
- Ordre de traitement des tâches minimisant la consommation énergétique totale
Contraintes:
- Lorsque la distance entre tâches adjacentes ≤ e, l'énergie peut être réutilisée
- Sinon, une unité d'énergie supplémentaire doit être consommée
Cas de Tampon Énergétique Nul (e = 0):
- Construit un graphe orienté G, les sommets correspondant aux emplacements, les arêtes aux tâches
- Le problème équivaut au problème de semi-eulérisation du graphe
- Lemme 1: Consommation énergétique minimale = f(G) + 1, où f(G) est le nombre minimum d'arêtes requises pour la semi-eulérisation
- Lemme 2: f(G) = ½∑ₓ|inG(x) - outG(x)| + (nombre de composantes faiblement connexes eulériennes) - 1
Cas Général (e > 0):
- Construit un graphe bicouche : sommets de la couche supérieure {aₓ}, sommets de la couche inférieure {bₓ}
- Introduit les concepts d'arêtes auxiliaires et d'arêtes de pénalité
- Lemme 5: Consommation énergétique minimale = min_{A réalisable} f(G(A)) + 1
Cas de Longueur Unitaire:
- Définition d'état: f(i, cᵢ, γᵢ,₀, γᵢ,₁, δᵢ,₀, δᵢ,₁)
- Maintient la connectivité, l'équilibre des degrés et les informations de degré entrant
- Complexité temporelle: O(n⁴)
Cas de Paramètres Bornés:
- Utilise le concept de configuration pour maintenir la structure d'union-find
- Nombre d'états: O(n^{2k}k^{O(k)})
- Théorème 7: Complexité temporelle O(n^{4k}k^{O(k)})
Conversion de Graphe Orienté d'Intervalle:
- Chaque tâche correspond à un sommet
- Ensemble source Sⱼ = {sⱼ}, ensemble terminal Tⱼ = tⱼ - e, tⱼ + e
- Condition d'existence d'arête: Tᵤ ∩ Sᵥ ≠ ∅
Problème de Couverture par Chemins:
- Le problème se transforme en couverture par chemins sommet-disjoints
- Algorithme DP exact: complexité temporelle O(2ⁿn²)
- Lemme 13: Pour les cas acycliques, peut se transformer en problème d'appariement maximum bipartite
- Unification Bidirectionnelle: Première combinaison des perspectives eulérienne et hamiltonienne, fournissant des méthodes de résolution appropriées pour différentes plages de paramètres
- Hiérarchie de Complexité: Selon les caractéristiques des paramètres du problème, fournit un spectre complet d'algorithmes du temps polynomial au temps exponentiel
- Modélisation Pratique: Établit un modèle mathématique basé sur le mécanisme réel de stockage d'énergie par volant d'inertie, avec une forte applicabilité pratique
L'article valide les résultats théoriques par des exemples concrets :
- Exemple 1: 6 tâches, tampon énergétique e = 1
- Ordonnancement unidirectionnel traditionnel: consommation = 4
- Ordonnancement optimal: consommation = 3
- Exemple 2: Lorsque e = 2, consommation énergétique optimale = 1
Valide la correction de chaque lemme par des preuves constructives, démontrant la faisabilité et l'optimalité des algorithmes.
- Algorithme d'Approximation Additive: Pour le paramètre k, obtient une solution approchée avec erreur additive au plus n-k
- Algorithme Polynomial: Lorsque le tampon énergétique et la longueur de traitement sont bornés, existe un algorithme exact en temps polynomial
- Cas Particuliers: Le cas de graphe orienté d'intervalle acyclique peut être résolu en temps polynomial
- Tampon nul: temps linéaire O(n)
- Paramètres bornés: O(n^{4k}k^{O(k)})
- Cas général: O(2ⁿn²)
- Cas acyclique: temps polynomial (via appariement maximum)
- Minimisation de la Durée d'Ordonnancement: Algorithme Johnson amélioré par Oladugba et al.
- Minimisation des Violations de Contraintes: Approche du problème de routage de prélèvement par Vallada et al.
- Ordonnancement Bigrues: Modèle de grues jumelles par Jaehn et al.
- Mécanisme de Récupération d'Énergie: Technologie de stockage par volant d'inertie par Flynn et al.
- Opérations Économes en Énergie: Vérification d'application pratique par HHLA
- Exploitation Durable: Recherche théorique sur l'exploitation verte des ports
- Établit un cadre théorique complet pour le problème d'ordonnancement de grues avec économies d'énergie
- Révèle les connexions profondes entre le problème et les problèmes classiques de théorie des graphes
- Fournit des algorithmes efficaces pour différentes plages de paramètres
- Prouve la résolubilité polynomiale du problème dans certains cas particuliers
- Simplification du Modèle: Considère uniquement les zones de stockage unidimensionnelles ; la disposition réelle des ports est plus complexe
- Modèle Énergétique: Suppose que la perte d'énergie est soudaine, alors que la situation réelle peut être plus continue
- Grue Unique: Ne considère pas le problème d'ordonnancement coordonné multi-grues
- Paramètres Statiques: Ne considère pas les changements de paramètres d'environnement dynamiques
- Extension aux Tâches de Longueur Arbitraire: Transformer le problème en problème de couverture par chemins sur graphe orienté général
- Fonctions Énergétiques Complexes: Considérer des modèles de consommation et de perte d'énergie plus complexes
- Extension Multi-Grues: Étudier l'optimisation énergétique de l'ordonnancement coordonné multi-grues
- Validation d'Application Pratique: Vérifier l'applicabilité pratique des algorithmes dans des environnements portuaires réels
- Contribution Théorique Significative: Première étude systématique du problème, établissant un cadre théorique complet
- Innovation Méthodologique: La méthode d'unification bidirectionnelle possède une très forte originalité
- Analyse de Complexité Complète: Fournit un spectre complet d'algorithmes du temps polynomial au temps exponentiel
- Valeur Pratique Élevée: Basé sur des scénarios d'application industrielle réels, possède une valeur d'application directe
- Rigueur Mathématique: Tous les résultats théoriques possèdent des preuves mathématiques strictes
- Validation Expérimentale Limitée: Principalement basée sur l'analyse théorique et la validation sur petits exemples ; manque de validation sur données réelles à grande échelle
- Hypothèses de Modèle Fortes: Le modèle unidimensionnel, la perte d'énergie soudaine et autres hypothèses peuvent limiter l'application pratique
- Sensibilité aux Paramètres: La complexité de l'algorithme est hautement sensible au paramètre k ; nécessite un équilibre dans l'application pratique
- Manque de Bases de Comparaison: Manque de comparaisons détaillées avec les méthodes heuristiques existantes
- Valeur Académique: Fournit une nouvelle direction de recherche pour la recherche opérationnelle et la conception d'algorithmes
- Valeur Pratique: Fournit un soutien théorique pour la construction de ports verts
- Contribution Méthodologique: La méthode d'unification bidirectionnelle peut inspirer la recherche sur d'autres problèmes d'optimisation combinatoire
- Extensibilité: Pose les fondations pour les problèmes d'extension multi-grues, multidimensionnels, etc.
- Terminaux Automatisés: Particulièrement adapté aux terminaux à conteneurs hautement automatisés
- Rénovation Économe en Énergie: Fournit des orientations théoriques pour la rénovation économe en énergie des ports existants
- Conception de Système: Fournit des solutions d'optimisation pour la conception de systèmes de grues des nouveaux ports
- Problèmes d'Ordonnancement Connexes: Les méthodes peuvent être généralisées à d'autres problèmes d'ordonnancement possédant des caractéristiques de récupération d'énergie
L'article cite 25 références connexes, couvrant plusieurs domaines importants incluant l'ordonnancement de grues, les algorithmes de théorie des graphes et la logistique verte, fournissant une base théorique solide pour la recherche.
Évaluation Générale: Ceci est un article de haute qualité en informatique théorique, réalisant une percée théorique significative sur le problème pratique important d'ordonnancement de grues. La méthode d'unification bidirectionnelle de l'article possède une très forte innovativité, l'analyse de complexité est complète, et elle pose les fondations importantes pour la recherche ultérieure dans ce domaine.