Acyclic edge colorings of planar graphs and series parallel graphs
HOU JianFeng; WU JianLiang; LIU GuiZhen; LIU Bin
2009-01-01
A proper edge coloring of a graph G is called acyclic if there is no 2-colored cycle in G.The acyclic edge chromatic number of G,denoted by a'(G),is the least number of colors in an acyclic edge coloring of G.Alon et al.conjectured that a'(G) ≤△(G) +2 for any graphs.For planar graphs G with girth g(G),we prove that a'(G) ≤ max{2△(G)-2,△(G) +22} if g(G) ≥3,a'(G)≤△(G)+2if g(G) ≥ 5,a'(G) ≤△(G)+1 if g(G) ≥ 7,and a'(G)=△(G) if g(G) ≥ 16 and △(G) ≥ 3.For series-parallel graphs G,we have a'(G) ≤ △(G) +1.
Acyclic edge colorings of planar graphs and series-parallel graphs
无
2009-01-01
A proper edge coloring of a graph G is called acyclic if there is no 2-colored cycle in G. The acyclic edge chromatic number of G, denoted by a (G), is the least number of colors in an acyclic edge coloring of G. Alon et al. conjectured that a (G) Δ(G) + 2 for any graphs. For planar graphs G with girth g(G), we prove that a (G) max{2Δ(G) + 2, Δ(G) + 22} if g(G) 3, a (G) Δ(G) + 2 if g(G) 5, a (G) Δ(G) + 1 if g(G) 7, and a (G) = Δ(G) if g(G) 16 and Δ(G) 3. For series-parallel graphs G, we have a (G) Δ(G) + 1.
Decomposing series-parallel graphs into paths of length 3 and triangles
Merker, Martin
2015-01-01
An old conjecture by Jünger, Reinelt and Pulleyblank states that every 2-edge-connected planar graph can be decomposed into paths of length 3 and triangles, provided its size is divisible by 3. We prove the conjecture for a class of planar graphs including all 2-edge-connected series-parallel gra...
Sums of squares and negative correlation for spanning forests of series parallel graphs
Erickson, Alejandro
2010-01-01
We provide new evidence that spanning forests of graphs satisfy the same negative correlation properties as spanning trees, derived from Lord Rayleigh's monotonicity property for electrical networks. The main result of this paper is that the Rayleigh difference for the spanning forest generating polynomial of a series parallel graph can be expressed as a certain positive sum of monomials times squares of polynomials. We also show that every regular matroid is independent-set-Rayleigh if and only if every basis-Rayleigh binary matroid is also independent-set-Rayleigh.
Hard graphs for the maximum clique problem
Hoede, Cornelis
1988-01-01
The maximum clique problem is one of the NP-complete problems. There are graphs for which a reduction technique exists that transforms the problem for these graphs into one for graphs with specific properties in polynomial time. The resulting graphs do not grow exponentially in order and number. Gra
Maximum Estrada Index of Bicyclic Graphs
Wang, Long; Wang, Yi
2012-01-01
Let $G$ be a simple graph of order $n$, let $\\lambda_1(G),\\lambda_2(G),...,\\lambda_n(G)$ be the eigenvalues of the adjacency matrix of $G$. The Esrada index of $G$ is defined as $EE(G)=\\sum_{i=1}^{n}e^{\\lambda_i(G)}$. In this paper we determine the unique graph with maximum Estrada index among bicyclic graphs with fixed order.
On maximum cycle packings in polyhedral graphs
Peter Recht
2014-04-01
Full Text Available This paper addresses upper and lower bounds for the cardinality of a maximum vertex-/edge-disjoint cycle packing in a polyhedral graph G. Bounds on the cardinality of such packings are provided, that depend on the size, the order or the number of faces of G, respectively. Polyhedral graphs are constructed, that attain these bounds.
A Maximum Resonant Set of Polyomino Graphs
Zhang Heping
2016-05-01
Full Text Available A polyomino graph P is a connected finite subgraph of the infinite plane grid such that each finite face is surrounded by a regular square of side length one and each edge belongs to at least one square. A dimer covering of P corresponds to a perfect matching. Different dimer coverings can interact via an alternating cycle (or square with respect to them. A set of disjoint squares of P is a resonant set if P has a perfect matching M so that each one of those squares is M-alternating. In this paper, we show that if K is a maximum resonant set of P, then P − K has a unique perfect matching. We further prove that the maximum forcing number of a polyomino graph is equal to the cardinality of a maximum resonant set. This confirms a conjecture of Xu et al. [26]. We also show that if K is a maximal alternating set of P, then P − K has a unique perfect matching.
Integer Programming Model for Maximum Clique in Graph
YUAN Xi-bo; YANG You; ZENG Xin-hai
2005-01-01
The maximum clique or maximum independent set of graph is a classical problem in graph theory. Combined with Boolean algebra and integer programming, two integer programming models for maximum clique problem,which improve the old results were designed in this paper. Then, the programming model for maximum independent set is a corollary of the main results. These two models can be easily applied to computer algorithm and software, and suitable for graphs of any scale. Finally the models are presented as Lingo algorithms, verified and compared by several examples.
Improved Minimum Cuts and Maximum Flows in Undirected Planar Graphs
Italiano, Giuseppe F
2010-01-01
In this paper we study minimum cut and maximum flow problems on planar graphs, both in static and in dynamic settings. First, we present an algorithm that given an undirected planar graph computes the minimum cut between any two given vertices in O(n log log n) time. Second, we show how to achieve the same O(n log log n) bound for the problem of computing maximum flows in undirected planar graphs. To the best of our knowledge, these are the first algorithms for those two problems that break the O(n log n) barrier, which has been standing for more than 25 years. Third, we present a fully dynamic algorithm that is able to maintain information about minimum cuts and maximum flows in a plane graph (i.e., a planar graph with a fixed embedding): our algorithm is able to insert edges, delete edges and answer min-cut and max-flow queries between any pair of vertices in O(n^(2/3) log^3 n) time per operation. This result is based on a new dynamic shortest path algorithm for planar graphs which may be of independent int...
Parsing Flowcharts and Series-Parallel Graphs
1978-11-01
still in progress. Luis Trabb Pardo ( hermano .) who listened patiently to many hours of half-baked ideas -- without retaliating -- and remained a friend...only if a = b or there exists a sequence of elements of S, aa 2 ... k such that a = a, ak =b and ai - ai+1 for I < i < k . 15 h!I II § 1 An element, a...there is a bound on the length of the longest sequence al, a2 ,...,ak such that a, = a and ai - ai+1 for 1 < i < k . A replacement system (S,-) is
Exact parallel maximum clique algorithm for general and protein graphs.
Depolli, Matjaž; Konc, Janez; Rozman, Kati; Trobec, Roman; Janežič, Dušanka
2013-09-23
A new exact parallel maximum clique algorithm MaxCliquePara, which finds the maximum clique (the fully connected subgraph) in undirected general and protein graphs, is presented. First, a new branch and bound algorithm for finding a maximum clique on a single computer core, which builds on ideas presented in two published state of the art sequential algorithms is implemented. The new sequential MaxCliqueSeq algorithm is faster than the reference algorithms on both DIMACS benchmark graphs as well as on protein-derived product graphs used for protein structural comparisons. Next, the MaxCliqueSeq algorithm is parallelized by splitting the branch-and-bound search tree to multiple cores, resulting in MaxCliquePara algorithm. The ability to exploit all cores efficiently makes the new parallel MaxCliquePara algorithm markedly superior to other tested algorithms. On a 12-core computer, the parallelization provides up to 2 orders of magnitude faster execution on the large DIMACS benchmark graphs and up to an order of magnitude faster execution on protein product graphs. The algorithms are freely accessible on http://commsys.ijs.si/~matjaz/maxclique.
Exploring the Constrained Maximum Edge-weight Connected Graph Problem
Zhen-ping Li; Shi-hua Zhang; Xiang-Sun Zhang; Luo-nan Chen
2009-01-01
Given an edge weighted graph,the maximum edge-weight connected graph (MECG) is a connected subgraph with a given number of edges and the maximal weight sum.Here we study a special case,i.e.the Constrained Maximum Edge-Weight Connected Graph problem (CMECG),which is an MECG whose candidate subgraphs must include a given set of k edges,then also called the k-CMECG.We formulate the k-CMECG into an integer linear programming model based on the network flow problem.The k-CMECG is proved to be NP-hard.For the special case 1-CMECG,we propose an exact algorithm and a heuristic algorithm respectively.We also propose a heuristic algorithm for the k-CMECG problem.Some simulations have been done to analyze the quality of these algorithms.Moreover,we show that the algorithm for 1-CMECG problem can lead to the solution of the general MECG problem.
Delocalized Epidemics on Graphs: A Maximum Entropy Approach
Sahneh, Faryad Darabi; Scoglio, Caterina
2016-01-01
The susceptible--infected--susceptible (SIS) epidemic process on complex networks can show metastability, resembling an endemic equilibrium. In a general setting, the metastable state may involve a large portion of the network, or it can be localized on small subgraphs of the contact network. Localized infections are not interesting because a true outbreak concerns network--wide invasion of the contact graph rather than localized infection of certain sites within the contact network. Existing approaches to localization phenomenon suffer from a major drawback: they fully rely on the steady--state solution of mean--field approximate models in the neighborhood of their phase transition point, where their approximation accuracy is worst; as statistical physics tells us. We propose a dispersion entropy measure that quantifies the localization of infections in a generic contact graph. Formulating a maximum entropy problem, we find an upper bound for the dispersion entropy of the possible metastable state in the exa...
Bicyclic graphs with maximum sum of the two largest Laplacian eigenvalues
Yirong Zheng
2016-11-01
Full Text Available Abstract Let G be a simple connected graph and S 2 ( G $S_{2}(G$ be the sum of the two largest Laplacian eigenvalues of G. In this paper, we determine the bicyclic graph with maximum S 2 ( G $S_{2}(G$ among all bicyclic graphs of order n, which confirms the conjecture of Guan et al. (J. Inequal. Appl. 2014:242, 2014 for the case of bicyclic graphs.
Plane Graphs with Maximum Degree 5 Are 11-Linear-Colorable
Kan WANG; Weifan WANG
2012-01-01
A linear coloring of a graph G is a proper vertex coloring such that the graph induced by the vertices of any two color classes is the union of vertex-disjoint paths.The linear chromatic number lc(G) of G is the smallest number of colors in a linear coloring of G.In this paper,we prove that every planar graph G with maximum degree 5 is 11-linear-colorable.
Maximum matching by convex quadratic programming based o an adverse graph conjecture
Pacheco, Maria F.; Cardoso, Domingos Moreira; Luz, Carlos J.
2012-01-01
In this talk, we describe a procedure for determining a maximum stable set in a graph with convex-$QP$ stability number (which is a graph whose stability number can be determined by solving a convex quadratic programming problem) unless there is a subgraph for which neither the optimal value of the convex quadratic program nor the least adjacency eigenvalue changes when the neighborhood of any vertex is deleted. Such a graph is called adverse. Assuming the trueness of the adver...
On the maximum number of cycles in a planar graph
Aldred, R.E.L.; Thomassen, Carsten
2008-01-01
Let G be a graph on p vertices with q edges and let r = q - p + 1. We show that G has at most 15/162(r) cycles. We also show that if G is planar, then G has at most 2(r-1) + o(2(r-1)) cycles. The planar result is best possible in the sense that any prism, that is, the Cartesian product of a cycle...
A Suffcient Condition for Planar Graphs with Maximum Degree 8 to Be 9-totally Colorable
Jian Sheng CAI; Chang Chun TENG; Gui Ying YAN
2014-01-01
A total k-coloring of a graph G is a coloring of V (G)∪E (G) using k colors such that no two adjacent or incident elements receive the same color. The total chromatic number χ ''(G) is the smallest integer k such that G has a total k-coloring. It is known that if a planar graph G has maximum degreeΔ≥9, thenχ ''(G)=Δ+1. In this paper, we prove that if G is a planar graph with maximum degree 8 and without a fan of four adjacent 3-cycles, thenχ ??(G)=9.
$\\ell_0$-penalized maximum likelihood for sparse directed acyclic graphs
van de Geer, Sara
2012-01-01
We consider the problem of regularized maximum likelihood estimation for the structure and parameters of a high-dimensional, sparse directed acyclic graphical (DAG) model with Gaussian distribution, or equivalently, of a Gaussian structural equation model. We show that the $\\ell_0$-penalized maximum likelihood estimator of a DAG has about the same number of edges as the minimal-edge I-MAP (a DAG with minimal number of edges representing the distribution), and that it converges in Frobenius norm. We allow the number of nodes $p$ to be much larger than sample size $n$ but assume a sparsity condition and that any representation of the true DAG has at least a fixed proportion of its non-zero edge weights above the noise level. Our results do not rely on the restrictive strong faithfulness condition which is required for methods based on conditional independence testing such as the PC-algorithm.
Tutte sets in graphs II: The complexity of finding maximum Tutte sets
Bauer, D.; Broersma, Haitze J.; Kahl, N.; Morgana, A.; Schmeichel, E.; Surowiec, T.
2007-01-01
A well-known formula of Tutte and Berge expresses the size of a maximum matching in a graph $G$ in terms of what is usually called the deficiency. A subset $X$ of $V(G)$ for which this deficiency is attained is called a Tutte set of $G$. While much is known about maximum matchings, less is known
Minimum-Cost Node-Disjoint Steiner Trees in Series-Parallel Networks
Sunil Chopra
1996-01-01
, is a Steiner tree spanning Ni for i = 1, ..., r and VNi ∩ VNj = for i ≠ j. The edge-disjoint version of this problem is known to be NP-hard for t. series-parallel graphs (see Rlchey and Parker [5]. In this paper we give a O(n5 algorithm for finding a minimum-cost node-disjoint family of Steiner trees in series-parallel networks. Our algorithm can be extended to k-trees and is polynomial for fixed k.
Exponentially many maximum genus embeddings and genus embeddings for complete graphs
REN Han; BAI Yun
2008-01-01
There are many results on the maximum genus,among which most are written for the existence of values of such embeddings,and few attention has been paid to the estimation of such embeddings and their applications.In this paper we study the number of maximum genus embeddings for a graph and find an exponential lower bound for such numbers.Our results show that in general case,a simple connected graph has exponentially many distinct maximum genus embeddings.In particular,a connected cubie graph G of order n always has at least (√2)m+n+α/2 distinct maximum genus embeddings,where α and m denote,respectively,the number of inner vertices and odd compo-nents of an optimal tree T.What surprise us most is that such two extremal embeddings (i.e.,the maximum genus embeddings and the genus embeddings) are sometimes closely related with each other.In fact,as applications,we show that for a sufficient large natural number n,there are at least C2n/4 many genus embeddings for complete graph Kn with n=4,7,10 (mod12),where C is a constance depending on the Value of n of residue 12.These results improve the bounds obtained by Korzhik and Voss and the methods used here are much simpler and straight.
The maximum number of cliques in a graph embedded in a surface
Dujmović, Vida; Joret, Gwenaël; Wood, David R
2009-01-01
This paper studies the following question: Given a surface $\\Sigma$ and an integer $n$, what is the maximum number of cliques in an $n$-vertex graph embeddable in $\\Sigma$? We characterise the extremal graphs for this question, and prove that the answer is between $8(n-\\omega)+2^{\\omega}$ and $8n+{3/2} 2^{\\omega}+o(2^{\\omega})$, where $\\omega$ is the maximum integer such that the complete graph $K_\\omega$ embeds in $\\Sigma$. For the surfaces $\\mathbb{S}_0$, $\\mathbb{S}_1$, $\\mathbb{S}_2$, $\\mathbb{N}_1$, $\\mathbb{N}_2$, $\\mathbb{N}_3$ and $\\mathbb{N}_4$ we establish an exact answer.
Exponentially many maximum genus embeddings and genus embeddings for complete graphs
2008-01-01
There are many results on the maximum genus, among which most are written for the existence of values of such embeddings, and few attention has been paid to the estimation of such embeddings and their applications. In this paper we study the number of maximum genus embeddings for a graph and find an exponential lower bound for such numbers. Our results show that in gen-eral case, a simple connected graph has exponentially many distinct maximum genus embeddings. In particular, a connected cubic graph G of order n always has at least 2~1/2m+n+ α2 distinct maximum genus embeddings, where α and m denote, respectively, the number of inner vertices and odd compo-nents of an optimal tree T . What surprise us most is that such two extremal embeddings (i.e., the maximum genus embeddings and the genus embeddings) are sometimes closely related with each other. In fact, as applications, we show that for a suffcient large natural number n, there are at least C2 n4 dmeapneyn dgienngu os ne mthbee vdadliuneg soffonrocf ormespidleutee 1g2r.a pThh eKsen rwesiuthlt sn i m≡p r4o,v 7e, 1th0e ( mbooudn1d2)s, owbthaeirnee dC b iys Ka ocroznhsikta anncde Voss and the methods used here are much simpler and straight.
Maximum Matchings in Random Bipartite Graphs and the Space Utilization of Cuckoo Hashtables
Frieze, Alan
2009-01-01
We study the the following question in Random Graphs. We are given two disjoint sets $L,R$ with $|L|=n=\\alpha m$ and $|R|=m$. We construct a random graph $G$ by allowing each $x\\in L$ to choose $d$ random neighbours in $R$. The question discussed is as to the size $\\mu(G)$ of the largest matching in $G$. When considered in the context of Cuckoo Hashing, one key question is as to when is $\\mu(G)=n$ whp? We answer this question exactly when $d$ is at least four. We also establish a precise threshold for when Phase 1 of the Karp-Sipser Greedy matching algorithm suffices to compute a maximum matching whp.
Properly coloured copies and rainbow copies of large graphs with small maximum degree
Böttcher, Julia; Procacci, Aldo
2010-01-01
Let G be a graph on n vertices with maximum degree D. We use the Lov\\'asz local lemma to show the following two results about colourings c of the edges of the complete graph K_n. If for each vertex v of K_n the colouring c assigns each colour to at most (n-2)/22.4D^2 edges emanating from v, then there is a copy of G in K_n which is properly edge-coloured by c. This improves on a result of Alon, Jiang, Miller, and Pritikin [Random Struct. Algorithms 23(4), 409-433, 2003]. On the other hand, if c assigns each colour to at most n/51D^2 edges of K_n, then there is a copy of G in K_n such that each edge of G receives a different colour from c. This proves a conjecture of Frieze and Krivelevich [Electron. J. Comb. 15(1), R59, 2008]. Our proofs rely on a framework developed by Lu and Sz\\'ekely [Electron. J. Comb. 14(1), R63, 2007] for applying the local lemma to random injections. In order to improve the constants in our results we use a version of the local lemma due to Bissacot, Fern\\'andez, Procacci, and Scoppola...
Approximating maximum weight cycle covers in directed graphs with weights zero and one
Bläser, Markus; Manthey, Bodo
2005-01-01
A cycle cover of a graph is a spanning subgraph each node of which is part of exactly one simple cycle. A $k$-cycle cover is a cycle cover where each cycle has length at least $k$. Given a complete directed graph with edge weights zero and one, Max-$k$-DCC(0, 1) is the problem of finding a k-cycle c
Chakrabarti, Amit; Weibel, Christophe
2012-01-01
Let $G=(V,E)$ be a supply graph and $H=(V,F)$ a demand graph defined on the same set of vertices. An assignment of capacities to the edges of $G$ and demands to the edges of $H$ is said to satisfy the \\emph{cut condition} if for any cut in the graph, the total demand crossing the cut is no more than the total capacity crossing it. The pair $(G,H)$ is called \\emph{cut-sufficient} if for any assignment of capacities and demands that satisfy the cut condition, there is a multiflow routing the demands defined on $H$ within the network with capacities defined on $G$. We prove a previous conjecture, which states that when the supply graph $G$ is series-parallel, the pair $(G,H)$ is cut-sufficient if and only if $(G,H)$ does not contain an \\emph{odd spindle} as a minor; that is, if it is impossible to contract edges of $G$ and delete edges of $G$ and $H$ so that $G$ becomes the complete bipartite graph $K_{2,p}$, with $p\\geq 3$ odd, and $H$ is composed of a cycle connecting the $p$ vertices of degree 2, and an edge ...
Minimum-cost dynamic flows: The series-parallel case
Klinz, Bettina; Woeginger, Gerhard J.
2004-01-01
A dynamic network consists of a directed graph with capacities, costs, and integral transit times on the arcs. In the minimum-cost dynamic flow problem (MCDFP), the goal is to compute, for a given dynamic network with source s, sink t, and two integers v and T, a feasible dynamic flow from s to t of
Guido W. Grimm
2006-01-01
Full Text Available The multi-copy internal transcribed spacer (ITS region of nuclear ribosomal DNA is widely used to infer phylogenetic relationships among closely related taxa. Here we use maximum likelihood (ML and splits graph analyses to extract phylogenetic information from ~ 600 mostly cloned ITS sequences, representing 81 species and subspecies of Acer, and both species of its sister Dipteronia. Additional analyses compared sequence motifs in Acer and several hundred Anacardiaceae, Burseraceae, Meliaceae, Rutaceae, and Sapindaceae ITS sequences in GenBank. We also assessed the effects of using smaller data sets of consensus sequences with ambiguity coding (accounting for within-species variation instead of the full (partly redundant original sequences. Neighbor-nets and bipartition networks were used to visualize conflict among character state patterns. Species clusters observed in the trees and networks largely agree with morphology-based classifications; of de Jong’s (1994 16 sections, nine are supported in neighbor-net and bipartition networks, and ten by sequence motifs and the ML tree; of his 19 series, 14 are supported in networks, motifs, and the ML tree. Most nodes had higher bootstrap support with matrices of 105 or 40 consensus sequences than with the original matrix. Within-taxon ITS divergence did not differ between diploid and polyploid Acer, and there was little evidence of differentiated parental ITS haplotypes, suggesting that concerted evolution in Acer acts rapidly.
Dynamic Algorithms for Graphs with Treewidth 2
Bodlaender, H.L.
1993-01-01
In this paper, we consider algorithms for maintaining tree-decompositions with constant bounded treewith under edge and vertex insertions and deletions for graphs with treewith at most 2 (also called: partial 2-trees, or series-parallel graphs), and for almost trees with parameter k. Each operation
Lo, James Ting-Ho
2009-11-01
By a fundamental neural filtering theorem, a recurrent neural network with fixed weights is known to be capable of adapting to an uncertain environment. This letter reports some mathematical results on the performance of such adaptation for series-parallel identification of a dynamical system as compared with the performance of the best series-parallel identifier possible under the assumption that the precise value of the uncertain environmental process is given. In short, if an uncertain environmental process is observable (not necessarily constant) from the output of a dynamical system or constant (not necessarily observable), then a recurrent neural network exists as a series-parallel identifier of the dynamical system whose output approaches the output of an optimal series-parallel identifier using the environmental process as an additional input.
Mathematical Model of Thyristor Inverter Including a Series-parallel Resonant Circuit
Miroslaw Luft
2008-01-01
Full Text Available The article presents a mathematical model of thyristor inverter including a series-parallel resonant circuit with theaid of state variable method. Maple procedures are used to compute current and voltage waveforms in the inverter.
The series-parallel circuit in the treatment of fulminant hepatitis.
Nakae, Hajime; Yonekawa, Chikara; Moon, Sunkwi; Tajimi, Kimitaka
2004-04-01
We developed a series-parallel treatment method for combined plasma exchange (PE) and continuous hemodiafiltration (CHDF) therapy in fulminant hepatitis. We then compared total serum bilirubin, citrate, and cytokine levels obtained by the new methods to those obtained with treatment by the single and reverse-parallel PE methods. Ten adult patients with fulminant hepatitis consented to participate. Plasma exchange was conducted 25 times by the single method (PE only), 16 times by the reverse-parallel method, and 37 times by the series-parallel method. The percentage of total bilirubin removed was highest with the single method followed in order by that with the series-parallel and reverse-parallel methods; the differences were significant. The percentage increase in citrate level was highest with the single method, followed in order by that with the series-parallel and the reverse-parallel methods; these differences were also significant. There was no significant difference in serum interleukin (IL)-6 levels after PE, by the single or the reverse-parallel methods. However, the IL-6 level decreased significantly following PE by the series-parallel method. The serum IL-18 level decreased significantly following PE by each of the three methods. Thus, removal of excess bilirubin, citrate, and cytokines by the series-parallel method, a simple maneuver with excellent removal rates, was considered effective.
Research on network maximum flows algorithm of cascade level graph%级连层次图的网络最大流算法研究
潘荷新; 伊崇信; 李满
2011-01-01
给出一种通过构造网络级连层次图的方法,来间接求出最大网络流的算法.对于给定的有n个顶点,P条边的网络N=(G,s,t,C),该算法可在O(n2)时间内快速求出流经网络N的最大网络流及达最大流时的网络流.%This paper gives an algoritm that structures a network cascade level graph to find out maximum flow of the network indirectly.For the given network N=(G,s,t,C) that has n vetexes and e arcs,this algorithm finds out the maximum value of the network flow fast in O(n2) time that flows from the network N and the network flows when the value of the one reach maximum.
Concept of a Series-Parallel Elastic Actuator for a Powered Transtibial Prosthesis
Bram Vanderborght
2013-07-01
Full Text Available The majority of the commercial transtibial prostheses are purely passive devices. They store energy in an elastic element during the beginning of a step and release it at the end. A 75 kg human, however, produces on average 26 J of energy during one stride at the ankle joint when walking at normal cadence and stores/releases 9 J of energy, contributing to energy efficient locomotion. According to Winter, a subject produces on average of 250W peak power at a maximum joint torque of 125 Nm. As a result, powering a prosthesis with traditional servomotors leads to excessive motors and gearboxes at the outer extremities of the legs. Therefore, research prototypes use series elastic actuation (SEA concepts to reduce the power requirements of the motor. In the paper, it will be shown that SEAs are able to reduce the power of the electric motor, but not the torque. To further decrease the motor size, a novel human-centered actuator concept is developed, which is inspired by the variable recruitment of muscle fibers of a human muscle. We call this concept series-parallel elastic actuation (SPEA, and the actuator consists of multiple parallel springs, each connected to an intermittent mechanism with internal locking and a single motor. As a result, the motor torque requirements can be lowered and the efficiency drastically increased. In the paper, the novel actuation concept is explained, and a comparative study between a stiff motor, an SEA and an SPEA, which all aim at mimicking human ankle behavior, is performed.
Reliability of a Large Series-parallel System in Variable Operating Conditions
Joanna Soszynska
2006-01-01
In this paper, a semi-Markov model of system operation processes is proposed and its selected parameters are determined. A series-parallel multi-state system is considered, and its reliability and risk characteristics found. Subsequently,a joint model of system operation process and system multi-state reliability and risk is constructed. Moreover, the asymptotic approach to reliability and risk evaluation of a multi-state series-parallel system in its operation process is applied to a port grain transportation system.
Jaroslav Durdik
2007-01-01
Full Text Available Operation states analysis of a series-parallel converter working above resonance frequency is described in the paper. Principal equations are derived for individual operation states. On the basis of them the diagrams are made out. The diagrams give the complex image of the converter behaviour for individual circuit parameters. The waveforms may be utilised at designing the inverter individual parts.
M. Amara,
2014-01-01
Full Text Available This paper uses an ant colony meta-heuristic optimization method to solve the cost-optimization problem in petrolum industry. This problem is known as total investment-cost minimization of series-parallel transportation pape lines. Redundant Electro-Pumpe coupled to the papes lines are included to achieve a desired level of availability. System availability is represented by a multi-state availability function. The Electro-pumpe (pape-lines are characterized by their capacity, availability and cost. These electro-pumpes are chosen among a list of products available on the market. The proposed meta-heuristic seeks to find the best minimal cost of petrol transportation system configuration with desired availability. To estimate the series-parallel pape lines availability, a fast method based on universal moment generating function (UMGF is suggested. The ant colony approach is used as an optimization technique. An example of petrol transportation system is presented.
LIST EDGE-COLOURING OF SERIES-PARALLEL GRAPHS%系列-平行图的列表染色
吴建良
2000-01-01
系列-平行图是没有子图与K4同胚的图.设G为一个系列-平行图.如果对任意的边e∈E(G),有f(e)≥max{4,Δ(G)}.则G是f-可列表染色的.同时还确定了所有系列-平行图的边色数.
Batra, Tushar; Schaltz, Erik
2014-01-01
Input current of wireless power transfer system is limited by current rating of power converter on the primary side. Power rating of wireless power transfer system increases linearly with the quality factor for series-parallel topology of the system at a given primary current. Magnetic emissions...
Heemstra de Groot, S.M.; Herrmann, O.E.
1990-01-01
An algorithm based on an alternative scheduling approach for iterative acyclic and cyclid DFGs (data-flow graphs) with limited resources that exploits inter- and intra-iteration parallelism is presented. The method is based on guiding the scheduling algorithm with the information supplied by a
Locally identifying coloring of graphs
Esperet, Louis; Montassier, Mickael; Ochem, Pascal; Parreau, Aline
2010-01-01
A vertex-coloring of a graph G is said to be locally identifying if for any pair (u,v) of adjacent vertices of G, with distinct closed neighborhood, the set of colors that appears in the closed neighborhoods of u and v are distinct. In this paper, we give several bounds on the minimum number of colors needed in such a coloring for different families of graphs (planar graphs, some subclasses of perfect graphs, graphs with bounded maximum degree) and prove that deciding whether a subcubic bipartite graph with large girth has a locally identifying coloring with 3 colors is an NP-complete problem.
傅育熙
1998-01-01
The paper proposes reaction graphs as graphical representations of computational objects.A reaction graph is a directed graph with all its arrows and some of its nodes labeled.Computations are modled by graph rewriting of a simple nature.The basic rewriting rules embody the essence of both the communications among processes and cut-eliminations in proofs.Calculi of graphs are ideentified to give a formal and algebraic account of reaction graphs in the spirit of process algebra.With the help of the calculi,it is demonstrated that reaction graphs capture many interesting aspects of computations.
最大度至多为6的平面图的L(2,1)-标号%The L (2,1)-Labeling of Planar Graphs with Maximum Degree at Most Six
朱海洋; 吕新忠; 陈伟; 侯立峰
2012-01-01
令△(G),g(G)和λ(G)分别为图G的最大度,围长,和L(2,1)-标号数.证明了若G是△(G)≤6和g(G)≥5的平面图,则λ(G)≤△(G)+13.进而关于△(G)≤6和g(G)≥5的平面图G,这个界要比先前的结果好.%Let △(G) >g(G) and λ(G) denote respectively the maximum degree, the girth, and the L (2,l)-labeling number of a planar graph G. In this paper, we show that if G be a planar graph with△(G) ≤ 6 and g(G) ≥5, then λ (G) ≤^△(G) + 13. This bound is better than previous result for the planar graph G with △(G) ≤ 6 and g(G) ≥ 5.
Generalized connectivity of graphs
Li, Xueliang
2016-01-01
Noteworthy results, proof techniques, open problems and conjectures in generalized (edge-) connectivity are discussed in this book. Both theoretical and practical analyses for generalized (edge-) connectivity of graphs are provided. Topics covered in this book include: generalized (edge-) connectivity of graph classes, algorithms, computational complexity, sharp bounds, Nordhaus-Gaddum-type results, maximum generalized local connectivity, extremal problems, random graphs, multigraphs, relations with the Steiner tree packing problem and generalizations of connectivity. This book enables graduate students to understand and master a segment of graph theory and combinatorial optimization. Researchers in graph theory, combinatorics, combinatorial optimization, probability, computer science, discrete algorithms, complexity analysis, network design, and the information transferring models will find this book useful in their studies.
Well-covered graphs and factors
Randerath, Bert; Vestergaard, Preben D.
2006-01-01
A maximum independent set of vertices in a graph is a set of pairwise nonadjacent vertices of largest cardinality α. Plummer defined a graph to be well-covered, if every independent set is contained in a maximum independent set of G. Every well-covered graph G without isolated vertices has a perf...
The Clique Problem in Ray Intersection Graphs
Cabello, Sergio; Langerman, Stefan
2011-01-01
Ray intersection graphs are intersection graphs of rays, or halflines, in the plane. We show that any planar graph has an even subdivision whose complement is a ray intersection graph. The construction can be done in polynomial time and implies that finding a maximum clique in a segment intersection graph is NP-hard. This solves a 21-year old open problem posed by Kratochv\\'il and Ne\\v{s}et\\v{r}il.
COMPARISON OF MAX-MIN APPROACH AND NN METHOD FOR RELIABILITY OPTIMIZATION OF SERIES-PARALLEL SYSTEM
Hsiang LEE; Way KUO; Chunghun HA
2003-01-01
Two heuristics, the max-min approach and the Nakagawa and Nakashima method, are consideredfor the redundancy allocation problem with series-parallel structure. The max-min approach canformulate the problem as an integer linear programming problem instead of an integer nonlinearproblem. This paper presents a comparison between those methods from the standpoint of solutionquality and computational complexity. The experimental results show that the max-min approach issuperior to the Nakagawa and Nakashima method in terms of solution quality in small-scale problems,but analysis of computational complexity shows that the max-min approach is inferior to other greedyheuristics.
Cycle-maximal triangle-free graphs
Durocher, Stephane; Gunderson, David S.; Li, Pak Ching
2015-01-01
Abstract We conjecture that the balanced complete bipartite graph K ⌊ n / 2 ⌋ , ⌈ n / 2 ⌉ contains more cycles than any other n -vertex triangle-free graph, and we make some progress toward proving this. We give equivalent conditions for cycle-maximal triangle-free graphs; show bounds...... on the numbers of cycles in graphs depending on numbers of vertices and edges, girth, and homomorphisms to small fixed graphs; and use the bounds to show that among regular graphs, the conjecture holds. We also consider graphs that are close to being regular, with the minimum and maximum degrees differing...
Prize-collecting Network Design on Planar Graphs
Bateni, MohammadHossein; Marx, Dániel
2010-01-01
In this paper, we reduce Prize-Collecting Steiner TSP (PCTSP), Prize-Collecting Stroll (PCS), Prize-Collecting Steiner Tree (PCST), Prize-Collecting Steiner Forest (PCSF) and more generally Submodular Prize-Collecting Steiner Forest (SPCSF) on planar graphs (and more generally bounded-genus graphs) to the same problems on graphs of bounded treewidth. More precisely, we show any $\\alpha$-approximation algorithm for these problems on graphs of bounded treewidth gives an $(\\alpha + \\epsilon)$-approximation algorithm for these problems on planar graphs (and more generally bounded-genus graphs), for any constant $\\epsilon > 0$. Since PCS, PCTSP, and PCST can be solved exactly on graphs of bounded treewidth using dynamic programming, we obtain PTASs for these problems on planar graphs and bounded-genus graphs. In contrast, we show PCSF is APX-hard to approximate on series-parallel graphs, which are planar graphs of treewidth at most 2. This result is interesting on its own because it gives the first provable hardne...
Nakae, Hajime; Igarashi, Toshiko; Tajimi, Kimitaka
2006-06-01
We studied nafamostat mesilate (NM) and interleukin (IL)-18 levels to determine whether the dose of NM is reduced during plasma exchange (PE) with continuous hemodiafiltration (CHDF) when the series-parallel circuit is used. The subjects of the current study included four patients with acute hepatic failure who underwent PE with CHDF. The four patients underwent a total 15 PE + CHDF procedures, and for each procedure, they were randomized to receive either a half-dose of NM or no NM in the CHDF circuit. Eight procedures were carried out with NM administration, and seven were carried out without NM administration. The dose of NM in the NM group was significantly higher than that in the non-NM group (P = 0.040). No significant differences were observed between the two groups in the inlet NM concentration, the outlet NM concentration, or the rate of IL-18 removal. No statistical correlation was observed between the IL-18 level and the NM dose, the inlet NM concentration, or the outlet NM concentration. There was no blood access difficulty such as catheter failure or clotting of the filter. Thus, it might be possible to carry out PE and CHDF with the series-parallel method without administration of NM in the CHDF circuit.
Sahasranand, K R
2010-01-01
Almost all known secret sharing schemes work on numbers. Such methods will have difficulty in sharing graphs since the number of graphs increases exponentially with the number of nodes. We propose a secret sharing scheme for graphs where we use graph intersection for reconstructing the secret which is hidden as a sub graph in the shares. Our method does not rely on heavy computational operations such as modular arithmetic or polynomial interpolation but makes use of very basic operations like assignment and checking for equality, and graph intersection can also be performed visually. In certain cases, the secret could be reconstructed using just pencil and paper by authorised parties but cannot be broken by an adversary even with unbounded computational power. The method achieves perfect secrecy for (2, n) scheme and requires far fewer operations compared to Shamir's algorithm. The proposed method could be used to share objects such as matrices, sets, plain text and even a heterogeneous collection of these. S...
Performance and Reliability Analysis Using Directed Acyclic Graphs.
1985-04-04
34 ,,’. " .. .. " * " ... - .. . . . . . . - . . . , •.• ".. * 7- R- 7- A BC DEF G H Figure 1. Examples of Series-Parallel Graphs G1 G2 A B A C D B C Figure 2. Graphs which are not Series...Oct 1984), 309-312. 120] Neuts, M.F., Matriz -Geometric Solutions in Stochastic Models, The Johns Hopkins University Press, Baltimore, Md., 1981. [21...that go through BC and DC. The probability that the system does not recover is the probability of traversing the path through DF. 5. CONCLUSION AND
Maximum Genus of Strong Embeddings
Er-ling Wei; Yan-pei Liu; Han Ren
2003-01-01
The strong embedding conjecture states that any 2-connected graph has a strong embedding on some surface. It implies the circuit double cover conjecture: Any 2-connected graph has a circuit double cover.Conversely, it is not true. But for a 3-regular graph, the two conjectures are equivalent. In this paper, a characterization of graphs having a strong embedding with exactly 3 faces, which is the strong embedding of maximum genus, is given. In addition, some graphs with the property are provided. More generally, an upper bound of the maximum genus of strong embeddings of a graph is presented too. Lastly, it is shown that the interpolation theorem is true to planar Halin graph.
An Efficient Partitioning Oracle for Bounded-Treewidth Graphs
Edelman, Alan; Nguyen, Huy N; Onak, Krzysztof
2011-01-01
Partitioning oracles were introduced by Hassidim et al. (FOCS 2009) as a generic tool for constant-time algorithms. For any epsilon > 0, a partitioning oracle provides query access to a fixed partition of the input bounded-degree minor-free graph, in which every component has size poly(1/epsilon), and the number of edges removed is at most epsilon*n, where n is the number of vertices in the graph. However, the oracle of Hassidimet al. makes an exponential number of queries to the input graph to answer every query about the partition. In this paper, we construct an efficient partitioning oracle for graphs with constant treewidth. The oracle makes only O(poly(1/epsilon)) queries to the input graph to answer each query about the partition. Examples of bounded-treewidth graph classes include k-outerplanar graphs for fixed k, series-parallel graphs, cactus graphs, and pseudoforests. Our oracle yields poly(1/epsilon)-time property testing algorithms for membership in these classes of graphs. Another application of ...
Li, Xueliang; Gutman, Ivan
2012-01-01
This book is about graph energy. The authors have included many of the important results on graph energy, such as the complete solution to the conjecture on maximal energy of unicyclic graphs, the Wagner-Heuberger's result on the energy of trees, the energy of random graphs or the approach to energy using singular values. It contains an extensive coverage of recent results and a gradual development of topics and the inclusion of complete proofs from most of the important recent results in the area. The latter fact makes it a valuable reference for researchers looking to get into the field of g
Sliding-mode control of a six-phase series/parallel connected two induction motors drive.
Abjadi, Navid R
2014-11-01
In this paper, a parallel configuration is proposed for two quasi six-phase induction motors (QIMs) to feed them from a single six-phase voltage source inverter (VSI). A direct torque control (DTC) based on input-output feedback linearization (IOFL) combined with sliding mode (SM) control is used for each QIM in stationary reference frame. In addition, an adaptive scheme is employed to solve the motor resistances mismatching problem. The effectiveness and capability of the proposed method are shown by practical results obtained for two QIMs in series/parallel connections supplied from a single VSI. The decoupling control of QIMs and the feasibility of their torque and flux control are investigated. Moreover, a complete comparison between series and parallel connections of two QIMs is given.
Batra, Tushar; Schaltz, Erik
2014-01-01
Input current of wireless power transfer system is limited by current rating of power converter on the primary side. Power rating of wireless power transfer system increases linearly with the quality factor for series-parallel topology of the system at a given primary current. Magnetic emissions...... increase in the power rating with the quality factor. This paper signifies that at fixed primary current, operation of wireless power transfer system at higher quality factor is favorable with respect to the magnetic emissions....... to the surroundings also increase with increase in the quality factor. In this paper, first analytical expressions are developed for comparing magnetic emissions at different quality factors. Theoretical and simulation (Comsol) results show comparatively lower increase for the magnetic field emissions to the linear...
Vestergaard, Preben Dahl; Hartnell, Bert L.
2006-01-01
There are many results dealing with the problem of decomposing a fixed graph into isomorphic subgraphs. There has also been work on characterizing graphs with the property that one can delete the edges of a number of edge disjoint copies of the subgraph and, regardless of how that is done, the gr...
姜军; 卓嘎; 王朝霞; 陈延利
2014-01-01
Seamless integration of multi-layer technology is the most difficult thing for three-dimensional visual simulation, the seamless integration points requires for fusion with multiple visual layers effectively smooth, reaching the depth of the layer embedded purposes. In the traditional three-dimensional visual layer fusion method, the fuzzy RGB color pixel inter-polation function method is used,the high-order odd curve fitting is taken as the objective function to deploy and achieve the edge of the center pixel fusion, this method has good effect for a layer of smaller differences, but when the layers are quite different, the results is poor. A three-dimensional flight control visual layers seamless fusion technology based on maximum sub-graph sequence smooth method is proposed, the maximum sub-graph sequence of layers is deducted, the fu-sion sequences is transferred into maximum sub-graph smoothers, the flash wave of door forecast is used in different layers, the smoothing correction method is used for a sequence of smooth curves deviate from the point of correction, and the seam-less smooth result is output. The effective three-dimensional visual simulation layer of flight is taken as experiment, and the results show that with the proposed method, the layer fusion result is better than traditional methods, it has good applica-tion value in the integration layer for the three-dimensional visual simulation.%多图层无缝融合技术是三维视景仿真中的难点，无缝融合中要求对多个视景图层的融合点进行有效平滑，达到图层深度嵌入的目的。传统的三维飞控图层无缝融合方法采用基于RGB颜色模糊调配与像素点函数内插方法实现，以高阶奇次曲线拟合为目标函数，内插形成图层融合过渡带，此方法对于图层差异较小的融合有较好效果，当图层差异较大时，效果不佳。提出一种基于最大子图序列平滑的三维飞控图层无缝融合技术，对不同
Batra, Tushar; Schaltz, Erik
2014-01-01
Series-series and series-parallel topologies are the most favored topologies for design of wireless power transfer system for vehicle applications. The series-series topology has the advantage of reflecting only the resistive part on the primary side. On the other hand, the current source output...... characteristics of the series-parallel topology are more suited for the battery of the vehicle. This paper compares the two topologies in terms of magnetic emissions to the surroundings for the same input power, primary current, quality factor and inductors. Theoretical and simulation results show that the series......-parallel topology emits lesser magnetic field to the surroundings as compared to its series-series counterpart. The results have been provided for ratio of the magnetic emissions for the two topologies at different quality factor, vertical distance between the inductors and turn ratio of the coils....
GRAPHS WHOSE CIRCULAR CLIQUE NUMBER EQUAL THE CLIQUE NUMBER
XU Baogang; ZHOU Xinghe
2005-01-01
The circular clique number of a graph G is the maximum fractional k/d such that Gkd admits a homomorphism to G. In this paper, we give some sufficient conditions for graphs whose circular clique number equal the clique number, we also characterize the K1,3-free graphs and planar graphs with the desired property.
Fundamental cycles and graph embeddings
2009-01-01
In this paper, we investigate fundamental cycles in a graph G and their relations with graph embeddings. We show that a graph G may be embedded in an orientable surface with genus at least g if and only if for any spanning tree T , there exists a sequence of fundamental cycles C1, C2, . . . , C2g with C2i-1 ∩ C2i≠ф for 1≤ i ≤g. In particular, among β(G) fundamental cycles of any spanning tree T of a graph G, there are exactly 2γM (G) cycles C1, C2, . . . , C2γM (G) such that C2i-1 ∩ C2i≠ф for 1 ≤i≤γM (G), where β(G) and γM (G) are the Betti number and the maximum genus of G, respectively. This implies that it is possible to construct an orientable embedding with large genus of a graph G from an arbitrary spanning tree T (which may have very large number of odd components in G\\E(T )). This is different from the earlier work of Xuong and Liu, where spanning trees with small odd components are needed. In fact, this makes a common generalization of Xuong, Liu and Fu et al. Furthermore, we show that (1) this result is useful for locating the maximum genus of a graph having a specific edge-cut. Some known results for embedded graphs are also concluded; (2) the maximum genus problem may be reduced to the maximum matching problem. Based on this result and the algorithm of Micali-Vazirani, we present a new efficient algorithm to determine the maximum genus of a graph in O((β(G)) 25 ) steps. Our method is straight and quite different from the algorithm of Furst, Gross and McGeoch which depends on a result of Giles where matroid parity method is needed.
Batra, Tushar; Schaltz, Erik
2014-01-01
Resonant circuits of wireless power transfer system can be designed in four possible ways by placing the primary and secondary capacitor in a series or parallel order with respect to the corresponding inductor. The two topologies series-parallel and series-series under investigation have been alr...
Batra, Tushar; Schaltz, Erik
2014-01-01
Series-series and series-parallel topologies are the most favored topologies for design of wireless power transfer system for vehicle applications. The series-series topology has the advantage of reflecting only the resistive part on the primary side. On the other hand, the current source output ...
Planar graphs theory and algorithms
Nishizeki, T
1988-01-01
Collected in this volume are most of the important theorems and algorithms currently known for planar graphs, together with constructive proofs for the theorems. Many of the algorithms are written in Pidgin PASCAL, and are the best-known ones; the complexities are linear or 0(nlogn). The first two chapters provide the foundations of graph theoretic notions and algorithmic techniques. The remaining chapters discuss the topics of planarity testing, embedding, drawing, vertex- or edge-coloring, maximum independence set, subgraph listing, planar separator theorem, Hamiltonian cycles, and single- or multicommodity flows. Suitable for a course on algorithms, graph theory, or planar graphs, the volume will also be useful for computer scientists and graph theorists at the research level. An extensive reference section is included.
Trudeau, Richard J
1994-01-01
Preface1. Pure Mathematics Introduction; Euclidean Geometry as Pure Mathematics; Games; Why Study Pure Mathematics?; What's Coming; Suggested Reading2. Graphs Introduction; Sets; Paradox; Graphs; Graph diagrams; Cautions; Common Graphs; Discovery; Complements and Subgraphs; Isomorphism; Recognizing Isomorphic Graphs; Semantics The Number of Graphs Having a Given nu; Exercises; Suggested Reading3. Planar Graphs Introduction; UG, K subscript 5, and the Jordan Curve Theorem; Are there More Nonplanar Graphs?; Expansions; Kuratowski's Theorem; Determining Whether a Graph is Planar or
Seiller, Thomas
2016-01-01
Interaction graphs were introduced as a general, uniform, construction of dynamic models of linear logic, encompassing all Geometry of Interaction (GoI) constructions introduced so far. This series of work was inspired from Girard's hyperfinite GoI, and develops a quantitative approach that should...... be understood as a dynamic version of weighted relational models. Until now, the interaction graphs framework has been shown to deal with exponentials for the constrained system ELL (Elementary Linear Logic) while keeping its quantitative aspect. Adapting older constructions by Girard, one can clearly define...... "full" exponentials, but at the cost of these quantitative features. We show here that allowing interpretations of proofs to use continuous (yet finite in a measure-theoretic sense) sets of states, as opposed to earlier Interaction Graphs constructions were these sets of states were discrete (and finite...
Diestel, Reinhard
2000-01-01
This book is a concise, yet carefully written, introduction to modern graph theory, covering all its major recent developments. It can be used both as a reliable textbook for an introductory course and as a graduate text: on each topic it covers all the basic material in full detail, and adds one or two deeper results (again with detailed proofs) to illustrate the more advanced methods of that field. This second edition extends the first in two ways. It offers a thoroughly revised and updated chapter on graph minors, which now includes full new proofs of two of the central Robertson-Seymour theorems (as well as a detailed sketch of the entire proof of their celebrated Graph Minor Theorem). Second, there is now a section of hints for all the exercises, to enhance their value for both individual study and classroom use.
Beeken, Paul
2014-11-01
Graphing is an essential skill that forms the foundation of any physical science.1 Understanding the relationships between measurements ultimately determines which modeling equations are successful in predicting observations.2 Over the years, science and math teachers have approached teaching this skill with a variety of techniques. For secondary school instruction, the job of graphing skills falls heavily on physics teachers. By virtue of the nature of the topics we cover, it is our mission to develop this skill to the fine art that it is.
The clique problem in ray intersection graphs
Langerman, Stefan; Cardinal, Jean; Cabello, Sergio
2015-01-01
Ray intersection graphs are intersection graphs of rays, or halflines, in the plane. We show that any planar graph has an even subdivision whose complement is a ray intersection graph. The construction can be done in polynomial time and implies that finding a maximum clique in a segment intersection graph is NP-hard. This solves a 21-year old open problem posed by Kratochvíl and Nešetřil (Comment Math Univ Carolinae 31(1):85-93, 1990).
Chordal Graphs are Fully Orientable
Lai, Hsin-Hao
2012-01-01
Suppose that D is an acyclic orientation of a graph G. An arc of D is called dependent if its reversal creates a directed cycle. Let m and M denote the minimum and the maximum of the number of dependent arcs over all acyclic orientations of G. We call G fully orientable if G has an acyclic orientation with exactly d dependent arcs for every d satisfying m <= d <= M. A graph G is called chordal if every cycle in G of length at least four has a chord. We show that all chordal graphs are fully orientable.
Methods for communication-network reliability analysis - Probabilistic graph reduction
Shooman, Andrew M.; Kershenbaum, Aaron
The authors have designed and implemented a graph-reduction algorithm for computing the k-terminal reliability of an arbitrary network with possibly unreliable nodes. The two contributions of the present work are a version of the delta-y transformation for k-terminal reliability and an extension of Satyanarayana and Wood's polygon to chain transformations to handle graphs with imperfect vertices. The exact algorithm is faster than or equal to that of Satyanarayana and Wood and the simple algorithm without delta-y and polygon to chain transformations for every problem considered. The exact algorithm runs in linear time on series-parallel graphs and is faster than the above-stated algorithms for huge problems which run in exponential time. The approximate algorithms reduce the computation time for the network reliability problem by two to three orders of magnitude for large problems, while providing reasonably accurate answers in most cases.
On Sum--Connectivity Index of Bicyclic Graphs
Du, Zhibin
2009-01-01
We determine the minimum sum--connectivity index of bicyclic graphs with $n$ vertices and matching number $m$, where $2\\le m\\le \\lfloor\\frac{n}{2}\\rfloor$, the minimum and the second minimum, as well as the maximum and the second maximum sum--connectivity indices of bicyclic graphs with $n\\ge 5$ vertices. The extremal graphs are characterized.
Diestel, Reinhard
2017-01-01
This standard textbook of modern graph theory, now in its fifth edition, combines the authority of a classic with the engaging freshness of style that is the hallmark of active mathematics. It covers the core material of the subject with concise yet reliably complete proofs, while offering glimpses of more advanced methods in each field by one or two deeper results, again with proofs given in full detail. The book can be used as a reliable text for an introductory course, as a graduate text, and for self-study. From the reviews: “This outstanding book cannot be substituted with any other book on the present textbook market. It has every chance of becoming the standard textbook for graph theory.”Acta Scientiarum Mathematiciarum “Deep, clear, wonderful. This is a serious book about the heart of graph theory. It has depth and integrity. ”Persi Diaconis & Ron Graham, SIAM Review “The book has received a very enthusiastic reception, which it amply deserves. A masterly elucidation of modern graph theo...
Graphs in Practical Situations
刘晓玫; 任心玥
2008-01-01
<正>Linear graphs are often used to depict conversion graphs and travel graphs. Example: The following graph shows the conversion between the Singapore dollar (S $) and the Malay- sian ringgit (RM) in 2000.
2016-06-01
GraphBench is a benchmark suite for graph pattern mining and graph analysis systems. The benchmark suite is a significant addition to conducting apples-apples comparison of graph analysis software (databases, in-memory tools, triple stores, etc.)
Reddy, A Satyanarayana
2011-01-01
A graph $X$ is said to be a pattern polynomial graph if its adjacency algebra is a coherent algebra. In this study we will find a necessary and sufficient condition for a graph to be a pattern polynomial graph. Some of the properties of the graphs which are polynomials in the pattern polynomial graph have been studied. We also identify known graph classes which are pattern polynomial graphs.
Constrained Graph Optimization: Interdiction and Preservation Problems
Schild, Aaron V [Los Alamos National Laboratory
2012-07-30
The maximum flow, shortest path, and maximum matching problems are a set of basic graph problems that are critical in theoretical computer science and applications. Constrained graph optimization, a variation of these basic graph problems involving modification of the underlying graph, is equally important but sometimes significantly harder. In particular, one can explore these optimization problems with additional cost constraints. In the preservation case, the optimizer has a budget to preserve vertices or edges of a graph, preventing them from being deleted. The optimizer wants to find the best set of preserved edges/vertices in which the cost constraints are satisfied and the basic graph problems are optimized. For example, in shortest path preservation, the optimizer wants to find a set of edges/vertices within which the shortest path between two predetermined points is smallest. In interdiction problems, one deletes vertices or edges from the graph with a particular cost in order to impede the basic graph problems as much as possible (for example, delete edges/vertices to maximize the shortest path between two predetermined vertices). Applications of preservation problems include optimal road maintenance, power grid maintenance, and job scheduling, while interdiction problems are related to drug trafficking prevention, network stability assessment, and counterterrorism. Computational hardness results are presented, along with heuristic methods for approximating solutions to the matching interdiction problem. Also, efficient algorithms are presented for special cases of graphs, including on planar graphs. The graphs in many of the listed applications are planar, so these algorithms have important practical implications.
Warchalowski, Wiktor; Krawczyk, Malgorzata J.
2017-03-01
We found the Lindenmayer systems for line graphs built on selected fractals. We show that the fractal dimension of such obtained graphs in all analysed cases is the same as for their original graphs. Both for the original graphs and for their line graphs we identified classes of nodes which reflect symmetry of the graph.
Betweenness Centrality in Graphs
2014-01-01
The first book devoted exclusively to quantitative graph theory, Quantitative Graph Theory: Mathematical Foundations and Applications presents and demonstrates existing and novel methods for analyzing graphs quantitatively. Incorporating interdisciplinary knowledge from graph theory, information theory, measurement theory, and statistical techniques, this book covers a wide range of quantitative-graph theoretical concepts and methods, including those pertaining to real and random graphs such ...
Amiri, Maghsoud; Khajeh, Mostafa
2016-11-01
Bi-objective optimization of the availability allocation problem in a series-parallel system with repairable components is aimed in this paper. The two objectives of the problem are the availability of the system and the total cost of the system. Regarding the previous studies in series-parallel systems, the main contribution of this study is to expand the redundancy allocation problems to systems that have repairable components. Therefore, the considered systems in this paper are the systems that have repairable components in their configurations and subsystems. Due to the complexity of the model, a meta-heuristic method called as non-dominated sorting genetic algorithm is applied to find Pareto front. After finding the Pareto front, a procedure is used to select the best solution from the Pareto front.
MAP Estimation, Message Passing, and Perfect Graphs
Jebara, Tony S
2012-01-01
Efficiently finding the maximum a posteriori (MAP) configuration of a graphical model is an important problem which is often implemented using message passing algorithms. The optimality of such algorithms is only well established for singly-connected graphs and other limited settings. This article extends the set of graphs where MAP estimation is in P and where message passing recovers the exact solution to so-called perfect graphs. This result leverages recent progress in defining perfect graphs (the strong perfect graph theorem), linear programming relaxations of MAP estimation and recent convergent message passing schemes. The article converts graphical models into nand Markov random fields which are straightforward to relax into linear programs. Therein, integrality can be established in general by testing for graph perfection. This perfection test is performed efficiently using a polynomial time algorithm. Alternatively, known decomposition tools from perfect graph theory may be used to prove perfection ...
Minimal regular 2-graphs and applications
FAN; Hongbing; LIU; Guizhen; LIU; Jiping
2006-01-01
A 2-graph is a hypergraph with edge sizes of at most two. A regular 2-graph is said to be minimal if it does not contain a proper regular factor. Let f2(n) be the maximum value of degrees over all minimal regular 2-graphs of n vertices. In this paper, we provide a structure property of minimal regular 2-graphs, and consequently, prove that f2(n) = n+3-i/3where 1 ≤i≤6, i=n (mod 6) andn≥ 7, which solves a conjecture posed by Fan, Liu, Wu and Wong. As applications in graph theory, we are able to characterize unfactorable regular graphs and provide the best possible factor existence theorem on degree conditions. Moreover, f2(n) and the minimal 2-graphs can be used in the universal switch box designs, which originally motivated this study.
Gould, Ronald
2012-01-01
This introduction to graph theory focuses on well-established topics, covering primary techniques and including both algorithmic and theoretical problems. The algorithms are presented with a minimum of advanced data structures and programming details. This thoroughly corrected 1988 edition provides insights to computer scientists as well as advanced undergraduates and graduate students of topology, algebra, and matrix theory. Fundamental concepts and notation and elementary properties and operations are the first subjects, followed by examinations of paths and searching, trees, and networks. S
Weinzierl, Stefan
2013-01-01
In these lectures I discuss Feynman graphs and the associated Feynman integrals. Of particular interest are the classes functions, which appear in the evaluation of Feynman integrals. The most prominent class of functions is given by multiple polylogarithms. The algebraic properties of multiple polylogarithms are reviewed in the second part of these lectures. The final part of these lectures is devoted to Feynman integrals, which cannot be expressed in terms of multiple polylogarithms. Methods from algebraic geometry provide tools to tackle these integrals.
Complexity Results on Graphs with Few Cliques
Bill Rosgen
2007-01-01
Full Text Available A graph class has few cliques if there is a polynomial bound on the number of maximal cliques contained in any member of the class. This restriction is equivalent to the requirement that any graph in the class has a polynomial sized intersection representation that satisfies the Helly property. On any such class of graphs, some problems that are NP-complete on general graphs, such as the maximum clique problem and the maximum weighted clique problem, admit polynomial time algorithms. Other problems, such as the vertex clique cover and edge clique cover problems remain NP-complete on these classes. Several classes of graphs which have few cliques are discussed, and the complexity of some partitioning and covering problems are determined for the class of all graphs which have fewer cliques than a given polynomial bound.
Diestel, Reinhard
2012-01-01
HauptbeschreibungThis standard textbook of modern graph theory, now in its fourth edition, combinesthe authority of a classic with the engaging freshness of style that is the hallmarkof active mathematics. It covers the core material of the subject with concise yetreliably complete proofs, while offering glimpses of more advanced methodsin each field by one or two deeper results, again with proofs given in full detail.The book can be used as a reliable text for an introductory course, as a graduatetext, and for self-study. Rezension"Deep, clear, wonderful. This is a serious book about the
Merris, Russell
2001-01-01
A lively invitation to the flavor, elegance, and power of graph theoryThis mathematically rigorous introduction is tempered and enlivened by numerous illustrations, revealing examples, seductive applications, and historical references. An award-winning teacher, Russ Merris has crafted a book designed to attract and engage through its spirited exposition, a rich assortment of well-chosen exercises, and a selection of topics that emphasizes the kinds of things that can be manipulated, counted, and pictured. Intended neither to be a comprehensive overview nor an encyclopedic reference, th
Understanding Graphs & Charts.
Cleary, John J.; Gravely, Mary Liles
Developed by educators from the Emily Griffith Opportunity School, this teacher's guide was developed for a 4-hour workshop to teach employees how to read the charts and graphs they need in the workplace. The unit covers four types of graphs: pictographs, bar graphs, line graphs, and circle graphs. The guide is divided into four sections: reading…
Junction trees of general graphs
Xiaofei WANG; Jianhua GUO
2008-01-01
In this paper,we study the maximal prime subgraphs and their corresponding structure for any undirected graph.We introduce the notion of junction trees and investigate their structural characteristics,including junction properties,induced-subtree properties,running-intersection properties and maximum-weight spanning tree properties.Furthermore,the characters of leaves and edges on junction trees are discussed.
Tan, Yong
2013-01-01
In this paper, author uses set theory to construct a logic model of abstract figure from binary relation. Based on the uniform quantified structure, author gives two logic system for graph traversal and graph coloring respectively, moreover shows a new method of cutting graph. Around this model, there are six algorithms in this paper including exact graph traversal, Algebra calculation of natural number, graph partition and graph coloring.
Violating the Shannon capacity of metric graphs with entanglement
J. Briët (Jop); H. Buhrman (Harry); D. Gijswijt (Dion)
2012-01-01
htmlabstractThe Shannon capacity of a graph G is the maximum asymptotic rate at which messages can be sent with zero probability of error through a noisy channel with confusability graph G. This extensively studied graph parameter disregards the fact that on atomic scales, nature behaves in line
Inferring Pedigree Graphs from Genetic Distances
Tamura, Takeyuki; Ito, Hiro
In this paper, we study a problem of inferring blood relationships which satisfy a given matrix of genetic distances between all pairs of n nodes. Blood relationships are represented by our proposed graph class, which is called a pedigree graph. A pedigree graph is a directed acyclic graph in which the maximum indegree is at most two. We show that the number of pedigree graphs which satisfy the condition of given genetic distances may be exponential, but they can be represented by one directed acyclic graph with n nodes. Moreover, an O(n3) time algorithm which solves the problem is also given. Although phylogenetic trees and phylogenetic networks are similar data structures to pedigree graphs, it seems that inferring methods for phylogenetic trees and networks cannot be applied to infer pedigree graphs since nodes of phylogenetic trees and networks represent species whereas nodes of pedigree graphs represent individuals. We also show an O(n2) time algorithm which detects a contradiction between a given pedigreee graph and distance matrix of genetic distances.
Lawes, Jonathan F.
2013-01-01
Graphing polar curves typically involves a combination of three traditional techniques, all of which can be time-consuming and tedious. However, an alternative method--graphing the polar function on a rectangular plane--simplifies graphing, increases student understanding of the polar coordinate system, and reinforces graphing techniques learned…
2014-01-01
© 2015 Elsevier B.V. Motivated by recent extensive studies on Wenger graphs, we introduce a new infinite class of bipartite graphs of a similar type, called linearized Wenger graphs. The spectrum, diameter and girth of these linearized Wenger graphs are determined.
Communication Complexity of Approximate Matching in Distributed Graphs
Huang, Zengfeng; Radunović, Božidar; Vojnović, Milan
n this paper we consider the communication complexity of approximation algorithms for maximum matching in a graph in the message-passing model of distributed computation. The input graph consists of n vertices and edges partitioned over a set of k sites. The output is an α - approximate maximum m...
A Brooks type theorem for the maximum local edge connectivity
Stiebitz, Michael; Toft, Bjarne
2017-01-01
For a graph $G$, let $\\cn(G)$ and $\\la(G)$ denote the chromatic number of $G$ and the maximum local edge connectivity of $G$, respectively. A result of Dirac \\cite{Dirac53} implies that every graph $G$ satisfies $\\cn(G)\\leq \\la(G)+1$. In this paper we characterize the graphs $G$ for which $\\cn(G)...
Bapat, Ravindra B
2014-01-01
This new edition illustrates the power of linear algebra in the study of graphs. The emphasis on matrix techniques is greater than in other texts on algebraic graph theory. Important matrices associated with graphs (for example, incidence, adjacency and Laplacian matrices) are treated in detail. Presenting a useful overview of selected topics in algebraic graph theory, early chapters of the text focus on regular graphs, algebraic connectivity, the distance matrix of a tree, and its generalized version for arbitrary graphs, known as the resistance matrix. Coverage of later topics include Laplacian eigenvalues of threshold graphs, the positive definite completion problem and matrix games based on a graph. Such an extensive coverage of the subject area provides a welcome prompt for further exploration. The inclusion of exercises enables practical learning throughout the book. In the new edition, a new chapter is added on the line graph of a tree, while some results in Chapter 6 on Perron-Frobenius theory are reo...
Outer-2-independent domination in graphs
Marcin Krzywkowski; Doost Ali Mojdeh; Maryem Raoofi
2016-02-01
We initiate the study of outer-2-independent domination in graphs. An outer-2-independent dominating set of a graph is a set of vertices of such that every vertex of ()\\ has a neighbor in and the maximum vertex degree of the subgraph induced by ()\\ is at most one. The outer-2-independent domination number of a graph is the minimum cardinality of an outer-2-independent dominating set of . We show that if a graph has minimum degree at least two, then its outer-2-independent domination number equals the number of vertices minus the 2-independence number. Then we investigate the outer-2-independent domination in graphs with minimum degree one. We also prove the Vizing-type conjecture for outer-2-independent domination and disprove the Vizing-type conjecture for outer-connected domination.
C. Dalfo
2015-10-01
Full Text Available We study a family of graphs related to the $n$-cube. The middle cube graph of parameter k is the subgraph of $Q_{2k-1}$ induced by the set of vertices whose binary representation has either $k-1$ or $k$ number of ones. The middle cube graphs can be obtained from the well-known odd graphs by doubling their vertex set. Here we study some of the properties of the middle cube graphs in the light of the theory of distance-regular graphs. In particular, we completely determine their spectra (eigenvalues and their multiplicities, and associated eigenvectors.
Spectral recognition of graphs
Cvetković Dragoš
2012-01-01
Full Text Available At some time, in the childhood of spectral graph theory, it was conjectured that non-isomorphic graphs have different spectra, i.e. that graphs are characterized by their spectra. Very quickly this conjecture was refuted and numerous examples and families of non-isomorphic graphs with the same spectrum (cospectral graphs were found. Still some graphs are characterized by their spectra and several mathematical papers are devoted to this topic. In applications to computer sciences, spectral graph theory is considered as very strong. The benefit of using graph spectra in treating graphs is that eigenvalues and eigenvectors of several graph matrices can be quickly computed. Spectral graph parameters contain a lot of information on the graph structure (both global and local including some information on graph parameters that, in general, are computed by exponential algorithms. Moreover, in some applications in data mining, graph spectra are used to encode graphs themselves. The Euclidean distance between the eigenvalue sequences of two graphs on the same number of vertices is called the spectral distance of graphs. Some other spectral distances (also based on various graph matrices have been considered as well. Two graphs are considered as similar if their spectral distance is small. If two graphs are at zero distance, they are cospectral. In this sense, cospectral graphs are similar. Other spectrally based measures of similarity between networks (not necessarily having the same number of vertices have been used in Internet topology analysis, and in other areas. The notion of spectral distance enables the design of various meta-heuristic (e.g., tabu search, variable neighbourhood search algorithms for constructing graphs with a given spectrum (spectral graph reconstruction. Several spectrally based pattern recognition problems appear in many areas (e.g., image segmentation in computer vision, alignment of protein-protein interaction networks in bio
An Algorithm for Learning the Essential Graph
Noble, John M
2010-01-01
This article presents an algorithm for learning the essential graph of a Bayesian network. The basis of the algorithm is the Maximum Minimum Parents and Children algorithm developed by previous authors, with three substantial modifications. The MMPC algorithm is the first stage of the Maximum Minimum Hill Climbing algorithm for learning the directed acyclic graph of a Bayesian network, introduced by previous authors. The MMHC algorithm runs in two phases; firstly, the MMPC algorithm to locate the skeleton and secondly an edge orientation phase. The computationally expensive part is the edge orientation phase. The first modification introduced to the MMPC algorithm, which requires little additional computational cost, is to obtain the immoralities and hence the essential graph. This renders the edge orientation phase, the computationally expensive part, unnecessary, since the entire Markov structure that can be derived from data is present in the essential graph. Secondly, the MMPC algorithm can accept indepen...
Improved Approximation for Orienting Mixed Graphs
Gamzu, Iftah
2012-01-01
An instance of the maximum mixed graph orientation problem consists of a mixed graph and a collection of source-target vertex pairs. The objective is to orient the undirected edges of the graph so as to maximize the number of pairs that admit a directed source-target path. This problem has recently arisen in the study of biological networks, and it also has applications in communication networks. In this paper, we identify an interesting local-to-global orientation property. This property enables us to modify the best known algorithms for maximum mixed graph orientation and some of its special structured instances, due to Elberfeld et al. (CPM '11), and obtain improved approximation ratios. We further proceed by developing an algorithm that achieves an even better approximation guarantee for the general setting of the problem. Finally, we study several well-motivated variants of this orientation problem.
Dynamic Matchings in Convex Bipartite Graphs
Brodal, Gerth Stølting; Georgiadis, Loukas; Hansen, Kristoffer Arnsfelt
2007-01-01
We consider the problem of maintaining a maximum matching in a convex bipartite graph G = (V,E) under a set of update operations which includes insertions and deletions of vertices and edges. It is not hard to show that it is impossible to maintain an explicit representation of a maximum matching...
Pancyclic and bipancyclic graphs
George, John C; Wallis, W D
2016-01-01
This book is focused on pancyclic and bipancyclic graphs and is geared toward researchers and graduate students in graph theory. Readers should be familiar with the basic concepts of graph theory, the definitions of a graph and of a cycle. Pancyclic graphs contain cycles of all possible lengths from three up to the number of vertices in the graph. Bipartite graphs contain only cycles of even lengths, a bipancyclic graph is defined to be a bipartite graph with cycles of every even size from 4 vertices up to the number of vertices in the graph. Cutting edge research and fundamental results on pancyclic and bipartite graphs from a wide range of journal articles and conference proceedings are composed in this book to create a standalone presentation. The following questions are highlighted through the book: - What is the smallest possible number of edges in a pancyclic graph with v vertices? - When do pancyclic graphs exist with exactly one cycle of every possible length? - What is the smallest possible number of...
An Efficient Parallel Graph Edge Matching Algorithm and Its Applications
MA Jun; MA Shaohan
1999-01-01
A fast and efficient parallel algorithm for finding a maximal edge matching in an undirected graph G(V,E) is proposed. It runs inO (log n) time with O (m/log n+n) processors on an EREW PRAM for aclass of graph set Π, where n=|V|,m=|E| and Π includesat least (i) planar graphs;(ii) graphs of bounded genus; and (iii)graphs of bounded maximum degree and so on. Our algorithm improves thepreviously known best algorithms by a factor of logn in the timecomplexity with linear number of processors on EREW PRAMs when the inputis limited to Π.
Algorithms for Graph Rigidity and Scene Analysis
Berg, Alex Rune; Jordán, Tibor
2003-01-01
We investigate algorithmic questions and structural problems concerning graph families defined by `edge-counts'. Motivated by recent developments in the unique realization problem of graphs, we give an efficient algorithm to compute the rigid, redundantly rigid, M-connected, and globally rigid...... by showing that 2d-connected bipartite graphs are d-tight. We give a new algorithm for finding a maximal d-sharp subgraph. We also answer a question of Imai and show that finding a maximum size d-sharp subgraph is NP-hard....
Capacitated max -Batching with Interval Graph Compatibilities
Nonner, Tim
We consider the problem of partitioning interval graphs into cliques of bounded size. Each interval has a weight, and the weight of a clique is the maximum weight of any interval in the clique. This natural graph problem can be interpreted as a batch scheduling problem. Solving a long-standing open problem, we show NP-hardness, even if the bound on the clique sizes is constant. Moreover, we give a PTAS based on a novel dynamic programming technique for this case.
Compeau, Phillip E.C
2011-01-01
We consider four families of pancake graphs, which are Cayley graphs, whose vertex sets are either the symmetric group on n objects or the hyperoctahedral group on n objects and whose generating sets...
2013-01-01
on Facebook , one would like to detect tightly connected communities, which is useful for subsequent tasks like customized recommendation and... advertisement . Graphs in modern applications have several characteristics that complicate graph clustering: • Small density gap: the edge density across
Shuai, Hong-Han; Yu, Philip S; Shen, Chih-Ya; Chen, Ming-Syan
2013-01-01
The importance of graph mining has been widely recognized thanks to a large variety of applications in many areas, while real datasets always play important roles to examine the solution quality and efficiency of a graph mining algorithm. Nevertheless, the size of a real dataset is usually fixed and constrained according to the available resources, such as the efforts to crawl an on-line social network. In this case, employing a synthetic graph generator is a possible way to generate a massive graph (e.g., billions nodes) for evaluating the scalability of an algorithm, and current popular statistical graph generators are properly designed to maintain statistical metrics such as total node degree, degree distribution, diameter, and clustering coefficient of the original social graphs. Nevertheless, in addition to the above metrics, recent studies on graph mining point out that graph frequent patterns are also important to provide useful implications for the corresponding social networking applications, but thi...
Evolutionary Graph Drawing Algorithms
Huang Jing-wei; Wei Wen-fang
2003-01-01
In this paper, graph drawing algorithms based on genetic algorithms are designed for general undirected graphs and directed graphs. As being shown, graph drawing algorithms designed by genetic algorithms have the following advantages: the frames of the algorithms are unified, the method is simple, different algorithms may be attained by designing different objective functions, therefore enhance the reuse of the algorithms. Also, aesthetics or constrains may be added to satisfy different requirements.
On molecular graph comparison.
Melo, Jenny A; Daza, Edgar
2011-06-01
Since the last half of the nineteenth century, molecular graphs have been present in several branches of chemistry. When used for molecular structure representation, they have been compared after mapping the corresponding graphs into mathematical objects. However, direct molecular comparison of molecular graphs is a research field less explored. The goal of this mini-review is to show some distance and similarity coefficients which were proposed to directly compare molecular graphs or which could be useful to do so.
Integral trees and integral graphs
Wang, Ligong
2005-01-01
This monograph deals with integral graphs, Laplacian integral regular graphs, cospectral graphs and cospectral integral graphs. The organization of this work, which consists of eight chapters, is as follows.
Communication Complexity of Approximate Matching in Distributed Graphs
Huang, Zengfeng; Radunović, Božidar; Vojnović, Milan;
n this paper we consider the communication complexity of approximation algorithms for maximum matching in a graph in the message-passing model of distributed computation. The input graph consists of n vertices and edges partitioned over a set of k sites. The output is an α - approximate maximum...... matching in the input graph which has to be reported by one of the sites. We show a lower bound on the communication complexity ofΩ(α2kn) and show that it is tight up to poly-logarithmic factors. This lower bound also applies to other combinatorial problems on graphs in the message-passing computation...
Finding Independent Sets in Unions of Perfect Graphs
2010-01-01
The maximum independent set problem (MaxIS) on general graphs is known to be NP-hard to approximate within a factor of $n^{1-epsilon}$, for any $epsilon > 0$. However, there are many ``easy" classes of graphs on which the problem can be solved in polynomial time. In this context, an interesting question is that of computing the maximum independent set in a graph that can be expressed as the union of a small number of graphs from an easy class. The MaxIS problem has been studied on unions of i...
Ellens, W.; Spieksma, F.M.; Mieghem, P. van; Jamakovic, A.; Kooij, R.E.
2011-01-01
This paper studies an interesting graph measure that we call the effective graph resistance. The notion of effective graph resistance is derived from the field of electric circuit analysis where it is defined as the accumulated effective resistance between all pairs of vertices. The objective of the
Graphing Inequalities, Connecting Meaning
Switzer, J. Matt
2014-01-01
Students often have difficulty with graphing inequalities (see Filloy, Rojano, and Rubio 2002; Drijvers 2002), and J. Matt Switzer's students were no exception. Although students can produce graphs for simple inequalities, they often struggle when the format of the inequality is unfamiliar. Even when producing a correct graph of an…
Charles Suffel
1982-01-01
Full Text Available A graph is subeulerian if it is spanned by an eulerian supergraph. Boesch, Suffel and Tindell have characterized the class of subeulerian graphs and determined the minimum number of additional lines required to make a subeulerian graph eulerian.
Loukas, A.
2015-01-01
We have recently seen a surge of research focusing on the processing of graph data. The emerging field of signal processing on graphs focuses on the extension of classical discrete signal processing techniques to the graph setting. Arguably, the greatest breakthrough of the field has been the extens
Cacti with maximum Kirchhoff index
Wang, Wen-Rui; Pan, Xiang-Feng
2015-01-01
The concept of resistance distance was first proposed by Klein and Randi\\'c. The Kirchhoff index $Kf(G)$ of a graph $G$ is the sum of resistance distance between all pairs of vertices in $G$. A connected graph $G$ is called a cactus if each block of $G$ is either an edge or a cycle. Let $Cat(n;t)$ be the set of connected cacti possessing $n$ vertices and $t$ cycles, where $0\\leq t \\leq \\lfloor\\frac{n-1}{2}\\rfloor$. In this paper, the maximum kirchhoff index of cacti are characterized, as well...
Yoder, Sharon K.
This book discusses four kinds of graphs that are taught in mathematics at the middle school level: pictographs, bar graphs, line graphs, and circle graphs. The chapters on each of these types of graphs contain information such as starting, scaling, drawing, labeling, and finishing the graphs using "LogoWriter." The final chapter of the book…
Gross, Jonathan L
2003-01-01
The Handbook of Graph Theory is the most comprehensive single-source guide to graph theory ever published. Best-selling authors Jonathan Gross and Jay Yellen assembled an outstanding team of experts to contribute overviews of more than 50 of the most significant topics in graph theory-including those related to algorithmic and optimization approaches as well as ""pure"" graph theory. They then carefully edited the compilation to produce a unified, authoritative work ideal for ready reference.Designed and edited with non-experts in mind, the Handbook of Graph Theory makes information easy to fi
Wong, Pak C.; Mackey, Patrick S.; Perrine, Kenneth A.; Foote, Harlan P.; Thomas, James J.
2008-12-23
Methods for visualizing a graph by automatically drawing elements of the graph as labels are disclosed. In one embodiment, the method comprises receiving node information and edge information from an input device and/or communication interface, constructing a graph layout based at least in part on that information, wherein the edges are automatically drawn as labels, and displaying the graph on a display device according to the graph layout. In some embodiments, the nodes are automatically drawn as labels instead of, or in addition to, the label-edges.
Caetano, Tiberio S; Cheng, Li; Le, Quoc V; Smola, Alex J
2008-01-01
As a fundamental problem in pattern recognition, graph matching has applications in a variety of fields, from computer vision to computational biology. In graph matching, patterns are modeled as graphs and pattern recognition amounts to finding a correspondence between the nodes of different graphs. Many formulations of this problem can be cast in general as a quadratic assignment problem, where a linear term in the objective function encodes node compatibility and a quadratic term encodes edge compatibility. The main research focus in this theme is about designing efficient algorithms for approximately solving the quadratic assignment problem, since it is NP-hard. In this paper we turn our attention to a different question: how to estimate compatibility functions such that the solution of the resulting graph matching problem best matches the expected solution that a human would manually provide. We present a method for learning graph matching: the training examples are pairs of graphs and the `labels' are ma...
Harrison, JM; Robbins, JM; 10.1098/rspa.2010.0254
2011-01-01
Quantum graphs are commonly used as models of complex quantum systems, for example molecules, networks of wires, and states of condensed matter. We consider quantum statistics for indistinguishable spinless particles on a graph, concentrating on the simplest case of abelian statistics for two particles. In spite of the fact that graphs are locally one-dimensional, anyon statistics emerge in a generalized form. A given graph may support a family of independent anyon phases associated with topologically inequivalent exchange processes. In addition, for sufficiently complex graphs, there appear new discrete-valued phases. Our analysis is simplified by considering combinatorial rather than metric graphs -- equivalently, a many-particle tight-binding model. The results demonstrate that graphs provide an arena in which to study new manifestations of quantum statistics. Possible applications include topological quantum computing, topological insulators, the fractional quantum Hall effect, superconductivity and molec...
Simplicial complexes of graphs
Jonsson, Jakob
2008-01-01
A graph complex is a finite family of graphs closed under deletion of edges. Graph complexes show up naturally in many different areas of mathematics, including commutative algebra, geometry, and knot theory. Identifying each graph with its edge set, one may view a graph complex as a simplicial complex and hence interpret it as a geometric object. This volume examines topological properties of graph complexes, focusing on homotopy type and homology. Many of the proofs are based on Robin Forman's discrete version of Morse theory. As a byproduct, this volume also provides a loosely defined toolbox for attacking problems in topological combinatorics via discrete Morse theory. In terms of simplicity and power, arguably the most efficient tool is Forman's divide and conquer approach via decision trees; it is successfully applied to a large number of graph and digraph complexes.
The k-Diameter of a Kind of Circulant Graph
ZHANG Xian-di
2004-01-01
The diameter of a graph G is the maximal distance between pairs of vertices of G. When a network is modeled as a graph,diameter is a measurement for maximum transmission delay. The k-diameter dk(G) of a graph G, which deals with k internally disjoint paths between pairs of vertices of G, is a extension of the diameter of G. It has widely studied in graph theory and computer science. The circulant graph is a group-theoretic model of a class of symmetric interconnection network. Let Cn(i, ) be a circulant graph of order n whose spanning elements are i and , where n≥4 and n is even. In this paper, the diameter, 2-diameter and 3-diameter of the Cn(i,) are all obtained if gcd(n,i)=1, where the symbol gcd(n,i) denotes the maximum common divisor of n and i.
Recognition of Graphs with Convex Quadratic Stability Number
Pacheco, Maria F.; Cardoso, Domingos M.
2009-09-01
A stable set of a graph is a set of mutually non-adjacent vertices. The determination of a maximum size stable set, which is called maximum stable set, and the determination of its size, which is called stability number, are central combinatorial optimization problems. However, given a nonnegative integer k, to determine if a graph G has a stable set of size k is NP-complete. In this paper we deal with graphs for which the stability number can be determined by solving a convex quadratic programming problem. Such graphs were introduced in [13] and are called graphs with convex-QP stability number. A few algorithmic techniques for the recognition of this type of graphs in particular families are presented.
Scaffold hopping using clique detection applied to reduced graphs.
Barker, Edward J; Buttar, David; Cosgrove, David A; Gardiner, Eleanor J; Kitts, Paula; Willett, Peter; Gillet, Valerie J
2006-01-01
Similarity-based methods for virtual screening are widely used. However, conventional searching using 2D chemical fingerprints or 2D graphs may retrieve only compounds which are structurally very similar to the original target molecule. Of particular current interest then is scaffold hopping, that is, the ability to identify molecules that belong to different chemical series but which could form the same interactions with a receptor. Reduced graphs provide summary representations of chemical structures and, therefore, offer the potential to retrieve compounds that are similar in terms of their gross features rather than at the atom-bond level. Using only a fingerprint representation of such graphs, we have previously shown that actives retrieved were more diverse than those found using Daylight fingerprints. Maximum common substructures give an intuitively reasonable view of the similarity between two molecules. However, their calculation using graph-matching techniques is too time-consuming for use in practical similarity searching in larger data sets. In this work, we exploit the low cardinality of the reduced graph in graph-based similarity searching. We reinterpret the reduced graph as a fully connected graph using the bond-distance information of the original graph. We describe searches, using both the maximum common induced subgraph and maximum common edge subgraph formulations, on the fully connected reduced graphs and compare the results with those obtained using both conventional chemical and reduced graph fingerprints. We show that graph matching using fully connected reduced graphs is an effective retrieval method and that the actives retrieved are likely to be topologically different from those retrieved using conventional 2D methods.
M2-Edge Colorings Of Cacti And Graph Joins
Czap Július
2016-02-01
Full Text Available An edge coloring φ of a graph G is called an M2-edge coloring if |φ(v| ≤ 2 for every vertex v of G, where φ(v is the set of colors of edges incident with v. Let 2(G denote the maximum number of colors used in an M2-edge coloring of G. In this paper we determine 2(G for trees, cacti, complete multipartite graphs and graph joins.
On the total domatic number of regular graphs
H. Aram
2012-03-01
Full Text Available A set S of vertices of a graph G = (V;E without isolated vertex is a total dominating set if every vertex of V (G is adjacent to some vertex in S. The total domatic number of a graph G is the maximum number of total dominating sets into which the vertex set of G can be partitioned. We show that the total domatic number of a random r-regular graph is almost surely at most r
Jampani, Krishnam Raju
2010-01-01
In a recent paper, we introduced the simultaneous representation problem (defined for any graph class C) and studied the problem for chordal, comparability and permutation graphs. For interval graphs, the problem is defined as follows. Two interval graphs G_1 and G_2, sharing some vertices I (and the corresponding induced edges), are said to be `simultaneous interval graphs' if there exist interval representations R_1 and R_2 of G_1 and G_2, such that any vertex of I is mapped to the same interval in both R_1 and R_2. Equivalently, G_1 and G_2 are simultaneous interval graphs if there exist edges E' between G_1-I and G_2-I such that G_1 \\cup G_2 \\cup E' is an interval graph. Simultaneous representation problems are related to simultaneous planar embeddings, and have applications in any situation where it is desirable to consistently represent two related graphs, for example: interval graphs capturing overlaps of DNA fragments of two similar organisms; or graphs connected in time, where one is an updated versi...
Robust Face Recognition through Local Graph Matching
Ehsan Fazl-Ersi
2007-09-01
Full Text Available A novel face recognition method is proposed, in which face images are represented by a set of local labeled graphs, each containing information about the appearance and geometry of a 3-tuple of face feature points, extracted using Local Feature Analysis (LFA technique. Our method automatically learns a model set and builds a graph space for each individual. A two-stage method for optimal matching between the graphs extracted from a probe image and the trained model graphs is proposed. The recognition of each probe face image is performed by assigning it to the trained individual with the maximum number of references. Our approach achieves perfect result on the ORL face set and an accuracy rate of 98.4% on the FERET face set, which shows the superiority of our method over all considered state-of-the-art methods. I
Fujie, Futaba
2014-01-01
Covering Walks in Graphs is aimed at researchers and graduate students in the graph theory community and provides a comprehensive treatment on measures of two well studied graphical properties, namely Hamiltonicity and traversability in graphs. This text looks into the famous Kӧnigsberg Bridge Problem, the Chinese Postman Problem, the Icosian Game and the Traveling Salesman Problem as well as well-known mathematicians who were involved in these problems. The concepts of different spanning walks with examples and present classical results on Hamiltonian numbers and upper Hamiltonian numbers of graphs are described; in some cases, the authors provide proofs of these results to illustrate the beauty and complexity of this area of research. Two new concepts of traceable numbers of graphs and traceable numbers of vertices of a graph which were inspired by and closely related to Hamiltonian numbers are introduced. Results are illustrated on these two concepts and the relationship between traceable concepts and...
Dosen, K
2011-01-01
Plural (or multiple-conclusion) cuts are inferences made by applying a structural rule introduced by Gentzen for his sequent formulation of classical logic. As singular (single-conclusion) cuts yield trees, which underlie ordinary natural deduction derivations, so plural cuts yield graphs of a more complicated kind, related to trees, which this paper defines. Besides the inductive definition of these oriented graphs, which is based on sequent systems, a non-inductive, graph-theoretical, combinatorial, definition is given, and to reach that other definition is the main goal of the paper. As trees underlie multicategories, so the graphs of plural cuts underlie polycategories. The graphs of plural cuts are interesting in particular when the plural cuts are appropriate for sequent systems without the structural rule of permutation, and the main body of the paper deals with that matter. It gives a combinatorial characterization of the planarity of the graphs involved.
Velasco, Pedro Pablo Perez
2008-01-01
This book objective is to develop an algebraization of graph grammars. Equivalently, we study graph dynamics. From the point of view of a computer scientist, graph grammars are a natural generalization of Chomsky grammars for which a purely algebraic approach does not exist up to now. A Chomsky (or string) grammar is, roughly speaking, a precise description of a formal language (which in essence is a set of strings). On a more discrete mathematical style, it can be said that graph grammars -- Matrix Graph Grammars in particular -- study dynamics of graphs. Ideally, this algebraization would enforce our understanding of grammars in general, providing new analysis techniques and generalizations of concepts, problems and results known so far.
Arrighi, Pablo
2012-01-01
We generalize the theory of Cellular Automata to arbitrary, time-varying graphs. In other words we formalize, and prove theorems about, the intuitive idea of a labelled graph which evolves in time - but under the natural constraint that information can only ever be transmitted at a bounded speed, with respect to the distance given by the graph. The notion of translation-invariance is also generalized. The definition we provide for these `causal graph dynamics' is simple and axiomatic. The theorems we provide also show that it is robust. For instance, causal graph dynamics are stable under composition and under restriction to radius one. In the finite case some fundamental facts of Cellular Automata theory carry through: causal graph dynamics admit a characterization as continuous functions and they are stable under inversion. The provided examples suggest a wide range of applications of this mathematical object, from complex systems science to theoretical physics. Keywords: Dynamical networks, Boolean network...
Buczyńska, Weronika
2010-01-01
We define toric projective model of a trivalent graph as a generalization of a binary symmetric model of a trivalent phylogenetic tree. Generators of the projective coordinate ring of the models of graphs with one cycle are explicitly described. The models of graphs with the same topological invariants are deformation equivalent and share the same Hilbert function. We also provide an algorithm to compute the Hilbert function.
Chartrand, Gary
1984-01-01
Graph theory is used today in the physical sciences, social sciences, computer science, and other areas. Introductory Graph Theory presents a nontechnical introduction to this exciting field in a clear, lively, and informative style. Author Gary Chartrand covers the important elementary topics of graph theory and its applications. In addition, he presents a large variety of proofs designed to strengthen mathematical techniques and offers challenging opportunities to have fun with mathematics. Ten major topics - profusely illustrated - include: Mathematical Models, Elementary Concepts of Grap
周泽广; 朱冬生; 黄银盛; 王婵
2012-01-01
为了选择合适的温差电组件和外部换热器,根据非平衡态热力学理论和牛顿冷却定律,对温差电组件采用串并联连接方式的温差发电系统进行了研究,导出了系统输出功率的热阻解析模型,探讨了温差电组件总数量、并联组件数量、热电模块及其热端和冷端的热阻等对系统性能的影响.结果表明,系统电阻与负载电阻、热电模块热阻与其热端和冷端的热阻之间存在匹配关系,能使系统获得最大的输出功率;随着并联组件数量的增加,最大输出功率和回路电流得到了提高,但系统的输出电压却降低了.研究结果为温差发电系统的合理装配及性能优化提供了理论参考.%In order to choose the appropriate thermoelectric components and external heat exchangers,the thermoelectric generation system with series-parallel connection of thermoelectric components was investigated according to the non-equilibrium thermodynamics theory and Newton cooling law,and the thermal resistance analytical model for system output power was derived.In addition,the effect of total number of thermoelectric components,number of components with parallel connection,thermoelectric module as well as thermal resistance at both hot and cold ends of the module on the system performance was discussed.The results show that there is a matching relationship between the system resistance and load resistance.Moreover,the thermal resistance of thermoelectric module and the thermal resistance at both hot and cold ends of the module also exhibit a matching relationship.Therefore the maximum output power can be obtained for the system.With increasing the number of components with parallel connection,the maximum output power and loop current get enhanced,while the output voltage of the system decreases.The present results can provide the theoretical reference for the reasonable assembly and performance optimization of thermoelectric generation system.
On bipartite graphs of defect at most 4
Feria-Purón, Ramiro
2010-01-01
We consider the bipartite version of the degree/diameter problem, namely, given natural numbers {\\Delta} \\geq 2 and D \\geq 2, find the maximum number Nb({\\Delta},D) of vertices in a bipartite graph of maximum degree {\\Delta} and diameter D. In this context, the Moore bipartite bound Mb({\\Delta},D) represents an upper bound for Nb({\\Delta},D). Bipartite graphs of maximum degree {\\Delta}, diameter D and order Mb({\\Delta},D), called Moore bipartite graphs, turned out to be very rare. Therefore, it is very interesting to investigate bipartite graphs of maximum degree {\\Delta} \\geq 2, diameter D \\geq 2 and order Mb({\\Delta},D) - \\epsilon with small \\epsilon > 0, that is, bipartite ({\\Delta},D,-\\epsilon)-graphs. The parameter \\epsilon is called the defect. This paper considers bipartite graphs of defect at most 4, and presents all the known such graphs. Bipartite graphs of defect 2 have been studied in the past; if {\\Delta} \\geq 3 and D \\geq 3, they may only exist for D = 3. However, when \\epsilon > 2 bipartite ({\\...
CHROMATIC NUMBER OF SQUARE OF MAXIMAL OUTERPLANAR GRAPHS
Luo Xiaofang
2007-01-01
Let χ(G2) denote the chromatic number of the square of a maximal outerplanar graph G and Q denote a maximal outerplanar graph obtained by adding three chords and χ(G2) = Δ + 2 if and only if G is Q, where Δ represents the maximum degree of G.
Creating more effective graphs
Robbins, Naomi B
2012-01-01
A succinct and highly readable guide to creating effective graphs The right graph can be a powerful tool for communicating information, improving a presentation, or conveying your point in print. If your professional endeavors call for you to present data graphically, here's a book that can help you do it more effectively. Creating More Effective Graphs gives you the basic knowledge and techniques required to choose and create appropriate graphs for a broad range of applications. Using real-world examples everyone can relate to, the author draws on her years of experience in gr
Lothian, Josh [ORNL; Powers, Sarah S [ORNL; Sullivan, Blair D [ORNL; Baker, Matthew B [ORNL; Schrock, Jonathan [ORNL; Poole, Stephen W [ORNL
2013-12-01
The benchmarking effort within the Extreme Scale Systems Center at Oak Ridge National Laboratory seeks to provide High Performance Computing benchmarks and test suites of interest to the DoD sponsor. The work described in this report is a part of the effort focusing on graph generation. A previously developed benchmark, SystemBurn, allowed the emulation of dierent application behavior profiles within a single framework. To complement this effort, similar capabilities are desired for graph-centric problems. This report examines existing synthetic graph generator implementations in preparation for further study on the properties of their generated synthetic graphs.
Thomassen, Carsten
2014-01-01
We prove a general result on graph factors modulo k . A special case says that, for each natural number k , every (12k−7)-edge-connected graph with an even number of vertices contains a spanning subgraph in which each vertex has degree congruent to k modulo 2k.......We prove a general result on graph factors modulo k . A special case says that, for each natural number k , every (12k−7)-edge-connected graph with an even number of vertices contains a spanning subgraph in which each vertex has degree congruent to k modulo 2k....
Gelfand, I M; Shnol, E E
2002-01-01
The second in a series of systematic studies by a celebrated mathematician I. M. Gelfand and colleagues, this volume presents students with a well-illustrated sequence of problems and exercises designed to illuminate the properties of functions and graphs. Since readers do not have the benefit of a blackboard on which a teacher constructs a graph, the authors abandoned the customary use of diagrams in which only the final form of the graph appears; instead, the book's margins feature step-by-step diagrams for the complete construction of each graph. The first part of the book employs simple fu
Bradford, Robert; Chmutov, Sergei
2011-01-01
We introduce an additional structure on ribbon graphs, arrow structure. We extend the Bollob\\'as-Riordan polynomial to ribbon graph with this structure. The extended polynomial satisfies the contraction-deletion relations and naturally behaves with respect to the partial duality of ribbon graphs. We construct an arrow ribbon graph from a virtual link whose extended Bollob\\'as-Riordan polynomial specializes to the arrow polynomial of the virtual link recently introduced by H.Dye and L.Kauffman. This result generalizes the classical Thistlethwaite theorem to the arrow polynomial of virtual links.
Alberto Apostolico
2009-08-01
Full Text Available The Web Graph is a large-scale graph that does not fit in main memory, so that lossless compression methods have been proposed for it. This paper introduces a compression scheme that combines efficient storage with fast retrieval for the information in a node. The scheme exploits the properties of the Web Graph without assuming an ordering of the URLs, so that it may be applied to more general graphs. Tests on some datasets of use achieve space savings of about 10% over existing methods.
Ping WANG; Jiong Sheng LI
2005-01-01
Let G be a finite simple graph with adjacency matrix A, and let P(A) be the convex closure of the set of all permutation matrices commuting with A. G is said to be compact if every doubly stochastic matrix which commutes with A is in P(A). In this paper, we characterize 3-regular compact graphs and prove that if G is a connected regular compact graph, G - v is also compact, and give a family of almost regular compact connected graphs.
Framings for graph hypersurfaces
Brown, Francis
2013-01-01
We present a method for computing the framing on the cohomology of graph hypersurfaces defined by the Feynman differential form. This answers a question of Bloch, Esnault and Kreimer in the affirmative for an infinite class of graphs for which the framings are Tate motives. Applying this method to the modular graphs of Brown and Schnetz, we find that the Feynman differential form is not of Tate type in general. This finally disproves a folklore conjecture stating that the periods of Feynman integrals of primitive graphs in phi^4 theory factorise through a category of mixed Tate motives.
LOCALIZATION THEOREM ON HAMILTONIAN GRAPHS
无
2000-01-01
Let G be a 2-connected graph of order n( 3).If I(u,v) S(u,v) or max {d(u),d(v)} n/2 for any two vertices u,v at distance two in an induced subgraph K1,3 or P3 of G,then G is hamiltonian.Here I(u,v) = ｜N(u)∩ N(v)｜,S(u,v) denotes thenumber of edges of maximum star containing u,v as an induced subgraph in G.
Caetano, Tibério S; McAuley, Julian J; Cheng, Li; Le, Quoc V; Smola, Alex J
2009-06-01
As a fundamental problem in pattern recognition, graph matching has applications in a variety of fields, from computer vision to computational biology. In graph matching, patterns are modeled as graphs and pattern recognition amounts to finding a correspondence between the nodes of different graphs. Many formulations of this problem can be cast in general as a quadratic assignment problem, where a linear term in the objective function encodes node compatibility and a quadratic term encodes edge compatibility. The main research focus in this theme is about designing efficient algorithms for approximately solving the quadratic assignment problem, since it is NP-hard. In this paper we turn our attention to a different question: how to estimate compatibility functions such that the solution of the resulting graph matching problem best matches the expected solution that a human would manually provide. We present a method for learning graph matching: the training examples are pairs of graphs and the 'labels' are matches between them. Our experimental results reveal that learning can substantially improve the performance of standard graph matching algorithms. In particular, we find that simple linear assignment with such a learning scheme outperforms Graduated Assignment with bistochastic normalisation, a state-of-the-art quadratic assignment relaxation algorithm.
Rensink, Arend; Distefano, Dino
2005-01-01
Graphs may be used as representations of system states in operational semantics and model checking; in the latter context, they are being investigated as an alternative to bit vectors. The corresponding transitions are obtained as derivations from graph production rules. In this paper we propose an
Rensink, Arend; Distefano, Dino; Mukhopadhyay, S.; Roychoudhury, A.; Yang, Z.
2006-01-01
Graphs may be used as representations of system states in operational semantics and model checking; in the latter context, they are being investigated as an alternative to bit vectors. The corresponding transitions are obtained as derivations from graph production rules. In this paper we propose an
Moment graphs and representations
Jantzen, Jens Carsten
2012-01-01
Moment graphs and sheaves on moment graphs are basically combinatorial objects that have be used to describe equivariant intersectiion cohomology. In these lectures we are going to show that they can be used to provide a direct link from this cohomology to the representation theory of simple Lie...
Husfeldt, Thore
2015-01-01
This chapter presents an introduction to graph colouring algorithms. The focus is on vertex-colouring algorithms that work for general classes of graphs with worst-case performance guarantees in a sequential model of computation. The presentation aims to demonstrate the breadth of available...
Behnaz Tolue
2018-07-01
Full Text Available In this paper we introduce stable subgroup graph associated to the group $G$. It is a graph with vertex set all subgroups of $G$ and two distinct subgroups $H_1$ and $H_2$ are adjacent if $St_{G}(H_1\\cap H_2\
Mol, de Maarten; Rensink, Arend; Hunt, James J.
2012-01-01
This paper introduces an approach for adding graph transformation-based functionality to existing JAVA programs. The approach relies on a set of annotations to identify the intended graph structure, as well as on user methods to manipulate that structure, within the user’s own JAVA class declaration
Husfeldt, Thore
2015-01-01
This chapter presents an introduction to graph colouring algorithms. The focus is on vertex-colouring algorithms that work for general classes of graphs with worst-case performance guarantees in a sequential model of computation. The presentation aims to demonstrate the breadth of available techniques and is organized by algorithmic paradigm.
Perepelitsa, VA; Sergienko, [No Value; Kochkarov, AM
1999-01-01
Definitions of prefractal and fractal graphs are introduced, and they are used to formulate mathematical models in different fields of knowledge. The topicality of fractal-graph recognition from the point of view, of fundamental improvement in the efficiency of the solution of algorithmic problems i
Belkhechine, Houmem; Elayech, Mohamed Baka
2010-01-01
Given a (directed) graph G=(V,A), a subset X of V is an interval of G provided that for any a, b\\in X and x\\in V-X, (a,x)\\in A if and only if (b,x)\\in A and (x,a)\\in A if and only if (x,b)\\in A. For example, \\emptyset, \\{x\\} (x \\in V) and V are intervals of G, called trivial intervals. A graph, all the intervals of which are trivial, is indecomposable; otherwise, it is decomposable. A vertex x of an indecomposable graph is critical if G-x is decomposable. In 1993, J.H. Schmerl and W.T. Trotter characterized the indecomposable graphs, all the vertices of which are critical, called critical graphs. In this article, we characterize the indecomposable graphs which admit a single non critical vertex, that we call (-1)-critical graphs.} This gives an answer to a question asked by Y. Boudabbous and P. Ille in a recent article studying the critical vertices in an indecomposable graph.
A. Assari
2016-01-01
Full Text Available In this paper, a graph is assigned to any probability measure on the σ-algebra of Borel sets of a topological space. Using this construction, it is proved that given any number n (finite or infinite there exists a nonregular graph such that its clique, chromatic, and dominating number equals n.
Moment graphs and representations
Jantzen, Jens Carsten
2012-01-01
Moment graphs and sheaves on moment graphs are basically combinatorial objects that have be used to describe equivariant intersectiion cohomology. In these lectures we are going to show that they can be used to provide a direct link from this cohomology to the representation theory of simple Lie...... algebras and of simple algebraic groups. The first section contains some background on equivariant cohomology....
Graphs: Associated Markov Chains
2012-01-01
In this research paper, weighted / unweighted, directed / undirected graphs are associated with interesting Discrete Time Markov Chains (DTMCs) as well as Continuous Time Markov Chains (CTMCs). The equilibrium / transient behaviour of such Markov chains is studied. Also entropy dynamics (Shannon entropy) of certain structured Markov chains is investigated. Finally certain structured graphs and the associated Markov chains are studied.
Kim, Suh-Ryung; Park, Boram; Sano, Yoshio
2011-01-01
The competition graph of a digraph $D$ is a (simple undirected) graph which has the same vertex set as $D$ and has an edge between $x$ and $y$ if and only if there exists a vertex $v$ in $D$ such that $(x,v)$ and $(y,v)$ are arcs of $D$. For any graph $G$, $G$ together with sufficiently many isolated vertices is the competition graph of some acyclic digraph. The competition number $k(G)$ of $G$ is the smallest number of such isolated vertices. In general, it is hard to compute the competition number $k(G)$ for a graph $G$ and it has been one of the important research problems in the study of competition graphs. Opsut~[1982] suggested that the edge clique cover number $\\theta_E(G)$ should be closely related to $k(G)$ by showing $\\theta_E(G)-|V(G)|+2 \\leq k(G) \\leq \\theta_E(G)$. In this note, we study on these inequalities. We first show that for any positive integer $m$ satisfying $2 \\leq m \\leq |V(G)|$, there is a graph $G$ satisfying $k(G)=\\theta_E(G)-|V(G)|+m$ and characterize a graph $G$ satisfying $k(G)=\\...
PARTITIONING A GRAPH INTO MONOPOLY SETS
AHMED MOHAMMED NAJI
2017-06-01
Full Text Available In a graph G = (V, E, a subset M of V (G is said to be a monopoly set of G if every vertex v ∈ V - M has, at least, d(v/ 2 neighbors in M. The monopoly size of G, denoted by mo(G, is the minimum cardinality of a monopoly set. In this paper, we study the problem of partitioning V (G into monopoly sets. An M-partition of a graph G is the partition of V (G into k disjoint monopoly sets. The monatic number of G, denoted by μ(G, is the maximum number of sets in M-partition of G. It is shown that 2 ≤ μ(G ≤ 3 for every graph G without isolated vertices. The properties of each monopoly partite set of G are presented. Moreover, the properties of all graphs G having μ(G = 3, are presented. It is shown that every graph G having μ(G = 3 is Eulerian and have χ (G ≤ 3. Finally, it is shown that for every integer k which is different from {1, 2, 4}, there exists a graph G of order n = k having μ(G = 3.
Kinkhabwala, Ali
2013-01-01
The most fundamental problem in statistics is the inference of an unknown probability distribution from a finite number of samples. For a specific observed data set, answers to the following questions would be desirable: (1) Estimation: Which candidate distribution provides the best fit to the observed data?, (2) Goodness-of-fit: How concordant is this distribution with the observed data?, and (3) Uncertainty: How concordant are other candidate distributions with the observed data? A simple unified approach for univariate data that addresses these traditionally distinct statistical notions is presented called "maximum fidelity". Maximum fidelity is a strict frequentist approach that is fundamentally based on model concordance with the observed data. The fidelity statistic is a general information measure based on the coordinate-independent cumulative distribution and critical yet previously neglected symmetry considerations. An approximation for the null distribution of the fidelity allows its direct conversi...
Computing Best and Worst Shortcuts of Graphs Embedded in Metric Spaces
Wulff-Nilsen, Christian; Luo, Jun
2008-01-01
Given a graph embedded in a metric space, its dilation is the maximum over all distinct pairs of vertices of the ratio between their distance in the graph and the metric distance between them. Given such a graph G with n vertices and m edges and consisting of at most two connected components, we...
On Longest Cycles in Essentially 4-Connected Planar Graphs
Fabrici Igor
2016-08-01
Full Text Available A planar 3-connected graph G is essentially 4-connected if, for any 3-separator S of G, one component of the graph obtained from G by removing S is a single vertex. Jackson and Wormald proved that an essentially 4-connected planar graph on n vertices contains a cycle C such that . For a cubic essentially 4-connected planar graph G, Grünbaum with Malkevitch, and Zhang showed that G has a cycle on at least ¾ n vertices. In the present paper the result of Jackson and Wormald is improved. Moreover, new lower bounds on the length of a longest cycle of G are presented if G is an essentially 4-connected planar graph of maximum degree 4 or G is an essentially 4-connected maximal planar graph.
Subgraph detection using graph signals
Chepuri, Sundeep Prabhakar
2017-03-06
In this paper we develop statistical detection theory for graph signals. In particular, given two graphs, namely, a background graph that represents an usual activity and an alternative graph that represents some unusual activity, we are interested in answering the following question: To which of the two graphs does the observed graph signal fit the best? To begin with, we assume both the graphs are known, and derive an optimal Neyman-Pearson detector. Next, we derive a suboptimal detector for the case when the alternative graph is not known. The developed theory is illustrated with numerical experiments.
Maximum Matchings via Glauber Dynamics
Jindal, Anant; Pal, Manjish
2011-01-01
In this paper we study the classic problem of computing a maximum cardinality matching in general graphs $G = (V, E)$. The best known algorithm for this problem till date runs in $O(m \\sqrt{n})$ time due to Micali and Vazirani \\cite{MV80}. Even for general bipartite graphs this is the best known running time (the algorithm of Karp and Hopcroft \\cite{HK73} also achieves this bound). For regular bipartite graphs one can achieve an $O(m)$ time algorithm which, following a series of papers, has been recently improved to $O(n \\log n)$ by Goel, Kapralov and Khanna (STOC 2010) \\cite{GKK10}. In this paper we present a randomized algorithm based on the Markov Chain Monte Carlo paradigm which runs in $O(m \\log^2 n)$ time, thereby obtaining a significant improvement over \\cite{MV80}. We use a Markov chain similar to the \\emph{hard-core model} for Glauber Dynamics with \\emph{fugacity} parameter $\\lambda$, which is used to sample independent sets in a graph from the Gibbs Distribution \\cite{V99}, to design a faster algori...
Kupavskii, A. B.
2014-02-01
We study distance graphs with exponentially large chromatic numbers and without k-cliques, that is, complete subgraphs of size k. Explicit constructions of such graphs use vectors in the integer lattice. For a large class of graphs we find a sharp threshold for containing a k-clique. This enables us to improve the lower bounds for the maximum of the chromatic numbers of such graphs. We give a new probabilistic approach to the construction of distance graphs without k-cliques, and this yields better lower bounds for the maximum of the chromatic numbers for large k.
Niedzialomski Amanda
2016-11-01
Full Text Available For k ∈ ℤ+ and G a simple, connected graph, a k-radio labeling f : V (G → ℤ+ of G requires all pairs of distinct vertices u and v to satisfy |f(u − f(v| ≥ k + 1 − d(u, v. We consider k-radio labelings of G when k = diam(G. In this setting, f is injective; if f is also surjective onto {1, 2, . . . , |V (G|}, then f is a consecutive radio labeling. Graphs that can be labeled with such a labeling are called radio graceful. In this paper, we give two results on the existence of radio graceful Hamming graphs. The main result shows that the Cartesian product of t copies of a complete graph is radio graceful for certain t. Graphs of this form provide infinitely many examples of radio graceful graphs of arbitrary diameter. We also show that these graphs are not radio graceful for large t.
Bidimensionality and Geometric Graphs
Fomin, Fedor V; Saurabh, Saket
2011-01-01
In this paper we use several of the key ideas from Bidimensionality to give a new generic approach to design EPTASs and subexponential time parameterized algorithms for problems on classes of graphs which are not minor closed, but instead exhibit a geometric structure. In particular we present EPTASs and subexponential time parameterized algorithms for Feedback Vertex Set, Vertex Cover, Connected Vertex Cover, Diamond Hitting Set, on map graphs and unit disk graphs, and for Cycle Packing and Minimum-Vertex Feedback Edge Set on unit disk graphs. Our results are based on the recent decomposition theorems proved by Fomin et al [SODA 2011], and our algorithms work directly on the input graph. Thus it is not necessary to compute the geometric representations of the input graph. To the best of our knowledge, these results are previously unknown, with the exception of the EPTAS and a subexponential time parameterized algorithm on unit disk graphs for Vertex Cover, which were obtained by Marx [ESA 2005] and Alber and...
Distributed graph coloring fundamentals and recent developments
Barenboim, Leonid
2013-01-01
The focus of this monograph is on symmetry breaking problems in the message-passing model of distributed computing. In this model a communication network is represented by a n-vertex graph G = (V,E), whose vertices host autonomous processors. The processors communicate over the edges of G in discrete rounds. The goal is to devise algorithms that use as few rounds as possible.A typical symmetry-breaking problem is the problem of graph coloring. Denote by ? the maximum degree of G. While coloring G with ? + 1 colors is trivial in the centralized setting, the problem becomes much more challenging
5自由度串并联机器人控制系统设计%Design on the control system of 5 DOF series-parallel robots
罗建国; 何茂艳; 孙学城; 黄真
2009-01-01
On the basis of the already constructed 5 DOF series-parallel robot a design from two aspects of hardware and software on its motion control system has been carried out. The functions of pro-traction of its spatial complicated figures and the calligraphy of Clu-nese characters were realized. By means of various motion interpola-tion methods the prearranged track of the outpntfing terminal end was realized. Through analysis of the relation between class objects the hierarchy of motion control system software based on PC was ob-tained. Utilizing the VB language the man-computer interaction inter-face and program of the robotic demonstration system were developed and the functions of handwriting linkage input and memory reappear-ante were achieved. It has been proved by practice that the designed hardware control system and the software control system had favoura-hie performances and provided the expandable functions.%在已构建5自由度串并联机器人的基础上,从硬件和软件两方面.对其运动控制系统进行设计,实现其空间复杂图形的绘制和汉字的书写功能.通过多种运动插补方法实现输出末端的预定轨迹,通过类对象间关系分析得到基于PC的运动控制体系软件层次结构.利用VB语言开发出机器人示教系统的人机交互界面和程序,实现手写联动输入和记忆重现功能.实践证明所设计的硬件控制系统和软件控制系统表现良好.且具备可扩充功能.
The(△+2,2)-incidence coloring of outerplanar graphs
Shudong Wang; Jin Xu; Fangfang Ma; Chunxiang Xu
2008-01-01
An incidence coloring of graph G is a coloring of its incidences in which neighbody incidences are assigned different colors.In this paper,the incidence coloring of outerplanar graphs is discussed using the techniques of exchanging colors and the double inductions from the aspect of configuration property.Results show that there exists a(△+2,2)-incidence coloring in every outerplanar graph,where △ is the maximum degree of outerplanar graph.
Convex quadratic programming applied to the stability number of a graph
Pacheco, Maria F.; Cardoso, Domingos Moreira; Luz, Carlos J.
2012-01-01
We deal with graphs whose stability number can be determined by a convex quadratic program and describe algorithmic techniques for the determination of maximum stabe sets in such graphs (except there is an induced subgraph with least adjacency eigenvalue and optimal value of the convex quadratic program not changing if the neighbourhood of any vertex is deleted). Such a graph is called adverse. Assuming that every adverse graph has convex-QP stability number, an algorithm for the recognition ...
Yoshinaga, Masahiko
2015-01-01
Finite graphs that have a common chromatic polynomial have the same number of regular $n$-colorings. A natural question is whether there exists a natural bijection between regular $n$-colorings. We address this question using a functorial formulation. Let $G$ be a simple graph. Then for each set $X$ we can associate a set of $X$-colorings. This defines a functor, "chromatic functor" from the category of sets with injections to itself. The first main result verifies that two finite graphs dete...
Gross, Jonathan L; Zhang, Ping
2013-01-01
In the ten years since the publication of the best-selling first edition, more than 1,000 graph theory papers have been published each year. Reflecting these advances, Handbook of Graph Theory, Second Edition provides comprehensive coverage of the main topics in pure and applied graph theory. This second edition-over 400 pages longer than its predecessor-incorporates 14 new sections. Each chapter includes lists of essential definitions and facts, accompanied by examples, tables, remarks, and, in some cases, conjectures and open problems. A bibliography at the end of each chapter provides an ex
Bollobas, Bela
2004-01-01
The ever-expanding field of extremal graph theory encompasses a diverse array of problem-solving methods, including applications to economics, computer science, and optimization theory. This volume, based on a series of lectures delivered to graduate students at the University of Cambridge, presents a concise yet comprehensive treatment of extremal graph theory.Unlike most graph theory treatises, this text features complete proofs for almost all of its results. Further insights into theory are provided by the numerous exercises of varying degrees of difficulty that accompany each chapter. A
Asymptote Misconception on Graphing Functions: Does Graphing Software Resolve It?
Öçal, Mehmet Fatih
2017-01-01
Graphing function is an important issue in mathematics education due to its use in various areas of mathematics and its potential roles for students to enhance learning mathematics. The use of some graphing software assists students' learning during graphing functions. However, the display of graphs of functions that students sketched by hand may…
The Interval Graph Completion Problem on Split Graphs
ZHANG Zhen-kun; YU Min
2015-01-01
The interval graph completion problem on a graph G is to find an added edge set F such that G+F is an interval supergraph with the smallest possible number of edges. The problem has important applications to numerical algebra, V LSI-layout and algorithm graph theory etc; And it has been known to be N P-complete on general graphs. Some classes of special graphs have been investigated in the literatures. In this paper the interval graph completion problem on split graphs is investigated.
Graph Operations on Clique-Width Bounded Graphs
Gurski, Frank
2007-01-01
Clique-width is a well-known graph parameter. Many NP-hard graph problems admit polynomial-time solutions when restricted to graphs of bounded clique-width. The same holds for NLC-width. In this paper we study the behavior of clique-width and NLC-width under various graph operations and graph transformations. We give upper and lower bounds for the clique-width and NLC-width of the modified graphs in terms of the clique-width and NLC-width of the involved graphs.
GraphState - a tool for graph identification and labelling
Batkovich, D; Kompaniets, M; Novikov, S
2014-01-01
We present python libraries for Feynman graphs manipulation. The key feature of these libraries is usage of generalization of graph representation offered by B. G. Nickel et al. In this approach graph is represented in some unique 'canonical' form that depends only on its combinatorial type. The uniqueness of graph representation gives an efficient way for isomorphism finding, searching for subgraphs and other graph manipulation tasks. Though offered libraries were originally designed for Feynman graphs, they might be useful for more general graph problems.
Wilson, Robin J
1985-01-01
Graph Theory has recently emerged as a subject in its own right, as well as being an important mathematical tool in such diverse subjects as operational research, chemistry, sociology and genetics. This book provides a comprehensive introduction to the subject.
Alspach, BR
1985-01-01
This volume deals with a variety of problems involving cycles in graphs and circuits in digraphs. Leading researchers in this area present here 3 survey papers and 42 papers containing new results. There is also a collection of unsolved problems.
Haynes Teresa W.
2014-08-01
Full Text Available A path π = (v1, v2, . . . , vk+1 in a graph G = (V,E is a downhill path if for every i, 1 ≤ i ≤ k, deg(vi ≥ deg(vi+1, where deg(vi denotes the degree of vertex vi ∈ V. The downhill domination number equals the minimum cardinality of a set S ⊆ V having the property that every vertex v ∈ V lies on a downhill path originating from some vertex in S. We investigate downhill domination numbers of graphs and give upper bounds. In particular, we show that the downhill domination number of a graph is at most half its order, and that the downhill domination number of a tree is at most one third its order. We characterize the graphs obtaining each of these bounds
Categorical constructions in graph theory
Richard T. Bumby
1986-01-01
Full Text Available This paper presents some graph-theoretic questions from the viewpoint of the portion of category theory which has become common knowledge. In particular, the reader is encouraged to consider whether there is only one natural category of graphs and how theories of directed graphs and undirected graphs are related.
A Semantic Graph Query Language
Kaplan, I L
2006-10-16
Semantic graphs can be used to organize large amounts of information from a number of sources into one unified structure. A semantic query language provides a foundation for extracting information from the semantic graph. The graph query language described here provides a simple, powerful method for querying semantic graphs.
Local Interaction on Random Graphs
Hans Haller
2010-08-01
Full Text Available We analyze dynamic local interaction in population games where the local interaction structure (modeled as a graph can change over time: A stochastic process generates a random sequence of graphs. This contrasts with models where the initial interaction structure (represented by a deterministic graph or the realization of a random graph cannot change over time.
The Least Eigenvalue of Graphs
Guidong YU; Yizheng FAN; Yi WANG
2012-01-01
In this paper we investigate the least eigenvalue of a graph whose complement is connected,and present a lower bound for the least eigenvalue of such graph.We also characterize the unique graph whose least eigenvalue attains the second minimum among all graphs of fixed order.
Families of graph-different Hamilton paths
Körner, János; Simonyi, Gábor
2011-01-01
Let D be an arbitrary subset of the natural numbers. For every n, let M(n;D) be the maximum of the cardinality of a set of Hamiltonian paths in the complete graph K_n such that the union of any two paths from the family contains a not necessarily induced cycle of some length from D. We determine or bound the asymptotics of M(n;D) in various special cases. This problem is closely related to that of the permutation capacity of graphs and constitutes a further extension of the problem area around Shannon capacity. We also discuss how to generalize our cycle-difference problems and present an example where cycles are replaced by 4-cliques. These problems are in a natural duality to those of graph intersection, initiated by Erd\\"os, Simonovits and S\\'os. The lack of kernel structure as a natural candidate for optimum makes our problems quite challenging.
Bounds on Gromov Hyperbolicity Constant in Graphs
José M Rodríguez; José M Sigarreta
2012-02-01
If is a geodesic metric space and 1,2,3 $\\in$ , a geodesic triangle ={1,2,3} is the union of the three geodesics [1,2], [2,3] and [31] in . The space is -hyperbolic (in the Gromov sense) if any side of is contained in a -neighborhood of the union of two other sides, for every geodesic triangle in . If is hyperbolic, we denote by () the sharp hyperbolicity constant of , i.e. ()=$inf{$≥ 0$ : is -hyperbolic}. In this paper we relate the hyperbolicity constant of a graph with some known parameters of the graph, as its independence number, its maximum and minimum degree and its domination number. Furthermore, we compute explicitly the hyperbolicity constant of some class of product graphs.
Solsolitons associated with graphs
Lafuente, Ramiro A
2010-01-01
We show how to associate with each graph with a certain property (positivity) a family of simply connected solvable Lie groups endowed with left-invariant Riemannian metrics that are Ricci solitons (called solsolitons). We classify them up to isometry, obtaining families depending on many parameters of explicit examples of Ricci solitons. A classification of graphs with up to 3 coherent components according to positivity is also given.
Graph Embedding for Pattern Analysis
Ma, Yunqian
2013-01-01
Graph Embedding for Pattern Analysis covers theory methods, computation, and applications widely used in statistics, machine learning, image processing, and computer vision. This book presents the latest advances in graph embedding theories, such as nonlinear manifold graph, linearization method, graph based subspace analysis, L1 graph, hypergraph, undirected graph, and graph in vector spaces. Real-world applications of these theories are spanned broadly in dimensionality reduction, subspace learning, manifold learning, clustering, classification, and feature selection. A selective group of experts contribute to different chapters of this book which provides a comprehensive perspective of this field.
Bollobás, Béla
1998-01-01
The time has now come when graph theory should be part of the education of every serious student of mathematics and computer science, both for its own sake and to enhance the appreciation of mathematics as a whole. This book is an in-depth account of graph theory, written with such a student in mind; it reflects the current state of the subject and emphasizes connections with other branches of pure mathematics. The volume grew out of the author's earlier book, Graph Theory -- An Introductory Course, but its length is well over twice that of its predecessor, allowing it to reveal many exciting new developments in the subject. Recognizing that graph theory is one of several courses competing for the attention of a student, the book contains extensive descriptive passages designed to convey the flavor of the subject and to arouse interest. In addition to a modern treatment of the classical areas of graph theory such as coloring, matching, extremal theory, and algebraic graph theory, the book presents a detailed ...
Arrighi, Pablo
2016-01-01
Consider a graph having quantum systems lying at each node. Suppose that the whole thing evolves in discrete time steps, according to a global, unitary causal operator. By causal we mean that information can only propagate at a bounded speed, with respect to the distance given by the graph. Suppose, moreover, that the graph itself is subject to the evolution, and may be driven to be in a quantum superposition of graphs---in accordance to the superposition principle. We show that these unitary causal operators must decompose as a finite-depth circuit of local unitary gates. This unifies a result on Quantum Cellular Automata with another on Reversible Causal Graph Dynamics. Along the way we formalize a notion of causality which is valid in the context of quantum superpositions of time-varying graphs, and has a number of good properties. Keywords: Quantum Lattice Gas Automata, Block-representation, Curtis-Hedlund-Lyndon, No-signalling, Localizability, Quantum Gravity, Quantum Graphity, Causal Dynamical Triangula...
Commuting projections on graphs
Vassilevski, Panayot S. [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States). Center for Applied Scientific Computing; Zikatanov, Ludmil T. [Pennsylvania State Univ., University Park, PA (United States). Dept. of Mathematics
2013-02-19
For a given (connected) graph, we consider vector spaces of (discrete) functions defined on its vertices and its edges. These two spaces are related by a discrete gradient operator, Grad and its adjoint, ₋Div, referred to as (negative) discrete divergence. We also consider a coarse graph obtained by aggregation of vertices of the original one. Then a coarse vertex space is identified with the subspace of piecewise constant functions over the aggregates. We consider the ℓ_{2}-projection Q_{H} onto the space of these piecewise constants. In the present paper, our main result is the construction of a projection π _{H} from the original edge-space onto a properly constructed coarse edge-space associated with the edges of the coarse graph. The projections π _{H} and Q_{H} commute with the discrete divergence operator, i.e., we have div π _{H} = Q_{H} div. The respective pair of coarse edge-space and coarse vertexspace offer the potential to construct two-level, and by recursion, multilevel methods for the mixed formulation of the graph Laplacian which utilizes the discrete divergence operator. The performance of one two-level method with overlapping Schwarz smoothing and correction based on the constructed coarse spaces for solving such mixed graph Laplacian systems is illustrated on a number of graph examples.
Clique graphs and overlapping communities
Evans, T. S.
2010-12-01
It is shown how to construct a clique graph in which properties of cliques of a fixed order in a given graph are represented by vertices in a weighted graph. Various definitions and motivations for these weights are given. The detection of communities or clusters is used to illustrate how a clique graph may be exploited. In particular a benchmark network is shown where clique graphs find the overlapping communities accurately while vertex partition methods fail.
Higher-order graph wavelets and sparsity on circulant graphs
Kotzagiannidis, Madeleine S.; Dragotti, Pier Luigi
2015-08-01
The notion of a graph wavelet gives rise to more advanced processing of data on graphs due to its ability to operate in a localized manner, across newly arising data-dependency structures, with respect to the graph signal and underlying graph structure, thereby taking into consideration the inherent geometry of the data. In this work, we tackle the problem of creating graph wavelet filterbanks on circulant graphs for a sparse representation of certain classes of graph signals. The underlying graph can hereby be data-driven as well as fixed, for applications including image processing and social network theory, whereby clusters can be modelled as circulant graphs, respectively. We present a set of novel graph wavelet filter-bank constructions, which annihilate higher-order polynomial graph signals (up to a border effect) defined on the vertices of undirected, circulant graphs, and are localised in the vertex domain. We give preliminary results on their performance for non-linear graph signal approximation and denoising. Furthermore, we provide extensions to our previously developed segmentation-inspired graph wavelet framework for non-linear image approximation, by incorporating notions of smoothness and vanishing moments, which further improve performance compared to traditional methods.
Perfect arborescence packing in preflow mincut graphs
Gabow, H.N. [Univ. of Colorado, Boulder, CO (United States)
1996-12-31
In a digraph with distinguished vertex a, for any vertex v {ne} a let {lambda}(v) equal the value of a maximum flow from a to v. A perfect packing of a-arborescences contains each vertex in {lambda}(v) arborescences and contains some fixed vertex in every arborescence. Determining if an arbitrary graph has a perfect packing is NP-complete. We present the most general known condition that guarantees the existence of a perfect packing: each vertex v {ne} a is separated from a by a set that has in-degree {lambda}(v) and out-degree no greater. This result is based on other useful properties of such graphs, e.g., they always have a pair of edges that can be {open_quotes}split off{close_quotes} preserving, values. We show a perfect packing can be found in O(nm{sup 2}) time, where n (m) is the number of vertices (edges). If the graph has a capacity function the time is the same as computing O(n{sup 2}) maximum network flows. We also show a preflow mincut graph has a fractional perfect packing using only m + n - 2 distinct arborescences.
Regularity in Vague Intersection Graphs and Vague Line Graphs
Muhammad Akram
2014-01-01
Full Text Available Fuzzy graph theory is commonly used in computer science applications, particularly in database theory, data mining, neural networks, expert systems, cluster analysis, control theory, and image capturing. A vague graph is a generalized structure of a fuzzy graph that gives more precision, flexibility, and compatibility to a system when compared with systems that are designed using fuzzy graphs. In this paper, we introduce the notion of vague line graphs, and certain types of vague line graphs and present some of their properties. We also discuss an example application of vague digraphs.
The STAPL Parallel Graph Library
Harshvardhan,
2013-01-01
This paper describes the stapl Parallel Graph Library, a high-level framework that abstracts the user from data-distribution and parallelism details and allows them to concentrate on parallel graph algorithm development. It includes a customizable distributed graph container and a collection of commonly used parallel graph algorithms. The library introduces pGraph pViews that separate algorithm design from the container implementation. It supports three graph processing algorithmic paradigms, level-synchronous, asynchronous and coarse-grained, and provides common graph algorithms based on them. Experimental results demonstrate improved scalability in performance and data size over existing graph libraries on more than 16,000 cores and on internet-scale graphs containing over 16 billion vertices and 250 billion edges. © Springer-Verlag Berlin Heidelberg 2013.
Fundamentals of algebraic graph transformation
Ehrig, Hartmut; Prange, Ulrike; Taentzer, Gabriele
2006-01-01
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. Part I is an introduction to the classical case of graph and typed graph transformation. In Part II basic and advanced results are first shown for an abstract form of replacement systems, so-called adhesive high-level replacement systems based on category theory, and are then instantiated to several forms of graph and Petri net transformation systems. Part III develops typed attributed graph transformation, a technique of key relevance in the modeling of visual languages and in model transformation. Part IV contains a practical case study on model transformation and a presentation of the AGG (attributed graph grammar) tool envir...
On the independence polynomial of an antiregular graph
Levit, Vadim E
2010-01-01
A graph with at most two vertices of the same degree is called antiregular (Merris 2003), maximally nonregular (Zykov 1990) or quasiperfect (Behzad, Chartrand 1967). If s_{k} is the number of independent sets of cardinality k in a graph G, then I(G;x) = s_{0} + s_{1}x + ... + s_{alpha}x^{alpha} is the independence polynomial of G (Gutman, Harary 1983), where alpha = alpha(G) is the size of a maximum independent set. In this paper we derive closed formulae for the independence polynomials of antiregular graphs. In particular, we deduce that every antiregular graph A is uniquely defined by its independence polynomial I(A;x), within the family of threshold graphs. Moreover, I(A;x) is logconcave with at most two real roots, and I(A;-1) belongs to {-1,0}.
Fast clique minor generation in Chimera qubit connectivity graphs
Boothby, Tomas; King, Andrew D.; Roy, Aidan
2016-01-01
The current generation of D-Wave quantum annealing processor is designed to minimize the energy of an Ising spin configuration whose pairwise interactions lie on the edges of a Chimera graph C_{M,N,L}. In order to solve an Ising spin problem with arbitrary pairwise interaction structure, the corresponding graph must be minor-embedded into a Chimera graph. We define a combinatorial class of native clique minors in Chimera graphs with vertex images of uniform, near minimal size and provide a polynomial-time algorithm that finds a maximum native clique minor in a given induced subgraph of a Chimera graph. These minors allow improvement over recent work and have immediate practical applications in the field of quantum annealing.
Violating the Shannon capacity of metric graphs with entanglement
Briët, Jop; Buhrman, Harry; Gijswijt, Dion
2013-01-01
The Shannon capacity of a graph G is the maximum asymptotic rate at which messages can be sent with zero probability of error through a noisy channel with confusability graph G. This extensively studied graph parameter disregards the fact that on atomic scales, nature behaves in line with quantum mechanics. Entanglement, arguably the most counterintuitive feature of the theory, turns out to be a useful resource for communication across noisy channels. Recently [Leung D, Mančinska L, Matthews W, Ozols M, Roy A (2012) Commun Math Phys 311:97–111], two examples of graphs were presented whose Shannon capacity is strictly less than the capacity attainable if the sender and receiver have entangled quantum systems. Here, we give natural, possibly infinite, families of graphs for which the entanglement-assisted capacity exceeds the Shannon capacity. PMID:23267109
Applying Graph Theory to Problems in Air Traffic Management
Farrahi, Amir Hossein; Goldbert, Alan; Bagasol, Leonard Neil; Jung, Jaewoo
2017-01-01
Graph theory is used to investigate three different problems arising in air traffic management. First, using a polynomial reduction from a graph partitioning problem, it is shown that both the airspace sectorization problem and its incremental counterpart, the sector combination problem are NP-hard, in general, under several simple workload models. Second, using a polynomial time reduction from maximum independent set in graphs, it is shown that for any fixed e, the problem of finding a solution to the minimum delay scheduling problem in traffic flow management that is guaranteed to be within n1-e of the optimal, where n is the number of aircraft in the problem instance, is NP-hard. Finally, a problem arising in precision arrival scheduling is formulated and solved using graph reachability. These results demonstrate that graph theory provides a powerful framework for modeling, reasoning about, and devising algorithmic solutions to diverse problems arising in air traffic management.
Vassilis Giakoumakis
1997-12-01
Full Text Available We study the P 4-tidy graphs, a new class defined by Rusu [30] in order to illustrate the notion of P 4-domination in perfect graphs. This class strictly contains the P 4-extendible graphs and the P 4-lite graphs defined by Jamison & Olariu in [19] and [23] and we show that the P 4-tidy graphs and P 4-lite graphs are closely related. Note that the class of P 4-lite graphs is a class of brittle graphs strictly containing the P 4-sparse graphs defined by Hoang in [14]. McConnel & Spinrad [2] and independently Cournier & Habib [5] have shown that the modular decomposition tree of any graph is computable in linear time. For recognizing in linear time P 4-tidy graphs, we apply a method introduced by Giakoumakis in [9] and Giakoumakis & Fouquet in [6] using modular decomposition of graphs and we propose linear algorithms for optimization problems on such graphs, as clique number, stability number, chromatic number and scattering number. We show that the Hamiltonian Path Problem is linear for this class of graphs. Our study unifies and generalizes previous results of Jamison & Olariu ([18], [21], [22], Hochstattler & Schindler[16], Jung [25] and Hochstattler & Tinhofer [15].
Quantitative graph theory mathematical foundations and applications
Dehmer, Matthias
2014-01-01
The first book devoted exclusively to quantitative graph theory, Quantitative Graph Theory: Mathematical Foundations and Applications presents and demonstrates existing and novel methods for analyzing graphs quantitatively. Incorporating interdisciplinary knowledge from graph theory, information theory, measurement theory, and statistical techniques, this book covers a wide range of quantitative-graph theoretical concepts and methods, including those pertaining to real and random graphs such as:Comparative approaches (graph similarity or distance)Graph measures to characterize graphs quantitat
Optimized Graph Search Using Multi-Level Graph Clustering
Kala, Rahul; Shukla, Anupam; Tiwari, Ritu
Graphs find a variety of use in numerous domains especially because of their capability to model common problems. The social networking graphs that are used for social networking analysis, a feature given by various social networking sites are an example of this. Graphs can also be visualized in the search engines to carry search operations and provide results. Various searching algorithms have been developed for searching in graphs. In this paper we propose that the entire network graph be clustered. The larger graphs are clustered to make smaller graphs. These smaller graphs can again be clustered to further reduce the size of graph. The search is performed on the smallest graph to identify the general path, which may be further build up to actual nodes by working on the individual clusters involved. Since many searches are carried out on the same graph, clustering may be done once and the data may be used for multiple searches over the time. If the graph changes considerably, only then we may re-cluster the graph.
Subdominant pseudoultrametric on graphs
Dovgoshei, A A; Petrov, E A [Institute of Applied Mathematics and Mechanics, National Academy of Sciences of Ukraine, Donetsk (Ukraine)
2013-08-31
Let (G,w) be a weighted graph. We find necessary and sufficient conditions under which the weight w:E(G)→R{sup +} can be extended to a pseudoultrametric on V(G), and establish a criterion for the uniqueness of such an extension. We demonstrate that (G,w) is a complete k-partite graph, for k≥2, if and only if for any weight that can be extended to a pseudoultrametric, among all such extensions one can find the least pseudoultrametric consistent with w. We give a structural characterization of graphs for which the subdominant pseudoultrametric is an ultrametric for any strictly positive weight that can be extended to a pseudoultrametric. Bibliography: 14 titles.
White, AT
1985-01-01
The field of topological graph theory has expanded greatly in the ten years since the first edition of this book appeared. The original nine chapters of this classic work have therefore been revised and updated. Six new chapters have been added, dealing with: voltage graphs, non-orientable imbeddings, block designs associated with graph imbeddings, hypergraph imbeddings, map automorphism groups and change ringing.Thirty-two new problems have been added to this new edition, so that there are now 181 in all; 22 of these have been designated as ``difficult'''' and 9 as ``unsolved''''. Three of the four unsolved problems from the first edition have been solved in the ten years between editions; they are now marked as ``difficult''''.
Bordenave, Charles; Salez, Justin
2011-01-01
We prove that the local weak convergence of a sequence of graphs is enough to guarantee the convergence of their normalized matching numbers. The limiting quantity is described by a local recursion defined on the weak limit of the graph sequence. However, this recursion may admit several solutions, implying non-trivial long-range dependencies between the edges of a largest matching. We overcome this lack of correlation decay by introducing a perturbative parameter called the temperature, which we let progressively go to zero. When the local weak limit is a unimodular Galton-Watson tree, the recursion simplifies into a distributional equation, resulting into an explicit formula that considerably extends the well-known one by Karp and Sipser for Erd\\"os-R\\'enyi random graphs.
Iacovacci, Jacopo
2015-01-01
Visibility algorithms transform time series into graphs and encode dynamical information in their topology, paving the way for graph-theoretical time series analysis as well as building a bridge between nonlinear dynamics and network science. In this work we introduce and study the concept of visibility graph motifs, smaller substructures that appear with characteristic frequencies. We develop a theory to compute in an exact way the motif profiles associated to general classes of deterministic and stochastic dynamics. We find that this simple property is indeed a highly informative and computationally efficient feature capable to distinguish among different dynamics and robust against noise contamination. We finally confirm that it can be used in practice to perform unsupervised learning, by extracting motif profiles from experimental heart-rate series and being able, accordingly, to disentangle meditative from other relaxation states. Applications of this general theory include the automatic classification a...
Ribes, Luis
2017-01-01
This book offers a detailed introduction to graph theoretic methods in profinite groups and applications to abstract groups. It is the first to provide a comprehensive treatment of the subject. The author begins by carefully developing relevant notions in topology, profinite groups and homology, including free products of profinite groups, cohomological methods in profinite groups, and fixed points of automorphisms of free pro-p groups. The final part of the book is dedicated to applications of the profinite theory to abstract groups, with sections on finitely generated subgroups of free groups, separability conditions in free and amalgamated products, and algorithms in free groups and finite monoids. Profinite Graphs and Groups will appeal to students and researchers interested in profinite groups, geometric group theory, graphs and connections with the theory of formal languages. A complete reference on the subject, the book includes historical and bibliographical notes as well as a discussion of open quest...
Hyperbolicity in Median Graphs
José M Sigarreta
2013-11-01
If is a geodesic metric space and $x_1,x_2,x_3\\in X$, a geodesic triangle $T=\\{x_1,x_2,x_3\\}$ is the union of the three geodesics $[x_1 x_2],[x_2 x_3]$ and $[x_3 x_1]$ in . The space is -hyperbolic (in the Gromov sense) if any side of is contained in a -neighborhood of the union of the two other sides, for every geodesic triangle in . If is hyperbolic, we denote by () the sharp hyperbolicity constant of , i.e.,$(X)=\\inf\\{≥ 0: X \\quad\\text{is}\\quad -\\text{hyperbolic}\\}$. In this paper we study the hyperbolicity of median graphs and we also obtain some results about general hyperbolic graphs. In particular, we prove that a median graph is hyperbolic if and only if its bigons are thin.
Erickson, Lindsay
2010-01-01
The game of Nim as played on graphs was introduced in Nim on Graphs I and extended in Nim on Graphs II by Masahiko Fukuyama. His papers detail the calculation of Grundy numbers for graphs under specific circumstances. We extend these results and introduce the strategy for even cycles. This paper examines a more general class of graphs by restricting the edge weight to one. We provide structural conditions for which there exist a winning strategy. This yields the solution for the complete graph.
Graph theory and interconnection networks
Hsu, Lih-Hsing
2008-01-01
The advancement of large scale integrated circuit technology has enabled the construction of complex interconnection networks. Graph theory provides a fundamental tool for designing and analyzing such networks. Graph Theory and Interconnection Networks provides a thorough understanding of these interrelated topics. After a brief introduction to graph terminology, the book presents well-known interconnection networks as examples of graphs, followed by in-depth coverage of Hamiltonian graphs. Different types of problems illustrate the wide range of available methods for solving such problems. The text also explores recent progress on the diagnosability of graphs under various models.
Randerath, Bert; Vestergaard, Preben D.
2010-01-01
A graph G is P3-equipackable if any sequence of successive removals of edge-disjoint copies of P3 from G always terminates with a graph having at most one edge. All P3-equipackable graphs are characterised. They belong to a small number of families listed here.......A graph G is P3-equipackable if any sequence of successive removals of edge-disjoint copies of P3 from G always terminates with a graph having at most one edge. All P3-equipackable graphs are characterised. They belong to a small number of families listed here....
Feynman motives of banana graphs
Aluffi, Paolo
2008-01-01
We consider the infinite family of Feynman graphs known as the ``banana graphs'' and compute explicitly the classes of the corresponding graph hypersurfaces in the Grothendieck ring of varieties as well as their Chern--Schwartz--MacPherson classes, using the classical Cremona transformation and the dual graph, and a blowup formula for characteristic classes. We outline the interesting similarities between these operations and we give formulae for cones obtained by simple operations on graphs. We formulate a positivity conjecture for characteristic classes of graph hypersurfaces and discuss briefly the effect of passing to noncommutative spacetime.
Parallel Algorithms for Graph Optimization using Tree Decompositions
Sullivan, Blair D [ORNL; Weerapurage, Dinesh P [ORNL; Groer, Christopher S [ORNL
2012-06-01
Although many $\\cal{NP}$-hard graph optimization problems can be solved in polynomial time on graphs of bounded tree-width, the adoption of these techniques into mainstream scientific computation has been limited due to the high memory requirements of the necessary dynamic programming tables and excessive runtimes of sequential implementations. This work addresses both challenges by proposing a set of new parallel algorithms for all steps of a tree decomposition-based approach to solve the maximum weighted independent set problem. A hybrid OpenMP/MPI implementation includes a highly scalable parallel dynamic programming algorithm leveraging the MADNESS task-based runtime, and computational results demonstrate scaling. This work enables a significant expansion of the scale of graphs on which exact solutions to maximum weighted independent set can be obtained, and forms a framework for solving additional graph optimization problems with similar techniques.
Parallel Algorithms for Graph Optimization using Tree Decompositions
Weerapurage, Dinesh P [ORNL; Sullivan, Blair D [ORNL; Groer, Christopher S [ORNL
2013-01-01
Although many NP-hard graph optimization problems can be solved in polynomial time on graphs of bounded tree-width, the adoption of these techniques into mainstream scientific computation has been limited due to the high memory requirements of required dynamic programming tables and excessive running times of sequential implementations. This work addresses both challenges by proposing a set of new parallel algorithms for all steps of a tree-decomposition based approach to solve maximum weighted independent set. A hybrid OpenMP/MPI implementation includes a highly scalable parallel dynamic programming algorithm leveraging the MADNESS task-based runtime, and computational results demonstrate scaling. This work enables a significant expansion of the scale of graphs on which exact solutions to maximum weighted independent set can be obtained, and forms a framework for solving additional graph optimization problems with similar techniques.
Graph-based knowledge representation computational foundations of conceptual graphs
Chein, Michel; Chein, Michel
2008-01-01
In addressing the question of how far it is possible to go in knowledge representation and reasoning through graphs, the authors cover basic conceptual graphs, computational aspects, and kernel extensions. The basic mathematical notions are summarized.
Algorithms for Planar Graphs and Graphs in Metric Spaces
Wulff-Nilsen, Christian
Algorithms for network problems play an increasingly important role in modern society. The graph structure of a network is an abstract and very useful representation that allows classical graph algorithms, such as Dijkstra and Bellman-Ford, to be applied. Real-life networks often have additional...... preprocessing time, an O(n log n) time algorithm for the replacement paths problem, and a min st-cut oracle with nearlinear preprocessing time. We also give improved time bounds for computing various graph invariants such as diameter and girth. In the second part, we consider stretch factor problems...... for geometric graphs and graphs embedded in metric spaces. Roughly speaking, the stretch factor is a real value expressing how well a (geo-)metric graph approximates the underlying complete graph w.r.t. distances. We give improved algorithms for computing the stretch factor of a given graph and for augmenting...
SOME RESULTS ON CIRCULAR PERFECT GRAPHS AND PERFECT GRAPHS
XU Baogang
2005-01-01
An r-circular coloring of a graph G is a map f from V(G) to the set of open unit intervals of an Euclidean circle of length r,such that f(u) ∩ f(v) = φ whenever uv ∈ E(G).Circular perfect graphs are defined analogously to perfect graphs by means of two parameters,the circular chromatic number and the circular clique number.In this paper,we study the properties of circular perfect graphs.We give (1) a necessary condition for a graph to be circular perfect,(2) some circular critical imperfect graphs,and (3) a characterization of graphs with the property that each of their induced subgraphs has circular clique number the same as its clique number,and then the two conjectures that are equivalent to the perfect graph conjecture.
Improved Approximation for Breakpoint Graph Decomposition and Sorting by Reversals
Rizzi, Romeo; Caprara, Alberto
2002-01-01
! instances of SBR on permutations with n elements. Our result uses the best known approximation algorithms for Stable Set on graphs with maximum degree 4 as well as for Set Packing where the maximum size of a set is 6. Any improvement in the ratio achieved by these approximation algorithms will yield...
Various results on the toughness of graphs
Broersma, Haitze J.; Engbers, E.A.; Trommel, H.
1997-01-01
Let G be a graph, and let t 0 be a real number. Then G is t-tough if t!(G − S) jSj for all S V (G) with !(G − S) > 1, where !(G − S) denotes the number of components of G − S. The toughness of G, denoted by (G), is the maximum value of t for which G is t-tough (taking (Kn) = 1 for all n 1). G is
Using Graph and Vertex Entropy to Compare Empirical Graphs with Theoretical Graph Models
Tomasz Kajdanowicz
2016-09-01
Full Text Available Over the years, several theoretical graph generation models have been proposed. Among the most prominent are: the Erdős–Renyi random graph model, Watts–Strogatz small world model, Albert–Barabási preferential attachment model, Price citation model, and many more. Often, researchers working with real-world data are interested in understanding the generative phenomena underlying their empirical graphs. They want to know which of the theoretical graph generation models would most probably generate a particular empirical graph. In other words, they expect some similarity assessment between the empirical graph and graphs artificially created from theoretical graph generation models. Usually, in order to assess the similarity of two graphs, centrality measure distributions are compared. For a theoretical graph model this means comparing the empirical graph to a single realization of a theoretical graph model, where the realization is generated from the given model using an arbitrary set of parameters. The similarity between centrality measure distributions can be measured using standard statistical tests, e.g., the Kolmogorov–Smirnov test of distances between cumulative distributions. However, this approach is both error-prone and leads to incorrect conclusions, as we show in our experiments. Therefore, we propose a new method for graph comparison and type classification by comparing the entropies of centrality measure distributions (degree centrality, betweenness centrality, closeness centrality. We demonstrate that our approach can help assign the empirical graph to the most similar theoretical model using a simple unsupervised learning method.
ZHANG Guoqiang; CHEN Yixiang
2001-01-01
This paper provides a concrete and simple introduction to two pillars of domain theory: (1) solving recursive domain equations, and (2) universal and saturated domains. Our exposition combines Larsen and Winskel's idea on solving domain equations using information systems with Girard's idea of stable domain theory in the form of coherence spaces, or graphs.Detailed constructions are given for universal and even homogeneous objects in two categories of graphs: one representing binary complete, prime algebraic domains with complete primes covering the bottom; the other representing ω-algebraic, prime algebraic lattices. The backand-forth argument in model theory helps to enlighten the constructions.
Cheung, King Sing
2014-01-01
Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri nets, augmented marked graphs possess a structure that is especially desirable for the modelling and analysis of systems with concurrent processes and shared resources.This monograph consists of three parts: Part I provides the conceptual background for readers who have no prior knowledge on Petri nets; Part II elaborates the theory of augmented marked graphs; finally, Part III discusses the application to system integration. The book is suitable as a first self-contained volume
Haynes Teresa W.; Hedetniemi Stephen T.; Jamieson Jessie D.; Jamieson William B.
2014-01-01
A path π = (v1, v2, . . . , vk+1) in a graph G = (V,E) is a downhill path if for every i, 1 ≤ i ≤ k, deg(vi) ≥ deg(vi+1), where deg(vi) denotes the degree of vertex vi ∈ V. The downhill domination number equals the minimum cardinality of a set S ⊆ V having the property that every vertex v ∈ V lies on a downhill path originating from some vertex in S. We investigate downhill domination numbers of graphs and give upper bounds. In particular, we show that the downhill domination number of a grap...
Stevanovic, Dragan
2015-01-01
Spectral Radius of Graphs provides a thorough overview of important results on the spectral radius of adjacency matrix of graphs that have appeared in the literature in the preceding ten years, most of them with proofs, and including some previously unpublished results of the author. The primer begins with a brief classical review, in order to provide the reader with a foundation for the subsequent chapters. Topics covered include spectral decomposition, the Perron-Frobenius theorem, the Rayleigh quotient, the Weyl inequalities, and the Interlacing theorem. From this introduction, the
Distributed Evolutionary Graph Partitioning
Sanders, Peter
2011-01-01
We present a novel distributed evolutionary algorithm, KaFFPaE, to solve the Graph Partitioning Problem, which makes use of KaFFPa (Karlsruhe Fast Flow Partitioner). The use of our multilevel graph partitioner KaFFPa provides new effective crossover and mutation operators. By combining these with a scalable communication protocol we obtain a system that is able to improve the best known partitioning results for many inputs in a very short amount of time. For example, in Walshaw's well known benchmark tables we are able to improve or recompute 76% of entries for the tables with 1%, 3% and 5% imbalance.
Handbook of graph grammars and computing by graph transformation
Engels, G; Kreowski, H J; Rozenberg, G
1999-01-01
Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others.The area of graph grammars and graph tran
A Note on the Minimum Total Coloring of Planar Graphs
Hui Juan WANG; Zhao Yang LUO; Bin LIU; Yan GU; Hong Wei GAO
2016-01-01
Graph coloring is an important tool in the study of optimization, computer science, network design, e.g., file transferring in a computer network, pattern matching, computation of Hessians matrix and so on. In this paper, we consider one important coloring, vertex coloring of a total graph, which is also called total coloring. We consider a planar graph G with maximum degree Δ(G) ≥ 8, and proved that if G contains no adjacent i, j-cycles with two chords for some i, j ∈ {5, 6, 7}, then G is total-(Δ + 1)-colorable.
Upper bounds for domination related parameters in graphs on surfaces
Vladimir Samodivkin
2016-08-01
Full Text Available In this paper we give tight upper bounds on the total domination number, the weakly connected domination number and the connected domination number of a graph in terms of order and Euler characteristic. We also present upper bounds for the restrained bondage number, the total restrained bondage number and the restricted edge connectivity of graphs in terms of the orientable/nonorientable genus and maximum degree.
GraphXML: an XML based graph interchange format
I. Herman (Ivan); M.S. Marshall (Scott)
2000-01-01
textabstractGraphXML is a graph description language in XML that can be used as an interchange format for graph drawing and visualization packages. The generality and rich features of XML make it possible to define an interchange format that not only supports the pure, mathematical description of a
Finding All Allowed Edges in a Bipartite Graph
Tassa, Tamir
2011-01-01
We consider the problem of finding all allowed edges in a bipartite graph $G=(V,E)$, i.e., all edges that are included in some maximum matching. We show that given any maximum matching in the graph, it is possible to perform this computation in linear time $O(n+m)$ (where $n=|V|$ and $m=|E|$). Hence, the time complexity of finding all allowed edges reduces to that of finding a single maximum matching, which is $O(n^{1/2}m)$ [Hopcroft and Karp 1973], or $O((n/\\log n)^{1/2}m)$ for dense graphs with $m=\\Theta(n^2)$ [Alt et al. 1991]. This time complexity improves upon that of the best known algorithms for the problem, which is $O(nm)$ ([Costa 1994] for bipartite graphs, and [Carvalho and Cheriyan 2005] for general graphs). Other algorithms for solving that problem are randomized algorithms due to [Rabin and Vazirani 1989] and [Cheriyan 1997], the runtime of which is $\\tilde{O}(n^{2.376})$. Our algorithm, apart from being deterministic, improves upon that time complexity for bipartite graphs when $m=O(n^r)$ and $...
Wenjun Xiao
2002-01-01
Wu, Lakshmivarahan and Dhall[5] recently described a deterministic, distributed routing scheme for some special classes of metacyclic graphs. However they have no proof of correctness that the scheme is a shortest path routing algorithm. In the note we give a suboptimal, deterministic routing algorithm.
Nemirovsky, Ricardo; Tierney, Cornelia; Wright, Tracy
1998-01-01
Analyzed two children's use of a computer-based motion detector to make sense of symbolic expressions (Cartesian graphs). Found three themes: (1) tool perspectives, efforts to understand graphical responses to body motion; (2) fusion, emergent ways of talking and behaving that merge symbols and referents; and (3) graphical spaces, when changing…
Pitts Bannister, Vanessa R.; Jamar, Idorenyin; Mutegi, Jomo W.
2007-01-01
In this article, the learning progress of one fifth-grade student is examined with regard to the development of her graph interpretation skills as she participated in the Junior Science Institute (JSI), a two-week, science intensive summer camp in which participants engaged in microbiology research and application. By showcasing the student's…
S.M. Heditniemi (Sandra); R.C. Laskar (R.C.); H.M. Mulder (Martyn)
2012-01-01
textabstractLet $G = (V,E)$ be a graph. A partition $\\pi = \\{V_1, V_2, \\ldots, V_k \\}$ of the vertices $V$ of $G$ into $k$ {\\it color classes} $V_i$, with $1 \\leq i \\leq k$, is called a {\\it quorum coloring} if for every vertex $v \\in V$, at least half of the vertices in the closed neighborhood
Coloring geographical threshold graphs
Bradonjic, Milan [Los Alamos National Laboratory; Percus, Allon [Los Alamos National Laboratory; Muller, Tobias [EINDHOVEN UNIV. OF TECH
2008-01-01
We propose a coloring algorithm for sparse random graphs generated by the geographical threshold graph (GTG) model, a generalization of random geometric graphs (RGG). In a GTG, nodes are distributed in a Euclidean space, and edges are assigned according to a threshold function involving the distance between nodes as well as randomly chosen node weights. The motivation for analyzing this model is that many real networks (e.g., wireless networks, the Internet, etc.) need to be studied by using a 'richer' stochastic model (which in this case includes both a distance between nodes and weights on the nodes). Here, we analyze the GTG coloring algorithm together with the graph's clique number, showing formally that in spite of the differences in structure between GTG and RGG, the asymptotic behavior of the chromatic number is identical: {chi}1n 1n n / 1n n (1 + {omicron}(1)). Finally, we consider the leading corrections to this expression, again using the coloring algorithm and clique number to provide bounds on the chromatic number. We show that the gap between the lower and upper bound is within C 1n n / (1n 1n n){sup 2}, and specify the constant C.
Neural networks and graph theory
许进; 保铮
2002-01-01
The relationships between artificial neural networks and graph theory are considered in detail. The applications of artificial neural networks to many difficult problems of graph theory, especially NP-complete problems, and the applications of graph theory to artificial neural networks are discussed. For example graph theory is used to study the pattern classification problem on the discrete type feedforward neural networks, and the stability analysis of feedback artificial neural networks etc.
Temporal Representation in Semantic Graphs
Levandoski, J J; Abdulla, G M
2007-08-07
A wide range of knowledge discovery and analysis applications, ranging from business to biological, make use of semantic graphs when modeling relationships and concepts. Most of the semantic graphs used in these applications are assumed to be static pieces of information, meaning temporal evolution of concepts and relationships are not taken into account. Guided by the need for more advanced semantic graph queries involving temporal concepts, this paper surveys the existing work involving temporal representations in semantic graphs.
李浩; 刘群
1989-01-01
Because of the widespread applications of tree and treee graph in computer science,we are interested in studying the reee graph.M.Farber,B.Richter and H.Shang in [1] showed that the graph τ2(G)is 2-edge-connected as |V(G)）≥3，at the same time,we will show the best lower bounds about vertex number and minimum degree of graph τ2(G）.
Winlaw, Manda [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States); De Sterck, Hans [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States); Sanders, Geoffrey [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States)
2015-10-26
In very simple terms a network can be de ned as a collection of points joined together by lines. Thus, networks can be used to represent connections between entities in a wide variety of elds including engi- neering, science, medicine, and sociology. Many large real-world networks share a surprising number of properties, leading to a strong interest in model development research and techniques for building synthetic networks have been developed, that capture these similarities and replicate real-world graphs. Modeling these real-world networks serves two purposes. First, building models that mimic the patterns and prop- erties of real networks helps to understand the implications of these patterns and helps determine which patterns are important. If we develop a generative process to synthesize real networks we can also examine which growth processes are plausible and which are not. Secondly, high-quality, large-scale network data is often not available, because of economic, legal, technological, or other obstacles [7]. Thus, there are many instances where the systems of interest cannot be represented by a single exemplar network. As one example, consider the eld of cybersecurity, where systems require testing across diverse threat scenarios and validation across diverse network structures. In these cases, where there is no single exemplar network, the systems must instead be modeled as a collection of networks in which the variation among them may be just as important as their common features. By developing processes to build synthetic models, so-called graph generators, we can build synthetic networks that capture both the essential features of a system and realistic variability. Then we can use such synthetic graphs to perform tasks such as simulations, analysis, and decision making. We can also use synthetic graphs to performance test graph analysis algorithms, including clustering algorithms and anomaly detection algorithms.
Asteroidal Quadruples in non Rooted Path Graphs
Gutierrez Marisa
2015-11-01
Full Text Available A directed path graph is the intersection graph of a family of directed subpaths of a directed tree. A rooted path graph is the intersection graph of a family of directed subpaths of a rooted tree. Rooted path graphs are directed path graphs. Several characterizations are known for directed path graphs: one by forbidden induced subgraphs and one by forbidden asteroids. It is an open problem to find such characterizations for rooted path graphs. For this purpose, we are studying in this paper directed path graphs that are non rooted path graphs. We prove that such graphs always contain an asteroidal quadruple.
Skurnick, Ronald; Davi, Charles; Skurnick, Mia
2005-01-01
Since 1952, several well-known graph theorists have proven numerous results regarding Hamiltonian graphs. In fact, many elementary graph theory textbooks contain the theorems of Ore, Bondy and Chvatal, Chvatal and Erdos, Posa, and Dirac, to name a few. In this note, the authors state and prove some propositions of their own concerning Hamiltonian…
Mining and Indexing Graph Databases
Yuan, Dayu
2013-01-01
Graphs are widely used to model structures and relationships of objects in various scientific and commercial fields. Chemical molecules, proteins, malware system-call dependencies and three-dimensional mechanical parts are all modeled as graphs. In this dissertation, we propose to mine and index those graph data to enable fast and scalable search.…
Text analysis for knowledge graphs
Popping, Roel
2007-01-01
The concept of knowledge graphs is introduced as a method to represent the state of the art in a specific scientific discipline. Next the text analysis part in the construction of such graphs is considered. Here the 'translation' from text to graph takes place. The method that is used here is compar
Hopkins, Brian
2004-01-01
The interconnected world of actors and movies is a familiar, rich example for graph theory. This paper gives the history of the "Kevin Bacon Game" and makes extensive use of a Web site to analyze the underlying graph. The main content is the classroom development of the weighted average to determine the best choice of "center" for the graph. The…
Mining and Indexing Graph Databases
Yuan, Dayu
2013-01-01
Graphs are widely used to model structures and relationships of objects in various scientific and commercial fields. Chemical molecules, proteins, malware system-call dependencies and three-dimensional mechanical parts are all modeled as graphs. In this dissertation, we propose to mine and index those graph data to enable fast and scalable search.…
Submanifolds Weakly Associated with Graphs
A Carriazo; L M Fernández; A Rodríguez-Hidalgo
2009-06-01
We establish an interesting link between differential geometry and graph theory by defining submanifolds weakly associated with graphs. We prove that, in a local sense, every submanifold satisfies such an association, and other general results. Finally, we study submanifolds associated with graphs either in low dimensions or belonging to some special families.
Figure-Ground Segmentation Using Factor Graphs.
Shen, Huiying; Coughlan, James; Ivanchenko, Volodymyr
2009-06-04
Foreground-background segmentation has recently been applied [26,12] to the detection and segmentation of specific objects or structures of interest from the background as an efficient alternative to techniques such as deformable templates [27]. We introduce a graphical model (i.e. Markov random field)-based formulation of structure-specific figure-ground segmentation based on simple geometric features extracted from an image, such as local configurations of linear features, that are characteristic of the desired figure structure. Our formulation is novel in that it is based on factor graphs, which are graphical models that encode interactions among arbitrary numbers of random variables. The ability of factor graphs to express interactions higher than pairwise order (the highest order encountered in most graphical models used in computer vision) is useful for modeling a variety of pattern recognition problems. In particular, we show how this property makes factor graphs a natural framework for performing grouping and segmentation, and demonstrate that the factor graph framework emerges naturally from a simple maximum entropy model of figure-ground segmentation.We cast our approach in a learning framework, in which the contributions of multiple grouping cues are learned from training data, and apply our framework to the problem of finding printed text in natural scenes. Experimental results are described, including a performance analysis that demonstrates the feasibility of the approach.
Harary, Frank
2015-01-01
Presented in 1962-63 by experts at University College, London, these lectures offer a variety of perspectives on graph theory. Although the opening chapters form a coherent body of graph theoretic concepts, this volume is not a text on the subject but rather an introduction to the extensive literature of graph theory. The seminar's topics are geared toward advanced undergraduate students of mathematics.Lectures by this volume's editor, Frank Harary, include ""Some Theorems and Concepts of Graph Theory,"" ""Topological Concepts in Graph Theory,"" ""Graphical Reconstruction,"" and other introduc
Dynamic Representations of Sparse Graphs
Brodal, Gerth Stølting; Fagerberg, Rolf
1999-01-01
We present a linear space data structure for maintaining graphs with bounded arboricity—a large class of sparse graphs containing e.g. planar graphs and graphs of bounded treewidth—under edge insertions, edge deletions, and adjacency queries. The data structure supports adjacency queries in worst...... case O(c) time, and edge insertions and edge deletions in amortized O(1) and O(c+log n) time, respectively, where n is the number of nodes in the graph, and c is the bound on the arboricity....
Managing and Mining Graph Data
Aggarwal, Charu C
2010-01-01
Managing and Mining Graph Data is a comprehensive survey book in graph management and mining. It contains extensive surveys on a variety of important graph topics such as graph languages, indexing, clustering, data generation, pattern mining, classification, keyword search, pattern matching, and privacy. It also studies a number of domain-specific scenarios such as stream mining, web graphs, social networks, chemical and biological data. The chapters are written by well known researchers in the field, and provide a broad perspective of the area. This is the first comprehensive survey book in t
Spectral fluctuations of quantum graphs
Pluhař, Z. [Faculty of Mathematics and Physics, Charles University, 180 00 Praha 8 (Czech Republic); Weidenmüller, H. A. [Max-Planck-Institut für Kernphysik, 69029 Heidelberg (Germany)
2014-10-15
We prove the Bohigas-Giannoni-Schmit conjecture in its most general form for completely connected simple graphs with incommensurate bond lengths. We show that for graphs that are classically mixing (i.e., graphs for which the spectrum of the classical Perron-Frobenius operator possesses a finite gap), the generating functions for all (P,Q) correlation functions for both closed and open graphs coincide (in the limit of infinite graph size) with the corresponding expressions of random-matrix theory, both for orthogonal and for unitary symmetry.
Boxicity of Circular Arc Graphs
Bhowmick, Diptendu; Chandran, L. Sunil
2008-01-01
A $k$-dimensional box is the cartesian product $R_1 \\times R_2 \\times ... \\times R_k$ where each $R_i$ is a closed interval on the real line. The {\\it boxicity} of a graph $G$, denoted as $box(G)$, is the minimum integer $k$ such that $G$ can be represented as the intersection graph of a collection of $k$-dimensional boxes: that is two vertices are adjacent if and only if their corresponding boxes intersect. A circular arc graph is a graph that can be represented as the intersection graph of ...
Resolvability in Circulant Graphs
Muhammad SALMAN; Imran JAVAID; Muhammad Anwar CHAUDHRY
2012-01-01
A set W of the vertices of a connected graph G is called a resolving set for G if for every two distinct vertices u,v ∈ V(G) there is a vertex w ∈ W such that d(u,w) ≠ d(v,w).A resolving set of minimum cardinality is called a metric basis for G and the number of vertices in a metric basis is called the metric dimension of G,denoted by dim(G).For a vertex u of G and a subset S of V(G),the distance between u and S is the number mins∈s d(u,s).A k-partition H ={S1,S2,...,Sk} of V(G) is called a resolving partition if for every two distinct vertices u,v ∈ V(G) there is a set Si in Π such that d(u,Si) ≠ d(v,Si).The minimum k for which there is a resolving k-partition of V(G) is called the partition dimension of G,denoted by pd(G).The circulant graph is a graph with vertex set Zn,an additive group ofintegers modulo n,and two vertices labeled i and j adjacent if and only if i - j (mod n) ∈ C,where C C Zn has the property that C =-C and 0(∈) C.The circulant graph is denoted by Xn,△ where A =|C|.In this paper,we study the metric dimension of a family of circulant graphs Xn,3 with connection set C ={1,-n/2,n - 1} and prove that dim(Xn,3) is independent of choice of n by showing that 3 for all n =0 (mod 4),dim(X,n,3) ={ 4 for all n =2 (mod 4).We also study the partition dimension of a family of circulant graphs Xn,4 with connection set C ={±1,±2} and prove that pd(Xn,4) is independent of choice of n and show that pd(X5,4) =5 and 3 forall odd n≥9,pd(Xn,4) ={ 4 for all even n ≥ 6 and n =7.
Conditional coloring of some parameterized graphs
Reddy, P Venkata Subba
2010-01-01
For integers k>0 and r>0, a conditional (k,r)-coloring of a graph G is a proper k-coloring of the vertices of G such that every vertex v of degree d(v) in G is adjacent to vertices with at least min{r,d(v)} different colors. The smallest integer k for which a graph G has a conditional (k,r)-coloring is called the rth order conditional chromatic number, denoted by $\\chi_r(G)$. For different values of r we obtain $\\chi_r(G)$ of certain parameterized graphs viz., Windmill graph, line graph of Windmill graph, middle graph of Friendship graph, middle graph of a cycle, line graph of Friendship graph, middle graph of complete k-partite graph and middle graph of a bipartite graph.
Hendrix, William; Jenkins, John; Padmanabhan, Kanchana; Chakraborty, Arpan
2014-01-01
Practical Graph Mining with R presents a "do-it-yourself" approach to extracting interesting patterns from graph data. It covers many basic and advanced techniques for the identification of anomalous or frequently recurring patterns in a graph, the discovery of groups or clusters of nodes that share common patterns of attributes and relationships, the extraction of patterns that distinguish one category of graphs from another, and the use of those patterns to predict the category of new graphs. Hands-On Application of Graph Data Mining Each chapter in the book focuses on a graph mining task, such as link analysis, cluster analysis, and classification. Through applications using real data sets, the book demonstrates how computational techniques can help solve real-world problems. The applications covered include network intrusion detection, tumor cell diagnostics, face recognition, predictive toxicology, mining metabolic and protein-protein interaction networks, and community detection in social networks. De...
Hierarchy of Modular Graph Identities
D'Hoker, Eric
2016-01-01
The low energy expansion of Type II superstring amplitudes at genus one is organized in terms of modular graph functions associated with Feynman graphs of a conformal scalar field on the torus. In earlier work, surprising identities between two-loop graphs at all weights, and between higher-loop graphs of weights four and five were constructed. In the present paper, these results are generalized in two complementary directions. First, all identities at weight six and all dihedral identities at weight seven are obtained and proven. Whenever the Laurent polynomial at the cusp is available, the form of these identities confirms the pattern by which the vanishing of the Laurent polynomial governs the full modular identity. Second, the family of modular graph functions is extended to include all graphs with derivative couplings and worldsheet fermions. These extended families of modular graph functions are shown to obey a hierarchy of inhomogeneous Laplace eigenvalue equations. The eigenvalues are calculated analy...
Valiant Transform of Forney Graphs
Al-Bashabsheh, Ali
2010-01-01
The introduction of Forney graphs, or normal graphs, and the duality result therein [1] is a landmark in the theory of codes on graphs and in graph-based iterative decoding. A generic modeling framework for codes and systems, Forney graphs have since found various applications. It is unfortunate however that the development of the theory and application of Forney graphs to date has been restricted to the context of linear (and group) codes and systems, and the primary tool of Forney graphs is the duality result introduced in [1]. In a rather distant area of computer science, Valiant has recently presented a powerful family of new algorithms, which he calls holographic algorithms [2]. Using holographic algorithms, Valiant provides polynomial-time solutions to families of problems previously unknown to be tractable. At the heart of Valiant's holographic algorithms is the notion of "holographic reduction", which is the engine used in holographic algorithms to reduce from one problem to another. Recognizing the c...
Bond percolation on isoradial graphs
Grimmett, Geoffrey
2012-01-01
In an investigation of percolation on isoradial graphs, we prove the criticality of canonical bond percolation on isoradial embeddings of planar graphs, thus extending celebrated earlier results for homogeneous and inhomogeneous square, triangular, and other lattices. This is achieved via the star-triangle transformation, by transporting the box-crossing property across the family of isoradial graphs. As a consequence, we obtain the universality of these models at the critical point, in the sense that the one-arm and 2j-alternating-arm critical exponents (and therefore also the connectivity and volume exponents) are constant across the family of such percolation processes. The isoradial graphs in question are those that satisfy certain weak conditions on their embedding and on their track system. This class of graphs includes, for example, isoradial embeddings of periodic graphs, and graphs derived from rhombic Penrose tilings.
Jordan, Jonathan
2011-01-01
We introduce a model for a growing random graph based on simultaneous reproduction of the vertices. The model can be thought of as a generalisation of the reproducing graphs of Southwell and Cannings and Bonato et al to allow for a random element, and there are three parameters, $\\alpha$, $\\beta$ and $\\gamma$, which are the probabilities of edges appearing between different types of vertices. We show that as the probabilities associated with the model vary there are a number of phase transitions, in particular concerning the degree sequence. If $(1+\\alpha)(1+\\gamma)1$ then the degree of a typical vertex grows to infinity, and the proportion of vertices having any fixed degree $d$ tends to zero. We also give some results on the number of edges and on the spectral gap.
Normal Order: Combinatorial Graphs
Solomon, A I; Blasiak, P; Horzela, A; Penson, K A; Solomon, Allan I.; Duchamp, Gerard; Blasiak, Pawel; Horzela, Andrzej; Penson, Karol A.
2004-01-01
A conventional context for supersymmetric problems arises when we consider systems containing both boson and fermion operators. In this note we consider the normal ordering problem for a string of such operators. In the general case, upon which we touch briefly, this problem leads to combinatorial numbers, the so-called Rook numbers. Since we assume that the two species, bosons and fermions, commute, we subsequently restrict ourselves to consideration of a single species, single-mode boson monomials. This problem leads to elegant generalisations of well-known combinatorial numbers, specifically Bell and Stirling numbers. We explicitly give the generating functions for some classes of these numbers. In this note we concentrate on the combinatorial graph approach, showing how some important classical results of graph theory lead to transparent representations of the combinatorial numbers associated with the boson normal ordering problem.
Exponential random graph models
Fronczak, Agata
2012-01-01
Nowadays, exponential random graphs (ERGs) are among the most widely-studied network models. Different analytical and numerical techniques for ERG have been developed that resulted in the well-established theory with true predictive power. An excellent basic discussion of exponential random graphs addressed to social science students and researchers is given in [Anderson et al., 1999][Robins et al., 2007]. This essay is intentionally designed to be more theoretical in comparison with the well-known primers just mentioned. Given the interdisciplinary character of the new emerging science of complex networks, the essay aims to give a contribution upon which network scientists and practitioners, who represent different research areas, could build a common area of understanding.
Batra, Tushar; Schaltz, Erik
2014-01-01
Magnetic fields in surroundings of wireless power transfer system depends upon the two coil currents, distance from the coils and space angle between the two coil fields in steady state conditions. Increase in value of the secondary capacitor leads to a phase shift between the two currents...... power at unity power factor at expense of higher primary current and bigger capacitors on both sides. This reduction increases with increase in the secondary capacitor till a certain maximum point and then decreases. Hence this new design method can be very useful in reducing the magnetic emissions...
2010-12-02
evaluating the function ΘP (A) for any fixed A,P is equivalent to solving the so-called Quadratic Assignment Problem ( QAP ), and thus we can employ various...tractable linear programming, spectral, and SDP relaxations of QAP [40, 11, 33]. In particular we discuss recent work [14] on exploiting group...symmetry in SDP relaxations of QAP , which is useful for approximately computing elementary convex graph invariants in many interesting cases. Finally in
Syed, M. Qasim; Lovatt, Ian
2014-01-01
This paper is an addition to the series of papers on the exponential function begun by Albert Bartlett. In particular, we ask how the graph of the exponential function y = e[superscript -t/t] would appear if y were plotted versus ln t rather than the normal practice of plotting ln y versus t. In answering this question, we find a new way to…
Zhou, Feng; de la Torre, Fernando
2015-11-19
Graph matching (GM) is a fundamental problem in computer science, and it plays a central role to solve correspondence problems in computer vision. GM problems that incorporate pairwise constraints can be formulated as a quadratic assignment problem (QAP). Although widely used, solving the correspondence problem through GM has two main limitations: (1) the QAP is NP-hard and difficult to approximate; (2) GM algorithms do not incorporate geometric constraints between nodes that are natural in computer vision problems. To address aforementioned problems, this paper proposes factorized graph matching (FGM). FGM factorizes the large pairwise affinity matrix into smaller matrices that encode the local structure of each graph and the pairwise affinity between edges. Four are the benefits that follow from this factorization: (1) There is no need to compute the costly (in space and time) pairwise affinity matrix; (2) The factorization allows the use of a path-following optimization algorithm, that leads to improved optimization strategies and matching performance; (3) Given the factorization, it becomes straight-forward to incorporate geometric transformations (rigid and non-rigid) to the GM problem. (4) Using a matrix formulation for the GM problem and the factorization, it is easy to reveal commonalities and differences between different GM methods. The factorization also provides a clean connection with other matching algorithms such as iterative closest point; Experimental results on synthetic and real databases illustrate how FGM outperforms state-of-the-art algorithms for GM. The code is available at http://humansensing.cs.cmu.edu/fgm.
Lorscheid, Oliver
2010-01-01
Let $X$ be a curve over $\\F_q$ with function field $F$. In this paper, we define a graph for each Hecke operator with fixed ramification. A priori, these graphs can be seen as a convenient language to organize formulas for the action of Hecke operators on automorphic forms. However, they will prove to be a powerful tool for explicit calculations and proofs of finite dimensionality results. We develop a structure theory for certain graphs $G_x$ of unramified Hecke operators, which is of a similar vein to Serre's theory of quotients of Bruhat Tits trees. To be precise, $G_x$ is locally a quotient of a Bruhat Tits tree and has finitely many components. An interpretation of $G_x$ in terms of rank 2 bundles on $X$ and methods from reduction theory show that $G_x$ is the union of finitely many cusps, which are infinite subgraphs of a simple nature, and a nucleus, which is a finite subgraph that depends heavily on the arithmetics of $F$. We describe how one recovers unramified automorphic forms as functions on the g...
Kinetic Stable Delaunay Graphs
Agarwal, Pankaj K; Guibas, Leonidas J; Kaplan, Haim; Koltun, Vladlen; Rubin, Natan; Sharir, Micha
2011-01-01
We consider the problem of maintaining the Euclidean Delaunay triangulation $\\DT$ of a set $P$ of $n$ moving points in the plane, along algebraic trajectories of constant description complexity. Since the best known upper bound on the number of topological changes in the full $\\DT$ is nearly cubic, we seek to maintain a suitable portion of it that is less volatile yet retains many useful properties. We introduce the notion of a stable Delaunay graph, which is a dynamic subgraph of the Delaunay triangulation. The stable Delaunay graph (a) is easy to define, (b) experiences only a nearly quadratic number of discrete changes, (c) is robust under small changes of the norm, and (d) possesses certain useful properties. The stable Delaunay graph ($\\SDG$ in short) is defined in terms of a parameter $\\alpha>0$, and consists of Delaunay edges $pq$ for which the angles at which $p$ and $q$ see their Voronoi edge $e_{pq}$ are at least $\\alpha$. We show that (i) $\\SDG$ always contains at least roughly one third of the Del...
The phylogeny graphs of doubly partial orders
Park, Boram
2011-01-01
The competition graph of a doubly partial order is known to be an interval graph. The CCE graph and the niche graph of a doubly partial order are also known to be interval graphs if the graphs do not contain a cycle of length four and three as an induced subgraph, respectively. Phylogeny graphs are variant of competition graphs. The phylogeny graph $P(D)$ of a digraph $D$ is the (simple undirected) graph defined by $V(P(D)):=V(D)$ and $E(P(D)):=\\{xy \\mid N^+_D(x) \\cap N^+_D(y) \
Bounds on the inverse signed total domination numbers in graphs
M. Atapour
2016-01-01
Full Text Available Let \\(G=(V,E\\ be a simple graph. A function \\(f:V\\rightarrow \\{-1,1\\}\\ is called an inverse signed total dominating function if the sum of its function values over any open neighborhood is at most zero. The inverse signed total domination number of \\(G\\, denoted by \\(\\gamma_{st}^0(G\\, equals to the maximum weight of an inverse signed total dominating function of \\(G\\. In this paper, we establish upper bounds on the inverse signed total domination number of graphs in terms of their order, size and maximum and minimum degrees.
On the Edge-forwarding Indices of Frobenius Graphs
Yan WANG; Xin Gui FANG; D. F. HSU
2006-01-01
A G-Frobenius graph Γ, as defined by Fang, Li, and Praeger, is a connected orbital graph of a Frobenius group G = K × H with Frobenius kernel K and Frobenius complement H. Γ is also shown to be a Cayley graph, Γ = Cay(K, S) for K and some subset S of the group K. On the other hand,a network N with a routing function R, written as (N, R), is an undirected graph N together with a routing R which consists of a collection of simple paths connecting every pair of vertices in the graph.The edge-forwarding index π(N) of a network (N, R), defined by Heydemann, Meyer, and Sotteau, is a parameter to describe the maximum load of edges of N. In this paper, we study the edge-forwarding indices of Frobenius graphs. In particular, we obtain the edge-forwarding index of a G-Frobenius graph Γ with rank(G) ≤ 50.
On certificates and lookahead in dynamic graph problems
Khanna, S.; Motwani, R. [Stanford Univ., CA (United States); Wilson, R.H. [Sandia National Laboratory, Albuquerque, NM (United States)
1996-12-31
Recent work in dynamic graph algorithms has led to efficient algorithms for dynamic undirected graph problems such as connectivity. However, no efficient deterministic algorithms are known for the dynamic versions of fundamental directed graph problems like strong connectivity and transitive closure, as well as some undirected graph problems such as maximum matchings and cuts. We provide some explanation for this lack of success by presenting quadratic lower bounds on the certificate complexity of the seemingly difficult problems, in contrast to the known linear certificate complexity for the problems which have efficient dynamic algorithms. A direct outcome of our lower bounds is the demonstration that a generic technique for designing efficient dynamic graph algorithms, viz., sparsification, will not apply to the difficult problems. More generally, it is our belief that the boundary between tractable and intractable dynamic graph problems can be demarcated in terms of certificate complexity. In many applications of dynamic (di)graph problems, a certain form of lookahead is available. Specifically, we consider the problems of assembly planning in robotics and the maintenance of relations in databases. These give rise to dynamic strong connectivity and dynamic transitive closure problems, respectively. We explain why it is reasonable, and indeed natural and desirable, to assume that lookahead is available in these two applications. Exploiting lookahead to circumvent their inherent complexity, we obtain efficient fully-dynamic algorithms for strong connectivity and transitive closure.
Duality in Geometric Graphs: Vector Graphs, Kirchhoff Graphs and Maxwell Reciprocal Figures
Tyler Reese
2016-02-01
Full Text Available We compare two mathematical theories that address duality between cycles and vertex-cuts of graphs in geometric settings. First, we propose a rigorous definition of a new type of graph, vector graphs. The special case of R2-vector graphs matches the intuitive notion of drawing graphs with edges taken as vectors. This leads to a discussion of Kirchhoff graphs, as originally presented by Fehribach, which can be defined independent of any matrix relations. In particular, we present simple cases in which vector graphs are guaranteed to be Kirchhoff or non-Kirchhoff. Next, we review Maxwell’s method of drawing reciprocal figures as he presented in 1864, using modern mathematical language. We then demonstrate cases in which R2-vector graphs defined from Maxwell reciprocals are “dual” Kirchhoff graphs. Given an example in which Maxwell’s theories are not sufficient to define vector graphs, we begin to explore other methods of developing dual Kirchhoff graphs.
Graphs cospectral with a friendship graph or its complement
Alireza Abdollahi
2013-12-01
Full Text Available Let $n$ be any positive integer and let $F_n$ be the friendship (or Dutch windmill graph with $2n+1$ vertices and $3n$ edges. Here we study graphs with the same adjacency spectrum as the $F_n$. Two graphs are called cospectral if the eigenvalues multiset of their adjacency matrices are the same. Let $G$ be a graph cospectral with $F_n$. Here we prove that if $G$ has no cycle of length $4$ or $5$, then $Gcong F_n$. Moreover if $G$ is connected and planar then $Gcong F_n$.All but one of connected components of $G$ are isomorphic to $K_2$.The complement $overline{F_n}$ of the friendship graph is determined by its adjacency eigenvalues, that is, if $overline{F_n}$ is cospectral with a graph $H$, then $Hcong overline{F_n}$.
Some Results on Planar Graphs of Class 1
卜月华
2004-01-01
@@ We consider only simple graphs in this paper unless otherwise stated. A plane graph is a particular drawing of a planar graph in the Euclidean plane. For a plane graph G, we denote its vertex set, edge set, face set, and maximum degree by V(G), E(G), F(G), and △(G) (or simply △), respectively. For x ∈ V(G) U F(G), let d(x) denote the degree of x in G. A vertex (or face)of degree k is called a k-vertex (or k-face). Let di(v) denote the number ofi-vertices in G which are adjacent to a vertex v. For a cycle C of length k in G, an edge xy ∈ E(G) \\ E(C) is said to be a chord of C if x, y ∈ V(C). We call C a chordal-k-cycle of G.
New Upper Bounds on Linear Coloring of Planar Graphs
Bin LIU; Gui Zhen LIU
2012-01-01
A proper vertex coloring of a graph G is linear if the graph induced by the vertices of any two color classes is the union of vertex-disjoint paths.The linear chromatic number lc(G) of the graph G is the smallest number of colors in a linear coloring of G.In this paper,it is proved that every planar graph G with girth g and maximum degree △ has (1) lc(G) ≤ △ + 21 if △ ≥ 9; (2) lc(G) ≤ [△/2] + 7 if g ≥ 5; (3) lc(G) ≤[△/2]+2 if g ≥ 7 and △ ≥ 7.
Efficient Parallel Algorithms for Some Graph Theory Problems
马军; 马绍汉
1993-01-01
In this paper,a sequential algorithm computing the aww vertex pair distance matrix D and the path matrix Pis given.On a PRAM EREW model with p,1≤p≤n2,processors,a parallel version of the sequential algorithm is shown.This method can also be used to get a parallel algorithm to compute transitive closure array A* of an undirected graph.The time complexity of the parallel algorithm is O(n3/p).If D,P and A* are known,it is shown that the problems to find all connected components,to compute the diameter of an undirected graph,to determine the center of a directed graph and to search for a directed cycle with the minimum(maximum)length in a directed graph can all be solved in O(n2/p+logp)time.
Multiple Illuminant Colour Estimation via Statistical Inference on Factor Graphs.
Mutimbu, Lawrence; Robles-Kelly, Antonio
2016-08-31
This paper presents a method to recover a spatially varying illuminant colour estimate from scenes lit by multiple light sources. Starting with the image formation process, we formulate the illuminant recovery problem in a statistically datadriven setting. To do this, we use a factor graph defined across the scale space of the input image. In the graph, we utilise a set of illuminant prototypes computed using a data driven approach. As a result, our method delivers a pixelwise illuminant colour estimate being devoid of libraries or user input. The use of a factor graph also allows for the illuminant estimates to be recovered making use of a maximum a posteriori (MAP) inference process. Moreover, we compute the probability marginals by performing a Delaunay triangulation on our factor graph. We illustrate the utility of our method for pixelwise illuminant colour recovery on widely available datasets and compare against a number of alternatives. We also show sample colour correction results on real-world images.
Evaluation of Graph Pattern Matching Workloads in Graph Analysis Systems
Hong, Seokyong [North Carolina State University (NCSU), Raleigh; Lee, Sangkeun (Matt) [ORNL; Lim, Seung-Hwan [ORNL; Sukumar, Sreenivas Rangan [ORNL; Vatsavai, Raju [North Carolina State University (NCSU), Raleigh
2016-01-01
Graph analysis has emerged as a powerful method for data scientists to represent, integrate, query, and explore heterogeneous data sources. As a result, graph data management and mining became a popular area of research, and led to the development of plethora of systems in recent years. Unfortunately, the number of emerging graph analysis systems and the wide range of applications, coupled with a lack of apples-to-apples comparisons, make it difficult to understand the trade-offs between different systems and the graph operations for which they are designed. A fair comparison of these systems is a challenging task for the following reasons: multiple data models, non-standardized serialization formats, various query interfaces to users, and diverse environments they operate in. To address these key challenges, in this paper we present a new benchmark suite by extending the Lehigh University Benchmark (LUBM) to cover the most common capabilities of various graph analysis systems. We provide the design process of the benchmark, which generalizes the workflow for data scientists to conduct the desired graph analysis on different graph analysis systems. Equipped with this extended benchmark suite, we present performance comparison for nine subgraph pattern retrieval operations over six graph analysis systems, namely NetworkX, Neo4j, Jena, Titan, GraphX, and uRiKA. Through the proposed benchmark suite, this study reveals both quantitative and qualitative findings in (1) implications in loading data into each system; (2) challenges in describing graph patterns for each query interface; and (3) different sensitivity of each system to query selectivity. We envision that this study will pave the road for: (i) data scientists to select the suitable graph analysis systems, and (ii) data management system designers to advance graph analysis systems.
An Algebraic Representation of Graphs and Applications to Graph Enumeration
Ângela Mestre
2013-01-01
Full Text Available We give a recursion formula to generate all the equivalence classes of connected graphs with coefficients given by the inverses of the orders of their groups of automorphisms. We use an algebraic graph representation to apply the result to the enumeration of connected graphs, all of whose biconnected components have the same number of vertices and edges. The proof uses Abel’s binomial theorem and generalizes Dziobek’s induction proof of Cayley’s formula.
Decomposing Oriented Graphs into Six Locally Irregular Oriented Graphs
Bensmail, Julien; Renault, Gabriel
2016-01-01
An undirected graph G is locally irregular if every two of its adjacent vertices have distinct degrees. We say that G is decomposable into k locally irregular graphs if there exists a partition E1∪E2∪⋯∪Ek of the edge set E(G) such that each Ei induces a locally irregular graph. It was recently co...
Spectral Radius of Hamiltonian Planar Graphs and Outerplanar Graphs
周建; 林翠琴; 胡冠章
2001-01-01
The spectral radius is an important parameter of a graph related to networks. A method forestimating the spectral radius of each spanning subgraph is used to prove that the spectral radius of aHamiltonian planar graph of order n ≥ 4 is less than or equal toand the spectral radius of theouterplanar graph of order n ≥ 6 is less than or equal to, which are improvements overprevious results. A direction for further study is then suggested.``
Studying the corona product of graphs under some graph invariants
M. Tavakoli
2014-09-01
Full Text Available The corona product $Gcirc H$ of two graphs $G$ and $H$ is obtained by taking one copy of $G$ and $|V(G|$ copies of $H$; and by joining each vertex of the $i$-th copy of $H$ to the $i$-th vertex of $G$, where $1 leq i leq |V(G|$. In this paper, exact formulas for the eccentric distance sum and the edge revised Szeged indices of the corona product of graphs are presented. We also study the conditions under which the corona product of graphs produces a median graph.
Graph Coarsening for Path Finding in Cybersecurity Graphs
Hogan, Emilie A.; Johnson, John R.; Halappanavar, Mahantesh
2013-01-01
n the pass-the-hash attack, hackers repeatedly steal password hashes and move through a computer network with the goal of reaching a computer with high level administrative privileges. In this paper we apply graph coarsening in network graphs for the purpose of detecting hackers using this attack or assessing the risk level of the network's current state. We repeatedly take graph minors, which preserve the existence of paths in the graph, and take powers of the adjacency matrix to count the paths. This allows us to detect the existence of paths as well as find paths that have high risk of being used by adversaries.
Generalized degeneracy, dynamic monopolies and maximum degenerate subgraphs
Zaker, Manouchehr
2012-01-01
A graph $G$ is said to be a $k$-degenerate graph if any subgraph of $G$ contains a vertex of degree at most $k$. Let $\\kappa$ be any non-negative function on the vertex set of $G$. We first define a $\\kappa$-degenerate graph. Next we give an efficient algorithm to determine whether a graph is $\\kappa$-degenerate. We revisit the concept of dynamic monopolies in graphs. The latter notion is used in formulation and analysis of spread of influence such as disease or opinion in social networks. We consider dynamic monopolies with (not necessarily positive) but integral threshold assignments. We obtain a sufficient and necessary relationship between dynamic monopolies and generalized degeneracy. As applications of the previous results we consider the problem of determining the maximum size of $\\kappa$-degenerate (or $k$-degenerate) induced subgraphs in any graph. We obtain some upper and lower bounds for the maximum size of any $\\kappa$-degenerate induced subgraph in general and regular graphs. All of our bounds ar...
Statistical mechanics on isoradial graphs
Boutillier, Cédric
2010-01-01
Isoradial graphs are a natural generalization of regular graphs which give, for many models of statistical mechanics, the right framework for studying models at criticality. In this survey paper, we first explain how isoradial graphs naturally arise in two approaches used by physicists: transfer matrices and conformal field theory. This leads us to the fact that isoradial graphs provide a natural setting for discrete complex analysis, to which we dedicate one section. Then, we give an overview of explicit results obtained for different models of statistical mechanics defined on such graphs: the critical dimer model when the underlying graph is bipartite, the 2-dimensional critical Ising model, random walk and spanning trees and the q-state Potts model.
Eilers, Søren; Sørensen, Adam P W
2011-01-01
We provide a complete invariant for graph C*-algebras which are amplified in the sense that whenever there is an edge between two vertices, there are infinitely many. The invariant used is the standard primitive ideal space adorned with a map into {-1,0,1,2,...}, and we prove that the classification result is strong in the sense that isomorphisms at the level of the invariant always lift. We extend the classification result to cover more graphs, and give a range result for the invariant (in the vein of Effros-Handelman-Shen) which is further used to prove that extensions of graph C*-algebras associated to amplified graphs are again graph C*-algebras of amplified graphs.
Dettlaff, Magda; Yero, Ismael G
2012-01-01
The bondage number $b(G)$ of a nonempty graph $G$ is the cardinality of a smallest set of edges whose removal from $G$ results in a graph with domination number greater than the domination number of $G$. Here we study the bondage number of some grid-like graphs. In this sense, we obtain some bounds or exact values of the bondage number of some Cartesian product, strong product or direct product of two paths.
Dettlaff, Magda; Lemanska, Magdalena; Yero, Ismael G.
2012-01-01
The bondage number $b(G)$ of a nonempty graph $G$ is the cardinality of a smallest set of edges whose removal from $G$ results in a graph with domination number greater than the domination number of $G$. Here we study the bondage number of some grid-like graphs. In this sense, we obtain some bounds or exact values of the bondage number of some strong product and direct product of two paths.
The Eigenvalue Method for Extremal Problems on Infinite Vertex-Transitive Graphs
DeCorte, P.E.B.
2015-01-01
This thesis is about maximum independent set and chromatic number problems on certain kinds of infinite graphs. A typical example comes from the Witsenhausen problem: For $n \\geq 2$, let $S^{n-1} := \\{ x \\in \\R^n : \\|x\\|_2 =1 \\}$ be the unit sphere in $\\R^n$, and let $G=(V,E)$ be the graph with $V =
Graphs Theory and Applications
Fournier, Jean-Claude
2008-01-01
This book provides a pedagogical and comprehensive introduction to graph theory and its applications. It contains all the standard basic material and develops significant topics and applications, such as: colorings and the timetabling problem, matchings and the optimal assignment problem, and Hamiltonian cycles and the traveling salesman problem, to name but a few. Exercises at various levels are given at the end of each chapter, and a final chapter presents a few general problems with hints for solutions, thus providing the reader with the opportunity to test and refine their knowledge on the
Burleigh, Scott C.
2011-01-01
Contact Graph Routing (CGR) is a dynamic routing system that computes routes through a time-varying topology of scheduled communication contacts in a network based on the DTN (Delay-Tolerant Networking) architecture. It is designed to enable dynamic selection of data transmission routes in a space network based on DTN. This dynamic responsiveness in route computation should be significantly more effective and less expensive than static routing, increasing total data return while at the same time reducing mission operations cost and risk. The basic strategy of CGR is to take advantage of the fact that, since flight mission communication operations are planned in detail, the communication routes between any pair of bundle agents in a population of nodes that have all been informed of one another's plans can be inferred from those plans rather than discovered via dialogue (which is impractical over long one-way-light-time space links). Messages that convey this planning information are used to construct contact graphs (time-varying models of network connectivity) from which CGR automatically computes efficient routes for bundles. Automatic route selection increases the flexibility and resilience of the space network, simplifying cross-support and reducing mission management costs. Note that there are no routing tables in Contact Graph Routing. The best route for a bundle destined for a given node may routinely be different from the best route for a different bundle destined for the same node, depending on bundle priority, bundle expiration time, and changes in the current lengths of transmission queues for neighboring nodes; routes must be computed individually for each bundle, from the Bundle Protocol agent's current network connectivity model for the bundle s destination node (the contact graph). Clearly this places a premium on optimizing the implementation of the route computation algorithm. The scalability of CGR to very large networks remains a research topic
Yap, Hian-Poh
1996-01-01
This book provides an up-to-date and rapid introduction to an important and currently active topic in graph theory. The author leads the reader to the forefront of research in this area. Complete and easily readable proofs of all the main theorems, together with numerous examples, exercises and open problems are given. The book is suitable for use as a textbook or as seminar material for advanced undergraduate and graduate students. The references are comprehensive and so it will also be useful for researchers as a handbook.
Kucharik, Marcel; Hofacker, Ivo; Stadler, Peter
2014-01-01
Motivation RNA folding is a complicated kinetic process. The minimum free energy structure provides only a static view of the most stable conformational state of the system. It is insufficient to give detailed insights into the dynamic behavior of RNAs. A sufficiently sophisticated analysis...... of the folding free energy landscape, however, can provide the relevant information. Results We introduce the basin hopping graph (BHG) as a novel coarse-grained model of folding landscapes. Each vertex of the BHG is a local minimum, which represents the corresponding basin in the landscape. Its edges connect...
Zeps, Dainis
2009-01-01
Using a notation of corner between edges when graph has a fixed rotation, i.e. cyclical order of edges around vertices, we define combinatorial objects - combinatorial maps as pairs of permutations, one for vertices and one for faces. Further, we define multiplication of these objects, that coincides with the multiplication of permutations. We consider closed under multiplication classes of combinatorial maps that consist of closed classes of combinatorial maps with fixed edges where each such class is defined by a knot. One class among them is special, containing selfconjugate maps.
Learning Probabilistic Decision Graphs
Jaeger, Manfred; Dalgaard, Jens; Silander, Tomi
2004-01-01
Probabilistic decision graphs (PDGs) are a representation language for probability distributions based on binary decision diagrams. PDGs can encode (context-specific) independence relations that cannot be captured in a Bayesian network structure, and can sometimes provide computationally more...... efficient representations than Bayesian networks. In this paper we present an algorithm for learning PDGs from data. First experiments show that the algorithm is capable of learning optimal PDG representations in some cases, and that the computational efficiency of PDG models learned from real-life data...
Endomorphisms of graph algebras
Conti, Roberto; Hong, Jeong Hee; Szymanski, Wojciech
2012-01-01
We initiate a systematic investigation of endomorphisms of graph C*-algebras C*(E), extending several known results on endomorphisms of the Cuntz algebras O_n. Most but not all of this study is focused on endomorphisms which permute the vertex projections and globally preserve the diagonal MASA D...... that the restriction to the diagonal MASA of an automorphism which globally preserves both D_E and the core AF-subalgebra eventually commutes with the corresponding one-sided shift. Secondly, we exhibit several properties of proper endomorphisms, investigate invertibility of localized endomorphisms both on C...
Partitions of generalized split graphs
Shklarsky, Oren
2012-01-01
We discuss matrix partition problems for graphs that admit a partition into k independent sets and ` cliques. We show that when k + ` 6 2, any matrix M has finitely many (k; `) minimal obstructions and hence all of these problems are polynomial time solvable. We provide upper bounds for the size of any (k; `) minimal obstruction when k = ` = 1 (split graphs), when k = 2; ` = 0 (bipartite graphs), and when k = 0; ` = 2 (co-bipartite graphs). When k = ` = 1, we construct an exponential size spl...
Nested Dynamic Condition Response Graphs
Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs
2012-01-01
We present an extension of the recently introduced declarative process model Dynamic Condition Response Graphs ( DCR Graphs) to allow nested subgraphs and a new milestone relation between events. The extension was developed during a case study carried out jointly with our industrial partner...... Exformatics, a danish provider of case and workflow management systems. We formalize the semantics by giving first a map from Nested to (flat) DCR Graphs with milestones, and then extending the previously given mapping from DCR Graphs to Buchi-automata to include the milestone relation....
Edge Ideals of Weighted Graphs
Paulsen, Chelsey
2012-01-01
We study weighted graphs and their "edge ideals" which are ideals in polynomial rings that are defined in terms of the graphs. We provide combinatorial descriptions of m-irreducible decompositions for the edge ideal of a weighted graph in terms of the combinatorics of "weighted vertex covers". We use these, for instance, to say when these ideals are m-unmixed. We explicitly describe which weighted cycles and trees are unmixed and which ones are Cohen-Macaulay, and we prove that all weighted complete graphs are Cohen-Macaulay.
Intuitionistic Fuzzy Graphs with Categorical Properties
Hossein Rashmanlou
2015-09-01
Full Text Available The main purpose of this paper is to show the rationality of some operations, defined or to be defined, on intuitionistic fuzzy graphs. Firstly, three kinds of new product operations (called direct product, lexicographic product, and strong product are defined in intuitionistic fuzzy graphs, and some important notions on intuitionistic fuzzy graphs are demonstrated by characterizing these notions and their level counterparts graphs such as intuitionistic fuzzy complete graph, cartesian product of intuitionistic fuzzy graphs, composition of intuitionistic fuzzy graphs, union of intuitionistic fuzzy graphs, and join of intuitionistic fuzzy graphs. As a result, a kind of representations of intuitionistic fuzzy graphs and intuitionistic fuzzy complete graphs are given. Next, categorical goodness of intuitionistic fuzzy graphs is illustrated by proving that the category of intuitionistic fuzzy graphs and homomorphisms between them is isomorphic-closed, complete, and co-complete.
一种混联喷雾机械臂视觉定位系统设计%A Vision Positioning System Design of the Series-parallel Spraying Mechanical Arms
刘涛; 宗哲英; 张宾
2014-01-01
A vision positioning system was designed to realize robotized spray operations using the series -parallel spraying arms in greenhouse .The system can save plenty of pesticide comparing with continuous spaying and detect size and posi -tion coordinates of the object crop .DSP is used for controlling the motors of mechanical arm .The mechanical arm has 3 DOF series-parallel structure that has many advantages such as simple structure and controlling methods , lower cost , greater strength and rigidity .The experiments show that the system can meet requirements of precise spraying for the sin -gle crop canopy .%为实现自动化精准施药，避免对温室中单株作物连续喷药所造成的大量药液浪费，设计了一种基于机器视觉定位的自动化喷雾系统。该系统可自动对目标作物进行大小及位置的检测，由 DSP 控制喷雾机械臂实现针对目标作物的精准喷雾。机械臂采用了三自由度混联结构，具有结构简单、成本低、刚性好、便于控制解算等优点。实验证明，该系统完全可满足针对单株作物冠层的精准喷雾定位要求。
ON BIPOLAR SINGLE VALUED NEUTROSOPHIC GRAPHS
Said Broumi; Mohamed Talea; Assia Bakali; Florentin Smarandache
2016-01-01
In this article, we combine the concept of bipolar neutrosophic set and graph theory. We introduce the notions of bipolar single valued neutrosophic graphs, strong bipolar single valued neutrosophic graphs, complete bipolar single valued neutrosophic graphs, regular bipolar single valued neutrosophic graphs and investigate some of their related properties.
ON BIPOLAR SINGLE VALUED NEUTROSOPHIC GRAPHS
Said Broumi; Mohamed Talea; Assia Bakali; Florentin Smarandache
2016-01-01
In this article, we combine the concept of bipolar neutrosophic set and graph theory. We introduce the notions of bipolar single valued neutrosophic graphs, strong bipolar single valued neutrosophic graphs, complete bipolar single valued neutrosophic graphs, regular bipolar single valued neutrosophic graphs and investigate some of their related properties.
On Bipolar Single Valued Neutrosophic Graphs
SAID BROUMI; MOHAMED TALEA; ASSIA BAKALI; FLORENTIN SMARANDACHE
2016-01-01
In this article, we combine the concept of bipolar neutrosophic set and graph theory. We introduce the notions of bipolar single valued neutrosophic graphs, strong bipolar single valued neutrosophic graphs, complete bipolar single valued neutrosophic graphs, regular bipolar single valued neutrosophic graphs and investigate some of their related properties.
Double-Critical Graphs and Complete Minors
Kawarabayashi, Ken-ichi; Pedersen, Anders Sune; Toft, Bjarne
2010-01-01
A connected $k$-chromatic graph $G$ is double-critical if for all edges $uv$ of $G$ the graph $G - u - v$ is $(k-2)$-colourable. The only known double-critical $k$-chromatic graph is the complete $k$-graph $K_k$. The conjecture that there are no other double-critical graphs is a special case...
Tutte Polynomial of Multi-Bridge Graphs
Julian A. Allagan
2013-10-01
Full Text Available In this paper, using a well-known recursion for computing the Tutte polynomial of any graph, we found explicit formulae for the Tutte polynomials of any multi-bridge graph and some $2-$tree graphs. Further, several recursive formulae for other graphs such as the fan and the wheel graphs are also discussed.
A Modal-Logic Based Graph Abstraction
Bauer, J.; Boneva, I.B.; Kurban, M.E.; Rensink, A.; Ehrig, H.; Heckel, R.; Rozenberg, G.; Taentzer, G.
2008-01-01
Infinite or very large state spaces often prohibit the successful verification of graph transformation systems. Abstract graph transformation is an approach that tackles this problem by abstracting graphs to abstract graphs of bounded size and by lifting application of productions to abstract graphs
Wang, Suijie
2010-01-01
In this paper, we give a Laplacian characterization of the product of the complete graphs $K_m$ with trees, unicyclic graphs, and bicyclic graphs. More precisely, let $G$ be a connected graph with at most two independent cycles. If $G$ is neither $C_{6}$ nor $\\Theta_{3,2,5}$ and determined by its Laplacain spectrum, then the product $G\\times K_{m}$ is also a graph determined by its Laplacian spectrum. In addition, we find the cosepctral graphs of $C_{6}\\times K_{m}$ and $\\Theta_{3,2,5}\\times K_{m}$, where the case $m=1$ is shown in Figure \\ref{F1} and \\ref{F2}.
Detecting alternative graph clusterings.
Mandala, Supreet; Kumara, Soundar; Yao, Tao
2012-07-01
The problem of graph clustering or community detection has enjoyed a lot of attention in complex networks literature. A quality function, modularity, quantifies the strength of clustering and on maximization yields sensible partitions. However, in most real world networks, there are an exponentially large number of near-optimal partitions with some being very different from each other. Therefore, picking an optimal clustering among the alternatives does not provide complete information about network topology. To tackle this problem, we propose a graph perturbation scheme which can be used to identify an ensemble of near-optimal and diverse clusterings. We establish analytical properties of modularity function under the perturbation which ensures diversity. Our approach is algorithm independent and therefore can leverage any of the existing modularity maximizing algorithms. We numerically show that our methodology can systematically identify very different partitions on several existing data sets. The knowledge of diverse partitions sheds more light into the topological organization and helps gain a more complete understanding of the underlying complex network.
Estrada, Ernesto
2015-01-01
A generalization of the random geometric graph (RGG) model is proposed by considering a set of points uniformly and independently distributed on a rectangle of unit area instead of on a unit square \\left[0,1\\right]^{2}. The topological properties, such as connectivity, average degree, average path length and clustering, of the random rectangular graphs (RRGs) generated by this model are then studied as a function of the rectangle sides lengths a and b=1/a, and the radius r used to connect the nodes. When a=1 we recover the RGG, and when a\\rightarrow\\infty the very elongated rectangle generated resembles a one-dimensional RGG. We provided computational and analytical evidence that the topological properties of the RRG differ significantly from those of the RGG. The connectivity of the RRG depends not only on the number of nodes as in the case of the RGG, but also on the side length of the rectangle. As the rectangle is more elongated the critical radius for connectivity increases following first a power-law an...
Maunz, Peter Lukas Wilhelm [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Sterk, Jonathan David [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Lobser, Daniel [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Parekh, Ojas D. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Ryan-Anderson, Ciaran [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
2016-01-01
In recent years, advanced network analytics have become increasingly important to na- tional security with applications ranging from cyber security to detection and disruption of ter- rorist networks. While classical computing solutions have received considerable investment, the development of quantum algorithms to address problems, such as data mining of attributed relational graphs, is a largely unexplored space. Recent theoretical work has shown that quan- tum algorithms for graph analysis can be more efficient than their classical counterparts. Here, we have implemented a trapped-ion-based two-qubit quantum information proces- sor to address these goals. Building on Sandia's microfabricated silicon surface ion traps, we have designed, realized and characterized a quantum information processor using the hyperfine qubits encoded in two 171 Yb + ions. We have implemented single qubit gates using resonant microwave radiation and have employed Gate set tomography (GST) to characterize the quan- tum process. For the first time, we were able to prove that the quantum process surpasses the fault tolerance thresholds of some quantum codes by demonstrating a diamond norm distance of less than 1 . 9 x 10 [?] 4 . We used Raman transitions in order to manipulate the trapped ions' motion and realize two-qubit gates. We characterized the implemented motion sensitive and insensitive single qubit processes and achieved a maximal process infidelity of 6 . 5 x 10 [?] 5 . We implemented the two-qubit gate proposed by Molmer and Sorensen and achieved a fidelity of more than 97 . 7%.
Kirkpatrick, Bonnie; Reshef, Yakir; Finucane, Hilary; Jiang, Haitao; Zhu, Binhai; Karp, Richard M
2012-09-01
Pedigree graphs, or family trees, are typically constructed by an expensive process of examining genealogical records to determine which pairs of individuals are parent and child. New methods to automate this process take as input genetic data from a set of extant individuals and reconstruct ancestral individuals. There is a great need to evaluate the quality of these methods by comparing the estimated pedigree to the true pedigree. In this article, we consider two main pedigree comparison problems. The first is the pedigree isomorphism problem, for which we present a linear-time algorithm for leaf-labeled pedigrees. The second is the pedigree edit distance problem, for which we present (1) several algorithms that are fast and exact in various special cases, and (2) a general, randomized heuristic algorithm. In the negative direction, we first prove that the pedigree isomorphism problem is as hard as the general graph isomorphism problem, and that the sub-pedigree isomorphism problem is NP-hard. We then show that the pedigree edit distance problem is APX-hard in general and NP-hard on leaf-labeled pedigrees. We use simulated pedigrees to compare our edit-distance algorithms to each other as well as to a branch-and-bound algorithm that always finds an optimal solution.
Quantization of gauge fields, graph polynomials and graph homology
Kreimer, Dirk, E-mail: kreimer@physik.hu-berlin.de [Humboldt University, 10099 Berlin (Germany); Sars, Matthias [Humboldt University, 10099 Berlin (Germany); Suijlekom, Walter D. van [Radboud University Nijmegen, 6525 AJ Nijmegen (Netherlands)
2013-09-15
We review quantization of gauge fields using algebraic properties of 3-regular graphs. We derive the Feynman integrand at n loops for a non-abelian gauge theory quantized in a covariant gauge from scalar integrands for connected 3-regular graphs, obtained from the two Symanzik polynomials. The transition to the full gauge theory amplitude is obtained by the use of a third, new, graph polynomial, the corolla polynomial. This implies effectively a covariant quantization without ghosts, where all the relevant signs of the ghost sector are incorporated in a double complex furnished by the corolla polynomial–we call it cycle homology–and by graph homology. -- Highlights: •We derive gauge theory Feynman from scalar field theory with 3-valent vertices. •We clarify the role of graph homology and cycle homology. •We use parametric renormalization and the new corolla polynomial.
Semi-strong split domination in graphs
Anwar Alwardi
2014-06-01
Full Text Available Given a graph $G = (V,E$, a dominating set $D subseteq V$ is called a semi-strong split dominating set of $G$ if $|V setminus D| geq 1$ and the maximum degree of the subgraph induced by $V setminus D$ is 1. The minimum cardinality of a semi-strong split dominating set (SSSDS of G is the semi-strong split domination number of G, denoted $gamma_{sss}(G$. In this work, we introduce the concept and prove several results regarding it.
Identify Implicit Communities by Graph Clustering
YANG Nan; MENG Xiaofeng
2006-01-01
How to find these communities is an important research work. Recently, community discovery are mainly categorized to HITS algorithm, bipartite cores algorithm and maximum flow/minimum cut framework. In this paper, we proposed a new method to extract communities. The MCL algorithm, which is short for the Markov Cluster Algorithm, a fast and scalable unsupervised cluster algorithm is used to extract communities. By putting mirror deleting procedure behind graph clustering, we decrease comparing cost considerably. After MCL and mirror deletion, we use community member select algorithm to produce the sets of community candidates. The experiment and results show the new method works effectively and properly.
The Modified Negative Decision Number in Graphs
Changping Wang
2011-01-01
Full Text Available A mapping x:V→{-1,1} is called negative if ∑u∈N[v]x(u≤1 for every v∈V. The maximum of the values of ∑v∈Vx(v taken over all negative mappings x, is called the modified negative decision number and is denoted by βD′(G. In this paper, several sharp upper bounds of this number for a general graph are presented. Exact values of these numbers for cycles, paths, cliques and bicliques are found.
Upper bounds for the bondage number of graphs on topological surfaces
Gagarin, Andrei
2010-01-01
The bondage number b(G) of a graph G is the smallest number of edges of G whose removal from G results in a graph having the domination number larger than that of G. We show that, for a graph G having the maximum vertex degree $\\Delta(G)$ and embeddable on an orientable surface of genus h and a non-orientable surface of genus k, $b(G)\\le \\min\\{\\Delta(G)+h+2, \\Delta(G)+k+1\\}$. This generalizes known upper bounds for planar and toroidal graphs.
An advance in infinite graph models for the analysis of transportation networks
Cera Martín
2016-12-01
Full Text Available This paper extends to infinite graphs the most general extremal issues, which are problems of determining the maximum number of edges of a graph not containing a given subgraph. It also relates the new results with the corresponding situations for the finite case. In particular, concepts from ‘finite’ graph theory, like the average degree and the extremal number, are generalized and computed for some specific cases. Finally, some applications of infinite graphs to the transportation of dangerous goods are presented; they involve the analysis of networks and percolation thresholds.
The Wiener maximum quadratic assignment problem
Cela, Eranda; Woeginger, Gerhard J
2011-01-01
We investigate a special case of the maximum quadratic assignment problem where one matrix is a product matrix and the other matrix is the distance matrix of a one-dimensional point set. We show that this special case, which we call the Wiener maximum quadratic assignment problem, is NP-hard in the ordinary sense and solvable in pseudo-polynomial time. Our approach also yields a polynomial time solution for the following problem from chemical graph theory: Find a tree that maximizes the Wiener index among all trees with a prescribed degree sequence. This settles an open problem from the literature.
Maximum floodflows in the conterminous United States
Crippen, John R.; Bue, Conrad D.
1977-01-01
Peak floodflows from thousands of observation sites within the conterminous United States were studied to provide a guide for estimating potential maximum floodflows. Data were selected from 883 sites with drainage areas of less than 10,000 square miles (25,900 square kilometers) and were grouped into regional sets. Outstanding floods for each region were plotted on graphs, and envelope curves were computed that offer reasonable limits for estimates of maximum floods. The curves indicate that floods may occur that are two to three times greater than those known for most streams.
Integrated Network Decompositions and Dynamic Programming for Graph Optimization (INDDGO)
2012-05-31
The INDDGO software package offers a set of tools for finding exact solutions to graph optimization problems via tree decompositions and dynamic programming algorithms. Currently the framework offers serial and parallel (distributed memory) algorithms for finding tree decompositions and solving the maximum weighted independent set problem. The parallel dynamic programming algorithm is implemented on top of the MADNESS task-based runtime.
Edge choosability of planar graphs without short cycles
WANG Weifan
2005-01-01
In this paper we prove that if G is a planar graph with △ = 5 and without 4-cycles or 6-cycles, then G is edge-6-choosable. This consequence together with known (△ + 1)-choosable, where△ denotes the maximum degree of G.
Independent sets in asteroidal triple-free graphs
Broersma, Haitze J.; Kloks, Ton; Kloks, A.J.J.; Kratsch, Dieter; Müller, Haiko
1997-01-01
An asteroidal triple is a set of three vertices such that there is a path between any pair of them avoiding the closed neighborhood of the third. A graph is called AT-free if it does not have an asteroidal triple. We show that there is an O(n 2 · (¯m+1)) time algorithm to compute the maximum
Congestion in planar graphs with demands on faces
Naves, Guyslain
2010-01-01
We give an algorithm to route a multicommodity flow in a planar graph $G$ with congestion $O(\\log k)$, where $k$ is the maximum number of terminals on the boundary of a face, when each demand edge lie on a face of $G$. We also show that our specific method cannot achieve a substantially better congestion.
2005-06-01
intuitive results on a variety of synthetic and real-world datasets. Here, we will verify their scalability. Figure 5.9 shows results on a “ caveman ...show timing results on a “ caveman ” graph with 3 caves. The plot shows wall-clock time vs. the number of edges E in the graph, for both SPLIT (dashed
Subgraph Enumeration in Massive Graphs
Silvestri, Francesco
bound also applies with high probability. Our algorithm is I/O optimal, in the worst-case, when the sample graph belongs to the Alon class, which includes cliques, cycles and every graph with a perfect matching: indeed, we show that any algorithm enumerating $T$ instances must always use $\\BOM...
Open Graphs and Monoidal Theories
Dixon, Lucas
2010-01-01
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of these diagrams is that edges need not be connected to vertices at both ends, and these unconnected ends can be interpreted as the inputs and outputs of a diagram. In this paper, we give a concrete construction for string diagrams using a special kind of typed graph called an open-graph. While the category of open-graphs is not itself adhesive, we introduce the notion of a selective adhesive functor, and show that such a functor embeds the category of open-graphs into the ambient adhesive category of typed graphs. Using this functor, the category of open-graphs inherits "enough adhesivity" from the category of typed graphs to perform double-pushout (DPO) graph rewriting. A salient feature of our theory is that it ensures rewrite systems are "type-safe" in the sense that rewriting respects the inputs and outputs. This formalism lets u...
Network reconstruction via graph blending
Estrada, Rolando
2016-05-01
Graphs estimated from empirical data are often noisy and incomplete due to the difficulty of faithfully observing all the components (nodes and edges) of the true graph. This problem is particularly acute for large networks where the number of components may far exceed available surveillance capabilities. Errors in the observed graph can render subsequent analyses invalid, so it is vital to develop robust methods that can minimize these observational errors. Errors in the observed graph may include missing and spurious components, as well fused (multiple nodes are merged into one) and split (a single node is misinterpreted as many) nodes. Traditional graph reconstruction methods are only able to identify missing or spurious components (primarily edges, and to a lesser degree nodes), so we developed a novel graph blending framework that allows us to cast the full estimation problem as a simple edge addition/deletion problem. Armed with this framework, we systematically investigate the viability of various topological graph features, such as the degree distribution or the clustering coefficients, and existing graph reconstruction methods for tackling the full estimation problem. Our experimental results suggest that incorporating any topological feature as a source of information actually hinders reconstruction accuracy. We provide a theoretical analysis of this phenomenon and suggest several avenues for improving this estimation problem.
Graph Transformation and AI Planning
Edelkamp, S.; Rensink, Arend; Edelkamp, S.; Frank, J.
This document provides insight to the similarities and differences of Graph Transformation and AI Planning, two rising research fields with different publication organs and tools. While graph transformation systems can be used as a graphical knowledge engineering front-end for designing planning
Graph Transformation and AI Planning
Edelkamp, S.; Rensink, A.; Edelkamp, S.; Frank, J.
2007-01-01
This document provides insight to the similarities and differences of Graph Transformation and AI Planning, two rising research fields with different publication organs and tools. While graph transformation systems can be used as a graphical knowledge engineering front-end for designing planning pr
Quantum Markov fields on graphs
2009-01-01
We introduce generalized quantum Markov states and generalized d-Markov chains which extend the notion quantum Markov chains on spin systems to that on $C^*$-algebras defined by general graphs. As examples of generalized d-Markov chains, we construct the entangled Markov fields on tree graphs. The concrete examples of generalized d-Markov chains on Cayley trees are also investigated.
Paley Graphs and Their Generalizations
Elsawy, Ahmed Noubi
2012-01-01
To construct a Paley graph, we fix a finite field and consider its elements as vertices of the Paley graph. Two vertices are connected by an edge if their difference is a square in the field. We will study some important properties of the Paley graphs. In particular, we will show that the Paley graphs are connected, symmetric, and self-complementary. Also we will show that the Paley graph of order q is (q-1)/2 -regular, and every two adjacent vertices have (q-5)/4 common neighbors, and every two non-adjacent vertices have q-1/4 common neighbors, which means that the Paley graphs are strongly regular with parameters(q,q-1/2,q-5/4, q-1/4). Paley graphs are generalized by many mathematicians. In the first section of Chapter 3 we will see three examples of these generalizations and some of their basic properties. In the second section of Chapter 3 we will define a new generalization of the Paley graphs, in which pairs of elements of a finite field are connected by an edge if and only if there difference belongs t...
Graph Representation of Projective Resolutions
Hong Bo SHI
2011-01-01
We generalize the concept - dimension tree and the related results for monomial algebras to a more general case - relations algebras Λ by bringing Gr(o)bner basis into play. More precisely,graph to be called the minimal resolution graph for M. Algorithms for computing such diagraphs and applications as well will be presented.
A Collection of Features for Semantic Graphs
Eliassi-Rad, T; Fodor, I K; Gallagher, B
2007-05-02
Semantic graphs are commonly used to represent data from one or more data sources. Such graphs extend traditional graphs by imposing types on both nodes and links. This type information defines permissible links among specified nodes and can be represented as a graph commonly referred to as an ontology or schema graph. Figure 1 depicts an ontology graph for data from National Association of Securities Dealers. Each node type and link type may also have a list of attributes. To capture the increased complexity of semantic graphs, concepts derived for standard graphs have to be extended. This document explains briefly features commonly used to characterize graphs, and their extensions to semantic graphs. This document is divided into two sections. Section 2 contains the feature descriptions for static graphs. Section 3 extends the features for semantic graphs that vary over time.
Asymptotic aspects of Cayley graphs
Dejter, Italo J
2011-01-01
Arising from complete Cayley graphs $\\Gamma_n$ of odd cyclic groups $\\Z_n$, an asymptotic approach is presented on connected labeled graphs whose vertices are labeled via equally-multicolored copies of $K_4$ in $\\Gamma_n$ with adjacency of any two such vertices whenever they are represented by copies of $K_4$ in $\\Gamma_n$ sharing two equally-multicolored triangles. In fact, these connected labeled graphs are shown to form a family of graphs of largest degree 6 and diameter asymptotically of order $|V|^{1/3}$, properties shared by the initial member of a collection of families of Cayley graphs of degree $2m\\geq 6$ with diameter asymptotically of order $|V|^{1/m}$, where $3\\leq m\\in\\Z$.
Renormalization algorithm with graph enhancement
Hübener, R; Hartmann, L; Dür, W; Plenio, M B; Eisert, J
2011-01-01
We present applications of the renormalization algorithm with graph enhancement (RAGE). This analysis extends the algorithms and applications given for approaches based on matrix product states introduced in [Phys. Rev. A 79, 022317 (2009)] to other tensor-network states such as the tensor tree states (TTS) and projected entangled pair states (PEPS). We investigate the suitability of the bare TTS to describe ground states, showing that the description of certain graph states and condensed matter models improves. We investigate graph-enhanced tensor-network states, demonstrating that in some cases (disturbed graph states and for certain quantum circuits) the combination of weighted graph states with tensor tree states can greatly improve the accuracy of the description of ground states and time evolved states. We comment on delineating the boundary of the classically efficiently simulatable states of quantum many-body systems.
Quantum walks on general graphs
Kendon, V
2003-01-01
A scheme for a discrete time quantum walk on a general graph of N vertices with undirected edges is given, and compared with the continuous time quantum walk on a general graph introduced by Farhi and Gutmann [PRA 58 915 (1998)]. Both walks are contrasted with the examples of quantum walks in the literature treating graphs of fixed, small (< log N) degree. This illustrates the way in which extra information about the graph allows more efficient algorithms to be designed. To obtain a quantum speed up over classical for comparable resources it is necessary to code the position space of the quantum walk into a qubit register (or equivalent). The role of the oracle is also discussed and an efficient gate sequence is presented for implementing a discrete quantum walk given one copy of a quantum state encoding the adjacency matrix of the graph.
Girth 5 graphs from relative difference sets
Jørgensen, Leif Kjær
2005-01-01
We consider the problem of construction of graphs with given degree $k$ and girth 5 and as few vertices as possible. We give a construction of a family of girth 5 graphs based on relative difference sets. This family contains the smallest known graph of degree 8 and girth 5 which was constructed ...... by Royle, four of the known cages including the Hoffman-Singleton graph, some graphs constructed by Exoo and some new smallest known graphs....
Girth 5 graphs from relative difference sets
Jørgensen, Leif Kjær
We consider the problem of construction of graphs with given degree and girth 5 and as few vertices as possible. We give a construction of a family of girth 5 graphs based on relative difference sets. This family contains the smallest known graph of degree 8 and girth 5 which was constructed by G....... Royle, four of the known cages including the Hoffman-Singleton graph, some graphs constructed by G. Exoo and some new smallest known graphs. k...
Parallel Graph Transformation based on Merged Approach
Asmaa Aouat
2013-01-01
Full Text Available Graph transformation is one of the key concepts in graph grammar. In order to accelerate the graph transformation, the concept of parallel graph transformation has been proposed by different tools such as AGG tool. The theory of parallel graph transformation used by AGG just allows clarifying the concepts of conflict and dependency between the transformation rules. This work proposes an approach of parallel graph transformations which enables dependent transformation rules to be executed in parallel.
Graph traversals, genes, and matroids: An efficient case of the travelling salesman problem
Gusfield, D.; Stelling, P.; Wang, Lusheng [Univ. of California, Davis, CA (United States); Karp, R. [Univ. of Washington, Seattle, WA (United States)
1996-12-31
In this paper the authors consider graph traversal problems that arise from a particular technology for DNA sequencing - sequencing by hybridization (SBH). They first explain the connection of the graph problems to SBH and then focus on the traversal problems. They describe a practical polynomial time solution to the Travelling Salesman Problem in a rich class of directed graphs (including edge weighted binary de Bruijn graphs), and provide a bounded-error approximation algorithm for the maximum weight TSP in a superset of those directed graphs. The authors also establish the existence of a matroid structure defined on the set of Euler and Hamilton paths in the restricted class of graphs. 8 refs., 5 figs.
Application of some graph invariants to the analysis of multiprocessor interconnection networks
Cvetković Dragoš
2008-01-01
Full Text Available Let G be a graph with diameter D, maximum vertex degree Δ, the largest eigenvalue λ1 and m distinct eigenvalues. The products mΔ and (D+1 λ1 are called the tightness of G of the first and second type, respectively. In the recent literature it was suggested that graphs with a small tightness of the first type are good models for the multiprocessor interconnection networks. We study these and some other types of tightness and some related graph invariants and demonstrate their usefulness in the analysis of multiprocessor interconnection networks. Tightness values for graphs of some standard interconnection networks are determined. We also present some facts showing that the tightness of the second type is a relevant graph invariant. We prove that the number of connected graphs with a bounded tightness is finite.
On characterizing terrain visibility graphs
William Evans
2015-06-01
Full Text Available A terrain is an $x$-monotone polygonal line in the $xy$-plane. Two vertices of a terrain are mutually visible if and only if there is no terrain vertex on or above the open line segment connecting them. A graph whose vertices represent terrain vertices and whose edges represent mutually visible pairs of terrain vertices is called a terrain visibility graph. We would like to find properties that are both necessary and sufficient for a graph to be a terrain visibility graph; that is, we would like to characterize terrain visibility graphs.Abello et al. [Discrete and Computational Geometry, 14(3:331--358, 1995] showed that all terrain visibility graphs are “persistent”. They showed that the visibility information of a terrain point set implies some ordering requirements on the slopes of the lines connecting pairs of points in any realization, and as a step towards showing sufficiency, they proved that for any persistent graph $M$ there is a total order on the slopes of the (pseudo lines in a generalized configuration of points whose visibility graph is $M$.We give a much simpler proof of this result by establishing an orientation to every triple of vertices, reflecting some slope ordering requirements that are consistent with $M$ being the visibility graph, and prove that these requirements form a partial order. We give a faster algorithm to construct a total order on the slopes. Our approach attempts to clarify the implications of the graph theoretic properties on the ordering of the slopes, and may be interpreted as defining properties on an underlying oriented matroid that we show is a restricted type of $3$-signotope.
Periodic 2-graphs arising from subshifts
Pask, David; Weaver, Natasha
2009-01-01
Higher-rank graphs were introduced by Kumjian and Pask to provide models for higher-rank Cuntz-Krieger algebras. In a previous paper, we constructed 2-graphs whose path spaces are rank-two subshifts of finite type, and showed that this construction yields aperiodic 2-graphs whose $C^*$-algebras are simple and are not ordinary graph algebras. Here we show that the construction also gives a family of periodic 2-graphs which we call \\emph{domino graphs}. We investigate the combinatorial structure of domino graphs, finding interesting points of contact with the existing combinatorial literature, and prove a structure theorem for the $C^*$-algebras of domino graphs.
Wiener Index, Diameter, and Stretch Factor of a Weighted Planar Graph in Subquadratic Time
Wulff-Nilsen, Christian
We solve three open problems: the existence of subquadratic time algorithms for computing the Wiener index (sum of APSP distances) and the diameter (maximum distance between any vertex pair) of a planar graph with non-negative edge weights and the stretch factor of a plane geometric graph (maximum...... over all pairs of distinct vertices of the ratio between the graph distance and the Euclidean distance between the two vertices). More specifically, we show that the Wiener index and diameter can be found in O(n^2*(log log n)^4/log n) worst-case time and that the stretch factor can be found in O(n^2...
Semantic graphs and associative memories.
Pomi, Andrés; Mizraji, Eduardo
2004-12-01
Graphs have been increasingly utilized in the characterization of complex networks from diverse origins, including different kinds of semantic networks. Human memories are associative and are known to support complex semantic nets; these nets are represented by graphs. However, it is not known how the brain can sustain these semantic graphs. The vision of cognitive brain activities, shown by modern functional imaging techniques, assigns renewed value to classical distributed associative memory models. Here we show that these neural network models, also known as correlation matrix memories, naturally support a graph representation of the stored semantic structure. We demonstrate that the adjacency matrix of this graph of associations is just the memory coded with the standard basis of the concept vector space, and that the spectrum of the graph is a code invariant of the memory. As long as the assumptions of the model remain valid this result provides a practical method to predict and modify the evolution of the cognitive dynamics. Also, it could provide us with a way to comprehend how individual brains that map the external reality, almost surely with different particular vector representations, are nevertheless able to communicate and share a common knowledge of the world. We finish presenting adaptive association graphs, an extension of the model that makes use of the tensor product, which provides a solution to the known problem of branching in semantic nets.
Hierarchy of modular graph identities
D’Hoker, Eric; Kaidi, Justin [Mani L. Bhaumik Institute for Theoretical Physics, Department of Physics and Astronomy,University of California,Los Angeles, CA 90095 (United States)
2016-11-09
The low energy expansion of Type II superstring amplitudes at genus one is organized in terms of modular graph functions associated with Feynman graphs of a conformal scalar field on the torus. In earlier work, surprising identities between two-loop graphs at all weights, and between higher-loop graphs of weights four and five were constructed. In the present paper, these results are generalized in two complementary directions. First, all identities at weight six and all dihedral identities at weight seven are obtained and proven. Whenever the Laurent polynomial at the cusp is available, the form of these identities confirms the pattern by which the vanishing of the Laurent polynomial governs the full modular identity. Second, the family of modular graph functions is extended to include all graphs with derivative couplings and worldsheet fermions. These extended families of modular graph functions are shown to obey a hierarchy of inhomogeneous Laplace eigenvalue equations. The eigenvalues are calculated analytically for the simplest infinite sub-families and obtained by Maple for successively more complicated sub-families. The spectrum is shown to consist solely of eigenvalues s(s−1) for positive integers s bounded by the weight, with multiplicities which exhibit rich representation-theoretic patterns.
Design Pattern Mining Using Graph Matching
LI Qing-hua; ZHANG Zhi-xiang; BEN Ke-rong
2004-01-01
The identification of design pattern instances is important for program understanding and software maintenance. Aiming at the mining of design patterns in existing systems, this paper proposes a sub-graph isomorphism approach to discover several design patterns in a legacy system at a time. The attributed relational graph is used to describe design patterns and legacy systems. The sub-graph isomorphism approach consists of decomposition and composition process. During the decomposition process, graphs corresponding to the design patterns are decomposed into sub-graphs, some of which are graphs corresponding to the elemental design patterns. The composition process tries to get sub-graph isomorphism of the matched graph if sub-graph isomorphism of each sub-graph is obtained. Due to the common structures between design patterns, the proposed approach can reduce the matching times of entities and relations. Compared with the existing methods, the proposed algorithm is not linearly dependent on the number of design pattern graphs.
Acyclic Total Colorings of Planar Graphs without l Cycles
Xiang Yong SUN; Jian Liang WU
2011-01-01
A proper total coloring of a graph G such that there are at least 4 colors on those vertices and edges incident with a cycle of G,is called acyclic total coloring.The acyclic total chromatic number of G is the least number of colors in an acyclic total coloring of G.In this paper,it is proved that theacyclic total chromatic number of a planar graph G of maximum degree at least k and without l cycles is at most △(G)+2 if(κ,l)∈{(6,3),(7,4),(6,5),(7,6)}.
The b-chromatic number of power graphs
Brice Effantin
2003-06-01
Full Text Available The b-chromatic number of a graph G is defined as the maximum number k of colors that can be used to color the vertices of G, such that we obtain a proper coloring and each color i, with 1 ≤ i≤ k, has at least one representant x i adjacent to a vertex of every color j, 1 ≤ j ≠ i ≤ k. In this paper, we discuss the b-chromatic number of some power graphs. We give the exact value of the b-chromatic number of power paths and power complete binary trees, and we bound the b-chromatic number of power cycles.
Research of coupling b ehavior based on series-parallel flux-controlled memristor%基于串并联磁控忆阻器的耦合行为研究∗
王颜; 杨玖; 王丽丹; 段书凯
2015-01-01
Memristor is a nanoscale element with low power consumption and high integration, having great potential in applications. A single memristor has rich electrical properties, and its series-parallel circuit exhibits more abundant dynamic behaviors. However, memristors’ coupled effects cannot be ignored in high-density integrated environment. Therefore, this paper first deduces the mathematical model of coupled memristor in detail based on the coupled flux controlled memristors. Second, considering the different polarity connection and coupling strength, we discuss the coupled condition of two flux-controlled memristors in series and parallel connections. Then the detailed theoretical analysis is illustrated, and the variation of memristance in terms of voltage, time and flux as well as the relations between voltage and currents are examined via numerical simulations to further explore the influence of coupled effects on the memristive system. At the same time, a graphical user interface of series-parallel coupled circuit based on Matlab is designed. Through this interface, we can adjust the initial value of memristor and coupling coeﬃcient, select different connection modes, obtain corresponding connection diagram and output waveform which intuitively show the dynamic behavior of different parameters directly and provide experimental reference for further study of the circuit design. Furthermore, this paper shows the influence of initial value on the normal working range of memristors in the presence of coupling. From the table 1 it can be easily obtained that when the memristors are connected in the same direction, the range of memristance without coupling is greater than that with coupling. And the situation is opposite when the memristors are connected in different directions. Finally, the hysteresis curve with different coupling coeﬃcients and the change of memristance with time are shown via building the Pspice simulator of coupled memristors, so the
XML Graphs in Program Analysis
Møller, Anders; Schwartzbach, Michael I.
2011-01-01
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tailored for a range of applications. We present a unified definition, outline the key properties including validation...... of XML graphs against different XML schema languages, and provide a software package that enables others to make use of these ideas. We also survey the use of XML graphs for program analysis with four very different languages: XACT (XML in Java), Java Servlets (Web application programming), XSugar...
Graph Model Based Indoor Tracking
Jensen, Christian Søndergaard; Lu, Hua; Yang, Bin
2009-01-01
infrastructure for different symbolic positioning technologies, e.g., Bluetooth and RFID. More specifically, the paper proposes a model of indoor space that comprises a base graph and mappings that represent the topology of indoor space at different levels. The resulting model can be used for one or several...... indoor positioning technologies. Focusing on RFID-based positioning, an RFID specific reader deployment graph model is built from the base graph model. This model is then used in several algorithms for constructing and refining trajectories from raw RFID readings. Empirical studies with implementations...
Symmetry properties of subdivision graphs
Daneshkhah, Ashraf; Devillers, Alice; Praeger, Cheryl E.
2010-01-01
The subdivision graph $S(\\Sigma)$ of a graph $\\Sigma$ is obtained from $\\Sigma$ by `adding a vertex' in the middle of every edge of $\\Si$. Various symmetry properties of $\\S(\\Sigma)$ are studied. We prove that, for a connected graph $\\Sigma$, $S(\\Sigma)$ is locally $s$-arc transitive if and only if $\\Sigma$ is $\\lceil\\frac{s+1}{2}\\rceil$-arc transitive. The diameter of $S(\\Sigma)$ is $2d+\\delta$, where $\\Sigma$ has diameter $d$ and $0\\leqslant \\delta\\leqslant 2$, and local $s$-distance transi...
Recursive processing of cyclic graphs.
Bianchini, Monica; Gori, Marco; Sarti, Lorenzo; Scarselli, Franco
2006-01-01
Recursive neural networks are a powerful tool for processing structured data. According to the recursive learning paradigm, the input information consists of directed positional acyclic graphs (DPAGs). In fact, recursive networks are fed following the partial order defined by the links of the graph. Unfortunately, the hypothesis of processing DPAGs is sometimes too restrictive, being the nature of some real-world problems intrinsically cyclic. In this paper, a methodology is proposed, which allows us to process any cyclic directed graph. Therefore, the computational power of recursive networks is definitely established, also clarifying the underlying limitations of the model.
Cubature formulas on combinatorial graphs
Pesenson, Isaac Z
2011-01-01
Many contemporary applications, for example, cataloging of galaxies, document analysis, face recognition, learning theory, image processing, operate with a large amount of data which is often represented as a graph embedded into a high dimensional Euclidean space. The variety of problems arising in contemporary data processing requires development on graphs such topics of the classical harmonic analysis as Shannon sampling, splines, wavelets, cubature formulas. The goal of the paper is to establish cubature formulas on finite combinatorial graphs. The results have direct applications to problems that arise in connection with data filtering, data denoising and data dimension reduction.
On Dominator Colorings in Graphs
S Arumugam; Jay Bagga; K Raja Chandrasekar
2012-11-01
A dominator coloring of a graph is a proper coloring of in which every vertex dominates every vertex of at least one color class. The minimum number of colors required for a dominator coloring of is called the dominator chromatic number of and is denoted by $ d(G)$. In this paper we present several results on graphs with $ d(G)=(G)$ and $ d(G)=(G)$ where $(G)$ and $(G)$ denote respectively the chromatic number and the domination number of a graph . We also prove that if $(G)$ is the Mycielskian of , then $ d(G)+1≤ d((G))≤ d(G)+2$.
Multigraph: Reusable Interactive Data Graphs
Phillips, M. B.
2010-12-01
There are surprisingly few good software tools available for presenting time series data on the internet. The most common practice is to use a desktop program such as Excel or Matlab to save a graph as an image which can be included in a web page like any other image. This disconnects the graph from the data in a way that makes updating a graph with new data a cumbersome manual process, and it limits the user to one particular view of the data. The Multigraph project defines an XML format for describing interactive data graphs, and software tools for creating and rendering those graphs in web pages and other internet connected applications. Viewing a Multigraph graph is extremely simple and intuitive, and requires no instructions; the user can pan and zoom by clicking and dragging, in a familiar "Google Maps" kind of way. Creating a new graph for inclusion in a web page involves writing a simple XML configuration file. Multigraph can read data in a variety of formats, and can display data from a web service, allowing users to "surf" through large data sets, downloading only those the parts of the data that are needed for display. The Multigraph XML format, or "MUGL" for short, provides a concise description of the visual properties of a graph, such as axes, plot styles, data sources, labels, etc, as well as interactivity properties such as how and whether the user can pan or zoom along each axis. Multigraph reads a file in this format, draws the described graph, and allows the user to interact with it. Multigraph software currently includes a Flash application for embedding graphs in web pages, a Flex component for embedding graphs in larger Flex/Flash applications, and a plugin for creating graphs in the WordPress content management system. Plans for the future include a Java version for desktop viewing and editing, a command line version for batch and server side rendering, and possibly Android and iPhone versions. Multigraph is currently in use on several web
Total Restrained Bondage in Graphs
Nader JAFARI RAD; Roslan HASNI; Joanna RACZEK; Lutz VOLKMANN
2013-01-01
A subset S of vertices of a graph G with no isolated vertex is a total restrained dominating set if every vertex is adjacent to a vertex in S and every vertex in V(G)-S is also adjacent to a vertex in V(G)-S.The total restrained domination number of G is the minimum cardinality of a total restrained dominating set of G.In this paper we initiate the study of total restrained bondage in graphs.The total restrained bondage number in a graph G with no isolated vertex,is the minimum cardinality of a subset of edges E such that G-E has no isolated vertex and the total restrained domination number of G-E is greater than the total restrained domination number of G.We obtain several properties,exact values and bounds for the total restrained bondage number of a graph.
Digital Line Graph - Large Scale
U.S. Geological Survey, Department of the Interior — Digital line graph (DLG) data are digital representations of cartographic information. DLGs of map features are converted to digital form from maps and related...
Digital Line Graph - Large Scale
U.S. Geological Survey, Department of the Interior — Digital line graph (DLG) data are digital representations of cartographic information. DLGs of map features are converted to digital form from maps and related...
Hierarchical clustering for graph visualization
Clémençon, Stéphan; Rossi, Fabrice; Tran, Viet Chi
2012-01-01
This paper describes a graph visualization methodology based on hierarchical maximal modularity clustering, with interactive and significant coarsening and refining possibilities. An application of this method to HIV epidemic analysis in Cuba is outlined.
Chordal Graphs and Semidefinite Optimization
Vandenberghe, Lieven; Andersen, Martin Skovgaard
2015-01-01
in combinatorial optimization, linear algebra, statistics, signal processing, machine learning, and nonlinear optimization. This survey covers the theory and applications of chordal graphs, with an emphasis on algorithms developed in the literature on sparse Cholesky factorization. These algorithms are formulated......Chordal graphs play a central role in techniques for exploiting sparsity in large semidefinite optimization problems and in related con-vex optimization problems involving sparse positive semidefinite matrices. Chordal graph properties are also fundamental to several classical results...... as recursions on elimination trees, supernodal elimination trees, or clique trees associated with the graph. The best known example is the multifrontal Cholesky factorization algorithm, but similar algorithms can be formulated for a variety of related problems, including the computation of the partial inverse...
Baillie, C F; Kownacki, J P
1994-01-01
The Ising model on ``thin'' graphs (standard Feynman diagrams) displays several interesting properties. For ferromagnetic couplings there is a mean field phase transition at the corresponding Bethe lattice transition point. For antiferromagnetic couplings the replica trick gives some evidence for a spin glass phase. In this paper we investigate both the ferromagnetic and antiferromagnetic models with the aid of simulations. We confirm the Bethe lattice values of the critical points for the ferromagnetic model on \\phi^3 and \\phi^4 graphs and examine the putative spin glass phase in the antiferromagnetic model by looking at the overlap between replicas in a quenched ensemble of graphs. We also compare the Ising results with those for higher state Potts models and Ising models on ``fat'' graphs, such as those used in 2D gravity simulations.
Open Graphs and Computational Reasoning
Lucas Dixon
2010-06-01
Full Text Available We present a form of algebraic reasoning for computational objects which are expressed as graphs. Edges describe the flow of data between primitive operations which are represented by vertices. These graphs have an interface made of half-edges (edges which are drawn with an unconnected end and enjoy rich compositional principles by connecting graphs along these half-edges. In particular, this allows equations and rewrite rules to be specified between graphs. Particular computational models can then be encoded as an axiomatic set of such rules. Further rules can be derived graphically and rewriting can be used to simulate the dynamics of a computational system, e.g. evaluating a program on an input. Examples of models which can be formalised in this way include traditional electronic circuits as well as recent categorical accounts of quantum information.
Tree decompositions and social graphs
Adcock, Aaron B; Mahoney, Michael W
2014-01-01
Recent work has established that large informatics graphs such as social and information networks have non-trivial tree-like structure when viewed at moderate size scales. Here, we present results from the first detailed empirical evaluation of the use of tree decomposition (TD) heuristics for structure identification and extraction in social graphs. Although TDs have historically been used in structural graph theory and scientific computing, we show that---even with existing TD heuristics developed for those very different areas---TD methods can identify interesting structure in a wide range of realistic informatics graphs. Among other things, we show that TD methods can identify structures that correlate strongly with the core-periphery structure of realistic networks, even when using simple greedy heuristics; we show that the peripheral bags of these TDs correlate well with low-conductance communities (when they exist) found using local spectral computations; and we show that several types of large-scale "...
Generating random networks and graphs
Coolen, Ton; Roberts, Ekaterina
2017-01-01
This book supports researchers who need to generate random networks, or who are interested in the theoretical study of random graphs. The coverage includes exponential random graphs (where the targeted probability of each network appearing in the ensemble is specified), growth algorithms (i.e. preferential attachment and the stub-joining configuration model), special constructions (e.g. geometric graphs and Watts Strogatz models) and graphs on structured spaces (e.g. multiplex networks). The presentation aims to be a complete starting point, including details of both theory and implementation, as well as discussions of the main strengths and weaknesses of each approach. It includes extensive references for readers wishing to go further. The material is carefully structured to be accessible to researchers from all disciplines while also containing rigorous mathematical analysis (largely based on the techniques of statistical mechanics) to support those wishing to further develop or implement the theory of rand...
Exploration of Periodically Varying Graphs
Flocchini, Paola; Santoro, Nicola
2009-01-01
We study the computability and complexity of the exploration problem in a class of highly dynamic graphs: periodically varying (PV) graphs, where the edges exist only at some (unknown) times defined by the periodic movements of carriers. These graphs naturally model highly dynamic infrastructure-less networks such as public transports with fixed timetables, low earth orbiting (LEO) satellite systems, security guards' tours, etc. We establish necessary conditions for the problem to be solved. We also derive lower bounds on the amount of time required in general, as well as for the PV graphs defined by restricted classes of carriers movements: simple routes, and circular routes. We then prove that the limitations on computability and complexity we have established are indeed tight. In fact we prove that all necessary conditions are also sufficient and all lower bounds on costs are tight. We do so constructively presenting two worst case optimal solution algorithms, one for anonymous systems, and one for those w...
Connectivity threshold for Bluetooth graphs
Broutin, Nicolas; Fraiman, Nicolas; Lugosi, Gábor
2011-01-01
We study the connectivity properties of random Bluetooth graphs that model certain "ad hoc" wireless networks. The graphs are obtained as "irrigation subgraphs" of the well-known random geometric graph model. There are two parameters that control the model: the radius $r$ that determines the "visible neighbors" of each node and the number of edges $c$ that each node is allowed to send to these. The randomness comes from the underlying distribution of data points in space and from the choices of each vertex. We prove that no connectivity can take place with high probability for a range of parameters $r, c$ and completely characterize the connectivity threshold (in $c$) for values of $r$ close the critical value for connectivity in the underlying random geometric graph.
Rank of Stably Dissipative Graphs
Duarte, Pedro
2011-01-01
For the class of stably dissipative Lotka-Volterra systems we prove that the rank of its defining matrix, which is the dimension of the associated invariant foliation, is completely determined by the system's graph.
Special Issue on Graph Algorithms
2013-01-01
This special issue of Algorithms is devoted to the design and analysis of algorithms for solving combinatorial problems of a theoretical or practical nature involving graphs, with a focus on computational complexity.
Graph Model Based Indoor Tracking
Jensen, Christian Søndergaard; Lu, Hua; Yang, Bin
2009-01-01
The tracking of the locations of moving objects in large indoor spaces is important, as it enables a range of applications related to, e.g., security and indoor navigation and guidance. This paper presents a graph model based approach to indoor tracking that offers a uniform data management...... infrastructure for different symbolic positioning technologies, e.g., Bluetooth and RFID. More specifically, the paper proposes a model of indoor space that comprises a base graph and mappings that represent the topology of indoor space at different levels. The resulting model can be used for one or several...... indoor positioning technologies. Focusing on RFID-based positioning, an RFID specific reader deployment graph model is built from the base graph model. This model is then used in several algorithms for constructing and refining trajectories from raw RFID readings. Empirical studies with implementations...
Algorithms for Comparing Pedigree Graphs
Kirkpatrick, Bonnie; Finucane, Hilary; Jiang, Haitao; Zhu, Binhai; Karp, Richard M
2010-01-01
Pedigree graphs, which represent family relationships, are often constructed by collecting data from genealogical records to determine which pairs of people are parent and child. This process is expensive, and small mistakes in data collection--for example, one missing parent-child relationship--can cause large differences in the pedigree graphs created. In this paper, we introduce a simple pedigree definition based on a different type of data which is potentially easier to collect. This alternative characterization of a pedigree that describes a pedigree as a list of the descendants of each individual, rather than a list of parent-child relationships. We then introduce an algorithm that generates the pedigree graph from this list of descendants. We also consider the problem of comparing two pedigree graphs, which could be useful to evaluate the differences between pedigrees constructed via different methods. Specifically, this could be useful to evaluate pedigree reconstruction methods. We define the edit di...
Some Graphs Containing Unique Hamiltonian Cycles
Lynch, Mark A. M.
2002-01-01
In this paper, two classes of graphs of arbitrary order are described which contain unique Hamiltonian cycles. All the graphs have mean vertex degree greater than one quarter the order of the graph. The Hamiltonian cycles are detailed, their uniqueness proved and simple rules for the construction of the adjacency matrix of the graphs are given.…
Constructing Dense Graphs with Unique Hamiltonian Cycles
Lynch, Mark A. M.
2012-01-01
It is not difficult to construct dense graphs containing Hamiltonian cycles, but it is difficult to generate dense graphs that are guaranteed to contain a unique Hamiltonian cycle. This article presents an algorithm for generating arbitrarily large simple graphs containing "unique" Hamiltonian cycles. These graphs can be turned into dense graphs…
Generalized wreath products of graphs and groups
Donno, Alfredo
2013-01-01
Inspired by the definition of generalized wreath product of permutation groups, we define the generalized wreath product of graphs, containing the classical Cartesian and wreath product of graphs as particular cases. We prove that the generalized wreath product of Cayley graphs of finite groups is the Cayley graph of the generalized wreath product of the corresponding groups.
Graphs whose complement and square are isomorphic
Milanic, M.; Pedersen, Anders Sune; Pellicer, D.;
2014-01-01
We study square-complementary graphs, that is, graphs whose complement and square are isomorphic. We prove several necessary conditions for a graph to be square-complementary, describe ways of building new square-complementary graphs from existing ones, construct infinite families of square...
Subgraph conditions for Hamiltonian properties of graphs
Li, Binlong; Li, Binlong
2012-01-01
The research that forms the basis of this thesis addresses the following general structural questions in graph theory: which fixed graph of pair of graphs do we have to forbid as an induced subgraph of an arbitrary graph G to guarantee that G has a nice structure? In this thesis the nice structural
Chain graph models and their causal interpretations
Lauritzen, Steffen Lilholt; Richardson, Thomas S.
2002-01-01
Chain graphs are a natural generalization of directed acyclic graphs and undirected graphs. However, the apparent simplicity of chain graphs belies the subtlety of the conditional independence hypotheses that they represent. There are many simple and apparently plausible, but ultimately fallaciou...
SNAP: A General Purpose Network Analysis and Graph Mining Library
Leskovec, Jure
2016-01-01
Large networks are becoming a widely used abstraction for studying complex systems in a broad set of disciplines, ranging from social network analysis to molecular biology and neuroscience. Despite an increasing need to analyze and manipulate large networks, only a limited number of tools are available for this task. Here, we describe Stanford Network Analysis Platform (SNAP), a general-purpose, high-performance system that provides easy to use, high-level operations for analysis and manipulation of large networks. We present SNAP functionality, describe its implementational details, and give performance benchmarks. SNAP has been developed for single big-memory machines and it balances the trade-off between maximum performance, compact in-memory graph representation, and the ability to handle dynamic graphs where nodes and edges are being added or removed over time. SNAP can process massive networks with hundreds of millions of nodes and billions of edges. SNAP offers over 140 different graph algorithms that ...
On Nonnegative Signed Domination in Graphs and its Algorithmic Complexity
Zhongsheng Huang
2013-02-01
Full Text Available Let G = (V, E be a simple graph with vertex set V and edge set E. A function f from V to a set {-1, 1} is said to be a nonnegative signed dominating function (NNSDF if the sum of its function values over any closed neighborhood is at least zero. The weight of f is the sum of function values of vertices in V. The nonnegative signed domination number for a graph G equals the minimum weight of a nonnegative signed dominating function of G. In this paper, exact values are found for cycles, stars, wheels, spiders and complete equally bipartite graphs and we present some lower bounds for nonnegative signed domination number in terms of the order and the maximum and minimum degree. Fothermore, we show that the decision problem corresponding to the problem of computing the nonnegative signed domination number is NP-complete.
An Efficient Graph-Coloring Algorithm for Processor Allocation
Mohammed Hasan Mahafzah
2013-06-01
Full Text Available This paper develops an efficient exact graph-coloring algorithm based on Maximum Independent Set (MIS for allocating processors in distributed systems. This technique represents the allocated processors in specific time in a fully connected graph and prevents each processor in multiprocessor system to be assigned to more than one process at a time. This research uses a sequential technique to distribute processes among processors. Moreover, the proposed method has been constructed by modifying the FMIS algorithm. The proposed algorithm has been programmed in Visual C++ and implemented on an Intel core i7. The experiments show that the proposed algorithm gets better performance in terms of CPU utilization, and minimum time for of graph coloring, comparing with the latest FMIS algorithm. The proposed algorithm can be developed to detect defected processor in the system.
金青; 丁兆国
2011-01-01
针对机电产品企业普遍采用的多品种、串并联生产系统,提出了批量轮番生产方式下采用动态看板作为控制手段时看板内容的设置和看板数量的计算方法,使得看板的内容和数量能随“需求”而动态变化,实现了“多品种均衡”生产和现场在制品数量的有效控制.%A multi-product series-parallel production system that is common in electro-mechanical product enterprises is considered. To increase the productivity and reduce the work in process (WIP) , a dynamic kanban system is designed such that the products can be produced in an alternate way. The product mix is dynamically controlled by the dynamic Kanbans. Algorithm is presented to calculate the number of kanbans such that the number of products for different types can be dynamically changed according to "the demands". Based on this approach, the "balance production of multi-products" can be realized and the number of WIP can be effectively controlled.
CUDA Enabled Graph Subset Examiner
2016-12-22
Finding Godsil-McKay switching sets in graphs is one way to demonstrate that a specific graph is not determined by its spectrum--the eigenvalues of its adjacency matrix. An important area of active research in pure mathematics is determining which graphs are determined by their spectra, i.e. when the spectrum of the adjacency matrix uniquely determines the underlying graph. We are interested in exploring the spectra of graphs in the Johnson scheme and specifically seek to determine which of these graphs are determined by their spectra. Given a graph G, a Godsil-McKay switching set is an induced subgraph H on 2k vertices with the following properties: I) H is regular, ii) every vertex in G/H is adjacent to either 0, k, or 2k vertices of H, and iii) at least one vertex in G/H is adjacent to k vertices in H. The software package examines each subset of a user specified size to determine whether or not it satisfies those 3 conditions. The software makes use of the massive parallel processing power of CUDA enabled GPUs. It also exploits the vertex transitivity of graphs in the Johnson scheme by reasoning that if G has a Godsil-McKay switching set, then it has a switching set which includes vertex 1. While the code (in its current state) is tuned to this specific problem, the method of examining each induced subgraph of G can be easily re-written to check for any user specified conditions on the subgraphs and can therefore be used much more broadly.
Localized endomorphisms of graph algebras
Conti, Roberto; Szymanski, Wojciech
2011-01-01
Endomorphisms of graph C*-algebras are investigated. A combinatorial approach to analysis of permutative endomorphisms is developed. Then invertibility criteria for localized endomorphisms are given. Furthermore, proper endomorphisms which restrict to automorphisms of the canonical diagonal MASA are analyzed. The Weyl group and the restricted Weyl group of a graph C*-algebra are introduced and investigated. Criteria of outerness for automorphisms in the restricted Weyl group are found.
The Rank of Integral Circulant Graphs
ZHOU Hou-qing
2014-01-01
A graph is called an integral graph if it has an integral spectrum i.e., all eigen-values are integers. A graph is called circulant graph if it is Cayley graph on the circulant group, i.e., its adjacency matrix is circulant. The rank of a graph is defined to be the rank of its adjacency matrix. This importance of the rank, due to applications in physics, chemistry and combinatorics. In this paper, using Ramanujan sums, we study the rank of integral circulant graphs and gave some simple computational formulas for the rank and provide an example which shows the formula is sharp.
Color Energy Of A Unitary Cayley Graph
Adiga Chandrashekar
2014-11-01
Full Text Available Let G be a vertex colored graph. The minimum number χ(G of colors needed for coloring of a graph G is called the chromatic number. Recently, Adiga et al. [1] have introduced the concept of color energy of a graph Ec(G and computed the color energy of few families of graphs with χ(G colors. In this paper we derive explicit formulas for the color energies of the unitary Cayley graph Xn, the complement of the colored unitary Cayley graph (Xnc and some gcd-graphs.
Weak Total Resolvability In Graphs
Casel Katrin
2016-02-01
Full Text Available A vertex v ∈ V (G is said to distinguish two vertices x, y ∈ V (G of a graph G if the distance from v to x is di erent from the distance from v to y. A set W ⊆ V (G is a total resolving set for a graph G if for every pair of vertices x, y ∈ V (G, there exists some vertex w ∈ W − {x, y} which distinguishes x and y, while W is a weak total resolving set if for every x ∈ V (G−W and y ∈ W, there exists some w ∈ W −{y} which distinguishes x and y. A weak total resolving set of minimum cardinality is called a weak total metric basis of G and its cardinality the weak total metric dimension of G. Our main contributions are the following ones: (a Graphs with small and large weak total metric bases are characterised. (b We explore the (tight relation to independent 2-domination. (c We introduce a new graph parameter, called weak total adjacency dimension and present results that are analogous to those presented for weak total dimension. (d For trees, we derive a characterisation of the weak total (adjacency metric dimension. Also, exact figures for our parameters are presented for (generalised fans and wheels. (e We show that for Cartesian product graphs, the weak total (adjacency metric dimension is usually pretty small. (f The weak total (adjacency dimension is studied for lexicographic products of graphs.
Graph Signatures for Visual Analytics
Wong, Pak C.; Foote, Harlan P.; Chin, George; Mackey, Patrick S.; Perrine, Kenneth A.
2006-11-17
We present a visual analytics technique to explore graphs using the concept of a data signature. A data signature, in our context, is a multidimensional vector that captures the local topology information surrounding each graph node. Signature vectors extracted from a graph are projected onto a low-dimensional scatterplot through the use of scaling. The resultant scatterplot, which reflects the similarities of the vectors, allows analysts to examine the graph structures and their corresponding real-life interpretations through repeated use of brushing and linking between the two visualizations. The interpretation of the graph structures is based on the outcomes of multiple participatory analysis sessions with intelligence analysts conducted by the authors at the Pacific Northwest National Laboratory. The paper first uses three public domain datasets with either well-known or obvious features to explain the rationale of our design and illustrate its results. More advanced examples are then used in a customized usability study to evaluate the effectiveness and efficiency of our approach. The study results reveal not only the limitations and weaknesses of the traditional approach based solely on graph visualization but also the advantages and strengths of our signature-guided approach presented in the paper.
Information Spreading in Dynamic Graphs
Clementi, Andrea; Trevisan, Luca
2011-01-01
We present a general approach to study the flooding time (a measure of how fast information spreads) in dynamic graphs (graphs whose topology changes with time according to a random process). We consider arbitrary converging Markovian dynamic graph process, that is, processes in which the topology of the graph at time $t$ depends only on its topology at time $t-1$ and which have a unique stationary distribution. The most well studied models of dynamic graphs are all Markovian and converging. Under general conditions, we bound the flooding time in terms of the mixing time of the dynamic graph process. We recover, as special cases of our result, bounds on the flooding time for the \\emph{random trip} model and the \\emph{random path} models; previous analysis techniques provided bounds only in restricted settings for such models. Our result also provides the first bound for the \\emph{random waypoint} model (which is tight for certain ranges of parameters) whose analysis had been an important open question.
Chromatic polynomials of random graphs
Van Bussel, Frank; Ehrlich, Christoph; Fliegner, Denny; Stolzenberg, Sebastian; Timme, Marc
2010-04-01
Chromatic polynomials and related graph invariants are central objects in both graph theory and statistical physics. Computational difficulties, however, have so far restricted studies of such polynomials to graphs that were either very small, very sparse or highly structured. Recent algorithmic advances (Timme et al 2009 New J. Phys. 11 023001) now make it possible to compute chromatic polynomials for moderately sized graphs of arbitrary structure and number of edges. Here we present chromatic polynomials of ensembles of random graphs with up to 30 vertices, over the entire range of edge density. We specifically focus on the locations of the zeros of the polynomial in the complex plane. The results indicate that the chromatic zeros of random graphs have a very consistent layout. In particular, the crossing point, the point at which the chromatic zeros with non-zero imaginary part approach the real axis, scales linearly with the average degree over most of the density range. While the scaling laws obtained are purely empirical, if they continue to hold in general there are significant implications: the crossing points of chromatic zeros in the thermodynamic limit separate systems with zero ground state entropy from systems with positive ground state entropy, the latter an exception to the third law of thermodynamics.
Nilanjan De
2014-01-01
Full Text Available The connective eccentric index of a graph is a topological index involving degrees and eccentricities of vertices of the graph. In this paper, we have studied the connective eccentric index for double graph and double cover. Also we give the connective eccentric index for some graph operations such as joins, symmetric difference, disjunction, and splice of graphs.
On P-transitive graphs and applications
Giacomo Lenzi
2011-06-01
Full Text Available We introduce a new class of graphs which we call P-transitive graphs, lying between transitive and 3-transitive graphs. First we show that the analogue of de Jongh-Sambin Theorem is false for wellfounded P-transitive graphs; then we show that the mu-calculus fixpoint hierarchy is infinite for P-transitive graphs. Both results contrast with the case of transitive graphs. We give also an undecidability result for an enriched mu-calculus on P-transitive graphs. Finally, we consider a polynomial time reduction from the model checking problem on arbitrary graphs to the model checking problem on P-transitive graphs. All these results carry over to 3-transitive graphs.
SNAP: A General Purpose Network Analysis and Graph Mining Library.
Leskovec, Jure; Sosič, Rok
2016-10-01
Large networks are becoming a widely used abstraction for studying complex systems in a broad set of disciplines, ranging from social network analysis to molecular biology and neuroscience. Despite an increasing need to analyze and manipulate large networks, only a limited number of tools are available for this task. Here, we describe Stanford Network Analysis Platform (SNAP), a general-purpose, high-performance system that provides easy to use, high-level operations for analysis and manipulation of large networks. We present SNAP functionality, describe its implementational details, and give performance benchmarks. SNAP has been developed for single big-memory machines and it balances the trade-off between maximum performance, compact in-memory graph representation, and the ability to handle dynamic graphs where nodes and edges are being added or removed over time. SNAP can process massive networks with hundreds of millions of nodes and billions of edges. SNAP offers over 140 different graph algorithms that can efficiently manipulate large graphs, calculate structural properties, generate regular and random graphs, and handle attributes and meta-data on nodes and edges. Besides being able to handle large graphs, an additional strength of SNAP is that networks and their attributes are fully dynamic, they can be modified during the computation at low cost. SNAP is provided as an open source library in C++ as well as a module in Python. We also describe the Stanford Large Network Dataset, a set of social and information real-world networks and datasets, which we make publicly available. The collection is a complementary resource to our SNAP software and is widely used for development and benchmarking of graph analytics algorithms.
Ullas Thomas
2015-07-01
Full Text Available This paper contains certain properties of set-magic graphs and obtained the set-magic number of certain classes of graphs. All spanning super graphs of a set-magic graph always set-magic and all cycles and Hamiltonian graphs are set-magic. Also set-magic number of any cycle of size 2n is always greater than n.
On the Roman bondage number of a graph
Bahremandpour, A; Sheikholeslami, S M; Xu, Jun-Ming
2012-01-01
A Roman dominating function on a graph $G=(V,E)$ is a function $f:V\\rightarrow\\{0,1,2\\}$ such that every vertex $v\\in V$ with $f(v)=0$ has at least one neighbor $u\\in V$ with $f(u)=2$. The weight of a Roman dominating function is the value $f(V(G))=\\sum_{u\\in V(G)}f(u)$. The minimum weight of a Roman dominating function on a graph $G$ is called the Roman domination number, denoted by $\\gamma_{R}(G)$. The Roman bondage number $b_{R}(G)$ of a graph $G$ with maximum degree at least two is the minimum cardinality of all sets $E'\\subseteq E(G)$ for which $\\gamma_{R}(G-E')>\\gamma_R(G)$. In this paper, we first show that the decision problem for determining $b_{\\rm R}(G)$ is NP-hard even for bipartite graphs and then we establish some sharp bounds for $b_{\\rm R}(G)$ and characterizes all graphs attaining some of these bounds.
A maxent-stress model for graph layout.
Gansner, Emden R; Hu, Yifan; North, Stephen
2013-06-01
In some applications of graph visualization, input edges have associated target lengths. Dealing with these lengths is a challenge, especially for large graphs. Stress models are often employed in this situation. However, the traditional full stress model is not scalable due to its reliance on an initial all-pairs shortest path calculation. A number of fast approximation algorithms have been proposed. While they work well for some graphs, the results are less satisfactory on graphs of intrinsically high dimension, because some nodes may be placed too close together, or even share the same position. We propose a solution, called the maxent-stress model, which applies the principle of maximum entropy to cope with the extra degrees of freedom. We describe a force-augmented stress majorization algorithm that solves the maxent-stress model. Numerical results show that the algorithm scales well, and provides acceptable layouts for large, nonrigid graphs. This also has potential applications to scalable algorithms for statistical multidimensional scaling (MDS) with variable distances.
P 6- and triangle-free graphs revisited: structure and bounded clique-width
Andreas Brandstädt
2006-01-01
Full Text Available The Maximum Weight Stable Set (MWS Problem is one of the fundamental problems on graphs. It is well-known to be NP-complete for triangle-free graphs, and Mosca has shown that it is solvable in polynomial time when restricted to P 6- and triangle-free graphs. We give a complete structure analysis of (nonbipartite P 6- and triangle-free graphs which are prime in the sense of modular decomposition. It turns out that the structure of these graphs is extremely simple implying bounded clique-width and thus, efficient algorithms exist for all problems expressible in terms of Monadic Second Order Logic with quantification only over vertex predicates. The problems Vertex Cover, MWS, Maximum Clique, Minimum Dominating Set, Steiner Tree, and Maximum Induced Matching are among them. Our results improve the previous one on the MWS problem by Mosca with respect to structure and time bound but also extends a previous result by Fouquet, Giakoumakis and Vanherpe which have shown that bipartite P 6-free graphs have bounded clique-width. Moreover, it covers a result by Randerath, Schiermeyer and Tewes on polynomial time 3-colorability of P 6- and triangle-free graphs.
Liftings in Finite Graphs and Linkages in Infinite Graphs with Prescribed Edge-Connectivity
Ok, Seongmin; Richter, R. Bruce; Thomassen, Carsten
2016-01-01
Let G be a graph and let s be a vertex of G. We consider the structure of the set of all lifts of two edges incident with s that preserve edge-connectivity. Mader proved that two mild hypotheses imply there is at least one pair that lifts, while Frank showed (with the same hypotheses......) that there are at least (deg(s) - 1)/2 disjoint pairs that lift. We consider the lifting graph: its vertices are the edges incident with s, two being adjacent if they form a liftable pair. We have three main results, the first two with the same hypotheses as for Mader’s Theorem. (i)Let F be a subset of the edges incident...... with s. We show that F is independent in the lifting graph of G if and only if there is a single edge-cut C in G of size at most r + 1 containing all the edges in F, where r is the maximum number of edge-disjoint paths from a vertex (not s) in one component of G - C to a vertex (not s) in another...
The maximum number of minimal codewords in long codes
Alahmadi, A.; Aldred, R.E.L.; dela Cruz, R.;
2013-01-01
Upper bounds on the maximum number of minimal codewords in a binary code follow from the theory of matroids. Random coding provides lower bounds. In this paper, we compare these bounds with analogous bounds for the cycle code of graphs. This problem (in the graphic case) was considered in 1981...
Maximum Autocorrelation Factorial Kriging
Nielsen, Allan Aasbjerg; Conradsen, Knut; Pedersen, John L.
2000-01-01
This paper describes maximum autocorrelation factor (MAF) analysis, maximum autocorrelation factorial kriging, and its application to irregularly sampled stream sediment geochemical data from South Greenland. Kriged MAF images are compared with kriged images of varimax rotated factors from...
PRIVATE GRAPHS – ACCESS RIGHTS ON GRAPHS FOR SEAMLESS NAVIGATION
W. Dorner
2016-06-01
Full Text Available After the success of GNSS (Global Navigational Satellite Systems and navigation services for public streets, indoor seems to be the next big development in navigational services, relying on RTLS – Real Time Locating Services (e.g. WIFI and allowing seamless navigation. In contrast to navigation and routing services on public streets, seamless navigation will cause an additional challenge: how to make routing data accessible to defined users or restrict access rights for defined areas or only to parts of the graph to a defined user group? The paper will present case studies and data from literature, where seamless and especially indoor navigation solutions are presented (hospitals, industrial complexes, building sites, but the problem of restricted access rights was only touched from a real world, but not a technical perspective. The analysis of case studies will show, that the objective of navigation and the different target groups for navigation solutions will demand well defined access rights and require solutions, how to make only parts of a graph to a user or application available to solve a navigational task. The paper will therefore introduce the concept of private graphs, which is defined as a graph for navigational purposes covering the street, road or floor network of an area behind a public street and suggest different approaches how to make graph data for navigational purposes available considering access rights and data protection, privacy and security issues as well.
Private Graphs - Access Rights on Graphs for Seamless Navigation
Dorner, W.; Hau, F.; Pagany, R.
2016-06-01
After the success of GNSS (Global Navigational Satellite Systems) and navigation services for public streets, indoor seems to be the next big development in navigational services, relying on RTLS - Real Time Locating Services (e.g. WIFI) and allowing seamless navigation. In contrast to navigation and routing services on public streets, seamless navigation will cause an additional challenge: how to make routing data accessible to defined users or restrict access rights for defined areas or only to parts of the graph to a defined user group? The paper will present case studies and data from literature, where seamless and especially indoor navigation solutions are presented (hospitals, industrial complexes, building sites), but the problem of restricted access rights was only touched from a real world, but not a technical perspective. The analysis of case studies will show, that the objective of navigation and the different target groups for navigation solutions will demand well defined access rights and require solutions, how to make only parts of a graph to a user or application available to solve a navigational task. The paper will therefore introduce the concept of private graphs, which is defined as a graph for navigational purposes covering the street, road or floor network of an area behind a public street and suggest different approaches how to make graph data for navigational purposes available considering access rights and data protection, privacy and security issues as well.
Complexity of Cocktail Party Graph and Crown Graph
S. N. Daoud
2012-01-01
Full Text Available Problem statement: The number of spanning trees τ(G in graphs (networks was an important invariant. Approach: Using the properties of the Chebyshev polynomials of the second kind and the linear algebra techniques to evaluate the associated determinants. Results: The complexity, number of spanning trees, of the cocktail party graph on 2n vertices, given in detail in the text was proved. Also the complexity of the crown graph on 2n vertices was shown to had the value nn-2 (n-1 (n-2n-1. Conclusion: The number of spanning trees τ(G in graphs (networks is an important invariant. The evaluation of this number and analyzing its behavior is not only interesting from a mathematical (computational perspective, but also, it is an important measure of reliability of a network and designing electrical circuits. Some computationally hard problems such as the travelling salesman problem can be solved approximately by using spanning trees. Due to the high dependence of the network design and reliability on the graph theory we introduced the above important theorems and lemmas and their proofs.
From the Coxeter graph to the Klein graph
Dejter, Italo J
2010-01-01
We show that the 56-vertex Klein cubic graph $\\G'=F_{056}B$ (so denoted in the Foster census) can be obtained from the 28-vertex Coxeter graph $\\G=F_{028}A$ by 'zipping' adequately the squares of the 24 7-cycles of $\\G$ endowed with an orientation obtained by considering $\\G$ as a $\\mathcal C$-ultrahomogeneous digraph, where $\\mathcal C$ is the set of oriented 7-cycles $\\vec{C}_7$ and $2$-paths $\\vec{P}_3$, that tightly fasten those $\\vec{C}_7$ in $\\G$. In the process, it is seen that $\\G'$ is a ${\\mathcal C}'$-ultrahomogeneous graph, where ${\\mathcal C}'$ is the set of 7-cycles $C_7$ and $1$-paths $P_2$, that tightly fasten those $C_7$ in $\\G'$; this yields an embedding of $\\G'$ into a 3-torus $T_3$, which forms the Klein map of Coxeter notation $(7,3)_8$. The dual graph of $\\G'$ in $T_3$ is the distance regular Klein quartic graph, with corresponding dual map of Coxeter notation $(3,7)_8$.
GraphMeta: Managing HPC Rich Metadata in Graphs
Dai, Dong; Chen, Yong; Carns, Philip; Jenkins, John; Zhang, Wei; Ross, Robert
2016-01-01
High-performance computing (HPC) systems face increasingly critical metadata management challenges, especially in the approaching exascale era. These challenges arise not only from exploding metadata volumes, but also from increasingly diverse metadata, which contains data provenance and arbitrary user-defined attributes in addition to traditional POSIX metadata. This ‘rich’ metadata is becoming critical to supporting advanced data management functionality such as data auditing and validation. In our prior work, we identified a graph-based model as a promising solution to uniformly manage HPC rich metadata due to its flexibility and generality. However, at the same time, graph-based HPC rich metadata anagement also introduces significant challenges to the underlying infrastructure. In this study, we first identify the challenges on the underlying infrastructure to support scalable, high-performance rich metadata management. Based on that, we introduce GraphMeta, a graphbased engine designed for this use case. It achieves performance scalability by introducing a new graph partitioning algorithm and a write-optimal storage engine. We evaluate GraphMeta under both synthetic and real HPC metadata workloads, compare it with other approaches, and demonstrate its advantages in terms of efficiency and usability for rich metadata management in HPC systems.
Subvoxel accurate graph search using non-Euclidean graph space.
Michael D Abràmoff
Full Text Available Graph search is attractive for the quantitative analysis of volumetric medical images, and especially for layered tissues, because it allows globally optimal solutions in low-order polynomial time. However, because nodes of graphs typically encode evenly distributed voxels of the volume with arcs connecting orthogonally sampled voxels in Euclidean space, segmentation cannot achieve greater precision than a single unit, i.e. the distance between two adjoining nodes, and partial volume effects are ignored. We generalize the graph to non-Euclidean space by allowing non-equidistant spacing between nodes, so that subvoxel accurate segmentation is achievable. Because the number of nodes and edges in the graph remains the same, running time and memory use are similar, while all the advantages of graph search, including global optimality and computational efficiency, are retained. A deformation field calculated from the volume data adaptively changes regional node density so that node density varies with the inverse of the expected cost. We validated our approach using optical coherence tomography (OCT images of the retina and 3-D MR of the arterial wall, and achieved statistically significant increased accuracy. Our approach allows improved accuracy in volume data acquired with the same hardware, and also, preserved accuracy with lower resolution, more cost-effective, image acquisition equipment. The method is not limited to any specific imaging modality and readily extensible to higher dimensions.
Roman domination in Cartesian product graphs and strong product graphs
Yero, Ismael G
2011-01-01
A set $S$ of vertices of a graph $G$ is a dominating set for $G$ if every vertex outside of $S$ is adjacent to at least one vertex belonging to $S$. The minimum cardinality of a dominating set for $G$ is called the domination number of $G$. A map $f : V \\rightarrow \\{0, 1, 2\\}$ is a Roman dominating function on a graph $G$ if for every vertex $v$ with $f(v) = 0$, there exists a vertex $u$, adjacent to $v$, such that $f(u) = 2$. The weight of a Roman dominating function is given by $f(V) =\\sum_{u\\in V}f(u)$. The minimum weight of a Roman dominating function on $G$ is called the Roman domination number of $G$. In this article we study the Roman domination number of Cartesian product graphs and strong product graphs. More precisely, we study the relationships between the Roman domination number of product graphs and the (Roman) domination number of the factors.
Modularity of tree-like and random regular graphs
McDiarmid, Colin
2016-01-01
Clustering algorithms for large networks typically use the modularity score to compare which partitions better represent modular structure in the data. Given a network, the modularity of a partition of the vertex set is a number in [0, 1) which measures the extent to which edge density is higher within parts than between parts; and the modularity of the network is the maximum modularity of any partition. We show that random cubic graphs usually have modularity in the interval (0.666, 0.804); and random r-regular graphs for large r usually have modularity ${\\Theta}(1/\\sqrt{r})$. Our results can give thresholds for the statistical significance of clustering found in large regular networks. The modularity of cycles and low degree trees is known to be asymptotically 1. We extend these results to all graphs whose product of treewidth and maximum degree is much less than the number of edges. This shows for example that random planar graphs typically have modularity close to 1.
Kirchoff Index of Graphs and some Graph Operations
A Nikseresht; Z Sepasdar; M H Shirdareh-Haghighi
2014-08-01
Let be a rooted tree, a connected graph, $x,y\\in V(G)$ be fixed and $G_i$’s be $|V(T)|$ disjoint copies of with $x_i$ and $y_i$ denoting the corresponding copies of and in $G_i$, respectively. We define the -repetition of to be the graph obtained by joining $y_i$ to $x_j$ for each $i\\in V(T)$ and each child of . In this paper, we compute the Kirchhoff index of the -repetition of in terms of parameters of and . Also we study how $Kf(G)$ behaves under some graph operations such as joining vertices or subdividing edges.
The monadic second-order logic of graphs XVI : Canonical graph
decompositions
Courcelle, Bruno
2005-01-01
This article establishes that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic.This result is actually an instance of a more general result covering canonical graph decompositions like the modular decomposition and the Tutte decomposition of 2-connected graphs into 3-connected components. As an application, we prove that the set of graphs having the same cycle matroid as a given 2-connected graph can be defined from this graph by Monadic Se...
The competition numbers of ternary Hamming graphs
Park, Boram
2010-01-01
The competition graph of a digraph D is a graph which has the same vertex set as D and has an edge between x and y if and only if there exists a vertex v in D such that (x,v) and (y,v) are arcs of D. For any graph G, G together with sufficiently many isolated vertices is the competition graph of some acyclic digraph. The competition number k(G) of a graph G is defined to be the smallest number of such isolated vertices. In general, it is hard to compute the competition number k(G) for a graph G and it has been one of important research problems in the study of competition graphs to characterize a graph by its competition number. In this paper, we give the exact values of the competition numbers of ternary Hamming graphs.
w-DENSITY AND w-BALANCED PROPERTY OF WEIGHTED GRAPHS
ZhangShenggui; SunHao; LiXueliang
2002-01-01
The notion of w-density for the graphs with positive weights on vertices and nonnegative weights on edges is introduced. A weighted graph is called w-balanced if its w-density is no less than the w-density of any subgraph of it. In this paper,a good characterization of w-balanced weighted graphs is given. Applying this characterization ,many large w-balanced weighted graphs are formed by combining smaller ones. In the case where a graph is not w-balanced,a polynomial-time algorithm to find a subgraph of maximum w-density is proposed. It is shown that the w-density theory is closely related to the study of SEW(G,w) games.
A new upper bound on the acyclic chromatic indices of planar graphs
Wang, Weifan; Wang, Yiqiao
2012-01-01
An acyclic edge coloring of a graph $G$ is a proper edge coloring such that no bichromatic cycles are produced. The acyclic chromatic index $a'(G)$ of $G$ is the smallest integer $k$ such that $G$ has an acyclic edge coloring using $k$ colors. It was conjectured that $a'(G)\\le \\Delta+2$ for any simple graph $G$ with maximum degree $\\Delta$. In this paper, we prove that if $G$ is a planar graph, then $a'(G)\\leq\\Delta +7$. This improves a result by Basavaraju et al. [{\\em Acyclic edge-coloring of planar graphs}, SIAM J. Discrete Math., 25 (2011), pp. 463-478], which says that every planar graph $G$ satisfies $a'(G)\\leq\\Delta +12$.
董哲康; 段书凯; 胡小方; 王丽丹
2014-01-01
忆阻器是一种新型的非线性动态可变电阻器，其阻值的变化依赖于通过它的电荷量或磁通量。作为第四种基本电路元器件，忆阻器在非易失性存储器、非线性电路及系统、神经形态系统等领域中有巨大的应用潜能。忆阻器串并联组合电路具有比单个忆阻器更为丰富的器件特性，引起了研究者越来越多的关注。本文推导了带有窗函数的闭合形式的电荷及磁通量控制的忆阻器非线性模型，能够有效地模拟忆阻器边缘附近的非线性离子迁移现象，同时保证忆阻器的边界条件。进一步，分别从忆阻器的器件参数和激励阈值两个角度，对忆阻器串并联电路进行了全面的理论推导和数值分析。为了更加直观地观察忆阻器串并联特性，设计了一种基于Matlab的忆阻器串并联图形用户界面，能够清晰地展示两种分类方式下忆阻系统的器件特性，可为忆阻器组合电路的后续研究提供良好的理论参考和实验依据。%The memristor is a novel kind of electronic device with dynamic variable resistance that is dependent on the past history of the input current or voltage. As the fourth fundamental circuit element, the memristor captures a number of unique properties that have been found to possess attractive potentials in some promising fields such as nonvolatile memory, nonlinear circuit and system, and neuromorphic system. Additionally, compared with a circuit of single memristor, series-parallel circuit of memristors possesses more abundant device characteristics which arouses increasingly extensive interest from numerous researchers. In this paper, the mathematical closed-form charge-governed and flux-governed HP memristor nonlinear models are presented with constructive procedures. In particular, these models are more realistic by taking into account the nonlinear dopant drift effect nearby the terminals and the boundary conditions, and by
Andreas P. Braun
2016-04-01
Full Text Available Box graphs succinctly and comprehensively characterize singular fibers of elliptic fibrations in codimension two and three, as well as flop transitions connecting these, in terms of representation theoretic data. We develop a framework that provides a systematic map between a box graph and a crepant algebraic resolution of the singular elliptic fibration, thus allowing an explicit construction of the fibers from a singular Weierstrass or Tate model. The key tool is what we call a fiber face diagram, which shows the relevant information of a (partial toric triangulation and allows the inclusion of more general algebraic blowups. We shown that each such diagram defines a sequence of weighted algebraic blowups, thus providing a realization of the fiber defined by the box graph in terms of an explicit resolution. We show this correspondence explicitly for the case of SU(5 by providing a map between box graphs and fiber faces, and thereby a sequence of algebraic resolutions of the Tate model, which realizes each of the box graphs.
Braun, Andreas P.; Schäfer-Nameki, Sakura
2016-04-01
Box graphs succinctly and comprehensively characterize singular fibers of elliptic fibrations in codimension two and three, as well as flop transitions connecting these, in terms of representation theoretic data. We develop a framework that provides a systematic map between a box graph and a crepant algebraic resolution of the singular elliptic fibration, thus allowing an explicit construction of the fibers from a singular Weierstrass or Tate model. The key tool is what we call a fiber face diagram, which shows the relevant information of a (partial) toric triangulation and allows the inclusion of more general algebraic blowups. We shown that each such diagram defines a sequence of weighted algebraic blowups, thus providing a realization of the fiber defined by the box graph in terms of an explicit resolution. We show this correspondence explicitly for the case of SU (5) by providing a map between box graphs and fiber faces, and thereby a sequence of algebraic resolutions of the Tate model, which realizes each of the box graphs.
Spatially-Coupled Random Access on Graphs
Liva, Gianluigi; Lentmaier, Michael; Chiani, Marco
2012-01-01
In this paper we investigate the effect of spatial coupling applied to the recently-proposed coded slotted ALOHA (CSA) random access protocol. Thanks to the bridge between the graphical model describing the iterative interference cancelation process of CSA over the random access frame and the erasure recovery process of low-density parity-check (LDPC) codes over the binary erasure channel (BEC), we propose an access protocol which is inspired by the convolutional LDPC code construction. The proposed protocol exploits the terminations of its graphical model to achieve the spatial coupling effect, attaining performance close to the theoretical limits of CSA. As for the convolutional LDPC code case, large iterative decoding thresholds are obtained by simply increasing the density of the graph. We show that the threshold saturation effect takes place by defining a suitable counterpart of the maximum-a-posteriori decoding threshold of spatially-coupled LDPC code ensembles. In the asymptotic setting, the proposed s...
Algebraic connectivity and graph robustness.
Feddema, John Todd; Byrne, Raymond Harry; Abdallah, Chaouki T. (University of New Mexico)
2009-07-01
Recent papers have used Fiedler's definition of algebraic connectivity to show that network robustness, as measured by node-connectivity and edge-connectivity, can be increased by increasing the algebraic connectivity of the network. By the definition of algebraic connectivity, the second smallest eigenvalue of the graph Laplacian is a lower bound on the node-connectivity. In this paper we show that for circular random lattice graphs and mesh graphs algebraic connectivity is a conservative lower bound, and that increases in algebraic connectivity actually correspond to a decrease in node-connectivity. This means that the networks are actually less robust with respect to node-connectivity as the algebraic connectivity increases. However, an increase in algebraic connectivity seems to correlate well with a decrease in the characteristic path length of these networks - which would result in quicker communication through the network. Applications of these results are then discussed for perimeter security.
Negation switching invariant signed graphs
Deepa Sinha
2014-04-01
Full Text Available A signed graph (or, $sigraph$ in short is a graph G in which each edge x carries a value $\\sigma(x \\in \\{-, +\\}$ called its sign. Given a sigraph S, the negation $\\eta(S$ of the sigraph S is a sigraph obtained from S by reversing the sign of every edge of S. Two sigraphs $S_{1}$ and $S_{2}$ on the same underlying graph are switching equivalent if it is possible to assign signs `+' (`plus' or `-' (`minus' to vertices of $S_{1}$ such that by reversing the sign of each of its edges that has received opposite signs at its ends, one obtains $S_{2}$. In this paper, we characterize sigraphs which are negation switching invariant and also see for what sigraphs, S and $\\eta (S$ are signed isomorphic.
Feder, Tomás
2009-06-01
Results on graph turnpike problem without distinctness, including its NP-completeness, and an O(m+n log n) algorithm, is presented. The usual turnpike problem has all pairwise distances given, but does not specify which pair of vertices w e corresponds to. There are two other problems that can be viewed as special cases of the graph turnpike problem, including the bandwidth problem and the low-distortion graph embedding problem. The aim for the turnpike problem in the NP-complete is to orient the edges with weights w i in either direction so that when the whole cycle is transversed in the real line, it returns to a chosen starting point for the cycle. An instance of the turnpike problem with or without distinctness is uniquely mappable if there exists at most one solution up to translation and choice of orientation.
Rosmanis, Ansis
2010-01-01
I introduce a new type of continuous-time quantum walk on graphs called the quantum snake walk, the basis states of which are fixed-length paths (snakes) in the underlying graph. First I analyze the quantum snake walk on the line, and I show that, even though most states stay localized throughout the evolution, there are specific states which most likely move on the line as wave packets with momentum inversely proportional to the length of the snake. Next I discuss how an algorithm based on the quantum snake walk might be able to solve an extended version of the glued trees problem which asks to find a path connecting both roots of the glued trees graph. No efficient quantum algorithm solving this problem is known yet.
Optimal preparation of graph states
Cabello, Adan; Lopez-Tarrida, Antonio J; Portillo, Jose R
2010-01-01
We show how to prepare any graph state of up to 12 qubits with: (a) the minimum number of controlled-Z gates, and (b) the minimum preparation depth. We assume only one-qubit and controlled-Z gates. The method exploits the fact that any graph state belongs to an equivalence class under local Clifford operations. We extend up to 12 qubits the classification of graph states according to their entanglement properties, and identify each class using only a reduced set of invariants. For any state, we provide a circuit with both properties (a) and (b), if it does exist, or, if it does not, one circuit with property (a) and one with property (b), including the explicit one-qubit gates needed.
Significance evaluation in factor graphs
Madsen, Tobias; Hobolth, Asger; Jensen, Jens Ledet
2017-01-01
Background Factor graphs provide a flexible and general framework for specifying probability distributions. They can capture a range of popular and recent models for analysis of both genomics data as well as data from other scientific fields. Owing to the ever larger data sets encountered...... in genomics and the multiple-testing issues accompanying them, accurate significance evaluation is of great importance. We here address the problem of evaluating statistical significance of observations from factor graph models. Results Two novel numerical approximations for evaluation of statistical....... Conclusions The applicability of saddlepoint approximation and importance sampling is demonstrated on known models in the factor graph framework. Using the two methods we can substantially improve computational cost without compromising accuracy. This contribution allows analyses of large datasets...
Graph measures and network robustness
Ellens, W
2013-01-01
Network robustness research aims at finding a measure to quantify network robustness. Once such a measure has been established, we will be able to compare networks, to improve existing networks and to design new networks that are able to continue to perform well when it is subject to failures or attacks. In this paper we survey a large amount of robustness measures on simple, undirected and unweighted graphs, in order to offer a tool for network administrators to evaluate and improve the robustness of their network. The measures discussed in this paper are based on the concepts of connectivity (including reliability polynomials), distance, betweenness and clustering. Some other measures are notions from spectral graph theory, more precisely, they are functions of the Laplacian eigenvalues. In addition to surveying these graph measures, the paper also contains a discussion of their functionality as a measure for topological network robustness.
The fascinating world of graph theory
Benjamin, Arthur; Zhang, Ping
2015-01-01
Graph theory goes back several centuries and revolves around the study of graphs-mathematical structures showing relations between objects. With applications in biology, computer science, transportation science, and other areas, graph theory encompasses some of the most beautiful formulas in mathematics-and some of its most famous problems. The Fascinating World of Graph Theory explores the questions and puzzles that have been studied, and often solved, through graph theory. This book looks at graph theory's development and the vibrant individuals responsible for the field's growth. Introducin
Recognition of Unipolar and Generalised Split Graphs
Colin McDiarmid
2015-02-01
Full Text Available A graph is unipolar if it can be partitioned into a clique and a disjoint union of cliques, and a graph is a generalised split graph if it or its complement is unipolar. A unipolar partition of a graph can be used to find efficiently the clique number, the stability number, the chromatic number, and to solve other problems that are hard for general graphs. We present an O(n2-time algorithm for recognition of n-vertex generalised split graphs, improving on previous O(n3-time algorithms.
Graph-based modelling in engineering
Rysiński, Jacek
2017-01-01
This book presents versatile, modern and creative applications of graph theory in mechanical engineering, robotics and computer networks. Topics related to mechanical engineering include e.g. machine and mechanism science, mechatronics, robotics, gearing and transmissions, design theory and production processes. The graphs treated are simple graphs, weighted and mixed graphs, bond graphs, Petri nets, logical trees etc. The authors represent several countries in Europe and America, and their contributions show how different, elegant, useful and fruitful the utilization of graphs in modelling of engineering systems can be. .
The graphs with the max-Mader-flow-min-multiway-cut property
Naves, Guyslain
2011-01-01
We are given a graph $G$, an independant set $\\mathcal{S} \\subset V(G)$ of \\emph{terminals}, and a function $w:V(G) \\to \\mathbb{N}$. We want to know if the maximum $w$-packing of vertex-disjoint paths with extremities in $\\mathcal{S}$ is equal to the minimum weight of a vertex-cut separating $\\mathcal{S}$. We call \\emph{Mader-Mengerian} the graphs with this property for each independant set $\\mathcal{S}$ and each weight function $w$. We give a characterization of these graphs in term of forbidden minors, as well as a recognition algorithm and a simple algorithm to find maximum packing of paths and minimum multicuts in those graphs.
Experimental Test of Bell inequalities with Six-Qubit Graph States
Gao, Wei-Bo; Xu, Ping; Gühne, Otfried; Cabello, Adán; Lu, Chao-Yang; Yang, Tao; Chen, Zeng-Bing; Pan, Jian-Wei
2009-01-01
We report on the experimental realization of two different Bell inequality tests based on six-qubit linear-type and Y-shape graph states. For each of these states, the Bell inequalities tested are optimal in the sense that they provide the maximum violation among all Bell inequalities with stabilizing observables and possess the maximum resistance to noise.
Graphs and matroids weighted in a bounded incline algebra.
Lu, Ling-Xia; Zhang, Bei
2014-01-01
Firstly, for a graph weighted in a bounded incline algebra (or called a dioid), a longest path problem (LPP, for short) is presented, which can be considered the uniform approach to the famous shortest path problem, the widest path problem, and the most reliable path problem. The solutions for LPP and related algorithms are given. Secondly, for a matroid weighted in a linear matroid, the maximum independent set problem is studied.
Sparsest cuts and concurrent flows in product graphs
Bonsma, Paul
2004-01-01
A cut [S.S] is a sparsest cut of a graph G if its cut value [S][S]/[S.S] is maximum (this is the reciprocal of the well-known edge-density of the cut). In the (undirected) uniform concurrent flow problem on G, between every vertex pair of G flow paths with a total flow of 1 have to be established. T
Some Invariants of Jahangir Graphs
Mobeen Munir
2017-01-01
Full Text Available In this report, we compute closed forms of M-polynomial, first and second Zagreb polynomials and forgotten polynomial for Jahangir graphs Jn,m for all values of m and n. From the M-polynomial, we recover many degree-based topological indices such as first and second Zagreb indices, modified Zagreb index, Symmetric division index, etc. We also compute harmonic index, first and second multiple Zagreb indices and forgotten index of Jahangir graphs. Our results are extensions of many existing results.
Completely Described Undirected Graph Structure
G. S. Ivanova
2016-01-01
Full Text Available The objects of research are undirected graphs. The paper considers a problem of their isomorphism. A literature analysis of its solution, has shown that there is no way to define a complete graph invariant in the form of unique structural characteristics of each its vertex, which has a computational complexity of definition better than О (n 4 .The work objective is to provide the characteristics of the graph structure, which could be used to solve the problem of their isomorphism for a time better than О (n 4 . As such characteristics, the paper proposes to use the set of codes of tree roots of all the shortest - in terms of the number of edges - paths from each vertex to the others, uniquely defining the structure of each tree. It proves the theorem that it is possible to reduce the problem of isomorphism of the undirected graphs to the isomorphism problem of their splitting into the trees of all the shortest - in terms of the number of edges - paths of each vertex to the others. An algorithm to construct the shortest paths from each vertex to all others and to compute codes of their vertices has been developed. As the latter, are used Aho-codes, which find application in recognising the isomorphism of trees. The computational complexity to obtain structural characteristics of vertices has been estimated to be about О (n 3 .The pilot studies involved the full-scale experiment using the developed complex programmes to generate raw data, i.e. analytic representation of the graph with the number of vertices equal to 1200, and a programme to provide codes of the tree roots. To have an estimate of - "the worst" in terms of time - complexity of expansion algorithm of graphs into trees of the shortest paths and define the codes of their roots has been an experimentally studied how the number of tree vertices depends on the graph density. For the worst case was obtained a dependence of the number of tree vertices on the number of graph vertices
Scattering from isospectral quantum graphs
Band, R; Sawicki, A; Smilansky, U, E-mail: rami.band@weizmann.ac.i, E-mail: assawi@cft.edu.p, E-mail: uzy.smilansky@weizmann.ac.i [Department of Physics of Complex Systems, Weizmann Institute of Science, Rehovot 76100 (Israel)
2010-10-15
Quantum graphs can be extended to scattering systems when they are connected by leads to infinity. It is shown that for certain extensions, the scattering matrices of isospectral graphs are conjugate to each other and their poles distributions are therefore identical. The scattering matrices are studied using a recently developed isospectral theory (Band et al 2009 J. Phys. A: Math. Theor. 42 175202 and Parzanchevski and Band 2010 J. Geom. Anal. 20 439-71). At the same time, the scattering approach offers a new insight on the mentioned isospectral construction.
Turing Automata and Graph Machines
Miklós Bartha
2010-06-01
Full Text Available Indexed monoidal algebras are introduced as an equivalent structure for self-dual compact closed categories, and a coherence theorem is proved for the category of such algebras. Turing automata and Turing graph machines are defined by generalizing the classical Turing machine concept, so that the collection of such machines becomes an indexed monoidal algebra. On the analogy of the von Neumann data-flow computer architecture, Turing graph machines are proposed as potentially reversible low-level universal computational devices, and a truly reversible molecular size hardware model is presented as an example.
Topological Minors in Bipartite Graphs
Camino BALBUENA; Martín CER.A; Pedro GARC(I)A-V(A)ZQUEZ; Juan Carlos VALENZUELA
2011-01-01
For a bipartite graph G on m and n vertices,respectively,in its vertices classes,and for integers s and t such that 2 ≤ s ≤ t,0≤ m-s≤ n-t,andm,+n≤ 2s+t-1,we prove that if G has at least mn- (2(m - s) + n - t) edges then it contains a subdivision of the complete bipartite K(s,t) with s vertices in the m-class and t vertices in the n-class.Furthermore,we characterize the corresponding extremal bipartite graphs with mn- (2(m - s) + n - t + 1) edges for this topological Turan type problem.
Quantum walks on Cayley graphs
Lopez Acevedo, O [Laboratoire de Physique Theorique et Modelisation, Universite de Cergy-Pontoise, 2 Avenue Adolphe Chauvin 95302 Cergy Pontoise Cedex (France); Institut fuer Mathematik und Informatik, Ernst-Moritz-Arndt-Universitaet, Friedrich-Ludwig-Jahn Str.15a, 17487 Greifswald (Germany); Gobron, T [Laboratoire de Physique Theorique et Modelisation, Universite de Cergy-Pontoise, 2 Avenue Adolphe Chauvin 95302 Cergy Pontoise Cedex (France)
2006-01-20
We address the problem of the construction of quantum walks on Cayley graphs. Our main motivation is the relationship between quantum algorithms and quantum walks. In particular, we discuss the choice of the dimension of the local Hilbert space and consider various classes of graphs on which the structure of quantum walks may differ. We completely characterize quantum walks on free groups and present partial results on more general cases. Some examples are given including a family of quantum walks on the hypercube involving a Clifford algebra.
Computing Graph Roots Without Short Cycles
Farzad, Babak; Le, Van Bang; Tuy, Nguyen Ngoc
2009-01-01
Graph G is the square of graph H if two vertices x, y have an edge in G if and only if x, y are of distance at most two in H. Given H it is easy to compute its square H2, however Motwani and Sudan proved that it is NP-complete to determine if a given graph G is the square of some graph H (of girth 3). In this paper we consider the characterization and recognition problems of graphs that are squares of graphs of small girth, i.e. to determine if G = H2 for some graph H of small girth. The main results are the following. - There is a graph theoretical characterization for graphs that are squares of some graph of girth at least 7. A corollary is that if a graph G has a square root H of girth at least 7 then H is unique up to isomorphism. - There is a polynomial time algorithm to recognize if G = H2 for some graph H of girth at least 6. - It is NP-complete to recognize if G = H2 for some graph H of girth 4. These results almost provide a dichotomy theorem for the complexity of the recognition problem in terms of ...
Approximate Graph Edit Distance in Quadratic Time.
Riesen, Kaspar; Ferrer, Miquel; Bunke, Horst
2015-09-14
Graph edit distance is one of the most flexible and general graph matching models available. The major drawback of graph edit distance, however, is its computational complexity that restricts its applicability to graphs of rather small size. Recently the authors of the present paper introduced a general approximation framework for the graph edit distance problem. The basic idea of this specific algorithm is to first compute an optimal assignment of independent local graph structures (including substitutions, deletions, and insertions of nodes and edges). This optimal assignment is complete and consistent with respect to the involved nodes of both graphs and can thus be used to instantly derive an admissible (yet suboptimal) solution for the original graph edit distance problem in O(n3) time. For large scale graphs or graph sets, however, the cubic time complexity may still be too high. Therefore, we propose to use suboptimal algorithms with quadratic rather than cubic time for solving the basic assignment problem. In particular, the present paper introduces five different greedy assignment algorithms in the context of graph edit distance approximation. In an experimental evaluation we show that these methods have great potential for further speeding up the computation of graph edit distance while the approximated distances remain sufficiently accurate for graph based pattern classification.
Multiple graph regularized protein domain ranking
Wang, Jim Jing-Yan
2012-11-19
Background: Protein domain ranking is a fundamental task in structural biology. Most protein domain ranking methods rely on the pairwise comparison of protein domains while neglecting the global manifold structure of the protein domain database. Recently, graph regularized ranking that exploits the global structure of the graph defined by the pairwise similarities has been proposed. However, the existing graph regularized ranking methods are very sensitive to the choice of the graph model and parameters, and this remains a difficult problem for most of the protein domain ranking methods.Results: To tackle this problem, we have developed the Multiple Graph regularized Ranking algorithm, MultiG-Rank. Instead of using a single graph to regularize the ranking scores, MultiG-Rank approximates the intrinsic manifold of protein domain distribution by combining multiple initial graphs for the regularization. Graph weights are learned with ranking scores jointly and automatically, by alternately minimizing an objective function in an iterative algorithm. Experimental results on a subset of the ASTRAL SCOP protein domain database demonstrate that MultiG-Rank achieves a better ranking performance than single graph regularized ranking methods and pairwise similarity based ranking methods.Conclusion: The problem of graph model and parameter selection in graph regularized protein domain ranking can be solved effectively by combining multiple graphs. This aspect of generalization introduces a new frontier in applying multiple graphs to solving protein domain ranking applications. 2012 Wang et al; licensee BioMed Central Ltd.
Maximum Variance Hashing via Column Generation
Lei Luo
2013-01-01
item search. Recently, a number of data-dependent methods have been developed, reflecting the great potential of learning for hashing. Inspired by the classic nonlinear dimensionality reduction algorithm—maximum variance unfolding, we propose a novel unsupervised hashing method, named maximum variance hashing, in this work. The idea is to maximize the total variance of the hash codes while preserving the local structure of the training data. To solve the derived optimization problem, we propose a column generation algorithm, which directly learns the binary-valued hash functions. We then extend it using anchor graphs to reduce the computational cost. Experiments on large-scale image datasets demonstrate that the proposed method outperforms state-of-the-art hashing methods in many cases.
Chain graph models and their causal interpretations
Lauritzen, Steffen Lilholt; Richardson, Thomas S.
2002-01-01
the equilibrium distributions of dynamic models with feed-back. These dynamic interpretations lead to a simple theory of intervention, extending the theory developed for directed acyclic graphs. Finally, we contrast chain graph models under this interpretation with simultaneous equation models which have......Chain graphs are a natural generalization of directed acyclic graphs and undirected graphs. However, the apparent simplicity of chain graphs belies the subtlety of the conditional independence hypotheses that they represent. There are many simple and apparently plausible, but ultimately fallacious......, interpretations of chain graphs that are often invoked, implicitly or explicitly. These interpretations also lead to flawed methods for applying background knowledge to model selection. We present a valid interpretation by showing how the distribution corresponding to a chain graph may be generated from...
Mathematical Minute: Rotating a Function Graph
Bravo, Daniel; Fera, Joseph
2013-01-01
Using calculus only, we find the angles you can rotate the graph of a differentiable function about the origin and still obtain a function graph. We then apply the solution to odd and even degree polynomials.
The thickness of amalgamations of graphs
Yang, Yan
2012-01-01
The thickness $\\theta(G)$ of a graph $G$ is the minimum number of planar spanning subgraphs into which the graph $G$ can be decomposed. As a topological invariant of a graph, it is a measurement of the closeness to planarity of a graph, and it also has important applications to VLSI design. In this paper, the thickness of graphs that are obtained by vertex-amalgamation and bar-amalgamation of any two graphs whose thicknesses are known are obtained, respectively. And the lower and upper bounds for the thickness of graphs that are obtained by edge-amalgamation and 2-vertex-amalgamation of any two graphs whose thicknesses are known are also derived, respectively.
The Laplacian eigenvalues of graphs: a survey
Zhang, Xiao-Dong
2011-01-01
The Laplacian matrix of a simple graph is the difference of the diagonal matrix of vertex degree and the (0,1) adjacency matrix. In the past decades, the Laplacian spectrum has received much more and more attention, since it has been applied to several fields, such as randomized algorithms, combinatorial optimization problems and machine learning. This paper is primarily a survey of various aspects of the eigenvalues of the Laplacian matrix of a graph for the past teens. In addition, some new unpublished results and questions are concluded. Emphasis is given on classifications of the upper and lower bounds for the Laplacian eigenvalues of graphs (including some special graphs, such as trees, bipartite graphs, triangular-free graphs, cubic graphs, etc.) as a function of other graph invariants, such as degree sequence, the average 2-degree, diameter, the maximal independence number, the maximal matching number, vertex connectivity, the domination number, the number of the spanning trees, etc.
Measuring extremal dependencies in web graphs
Volkovich, Y.; Litvak, Nelli; Zwart, B.
We analyze dependencies in power law graph data (Web sample, Wikipedia sample and a preferential attachment graph) using statistical inference for multivariate regular variation. The well developed theory of regular variation is widely applied in extreme value theory, telecommunications and
Prudente, Matthew James
Given a graph G with pebbles on the vertices, we define a pebbling move as removing two pebbles from a vertex u, placing one pebble on a neighbor v, and discarding the other pebble, like a toll. The pebbling number pi( G) is the least number of pebbles needed so that every arrangement of pi(G) pebbles can place a pebble on any vertex through a sequence of pebbling moves. We introduce a new variation on graph pebbling called two-player pebbling. In this, players called the mover and the defender alternate moves, with the stipulation that the defender cannot reverse the previous move. The mover wins only if they can place a pebble on a specified vertex and the defender wins if the mover cannot. We define η(G), analogously, as the minimum number of pebbles such that given every configuration of the η( G) pebbles and every specified vertex r, the mover has a winning strategy. First, we will investigate upper bounds for η( G) on various classes of graphs and find a certain structure for which the defender has a winning strategy, no matter how many pebbles are in a configuration. Then, we characterize winning configurations for both players on a special class of diameter 2 graphs. Finally, we show winning configurations for the mover on paths using a recursive argument.
XML Graphs in Program Analysis
Møller, Anders; Schwartzbach, Michael Ignatieff
2007-01-01
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tailored for a range of applications. We present a unified definition, outline the key properties including validation...
Ancestral Genres of Mathematical Graphs
Gerofsky, Susan
2011-01-01
Drawing from sources in gesture studies, cognitive science, the anthropology of religion and art/architecture history, this article explores cultural, bodily and cosmological resonances carried (unintentionally) by mathematical graphs on Cartesian coordinates. Concepts of asymmetric bodily spaces, grids, orthogonality, mapping and sacred spaces…
Standards for Graph Algorithm Primitives
Mattson, Tim; Bader, David; Berry, Jon; Buluc, Aydin; Dongarra, Jack; Faloutsos, Christos; Feo, John; Gilbert, John; Gonzalez, Joseph; Hendrickson, Bruce; Kepner, Jeremy; Leiserson, Charles; Lumsdaine, Andrew; Padua, David; Poole, Stephen
2014-01-01
It is our view that the state of the art in constructing a large collection of graph algorithms in terms of linear algebraic operations is mature enough to support the emergence of a standard set of primitive building blocks. This paper is a position paper defining the problem and announcing our intention to launch an open effort to define this standard.
Memory Hierarchy Sensitive Graph Layout
Roy, Amitabha
2012-01-01
Mining large graphs for information is becoming an increasingly important workload due to the plethora of graph structured data becoming available. An aspect of graph algorithms that has hitherto not received much interest is the effect of memory hierarchy on accesses. A typical system today has multiple levels in the memory hierarchy with differing units of locality; ranging across cache lines, TLB entries and DRAM pages. We postulate that it is possible to allocate graph structured data in main memory in a way as to improve the spatial locality of the data. Previous approaches to improving cache locality have focused only on a single unit of locality, either the cache line or virtual memory page. On the other hand cache oblivious algorithms can optimise layout for all levels of the memory hierarchy but unfortunately need to be specially designed for individual data structures. In this paper we explore hierarchical blocking as a technique for closing this gap. We require as input a specification of the units...
Seidel Switching and Graph Energy
Haemers, W.H.
2012-01-01
Abstract: The energy of a graph Γ is the sum of the absolute values of the eigenvalues of the adjacency matrix of Γ. Seidel switching is an operation on the edge set of Γ. In some special cases Seidel switching does not change the spectrum, and therefore the energy. Here we investigate when Seidel s
Index theorems for quantum graphs
Fulling, S A; Wilson, J H
2007-01-01
In geometric analysis, an index theorem relates the difference of the numbers of solutions of two differential equations to the topological structure of the manifold or bundle concerned, sometimes using the heat kernels of two higher-order differential operators as an intermediary. In this paper, the case of quantum graphs is addressed. A quantum graph is a graph considered as a (singular) one-dimensional variety and equipped with a second-order differential Hamiltonian H (a "Laplacian") with suitable conditions at vertices. For the case of scale-invariant vertex conditions (i.e., conditions that do not mix the values of functions and of their derivatives), the constant term of the heat-kernel expansion is shown to be proportional to the trace of the internal scattering matrix of the graph. This observation is placed into the index-theory context by factoring the Laplacian into two first-order operators, H =A*A, and relating the constant term to the index of A. An independent consideration provides an index f...
Fibonacci Identities, Matrices, and Graphs
Huang, Danrun
2005-01-01
General strategies used to help discover, prove, and generalize identities for Fibonacci numbers are described along with some properties about the determinants of square matrices. A matrix proof for identity (2) that has received immense attention from many branches of mathematics, like linear algebra, dynamical systems, graph theory and others…
Affect and Graphing Calculator Use
McCulloch, Allison W.
2011-01-01
This article reports on a qualitative study of six high school calculus students designed to build an understanding about the affect associated with graphing calculator use in independent situations. DeBellis and Goldin's (2006) framework for affect as a representational system was used as a lens through which to understand the ways in which…
A Graph Calculus for Predicate Logic
Paulo A. S. Veloso
2013-03-01
Full Text Available We introduce a refutation graph calculus for classical first-order predicate logic, which is an extension of previous ones for binary relations. One reduces logical consequence to establishing that a constructed graph has empty extension, i. e. it represents bottom. Our calculus establishes that a graph has empty extension by converting it to a normal form, which is expanded to other graphs until we can recognize conflicting situations (equivalent to a formula and its negation.
An interactive system for drawing graphs
Marks, Joe; Shieber, Stuart; Ryall, Kathy
1996-01-01
Abstract: In spite of great advances in the automatic drawing of medium and large graphs, the tools available for drawing small graphs exquisitely (that is, with the aesthetics commonly found in professional publications and presentations) are still very primitive. Commercial tools, e.g., Claris Draw, provide minimal support for aesthetic graph layout. At the other extreme, research prototypes based on constraint methods are overly general for graph drawing. Our system improves on general con...
Cut Size Statistics of Graph Bisection Heuristics
Schreiber, G. R.; Martin, O. C.
1998-01-01
We investigate the statistical properties of cut sizes generated by heuristic algorithms which solve approximately the graph bisection problem. On an ensemble of sparse random graphs, we find empirically that the distribution of the cut sizes found by ``local'' algorithms becomes peaked as the number of vertices in the graphs becomes large. Evidence is given that this distribution tends towards a Gaussian whose mean and variance scales linearly with the number of vertices of the graphs. Given...
Operations on Intuitionistic Fuzzy Graph Structures
Muhammad Akram
2016-12-01
Full Text Available An intuitionistic fuzzy graph structure (IFGS is a generalization of an intuitionistic fuzzy graph. The concept of intuitionistic fuzzy graph structure is introduced and investigated in this paper. Some operations including union, join, Cartesian product, cross product, lexicographic product, strong product and composition on intuitionistic fuzzy graph structures are defined and elaborated with a number of examples. Some basic properties of these operations are also presented.
Minimum Dominating Tree Problem for Graphs
LIN Hao; LIN Lan
2014-01-01
A dominating tree T of a graph G is a subtree of G which contains at least one neighbor of each vertex of G. The minimum dominating tree problem is to find a dominating tree of G with minimum number of vertices, which is an NP-hard problem. This paper studies some polynomially solvable cases, including interval graphs, Halin graphs, special outer-planar graphs and others.
Noncommutative Manifolds from Graph and k-Graph C*-Algebras
Pask, David; Rennie, Adam; Sims, Aidan
2009-12-01
In [PRen] we constructed smooth (1, ∞)-summable semifinite spectral triples for graph algebras with a faithful trace, and in [PRS] we constructed ( k, ∞)-summable semifinite spectral triples for k-graph algebras. In this paper we identify classes of graphs and k-graphs which satisfy a version of Connes’ conditions for noncommutative manifolds.
Implicit Hamiltonian formulation of bond graphs
Golo, G.; Schaft, A.J. van der; Breedveld, P.C.; Maschke, B.M.
2003-01-01
This paper deals with mathematical formulation of bond graphs. It is proven that the power continuous part of bond graphs, the junction structure, can be associated with a Dirac structure and that equations describing a bond graph model correspond to an implicit port-controlled Hamiltonian system wi
Cycle-maximal triangle-free graphs
Durocher, Stephane; Gunderson, David S.; Li, Pak Ching;
2015-01-01
Abstract We conjecture that the balanced complete bipartite graph K ⌊ n / 2 ⌋ , ⌈ n / 2 ⌉ contains more cycles than any other n -vertex triangle-free graph, and we make some progress toward proving this. We give equivalent conditions for cycle-maximal triangle-free graphs; show bounds...
Around the Sun in a Graphing Calculator.
Demana, Franklin; Waits, Bert K.
1989-01-01
Discusses the use of graphing calculators for polar and parametric equations. Presents eight lines of the program for the graph of a parametric equation and 11 lines of the program for a graph of a polar equation. Illustrates the application of the programs for planetary motion and free-fall motion. (YP)
Convergence of zeta functions of graphs
Clair, Bryan; Mokhtari-Sharghi, Shahriar
2000-01-01
The $L^2$-zeta function of an infinite graph Y (defined previously in a ball around zero) has an analytic extension. For a tower of finite graphs covered by Y, the normalized zeta functions of the finite graphs converge to the $L^2$-zeta function of Y.
Strongly 2-connected orientations of graphs
Thomassen, Carsten
2014-01-01
We prove that a graph admits a strongly 2-connected orientation if and only if it is 4-edge-connected, and every vertex-deleted subgraph is 2-edge-connected. In particular, every 4-connected graph has such an orientation while no cubic 3-connected graph has such an orientation....
A Type Graph Model for Java Programs
Rensink, Arend; Zambon, Eduardo
2009-01-01
In this report we present a type graph that models all executable constructs of the Java programming language. Such a model is useful for any graph-based technique that relies on a representation of Java programs as graphs. The model can be regarded as a common representation to which all Java
A Type Graph Model for Java Programs
Rensink, Arend; Zambon, Eduardo; Lee, D.; Lopes, A.; Poetzsch-Heffter, A.
2009-01-01
In this work we present a type graph that models all executable constructs of the Java programming language. Such a model is useful for any graph-based technique that relies on a representation of Java programs as graphs. The model can be regarded as a common representation to which all Java syntax
Mathematical Foundations of the GraphBLAS
Kepner, Jeremy; Bader, David; Buluc, Aydın; Franchetti, Franz; Gilbert, John; Hutchison, Dylan; Kumar, Manoj; Lumsdaine, Andrew; Meyerhenke, Henning; McMillan, Scott; Moreira, Jose; Owens, John D; Yang, Carl; Zalewski, Marcin; Mattson, Timothy
2016-01-01
The GraphBLAS standard (GraphBlas.org) is being developed to bring the potential of matrix based graph algorithms to the broadest possible audience. Mathematically the Graph- BLAS defines a core set of matrix-based graph operations that can be used to implement a wide class of graph algorithms in a wide range of programming environments. This paper provides an introduction to the mathematics of the GraphBLAS. Graphs represent connections between vertices with edges. Matrices can represent a wide range of graphs using adjacency matrices or incidence matrices. Adjacency matrices are often easier to analyze while incidence matrices are often better for representing data. Fortunately, the two are easily connected by matrix mul- tiplication. A key feature of matrix mathematics is that a very small number of matrix operations can be used to manipulate a very wide range of graphs. This composability of small number of operations is the foundation of the GraphBLAS. A standard such as the GraphBLAS can only be effecti...
Extremal norms of graphs and matrices
Nikiforov, Vladimir
2010-01-01
In the recent years, the trace norm of graphs has been extensively studied under the name of graph energy. In this paper some of this research is extended to more general matrix norms, like the Schatten p-norms and the Ky Fan k-norms. Whenever possible the results are given both for graphs and general matrices.
Graph Partitioning Models for Parallel Computing
Hendrickson, B.; Kolda, T.G.
1999-03-02
Calculations can naturally be described as graphs in which vertices represent computation and edges reflect data dependencies. By partitioning the vertices of a graph, the calculation can be divided among processors of a parallel computer. However, the standard methodology for graph partitioning minimizes the wrong metric and lacks expressibility. We survey several recently proposed alternatives and discuss their relative merits.
A Type Graph Model for Java Programs
Rensink, Arend; Zambon, Eduardo; Lee, D.; Lopes, A.; Poetzsch-Heffter, A.
2009-01-01
In this work we present a type graph that models all executable constructs of the Java programming language. Such a model is useful for any graph-based technique that relies on a representation of Java programs as graphs. The model can be regarded as a common representation to which all Java syntax
A Type Graph Model for Java Programs
Rensink, Arend; Zambon, Eduardo
2009-01-01
In this report we present a type graph that models all executable constructs of the Java programming language. Such a model is useful for any graph-based technique that relies on a representation of Java programs as graphs. The model can be regarded as a common representation to which all Java synta
Destroying longest cycles in graphs and digraphs
Van Aardt, Susan A.; Burger, Alewyn P.; Dunbar, Jean E.;
2015-01-01
In 1978, C. Thomassen proved that in any graph one can destroy all the longest cycles by deleting at most one third of the vertices. We show that for graphs with circumference k≤8 it suffices to remove at most 1/k of the vertices. The Petersen graph demonstrates that this result cannot be extende...
On chromatic and flow polynomial unique graphs
Duan, Yinghua; Wu, Haidong; Yu, Qinglin
2008-01-01
... research on graphs uniquely determined by their chromatic polynomials and more recently on their Tutte polynomials, but rather spotty research on graphs uniquely determined by their flow polynomials or the combination of both chromatic and flow polynomials. This article is an initiation of investigation on graphs uniquely determin...
LARGEST EIGENVALUE OF A UNICYCLIC MIXED GRAPH
FanYizheng
2004-01-01
The graphs which maximize and minimize respectively the largest eigenvalue over all unicyclic mixed graphs U on n vertices are determined. The unicyclic mixed graphs U with the largest eigenvalue λ1 (U)=n or λ1 (U)∈ (n ,n+1] are characterized.
Sandborg-Petersen, Ulrik
2007-01-01
Automatically transforming text to conceptual graphs has long been a goal of the Conceptual Graphs community, starting with Sowa and Way’s seminal paper in 1986. We have developed a method for transforming Old Testament texts in Hebrew into English-based conceptual graphs, and in this paper, we r...
The Cyclic Graph of a Finite Group
Xuan Long Ma
2013-01-01
and characterize certain finite groups whose cyclic graphs have some properties. Then, we present some properties of the cyclic graphs of the dihedral groups D2n and the generalized quaternion groups Q4n for some n. Finally, we present some parameters about the cyclic graphs of finite noncyclic groups of order up to 14.
A new characterization of trivially perfect graphs
Christian Rubio Montiel
2015-03-01
Full Text Available A graph $G$ is \\emph{trivially perfect} if for every induced subgraph the cardinality of the largest set of pairwise nonadjacent vertices (the stability number $\\alpha(G$ equals the number of (maximal cliques $m(G$. We characterize the trivially perfect graphs in terms of vertex-coloring and we extend some definitions to infinite graphs.
Structural intervention distance for evaluating causal graphs
Peters, Jonas; Bühlmann, Peter
2015-01-01
Causal inference relies on the structure of a graph, often a directed acyclic graph (DAG). Different graphs may result in different causal inference statements and different intervention distributions. To quantify such differences, we propose a (pre-)metric between DAGs, the structural interventi...... implementation with software code available on the first author's home page....
McMillen, Sue; McMillen, Beth
2010-01-01
Connecting stories to qualitative coordinate graphs has been suggested as an effective instructional strategy. Even students who are able to "create" bar graphs may struggle to correctly "interpret" them. Giving children opportunities to work with qualitative graphs can help them develop the skills to interpret, describe, and compare information…
Integral complete r-partite graphs
Wang, Ligong; Li, Xueliang; Hoede, C.
2004-01-01
A graph is called integral if all the eigenvalues of its adjacency matrix are integers. In this paper, we give a useful sufficient and necessary condition for complete r-partite graphs to be integral, from which we can construct infinite many new classes of such integral graphs. It is proved that
A new cluster algorithm for graphs
Dongen, S. van
1998-01-01
A new cluster algorithm for graphs called the emph{Markov Cluster algorithm ($MCL$ algorithm) is introduced. The graphs may be both weighted (with nonnegative weight) and directed. Let~$G$~be such a graph. The $MCL$ algorithm simulates flow in $G$ by first identifying $G$ in a canonical way with
Centrosymmetric Graphs And A Lower Bound For Graph Energy Of Fullerenes
Katona Gyula Y.
2014-11-01
Full Text Available The energy of a molecular graph G is defined as the summation of the absolute values of the eigenvalues of adjacency matrix of a graph G. In this paper, an infinite class of fullerene graphs with 10n vertices, n ≥ 2, is considered. By proving centrosymmetricity of the adjacency matrix of these fullerene graphs, a lower bound for its energy is given. Our method is general and can be extended to other class of fullerene graphs.
On a conjecture concerning helly circle graphs
Durán Guillermo
2003-01-01
Full Text Available We say that G is an e-circle graph if there is a bijection between its vertices and straight lines on the cartesian plane such that two vertices are adjacent in G if and only if the corresponding lines intersect inside the circle of radius one. This definition suggests a method for deciding whether a given graph G is an e-circle graph, by constructing a convenient system S of equations and inequations which represents the structure of G, in such a way that G is an e-circle graph if and only if S has a solution. In fact, e-circle graphs are exactly the circle graphs (intersection graphs of chords in a circle, and thus this method provides an analytic way for recognizing circle graphs. A graph G is a Helly circle graph if G is a circle graph and there exists a model of G by chords such that every three pairwise intersecting chords intersect at the same point. A conjecture by Durán (2000 states that G is a Helly circle graph if and only if G is a circle graph and contains no induced diamonds (a diamond is a graph formed by four vertices and five edges. Many unsuccessful efforts - mainly based on combinatorial and geometrical approaches - have been done in order to validate this conjecture. In this work, we utilize the ideas behind the definition of e-circle graphs and restate this conjecture in terms of an equivalence between two systems of equations and inequations, providing a new, analytic tool to deal with it.