{"title":"Proper colorability of segment intersection graphs","authors":"Robert D. Barish, Tetsuo Shibuya","doi":"10.1007/s10878-024-01149-3","DOIUrl":"https://doi.org/10.1007/s10878-024-01149-3","url":null,"abstract":"<p>We consider the vertex proper coloring problem for highly restricted instances of geometric intersection graphs of line segments embedded in the plane. Provided a graph in the class UNIT-PURE-<i>k</i>-DIR, corresponding to intersection graphs of unit length segments lying in at most <i>k</i> directions with all parallel segments disjoint, and provided explicit coordinates for segments whose intersections induce the graph, we show for <span>(k = 4)</span> that it is <i>NP</i>-complete to decide if a proper 3-coloring exists, and moreover, <span>(#P)</span>-complete under many-one counting reductions to determine the number of such colorings. In addition, under the more relaxed constraint that segments have at most two distinct lengths, we show these same hardness results hold for finding and counting proper <span>(left( k-1right) )</span>-colorings for every <span>(k ge 5)</span>. More generally, we establish that the problem of proper 3-coloring an arbitrary graph with <i>m</i> edges can be reduced in <span>({mathcal {O}}left( m^2right) )</span> time to the problem of proper 3-coloring a UNIT-PURE-4-DIR graph. This can then be shown to imply that no <span>(2^{oleft( sqrt{n}right) })</span> time algorithm can exist for proper 3-coloring PURE-4-DIR graphs under the Exponential Time Hypothesis (ETH), and by a slightly more elaborate construction, that no <span>(2^{oleft( sqrt{n}right) })</span> time algorithm can exist for counting the such colorings under the Counting Exponential Time Hypothesis (#ETH). Finally, we prove an <i>NP</i>-hardness result for the optimization problem of finding a maximum order proper 3-colorable induced subgraph of a UNIT-PURE-4-DIR graph.\u0000</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"56 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140845654","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":"The doubly metric dimensions of cactus graphs and block graphs","authors":"Kairui Nie, Kexiang Xu","doi":"10.1007/s10878-024-01168-0","DOIUrl":"https://doi.org/10.1007/s10878-024-01168-0","url":null,"abstract":"<p>Given a connected graph <i>G</i>, two vertices <span>(u,vin V(G))</span> doubly resolve <span>(x,yin V(G))</span> if <span>(d_{G}(x,u)-d_{G}(y,u)ne d_{G}(x,v)-d_{G}(y,v))</span>. The doubly metric dimension <span>(psi (G))</span> of <i>G</i> is the cardinality of a minimum set of vertices that doubly resolves each pair of vertices from <i>V</i>(<i>G</i>). It is well known that deciding the doubly metric dimension of <i>G</i> is NP-hard. In this work we determine the exact values of doubly metric dimensions of unicyclic graphs which completes the known result. Furthermore, we give formulae for doubly metric dimensions of cactus graphs and block graphs.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"22 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140845466","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":"Verifying the first nonzero term: physical ZKPs for ABC End View, Goishi Hiroi, and Toichika","authors":"Suthee Ruangwises","doi":"10.1007/s10878-024-01170-6","DOIUrl":"https://doi.org/10.1007/s10878-024-01170-6","url":null,"abstract":"<p>In this paper, we propose a physical protocol to verify the first nonzero term of a sequence using a deck of cards. The protocol lets a prover show the value of the first nonzero term of a given sequence to a verifier without revealing which term it is. Our protocol uses <span>(varTheta (1))</span> shuffles, which is asymptotically lower than that of an existing protocol of Fukusawa and Manabe which uses <span>(varTheta (n))</span> shuffles, where <i>n</i> is the length of the sequence. We also apply our protocol to construct zero-knowledge proof protocols for three well-known logic puzzles: ABC End View, Goishi Hiroi, and Toichika. These protocols enable a prover to physically show that he/she know solutions of the puzzles without revealing them.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"26 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140845485","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":"Planar graphs are acyclically edge $$(Delta + 5)$$ -colorable","authors":"Qiaojun Shu, Guohui Lin","doi":"10.1007/s10878-024-01165-3","DOIUrl":"https://doi.org/10.1007/s10878-024-01165-3","url":null,"abstract":"<p>An edge coloring of a graph <i>G</i> is to color all its edges such that adjacent edges receive different colors. It is acyclic if the subgraph induced by any two colors does not contain a cycle. Fiamcik (Math Slovaca 28:139-145, 1978) and Alon et al. (J Graph Theory 37:157-167, 2001) conjectured that every simple graph with maximum degree <span>(Delta )</span> is acyclically edge <span>((Delta + 2))</span>-colorable — the well-known acyclic edge coloring conjecture. Despite many major breakthroughs and minor improvements, the conjecture remains open even for planar graphs. In this paper, we prove that planar graphs are acyclically edge <span>((Delta + 5))</span>-colorable. Our proof has two main steps: Using discharging methods, we first show that every non-trivial planar graph contains a local structure in one of the eight characterized groups; we then deal with each local structure to color the edges in the graph acyclically using no more than <span>(Delta + 5)</span> colors by an induction on the number of edges.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"89 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140651402","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}
Sundeep Raj, Sandesh Tripathi, K. C. Tripathi, Rajendra Kumar Bharti
{"title":"Hybrid optimized deep recurrent neural network for atmospheric and oceanic parameters prediction by feature fusion and data augmentation model","authors":"Sundeep Raj, Sandesh Tripathi, K. C. Tripathi, Rajendra Kumar Bharti","doi":"10.1007/s10878-024-01159-1","DOIUrl":"https://doi.org/10.1007/s10878-024-01159-1","url":null,"abstract":"<p>In recent years climate prediction has obtained more attention to mitigate the impact of natural disasters caused by climatic variability. Efficient and effective climate prediction helps palliate negative consequences and allows favourable conditions for managing the resources optimally through proper planning. Due to the environmental, geopolitical and economic consequences, forecasting of atmospheric and oceanic parameters still results in a challenging task. An efficient prediction technique named Sea Lion Autoregressive Deer Hunting Optimization-based Deep Recurrent Neural Network (SLArDHO-based Deep RNN) is developed in this research to predict the oceanic and atmospheric parameters. The extraction of technical indicators makes the devised method create optimal and accurate prediction outcomes by employing the deep learning framework. The classifier uses more training samples and this can be generated by augmenting the data samples using the oversampling method. The atmospheric and the oceanic parameters are considered for the prediction strategy using the Deep RNN classifier. Here, the weights of the Deep RNN classifier are optimally tuned by the SLArDHO algorithm to find the best value based on the fitness function. The devised method obtains minimum mean squared error (MSE), root mean square error (RMSE), mean absolute error (MAE) of 0.020, 0.142, and 0.029 for the All India Rainfall Index (AIRI) dataset.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"127 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140807367","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":"Constrained heterogeneous two-facility location games with sum-variant","authors":"Qi Zhao, Wenjing Liu, Qingqin Nong, Qizhi Fang","doi":"10.1007/s10878-024-01163-5","DOIUrl":"https://doi.org/10.1007/s10878-024-01163-5","url":null,"abstract":"<p>We study deterministic mechanism design for constrained heterogeneous two-facility location games. The constraint here means that the feasible locations of facilities are specified and the number of facilities that can be built at each feasible location is limited. Given that a set of agents can strategically report their locations on the real line, the authority wants to design strategyproof mechanisms (i.e., mechanisms that can incentivize agents to report truthful private information) to construct two heterogeneous facilities under constraint, while optimizing the corresponding social objectives. Assuming that each agent’s individual objective depends on the sum of her distance to facilities, we consider locating desirable and obnoxious facilities respectively. For the former, we give a deterministic group strategyproof mechanism, which guarantees 3-approximation under the objectives of minimizing the sum cost and the maximum cost. We show that no deterministic strategyproof mechanism can have an approximation ratio of less than 2 under the sum/maximum cost objective. For the latter, we give a deterministic group strategyproof mechanism with 2-approximation under the objectives of maximizing the sum utility and the minimum utility. We show that no deterministic strategyproof mechanism can have an approximation ratio of less than 3/2 under the sum utility objective and 2 under the minimum utility objective, respectively.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"20 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140807380","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":"Approximation algorithm for the minimum partial connected Roman dominating set problem","authors":"Yaoyao Zhang, Zhao Zhang, Ding-Zhu Du","doi":"10.1007/s10878-024-01124-y","DOIUrl":"https://doi.org/10.1007/s10878-024-01124-y","url":null,"abstract":"<p>Given a graph <span>(G=(V,E))</span> and a function <span>(r:Vmapsto {0,1,2})</span>, a node <span>(vin V)</span> is said to be <i>Roman dominated</i> if <span>(r(v)=1)</span> or there exists a node <span>(uin N_G[v])</span> such that <span>(r(u)=2)</span>, where <span>( N_G[v])</span> is the closed neighbor set of <i>v</i> in <i>G</i>. For <span>(iin {0,1,2})</span>, denote <span>(V_r^i)</span> as the set of nodes with value <i>i</i> under function <i>r</i>. The cost of <i>r</i> is defined to be <span>(c(r)=|V_r^1|+2|V_r^2|)</span>. Given a positive integer <span>(Qle |V|)</span>, the <i>minimum partial connected Roman dominating set</i> (MinPCRDS) problem is to compute a minimum cost function <i>r</i> such that at least <i>Q</i> nodes in <i>G</i> are Roman dominated and the subgraph of <i>G</i> induced by <span>(V_r^1cup V_r^2)</span> is connected. In this paper, we give a <span>((3ln |V|+9))</span>-approximation algorithm for the MinPCRDS problem.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"39 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140651413","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":"Spread of influence with incentives in edge-weighted graphs with emphasis on some families of graphs","authors":"Siavash Askari, Manouchehr Zaker","doi":"10.1007/s10878-024-01164-4","DOIUrl":"https://doi.org/10.1007/s10878-024-01164-4","url":null,"abstract":"<p>Let <span>(G=(V, E))</span> be a graph that represents an underlying network. Let <span>(tau )</span> (resp. <span>({textbf{p}})</span>) be an assignment of non-negative integers as thresholds (resp. incentives) to the vertices of <i>G</i>. The discrete time activation process with incentives corresponding to <span>((G, tau , {textbf{p}}))</span> is the following. First, all vertices <i>u</i> with <span>({textbf{p}}(u)ge tau (u))</span> are activated. Then at each time <i>t</i>, every vertex <i>u</i> gets activated if the number of previously activated neighbors of <i>u</i> plus <span>({textbf{p}}(u))</span> is at least <span>(tau (v))</span>. The optimal target vector problem (OTV) is to find the minimum total incentives <span>({sum }_{vin V} {textbf{p}}(v))</span> that activates the whole network. We extend this model of activation with incentives, for graphs with weighted edges such that the spread of activation in the network depends on the weight of influence between any two participants. The new version is more realistic for the real world networks. We first prove that the new problem OTVW, is <span>(texttt {NP})</span>-complete even for the complete graphs. Two lower bounds for the minimum total incentives are presented. Next, we prove that OTVW has polynomial time solutions for (weighted) path and cycle graphs. Finally, we extend the discussed model and OTV, for bi-directed graphs with weighted edges and prove that to obtain the optimal target vector in weighted bi-directed paths and cycles has polynomial time solutions.\u0000</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"51 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140642742","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":"Approximation algorithms for maximum weighted target cover problem with distance limitations","authors":"Jianhong Jin, Yingli Ran, Zhao Zhang","doi":"10.1007/s10878-024-01166-2","DOIUrl":"https://doi.org/10.1007/s10878-024-01166-2","url":null,"abstract":"<p>In this paper, we study approximation algorithms for the problem of <i>maximum weighted target cover with distance limitations</i> (MaxWTCDL). Given <i>n</i> targets <span>(T=left{ t_{1},t_{2},ldots ,t_{n}right} )</span> on the plane and <i>m</i> mobile sensors <span>(S=left{ s_{1},s_{2},ldots ,s_{m}right} )</span> randomly deployed on the plane, each target <span>(t_i)</span> has a weight <span>(w_{i})</span> and the sensing radius of the mobile sensors is <span>(r_{s})</span>, suppose there is a movement distance constraint <i>b</i> for each sensor and a total movement distance constraint <i>B</i>, where <span>(B>b)</span>, the goal of MaxWTCDL is to move the mobile sensors within the distance constraints <i>b</i> and <i>B</i> to maximize the weight of covered targets. We present two polynomial time approximation algorithms. One is greedy-based, achieving approximation ratio <span>(frac{1}{2v})</span> in time <span>(O(mn^2))</span>, where . The other is LP-based, achieving approximation ratio <span>(frac{1}{v}(1-e^{-1}))</span> in time <span>(T_{LP})</span>, where <span>(T_{LP})</span> is the time needed to solve the linear program.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"39 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140637638","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":"Cooperation models in automotive supply chain under low-carbon emission reduction policies","authors":"Yukun Cheng, Zhanghao Yao, Tingting Meng","doi":"10.1007/s10878-024-01160-8","DOIUrl":"https://doi.org/10.1007/s10878-024-01160-8","url":null,"abstract":"<p>For the issue of carbon emission mitigation within the automotive supply chain, the cooperation between the vehicle manufacturers and the retailers has been proved to be an efficient measure to enhance emission reduction endeavors. This paper aims to evaluate the effectiveness of the cooperations between a vehicle manufacturer and multiple retailers based on the differential game method. By utilizing the Hamilton–Jacobi–Bellman equation, the equilibrium strategies of the participants under two different cooperation models, i.e., the decentralized model and the Stackelberg leader–follower cooperation model, are analyzed. To be specific, in the decentralized model, each participant independently decides its strategies, whereas the manufacturer cooperates with retailers by offering subsidies in the Stackelberg leader–follower model. Unlike previous studies that solely focused on participants’ decision-making in carbon emission reduction efforts, this paper also examines the retail pricing decisions of the retailers. Additionally, carbon trading is introduced to enhance the realism of our model. Through the theoretical analysis and the numerical experiments on the carbon emission reduction efforts of manufacturers and retailers, as well as the low-carbon reputation of vehicles and the overall system profit under both models, we conclude that the cooperative Stackelberg model outperforms the decentralized model in providing benefits to both parties. Furthermore, such a cooperative approach can foster the long-term development of the automotive supply chain, ultimately contributing to a more sustainable low-carbon future.</p>","PeriodicalId":50231,"journal":{"name":"Journal of Combinatorial Optimization","volume":"122 1","pages":""},"PeriodicalIF":1.0,"publicationDate":"2024-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140622736","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}