Graph Theory

    Graph Theory

    Default Latest Most Read
    Please wait a minute...
    For Selected: Toggle Thumbnails
    The Adjacency and Signless Laplacian Spectra of Cored Hypergraphs and Power Hypergraphs
    Jun-Jie Yue · Li-Ping Zhang· Mei Lu· Li-Qun Qi
    Journal of the Operations Research Society of China    2017, 5 (1): 27-.   DOI: 10.1007/s40305-016-0141-3
    Abstract9507)      PDF       Save
    In this paper, we study the adjacency and signless Laplacian tensors of cored hypergraphs and power hypergraphs. We investigate the properties of their adjacency and signlessLaplacian H-eigenvalues.Especially,wefind out the largest H-eigenvalues of adjacency and signless Laplacian tensors for uniform squids. We also compute the H-spectra of sunflowers and some numerical results are reported for the H-spectra.
    Related Articles | Metrics | Comments0
    Cited: Baidu(2)
    Combinatorial Algorithms for Reverse Selective Undesirable Center Location Problems on Cycle Graphs
    Roghayeh Etemad · Behrooz Alizadeh
    Journal of the Operations Research Society of China    2017, 5 (3): 347-361.   DOI: 10.1007/s40305-016-0144-0
    Abstract546)      PDF       Save

    This paper deals with a general variant of the reverse undesirable (obnoxious) center location problem on cycle graphs. Given a ‘selective’ subset of the vertices of the underlying cycle graph as location of the existing customers, the task is to modify the edge lengths within a given budget such that the minimum of distances between a predetermined undesirable facility location and the customer points is maximized under the perturbed edge lengths. We develop a combinatorial O(n log n) algorithm for the problem with continuous modifications. For the uniform-cost model, we solve this problem in linear time by an improved algorithm. Furthermore, exact solution methods are proposed for the problem with integer modifications.

    Related Articles | Metrics | Comments0
    Computing the Number of k-Component Spanning Forests of a Graph with Bounded Treewidth
    Peng-Fei Wan, Xin-Zhuang Chen
    Journal of the Operations Research Society of China    2019, 7 (2): 385-394.   DOI: 10.1007/s40305-019-00241-4
    Abstract207)      PDF       Save
    Let G be a graph on n vertices with bounded treewidth. We use fk(G) to denote the number of spanning forests of G with k components. Given a tree decomposition of width at most p of G, we present an algorithm to compute fk(G) for k=1, 2,…, n. The running time of our algorithm is O((B(p + 1))3 pn3), where B(p + 1) is the (p + 1)-th Bell number.
    Reference | Related Articles | Metrics | Comments0
    Convex Analysis and Duality over Discrete Domains
    Murat Adivar, Shu-Cherng Fang
    Journal of the Operations Research Society of China    2018, 6 (2): 189-247.   DOI: 10.1007/s40305-017-0158-2
    Abstract122)      PDF       Save

    The aim of this paper is to establish a fundamental theory of convex analysis for the sets and functions over a discrete domain. By introducing conjugate/biconjugate functions and a discrete duality notion for the cones over discrete domains, we study duals of optimization problems whose decision parameters are integers. In particular, we construct duality theory for integer linear programming, provide a discrete version of Slater’s condition that implies the strong duality and discuss the relationship between
    integrality and discrete convexity.

    Related Articles | Metrics | Comments0
    Complexity Analysis and Algorithm Design of Pooling Problem
    Yu-Hong Dai, Rui Diao, Kai Fu
    Journal of the Operations Research Society of China    2018, 6 (2): 249-266.   DOI: 10.1007/s40305-018-0193-7
    Abstract118)      PDF       Save

    The pooling problem, also called the blending problem, is fundamental in production planning of petroleum. It can be formulated as an optimization problem similar with the minimum-cost flow problem. However, Alfaki and Haugland (J Glob Optim 56:897–916,2013) proved the strong NP-hardness of the pooling problem in general case. They also pointed out that it was an open problem to determine the computational complexity of the pooling problem with a fixed number of qualities. In this paper, we prove that the pooling problem is still strongly NP-hard even with only one quality. This means the quality is an essential difference between minimum-cost flow problem and the pooling problem. For solving large-scale pooling problems in real applications, we adopt the non-monotone strategy to improve the traditional successive linear programming method. Global convergence of the algorithm is established. The numerical experiments show that the non-monotone strategy is effective to push the algorithm to explore the global minimizer or provide a good local minimizer. Our results for real problems from factories show that the proposed algorithm is competitive to the one embedded in the famous commercial software Aspen PIMS.

    Related Articles | Metrics | Comments0

    The g-Good-Neighbor Conditional Diagnosability of Locally Twisted Cubes

    Yu-Long Wei, Min Xu
    Journal of the Operations Research Society of China    2018, 6 (2): 333-347.   DOI: 10.1007/s40305-017-0166-2
    Abstract94)      PDF       Save

    In the work of Peng et al. (Appl Math Comput 218(21):10406–10412, 2012), a new measure was proposed for fault diagnosis of systems: namely g-good-neighbor conditional diagnosability, which requires that any fault-free vertex has at least g fault-free neighbors in the system. In this paper, we establish the g-good-neighbor conditional diagnosability of locally twisted cubes under the PMC model and the MM model.

    Related Articles | Metrics | Comments0
    Approximation Algorithms for Vertex Happiness
    Yao Xu, Yong Chen, Peng Zhang, Randy Goebel
    Journal of the Operations Research Society of China    2019, 7 (3): 429-448.   DOI: 10.1007/s40305-019-00260-1
    Abstract537)      PDF       Save
    We investigate the maximum happy vertices (MHV) problem and its complement, the minimum unhappy vertices (MUHV) problem. In order to design better approximation algorithms, we introduce the supermodular and submodular multi-labeling (Sup-ML and Sub-ML) problems and show that MHV and MUHV are special cases of Sup-ML and Sub-ML, respectively, by rewriting the objective functions as set functions. The convex relaxation on the Lovász extension, originally presented for the submodular multi-partitioningproblem,canbeextendedfortheSub-MLproblem,therebyproving that Sub-ML (Sup-ML, respectively) can be approximated within a factor of 2-2/k (2/k, respectively), where k is the number of labels. These general results imply that MHV and MUHV can also be approximated within factors of 2/k and 2-2/k, respectively, using the same approximation algorithms. For the MUHV problem, we also show that it is approximation-equivalent to the hypergraph multiway cut problem; thus, MUHV is Unique Games-hard to achieve a (2-2/k-ε)-approximation, for any ε > 0. For the MHV problem, the 2/k-approximation improves the previous best approximation ratio max{1/k, 1/Δ + 1/g(Δ) }, where Δ is the maximum vertex degree of the input graph and g(Δ)=(√Δ+√Δ+1)2 Δ > 4Δ2. We also show that an existing LP relaxation for MHV is the same as the concave relaxation on the Lovász extension for Sup-ML; we then prove an upper bound of 2/k on the integrality gap of this LP relaxation, which suggests that the 2/k-approximation is the best possible based on this LP relaxation. Lastly, we prove that it is Unique Games-hard to approximate the MHV problem within a factor of Ω(log2 k/k).
    Reference | Related Articles | Metrics | Comments0
    The Myerson Value on Local Structures of Coalitions
    Daniel Li Li, Er-Fang Shan
    Journal of the Operations Research Society of China    2019, 7 (3): 461-473.   DOI: 10.1007/s40305-019-00254-z
    Abstract751)      PDF       Save
    The Myerson value introduced by Mayerson (Math Oper Res 2:225-229, 1977) is a solution for cooperative games under the partial cooperation structures described by graphs, in which feasible coalitions are connected but their structures are ignored. To extend the Myerson value, we define a mapping to describe local structures of coalitions and obtain a new solution for cooperative games, called Myerson value with local structures. We propose an axiomatic characterization of the Myerson value associated with local cooperative structures.
    Reference | Related Articles | Metrics | Comments0
    Conditional Edge Connectivity of the Locally Twisted Cubes
    Hui Shang, Eminjan Sabir, Ji-Xiang Meng
    Journal of the Operations Research Society of China    2019, 7 (3): 501-509.   DOI: 10.1007/s40305-019-00259-8
    Abstract733)      PDF       Save
    The k-component edge connectivity k(G) of a non-complete graph G is the minimum number of edges whose deletion results in a graph with at least k components. In this paper, we extend some results by Guo et al. (Appl Math Comput 334:401-406, 2018) by determining the component edge connectivity of the locally twisted cubes LTQn, i.e., k+1(LTQn)=kn -exk/2 for 1 ≤ k ≤ 2[n/2], n ≥ 7, where exk=∑i=0s ti2ti +∑i=0si·2ti, and k is a positive integer with decomposition k=∑i=0s 2ti such that t0=⎣log2k⎦ and ti=⎣log2(k -∑r=0i-12tr)⎦ for i ≥ 1. As a by-product, we characterize the corresponding optimal solutions.
    Reference | Related Articles | Metrics | Comments0
    Super-Edge-Connectivity and Zeroth-Order Randić Index
    Zhi-Hong He, Mei Lu
    Journal of the Operations Research Society of China    2019, 7 (4): 615-628.   DOI: 10.1007/s40305-018-0221-7
    Abstract416)      PDF       Save
    Define the zeroth-order Randić index R0(G)=∑xV(G) 1/√dG (x), where dG(x) denotes the degree of the vertex x. In this paper, we present two sufficient conditions for graphs and triangle-free graphs to be super-edge-connected in terms of the zeroth-order Randić index, respectively.
    Reference | Related Articles | Metrics | Comments0
    Connectivity of Minimum Non-5-injectively Colorable Planar Cubic Graphs
    Jing Jin, Bao-Gang Xu
    Journal of the Operations Research Society of China    2020, 8 (1): 105-116.   DOI: 10.1007/s40305-018-0214-6
    Abstract298)      PDF       Save
    Suppose that G is a planar cubic graph with χi(G)> 5. We show that if χi(H) <χi(G) for each planar cubic graph H of order less than G, then G is either a 3-connected simple planar cubic graph, or a planar graph obtained from a simple cubic 3-connected planar graph by adding some earrings. This shows that a minimum non-5-injectively colorable simple planar cubic graph must be 3-connected.
    Reference | Related Articles | Metrics | Comments0
    Optimal Algorithms for Integer Inverse Undesirable p-Median Location Problems on Weighted Extended Star Networks
    Esmaeil Afrashteh, Behrooz Alizadeh, Fahimeh Baroughi
    Journal of the Operations Research Society of China    2021, 9 (1): 99-117.   DOI: 10.1007/s40305-018-0229-z
    Abstract1185)      PDF       Save
    This paper is concerned with the problem of modifying the edge lengths of a weighted extended star network with n vertices by integer amounts at the minimum total cost subject to be given modification bounds so that a set of p prespecified vertices becomes an undesirable p-median location on the perturbed network. We call this problem as the integer inverse undesirable p-median location model. Exact combinatorial algorithms with $\mathcal{O}({p^2}\;n\;\log \;n)$ and $\mathcal{O}({p^2}(n\;\log \;n + n\;\log \;\eta {}_{\max }))$ running times are proposed for solving the problem under the weighted rectilinear and weighted Chebyshev norms, respectively. Furthermore, it is shown that the problem under the weighted sum-type Hamming distance with uniform modification bounds can be solved in $\mathcal{O}({p^2}\;n\;\log \;n)$ time.
    Reference | Related Articles | Metrics | Comments0
    Sufficient Conditions for Maximally Edge-Connected Hypergraphs
    Lin-Ken Tong, Er-Fang Shan
    Journal of the Operations Research Society of China    2021, 9 (1): 119-129.   DOI: 10.1007/s40305-018-0224-4
    Abstract1195)      PDF       Save
    The edge-connectivity of a graph or a hypergraph is defined as the minimum number of edges whose removal renders the graph or hypergraph disconnected. A graph or hypergraph is called maximally edge-connected if the edge-connectivity equals its minimum degree. In this paper, we show that some classical sufficient conditions for graphs to be maximally edge-connected can be generalized to hypergraphs.
    Reference | Related Articles | Metrics | Comments0
    Linear Arboricity of Outer-1-Planar Graphs
    Xin Zhang, Bi Li
    Journal of the Operations Research Society of China    2021, 9 (1): 181-193.   DOI: 10.1007/s40305-019-00243-2
    Abstract1322)      PDF       Save
    A graph is outer-1-planar if it can be drawn in the plane so that all vertices are on the outer face and each edge is crossed at most once. Zhang et al. (Edge covering pseudoouterplanar graphs with forests, Discrete Math 312:2788-2799, 2012; MR2945171) proved that the linear arboricity of every outer-1-planar graph with maximum degree △ is exactly 「△/2」 provided that △ = 3 or △ ≥ 5 and claimed that there are outer-1-planar graphs with maximum degree △ = 4 and linear arboricity 「(△ + 1)/2」 = 3. It is shown in this paper that the linear arboricity of every outer-1-planar graph with maximum degree 4 is exactly 2 provided that it admits an outer-1-planar drawing with crossing distance at least 1 and crossing width at least 2, and moreover, none of the above constraints on the crossing distance and crossing width can be removed. Besides, a polynomial-time algorithm for constructing a path-2-coloring (i.e., an edge 2-coloring such that each color class induces a linear forest, a disjoint union of paths) of such an outer-1-planar drawing is given.
    Reference | Related Articles | Metrics | Comments0
    Binary Operations for the Lattice Structure in a Many-to-Many Matching Model
    Paola Belén Manasero
    Journal of the Operations Research Society of China    2021, 9 (1): 207-228.   DOI: 10.1007/s40305-019-00246-z
    Abstract1296)      PDF       Save
    The lattice structure of the set of stable matchings in many-to-many matching model is well known in literature. If preferences of the agents are substitutable, this result can be obtained by fixed-point methods, for that purpose an algorithm for finding a fixed-point matching is defined. Since the fixed-point set equals the set of stable matchings, the latter has a lattice structure too. In this paper, we consider a many-to-many matching market where the preferences of firms satisfy substitutability and the law of aggregate demand, and workers have responsive preferences. In this many-to-many matching market, we explicitly compute for any pair of stable matchings the least upper bound and the greatest lower bound, without using fixed-point methods.
    Reference | Related Articles | Metrics | Comments0
    On the Vertex Cover Number of 3-Uniform Hypergraph
    Zhuo Diao
    Journal of the Operations Research Society of China    2021, 9 (2): 427-440.   DOI: 10.1007/s40305-019-00284-7
    Abstract2284)      PDF       Save
    Given a hypergraph H(V, E), a set of vertices SV is a vertex cover if every edge has at least one vertex in S. The vertex cover number is the minimum cardinality of a vertex cover, denoted by τ(H). In this paper, we prove that for every 3-uniform connected hypergraphH(V, E), τ(H) ≤ 2m/3+1 holds on where m is the number of edges. Furthermore, the equality holds on if and only if H(V, E) is a hypertree with perfect matching.
    Reference | Related Articles | Metrics | Comments0
    Inverse Maximum Flow Problem Under the Combination of the Weighted l2 Norm and the Weighted Hamming Distance
    Long-Cheng Liu, Han Gao, Chao Li
    Journal of the Operations Research Society of China    2021, 9 (2): 465-474.   DOI: 10.1007/s40305-019-00273-w
    Abstract2314)      PDF       Save
    The idea of the inverse optimization problem is to adjust the values of the parameters so that the observed feasible solutions are indeed optimal. The modification cost is measured by different norms, such as l1, l2, l norms and the Hamming distance, and the goal is to adjust the parameters as little as possible. In this paper, we consider the inverse maximum flow problem under the combination of the weighted l2 norm and the weighted Hamming distance, i.e., the modification cost is fixed in a given interval and depends on the modification out of the given interval. We present a combinatorial algorithm which can be finished in O(nm) to solve it due to the minimum cut of the residual network.
    Reference | Related Articles | Metrics | Comments0
    Stable Matchings in the Marriage Model with Indifferences
    Noelia Juarez, Jorge Oviedo
    Journal of the Operations Research Society of China    2021, 9 (3): 593-617.   DOI: 10.1007/s40305-020-00315-8
    Abstract1176)      PDF       Save
    For the marriage model with indifferences, we define an equivalence relation over the stable matching set. We identify a sufficient condition, the closing property, under which we can extend results of the classical model (without indifferences) to the equivalence classes of the stable matching set. This condition allows us to extend the lattice structure over classes of equivalences and the rural hospital theorem.
    Reference | Related Articles | Metrics | Comments0
    Approximation Algorithms on k-Cycle Transversal and k-Clique Transversal
    Zhong-Zheng Tang, Zhuo Diao
    Journal of the Operations Research Society of China    2021, 9 (4): 883-892.   DOI: 10.1007/s40305-020-00335-4
    Abstract2057)      PDF       Save
    Given a weighted graph $G=(V, E)$ with weight $w: E \rightarrow \mathbb{Z}^{+}$, a $k$-cycle transversal is an edge subset $A$ of $E$ such that $G-A$ has no $k$-cycle. The minimum weight of $k$ cycle transversal is the weighted transversal number on $k$-cycle, denoted by $\tau_{k}\left(G_{w}\right)$. In this paper, we design a $(k-1 / 2)$-approximation algorithm for the weighted transversal number on $k$-cycle when $k$ is odd. Given a weighted graph $G=(V, E)$ with weight $w: E \rightarrow \mathbb{Z}^{+}$, a $k$-clique transversal is an edge subset $A$ of $E$ such that $G-A$ has no $k$-clique. The minimum weight of $k$-clique transversal is the weighted transversal number on $k$-clique, denoted by $\widetilde{\tau_{k}}\left(G_{w}\right)$. In this paper, we design a $\left(k^{2}-k-1\right) / 2-$ approximation algorithm for the weighted transversal number on $k$-clique. Last, we discuss the relationship between $k$-clique covering and $k$-clique packing in complete graph $K_{n}$.
    Reference | Related Articles | Metrics | Comments0