Journal of Combinatorial Optimization最新文献

{"title":"Mathematical models for the one-dimensional cutting stock problem with setups and open stacks","authors":"Gabriel Gazzinelli Guimarães, Kelly Cristina Poldi, Mateus Martin","doi":"10.1007/s10878-025-01276-5","DOIUrl":"https://doi.org/10.1007/s10878-025-01276-5","url":null,"abstract":"<p>In real-life production, the cutting stock problem is often associated with additional constraints and objectives. Among the auxiliary objectives, two of the most relevant are the minimization of the number of different cutting patterns used and the minimization of the maximum number of simultaneously open stacks. The first auxiliary objective arises in manufacturing environments where the adjustment of the cutting tools when changing the cutting patterns incurs increased costs and time spent in production. The second is crucial to face scenarios where the space near the cutting machine or the number of automatic unloading stations is limited. In this paper, we address the one-dimensional cutting stock problem, considering the additional goals of minimizing the number of different cutting patterns used and the maximum number of simultaneously open stacks. We propose two Integer Linear Programming (ILP) formulations and a Constraint Programming (CP) model for the problem. Moreover, we develop new upper bounds on the frequency of the cutting patterns in a solution and address some special cases in which the problem may be simplified. All three approaches are embedded into an iterative exact framework to find efficient solutions. We perform computational experiments using two sets of instances from the literature. The proposed approaches proved effective in determining the entire Pareto front for small problem instances, and several solutions for medium-sized instances with minimum trim loss, a reduced maximum number of simultaneously open stacks, and a small number of different used cutting patterns.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"217 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2025-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143782634","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Guaranteeing fairness and efficiency under budget constraints","authors":"Yuanyuan Wang, Xin Chen, Qizhi Fang, Qingqin Nong, Wenjing Liu","doi":"10.1007/s10878-025-01275-6","DOIUrl":"https://doi.org/10.1007/s10878-025-01275-6","url":null,"abstract":"<p>We study the problem of how to fairly and efficiently allocate indivisible items (goods) to agents under budget constraints. Each item has a specific size, and each agent has a budget that limits the total size of the items received. To better explore efficiency, we introduce the concept of tightness, where all agents are tight. An agent is considered as tight if adding any unallocated item to her bundle would exceed her budget. Interestingly, we observe that all individual optimal (IO) allocations, which contain Pareto optimal (PO) allocations, can be extended into a tight allocation while maintaining the values of the agents’ bundles. We achieve an overall negative result for general even identical or binary valuations: there exists no allocation meeting both tightness and envy-freeness up to any item (EFX), and even relaxing it to any desired approximate EFX has been proven to be impossible. However, for single-valued valuations, we illustrate that an EFX and tight (or IO) allocation always exist, and it can be computed using a polynomial algorithm. For single-valued valuations, we establish the existence of 1/2-EFX and PO allocations, with the approximation ratio being the best possible. To further our efforts to study fairness and efficiency, we introduce a relaxed concept of tightness, partial tightness (PT), in which only the unenvied agents are tight. We find that 1/2-EFX and PT allocations are achievable by providing a pseudo-polynomial time algorithm. When agents’ budgets are identical, we can compute a 1/2-EFX and PT allocation in polynomial time.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"538 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2025-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143782635","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Superposed semi-Markov decision process with application to optimal maintenance systems","authors":"Jianmin Shi","doi":"10.1007/s10878-025-01272-9","DOIUrl":"https://doi.org/10.1007/s10878-025-01272-9","url":null,"abstract":"<p>This paper investigates the superposition problem of two or more individual semi-Markov decision processes (SMDPs). The new sequential decision process superposed by individual SMDPs is no longer an SMDP and cannot be handled by routine iterative algorithms, but we can expand its state spaces to obtain a hybrid-state SMDP. Using this hybrid-state SMDP as an auxiliary and inspired by the Robbins–Monro algorithm underlying the reinforcement learning method, we propose an iteration algorithm based on a combination of dynamic programming and reinforcement learning to numerically solve the superposed sequential decision problem. As an illustration example, we apply our superposition model and algorithm to solve the optimal maintenance problem of a two-component independent parallel system.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"216 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2025-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143745303","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Improved black widow optimization algorithm for multi-objective hybrid flow shop batch-scheduling problem","authors":"Xiyang Liu, Fangjun Luan","doi":"10.1007/s10878-025-01270-x","DOIUrl":"https://doi.org/10.1007/s10878-025-01270-x","url":null,"abstract":"<p>Sustainable scheduling is getting more and more attention with economic globalization and sustainable manufacturing. However, fewer studies on the batch scheduling problem consider energy consumption. This paper conducts an investigation into the multi-objective hybrid flow shop batch-scheduling problem with the objectives of minimizing both the makespan and electrical energy consumption. The study aims to select the optimal scheduling solution for the problem by considering batch splitting for all products. In this paper, we propose an improved black widow optimization (IBWO) algorithm to study the problem, which incorporates procreation, cannibalism, and mutation behaviors to maintain the population’s diversity and stability. To achieve our objectives, we use the dynamic entropy weight topsis method to select individual spiders. Finally, we use the nature theorem construction method, which relies on the property theorem, to solve the Pareto solution set and derive the optimization scheme for the hybrid flow shop batch scheduling problem. We verify the effectiveness of the proposed IBWO on instances of varying sizes. When we keep all other factors and cases constant, we compare the IBWO to the NSGA2 algorithm and find that it converges faster for both goals and has lower goals than the NSGA2.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"34 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2025-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143745304","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Steiner trees with infinitely many terminals on the sides of an angle","authors":"Danila Cherkashin, Emanuele Paolini, Yana Teplitskaya","doi":"10.1007/s10878-025-01277-4","DOIUrl":"https://doi.org/10.1007/s10878-025-01277-4","url":null,"abstract":"<p>The Euclidean Steiner problem is the problem of finding a set <span>(mathcal{S}mathcal{t})</span>, with the shortest length, such that <span>(mathcal{S}mathcal{t}cup mathcal {A})</span> is connected, where <span>(mathcal {A})</span> is a given set in a Euclidean space. The solutions <span>(mathcal{S}mathcal{t})</span> to the Steiner problem will be called <i>Steiner sets</i> while the set <span>(mathcal {A})</span> will be called <i>input</i>. Since every Steiner set is acyclic we call it Steiner tree in the case when it is connected. We say that a Steiner tree is <i>indecomposable</i> if it does not contain any Steiner tree for a subset of the input. We are interested in finding the Steiner set when the input consists of infinitely many points distributed on two lines. In particular we would like to find a configuration which gives an indecomposable Steiner tree. It is natural to consider a self-similar input, namely the set <span>(mathcal {A}_{alpha ,lambda })</span> of points with coordinates <span>((lambda ^{k-1}cos alpha ,)</span> <span>(pm lambda ^{k-1}sin alpha ))</span>, where <span>(lambda &gt;0)</span> and <span>(alpha &gt;0)</span> are small fixed values and <span>(k in mathbb {N})</span>. These points are distributed on the two sides of an angle of size <span>(2alpha )</span> in such a way that the distances from the points to the vertex of the angle are in a geometric progression. To our surprise, we show that in this case the solutions to the Steiner problem for <span>(mathcal {A}_{alpha ,lambda })</span>, when <span>(alpha )</span> and <span>(lambda )</span> are small enough, are always decomposable trees. More precisely, any Steiner tree for <span>(mathcal {A}_{alpha ,lambda })</span> is a countable union of Steiner trees, each one connecting 5 points from the input. Each component of the decomposition can be mirrored with respect to the angle bisector providing <span>(2^{mathbb N})</span> different solutions with the same length. By considering only a finite number of components we obtain many solutions to the Steiner problem for finite sets composed of <span>(4k+1)</span> points distributed on the two lines (<span>(2k+1)</span> on a line and 2<i>k</i> on the other line). These solutions are very similar to the <i>ladders</i> of Chung and Graham. We are able to obtain an indecomposable Steiner tree by adding, to the previous input, a single point strategically placed inside the angle. In this case the solution is in fact a self-similar tree (in the sense that it contains a homothetic copy of itself). Finally, we show how the position of the Steiner points in the Steiner tree can be described by a discrete dynamical system which turns out to be equivalent to a 2-interval piecewise linear contraction.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"22 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2025-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143713072","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Inefficiency of multiplicative approximate Nash equilibrium for scheduling games","authors":"Zhuyinan Wang, Chen Zhang, Zhiyi Tan","doi":"10.1007/s10878-025-01274-7","DOIUrl":"https://doi.org/10.1007/s10878-025-01274-7","url":null,"abstract":"<p>This paper studies the inefficiency of multiplicative approximate Nash Equilibrium for scheduling games. There is a set of machines and a set of jobs. Each job could choose one machine and be processed by the chosen one. A schedule is a <span>(theta )</span>-NE if no player has the incentive to deviate so that it decreases its cost by a factor larger than <span>(1+theta )</span>. The <span>(theta )</span>-NE is a generation of Nash Equilibrium and its inefficiency can be measured by the <span>(theta )</span>-PoA, which is also a generalization of the Price of Anarchy. For the game with the social cost of minimizing the makespan, the exact <span>(theta )</span>-PoA for any number of machines and any <span>(theta ge 0)</span> is obtained. For the game with the social cost of maximizing the minimum machine load, we present upper and lower bounds on the <span>(theta )</span>-PoA. Tight bounds are provided for cases where the number of machines is between 2 and 7 and for any <span>(theta ge 0)</span>.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"25 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2025-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143677849","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Exact and approximation algorithms for the multi-depot data mule scheduling with handling time and time span constraints","authors":"Minqin Liu, Wei Yu, Zhaohui Liu, Xinmeng Guo","doi":"10.1007/s10878-025-01280-9","DOIUrl":"https://doi.org/10.1007/s10878-025-01280-9","url":null,"abstract":"<p>In this paper, we investigate the data mule scheduling with handling time and time span constraints (DMSTC) in which the goal is to minimize the number of data mules dispatched from a depot that are used to serve target sensors located on a wireless sensor network. Each target sensor is associated with a handling time and each dispatched data mule must return to the original depot before time span <span>(D)</span>. We also study a variant of the DMSTC, denoted by DMSTC<span>(_l)</span> in which the objective is to minimize the total travel distance of the data mules dispatched. We give exact and approximation algorithms for the DMSTC/DMSTC<span>(_l)</span> on a path and their multi-depot version. For the DMSTC, we show an <span>(O(n^4))</span> polynomial time algorithm for the uniform 2-depot DMSTC on a path with at least one depot being on the endpoint of the path, where <span>(n)</span> indicates the number of target sensors and an instance of the DMSTC is called uniform if all the handling times are identical. We present a new 2-approximation algorithm for the non-uniform DMSTC on a path and conduct extensive computational experiments on randomly generated instances to show its good practical performance. For the DMSTC<span>(_l)</span>, we derive an <span>(O((n+k)^{2}))</span>-time algorithm for the uniform multi-depot DMSTC<span>(_l)</span> on a path, where <span>(k)</span> is the number of depots. For the non-uniform multi-depot DMSTC<span>(_l)</span> on a path or cycle, we give a 2-approximation algorithm.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"2 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2025-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143677850","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Single-machine scheduling with the learning effect of processing time and the deterioration effect of delivery time for prefabricated components","authors":"Na Li, Ran Ma, Yuzhong Zhang","doi":"10.1007/s10878-025-01271-w","DOIUrl":"https://doi.org/10.1007/s10878-025-01271-w","url":null,"abstract":"<p>In the production scheduling of prefabricated components, a scheduling model considering the learning effect of processing time and the deterioration effect of delivery time in this paper is provided. More precisely, it asks for an assignment of a series of independent prefabricated jobs that arrived over time to a single machine for processing, and once the execution of a job is finished, it will be transported to the destination. The information of each prefabricated job including its basic processing time <span>(b_{j})</span>, release time <span>(r_j)</span>, and deterioration rate <span>(e_j)</span> of delivery time is unknown in advance and is revealed upon the arrival of this job. Moreover, the actual processing time of prefabricated job <span>(J_j)</span> with learning effect is <span>(p_{j}=b_{j}(a-b t))</span>, where <i>a</i> and <i>b</i> are non-negative parameters and <i>t</i> denotes the starting time of prefabricated job <span>(J_j)</span>, respectively. And the delivery time of prefabricated job <span>(J_j)</span> is <span>(q_{j}=e_{j}C_{j})</span>. The goal of scheduling is to minimize the maximum time by which all jobs have been delivered. For the problem, we first analyze offline optimal scheduling and then propose an online algorithm with a competitive ratio of <span>(2-bb_{min })</span>. Furthermore, the effectiveness of the online algorithm is demonstrated by numerical experiments and managerial insights are derived.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"56 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2025-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143618466","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Some results on the total (zero) forcing number of a graph","authors":"Jianxi Li, Dongxin Tu, Wai Chee Shiu","doi":"10.1007/s10878-025-01268-5","DOIUrl":"https://doi.org/10.1007/s10878-025-01268-5","url":null,"abstract":"<p>Let <i>F</i>(<i>G</i>) and <span>(F_t(G))</span> be the zero forcing number and the total forcing number of a graph <i>G</i>, respectively. In this paper, we study the relationship between the total forcing number of a graph and its vertex covering number (or independence number), and prove that <span>(F_t(G) le Delta alpha (G))</span> and <span>(F_t(G) le (Delta - 1)beta (G) + 1)</span> for any connected graph <i>G</i> with the maximum degree <span>(Delta )</span>, where <span>(alpha (G))</span> and <span>(beta (G))</span> are the independence number and the vertex covering number of <i>G</i>. In particular, we prove that <span>(F_t(T) le F(T) + beta (T))</span> for any tree <i>T</i> and characterize all trees <i>T</i> with <span>(F_t(T) = F(T) + beta (T))</span>. At the same time, all trees <i>T</i> with <span>(F_t(T) = (Delta - 1)beta (T) + 1)</span> are completely characterized. In addition, we explore trees, unicycle graphs and Halin graphs satisfying <span>(F(G) le alpha (G)+1)</span>.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"49 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2025-03-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143589664","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Enhancing decision-making in cloud service provider selection using probabilistic p, q-rung orthopair fuzzy model","authors":"Pairote Yiarayong","doi":"10.1007/s10878-025-01269-4","DOIUrl":"https://doi.org/10.1007/s10878-025-01269-4","url":null,"abstract":"<p>Desktop cloud technology has revolutionized modern computing by enabling remote desktop functionality through cloud computing and virtualization. However, traditional fuzzy set theories struggle with the uncertainties inherent in these environments. This study addresses this gap by introducing the probabilistic <i>p</i>, <i>q</i>-rung orthopair fuzzy model, a novel extension that integrates probabilistic elements to improve precision and robustness in decision-making. Key contributions include the development of advanced aggregation operators, such as probabilistic weighted averaging and geometric operators, and their application in a multi-attribute decision-making algorithm. The model is validated through a case study on cloud service provider selection, demonstrating its effectiveness in supporting sustainable development and planning. The results show that the proposed model outperforms existing approaches, offering enhanced accuracy and reliability. This contribution advances decision-making frameworks in desktop cloud environments, fostering sustainability and improving the efficiency of daily office tasks.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"194 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2025-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143546321","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}