Dissertations / Theses on the topic 'Triangle counting in graphs'

In this thesis we consider two sets of combinatorial structures defined on an Eulerian graph: the Eulerian orientations and Euler tours. We are interested in the computational problems of counting (computing the number of elements in the set) and sampling (generating a random element of the set). Specifically, we are interested in the question of when there exists an efficient algorithm for counting or sampling the elements of either set. The Eulerian orientations of a number of classes of planar lattices are of practical significance as they correspond to configurations of certain models studied in statistical physics. In 1992 Mihail and Winkler showed that counting Eulerian orientations of a general Eulerian graph is #P-complete and demonstrated that the problem of sampling an Eulerian orientation can be reduced to the tractable problem of sampling a perfect matching of a bipartite graph. We present a proof that this problem remains #Pcomplete when the input is restricted to being a planar graph, and analyse a natural algorithm for generating random Eulerian orientations of one of the afore-mentioned planar lattices. Moreover, we make some progress towards classifying the range of planar graphs on which this algorithm is rapidly mixing by exhibiting an infinite class of planar graphs for which the algorithm will always take an exponential amount of time to converge. The problem of counting the Euler tours of undirected graphs has proven to be less amenable to analysis than that of Eulerian orientations. Although it has been known for many years that the number of Euler tours of any directed graph can be computed in polynomial time, until recently very little was known about the complexity of counting Euler tours of an undirected graph. Brightwell and Winkler showed that this problem is #P-complete in 2005 and, apart from a few very simple examples, e.g., series-parellel graphs, there are no known tractable cases, nor are there any good reasons to believe the problem to be intractable. Moreover, despite several unsuccessful attempts, there has been no progress made on the question of approximability. Indeed, this problem was considered to be one of the more difficult open problems in approximate counting since long before the complexity of exact counting was resolved. By considering a randomised input model, we are able to show that a very simple algorithm can sample or approximately count the Euler tours of almost every d-in/d-out directed graph in expected polynomial time. Then, we present some partial results towards showing that this algorithm can be used to sample or approximately count the Euler tours of almost every 2d-regular graph in expected polynomial time. We also provide some empirical evidence to support the unproven conjecture required to obtain this result. As a sideresult of this work, we obtain an asymptotic characterisation of the distribution of the number of Eulerian orientations of a random 2d-regular graph.

This thesis is separated into two parts: threshold graphs and inertia sets. First we present an algorithmic approach to finding the minimum rank of threshold graphs and then progress to counting the number of threshold graphs with a specific minimum rank. Second, we find an algorithmic and more automated way of determining the inertia set of graphs with seven or fewer vertices using theorems and lemmata found in previous papers. Inertia sets are a relaxation of the inverse eigenvalue problem. Instead of determining all the possible eigenvalues that can be obtained by matrices with a specific zero/nonzero pattern we restrict to counting the number of positive and negative eigenvalues.

A network (graph) is a powerful abstraction for interactions among entities in a system. Examples include various social, biological, collaboration, citation, and co-purchase networks. Real-world networks are often characterized by an abundance of triangles and the existence of well-structured communities. Thus, counting triangles and detecting communities in networks have become important algorithmic problems in network mining and analysis. In the era of big data, the network data emerged from numerous scientific disciplines are very large. Online social networks such as Twitter and Facebook have millions to billions of users. Such massive networks often do not fit in the main memory of a single machine, and the existing sequential methods might take a prohibitively large runtime. This motivates the need for scalable parallel algorithms for mining and analysis. We design MPI-based distributed-memory parallel algorithms for counting triangles and detecting communities in big networks and present related analysis. The dissertation consists of four parts. In Part I, we devise parallel algorithms for counting and enumerating triangles. The first algorithm employs an overlapping partitioning scheme and novel load-balancing schemes leading to a fast algorithm. We also design a space-efficient algorithm using non-overlapping partitioning and an efficient communication scheme. This space efficiency allows the algorithm to work on even larger networks. We then present our third parallel algorithm based on dynamic load balancing. All these algorithms work on big networks, scale to a large number of processors, and demonstrate very good speedups. An important property, very related to triangles, of many real-world networks is high transitivity, which states that two nodes having common neighbors tend to become neighbors themselves. In Part II, we characterize networks by quantifying the number of common neighbors and demonstrate its relationship to community structure of networks. In Part III, we design parallel algorithms for detecting communities in big networks. We propose efficient load balancing and communication approaches, which lead to fast and scalable algorithms. Finally, in Part IV, we present scalable parallel algorithms for a useful graph preprocessing problem-- converting edge list to adjacency list. We present non-trivial parallelization with efficient HPC-based techniques leading to fast and space-efficient algorithms.
Ph. D.

Spectral graph theory widely increases the interests in not only discovering new properties of well known graphs but also proving the well known properties for the new type of graphs. In fact all spectral properties of proverbial graphs are not acknowledged to us and in other hand due to the structure of nature, new classes of graphs are required to explain the phenomena around us and the spectral properties of these graphs can tell us more about the structure of them. These both themes are the body of our work here. We introduce here three models of random graphs and show that the eigenvalue counting function of Laplacians on these graphs has exponential decay bound. Since our methods heavily depend on the first nonzero eigenvalue of Laplacian, we study also this eigenvalue for the graph in both random and nonrandom cases.

Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-10-16T11:57:04Z No. of bitstreams: 1 arquivototal.pdf: 4711783 bytes, checksum: ef1f22acd23a66ff022013741e6cd635 (MD5)
Rejected by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br), reason: corrigir referencia on 2015-10-16T11:59:43Z (GMT)
Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-10-16T12:10:40Z No. of bitstreams: 1 arquivototal.pdf: 4711783 bytes, checksum: ef1f22acd23a66ff022013741e6cd635 (MD5)
Approved for entry into archive by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-10-16T12:11:49Z (GMT) No. of bitstreams: 1 arquivototal.pdf: 4711783 bytes, checksum: ef1f22acd23a66ff022013741e6cd635 (MD5)
Made available in DSpace on 2015-10-16T12:11:49Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 4711783 bytes, checksum: ef1f22acd23a66ff022013741e6cd635 (MD5) Previous issue date: 2013-08-01
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
This paper presents an introduction to the study of counting problems, not just through the concepts traditionally covered in Combinatorial Analysis courses, such as the basic principles, permutations, arrangements, combinations, linear equations with unitary coe cients, among others, but also using sophisticated tools, such as the use of graphs.
O presente trabalho apresenta uma introdução ao estudo de problemas de contagem, não apenas através dos conceitos tradicionalmente abordados em cursos de Análise Combinatória, tais como os princípios básicos, as permutações, os arranjos, as combinações, as equações lineares com coe cientes unitários e outros, mas também, ferramentas so sticadas de contagem, tal como o uso de grafos.

Durant ces dernières décennies, d'importants efforts et beaucoup de café ont été dépensés en vue de caractériser les instances faciles des problèmes NP-difficiles. Dans ce domaine de recherche, une approche s'avère être redoutablement efficace : la théorie de la complexité paramétrée introduite par Downey et Fellows dans les années 90.Dans cette théorie, la complexité d'un problème n'est plus mesurée uniquement en fonction de la taille de l'instance, mais aussi en fonction d'un paramètre .Dans cette boite à outils, la largeur arborescente est sans nul doute un des paramètres de graphe les plus étudiés.Ce paramètre mesure à quel point un graphe est proche de la structure topologique d'un arbre.La largeur arborescente a de nombreuses propriétés algorithmiques et structurelles.Néanmoins, malgré l'immense intérêt suscité par la largeur arborescente, seules les classes de graphes peu denses peuvent avoir une largeur arborescente bornée.Mais, de nombreux problèmes NP-difficiles s'avèrent faciles dans des classes de graphes denses.La plupart du temps, cela peut s'expliquer par l'aptitude de ces graphes à se décomposer récursivement en bipartitions de sommets $(A,B)$ où le voisinage entre $A$ et $B$ possède une structure simple.De nombreux paramètres -- appelés largeurs -- ont été introduits pour caractériser cette aptitude, les plus remarquables sont certainement la largeur de clique , la largeur de rang , la largeur booléenne et la largeur de couplage induit .Dans cette thèse, nous étudions les propriétés algorithmiques de ces largeurs.Nous proposons une méthode qui généralise et simplifie les outils développés pour la largeur arborescente et les problèmes admettant une contrainte d'acyclicité ou de connexité tel que Couverture Connexe , Dominant Connexe , Coupe Cycle , etc.Pour tous ces problèmes, nous obtenons des algorithmes s'exécutant en temps $2^{O(k)}\cdot n^{O(1)}$, $2^{O(k \log(k))}\cdot n^{O(1)}$, $2^{O(k^2)}\cdot n^{O(1)}$ et $n^{O(k)}$ avec $k$ étant, respectivement, la largeur de clique, la largeur de Q-rang, la larguer de rang et la largueur de couplage induit.On prouve aussi qu'il existe un algorithme pour Cycle Hamiltonien s'exécutant en temps $n^{O(k)}$ quand une décomposition de largeur de clique $k$ est donné en entrée.Finalement, nous prouvons qu'on peut compter en temps polynomial le nombre de transversaux minimaux d'hypergraphes $\beta$-acyclique ainsi que le nombre de dominants minimaux de graphes fortement triangulés.Tous ces résultats offrent des pistes prometteuses en vue d'une généralisation des largeurs et de leurs applications algorithmiques
In the last decades, considerable efforts have been spent to characterize what makes NP-hard problems tractable. A successful approach in this line of research is the theory of parameterized complexity introduced by Downey and Fellows in the nineties.In this framework, the complexity of a problem is not measured only in terms of the input size, but also in terms of a parameter on the input.One of the most well-studied parameters is tree-width, a graph parameter which measures how close a graph is to the topological structure of a tree.It appears that tree-width has numerous structural properties and algorithmic applications.However, only sparse graph classes can have bounded tree-width.But, many NP-hard problems are tractable on dense graph classes.Most of the time, this tractability can be explained by the ability of these graphs to be recursively decomposable along vertex bipartitions $(A,B)$ where the adjacency between $A$ and $B$ is simple to describe.A lot of graph parameters -- called width measures -- have been defined to characterize this ability, the most remarkable ones are certainly clique-width, rank-width, and mim-width.In this thesis, we study the algorithmic properties of these width measures.We provide a framework that generalizes and simplifies the tools developed for tree-width and for problems with a constraint of acyclicity or connectivity such as Connected Vertex Cover, Connected Dominating Set, Feedback Vertex Set, etc.For all these problems, we obtain $2^{O(k)}\cdot n^{O(1)}$, $2^{O(k \log(k))}\cdot n^{O(1)}$, $2^{O(k^2)}\cdot n^{O(1)}$ and $n^{O(k)}$ time algorithms parameterized respectively by clique-width, Q-rank-width, rank-width and mim-width.We also prove that there exists an algorithm solving Hamiltonian Cycle in time $n^{O(k)}$, when a clique-width decomposition of width $k$ is given.Finally, we prove that we can count in polynomial time the minimal transversals of $\beta$-acyclic hypergraphs and the minimal dominating sets of strongly chordal graphs.All these results offer promising perspectives towards a generalization of width measures and their algorithmic applications

La richesse de la programmation par contraintes repose sur la très large variété des algorithmes qu’elle utilise en puisant dans les grands domaines de l’Intelligence Artificielle, de la Programmation Logique et de la Recherche Opérationnelle. Cependant, cette richesse, qui offre aux spécialistes une palette quasi-illimitée de configurations possibles pour attaquer des problèmes combinatoires, devient une frein à la diffusion plus large du paradigme, car les outils actuels sont très loin d’une boîte noire, et leur utilisation suppose une bonne connaissance du domaine, notamment en ce qui concerne leur paramétrage. Dans cette thèse, nous proposons d’analyser le comportement des contraintes de cardinalité avec des modèles probabilistes et des outils de dénombrement, pour paramétrer automatiquement les solveurs de contraintes : heuristiques de choix de variables et de choix de valeurs et stratégies de recherche
The main asset of constraint programming is its wide variety of algorithms that comes from the major areas of artificial intelligence, logic programming and operational research. It offers specialists a limitless range of possible configurations to tackle combinatorial problems, but it becomes an obstacle to the wider diffusion of the paradigm. The current tools are very far from being used as a black-box tool, and it assumes a good knowledge of the field, in particular regarding the parametrization of solvers.In this thesis, we propose to analyze the behavior of cardinality constraints with probabilistic models and counting tools, to automatically parameterize constraint solvers: heuristics of choice of variables and choice of values and search strategies

Este trabalho tem por finalidade apresentar uma abordagem, para o Ensino MÃdio, de nÃmeros binomiais (incluindo as propriedades do triÃngulo de Pascal e binÃmio de Newton), contendo as demonstraÃÃes combinatÃrias, ao utilizar dupla contagem, juntamente com as demonstraÃÃes algÃbricas, como parcialmente jà à feito, alÃm de generalizar, citando os nÃmeros trinomiais (incluindo as propriedades da pirÃmide de Pascal) e os nÃmeros multinomiais (incluindo o polinÃmio de Leibniz).
This project aims at presenting an approach of binomial numbers for high school (including Pascalâs triangle properties and binomial of Newton), containing the combinatorial statements when using double counting, along with algebraic demonstrations, as part is already done in addition to generalize, citing the trinomial numbers (including the properties of the Pascal pyramid) and multinomial numbers (including the Leibnizâs polynomial).

Nous cherchons à prouver de nouveaux résultats en théorie des graphes et combinatoire grâce à la vitesse de calcul des ordinateurs, couplée à des algorithmes astucieux. Nous traitons quatre problèmes. Le théorème des quatre couleurs affirme que toute carte d’un monde où les pays sont connexes peut être coloriée avec 4 couleurs sans que deux pays voisins aient la même couleur. Il a été le premier résultat prouvé en utilisant l'ordinateur, en 1989. Nous souhaitions automatiser encore plus cette preuve. Nous expliquons la preuve et fournissons un programme qui permet de la réétablir, ainsi que d'établir d'autres résultats avec la même méthode. Nous donnons des pistes potentielles pour automatiser la recherche de règles de déchargement.Nous étudions également les problèmes de domination dans les grilles. Le plus simple est celui de la domination. Il s'agit de mettre des pierres sur certaines cases d'une grille pour que chaque case ait une pierre, ou ait une voisine qui contienne une pierre. Ce problème a été résolu en 2011 en utilisant l’ordinateur pour prouver une formule donnant le nombre minimum de pierres selon la taille de la grille. Nous adaptons avec succès cette méthode pour la première fois pour des variantes de la domination. Nous résolvons partiellement deux autres problèmes et fournissons des bornes inférieures pour ces problèmes pour les grilles de taille arbitraire.Nous nous sommes aussi penchés sur le dénombrement d’ensembles dominants. Combien y a-t-il d’ensembles dominant une grille donnée ? Nous étudions ce problème de dénombrement pour la domination et trois variantes. Nous prouvons l'existence de taux de croissance asymptotiques pour chacun de ces problèmes. Pour chaque, nous donnons en plus un encadrement de son taux de croissance asymptotique.Nous étudions enfin les polyominos, et leurs façons de paver des rectangles. Il s'agit d'objets généralisant les formes de Tetris : un ensemble de carrés connexe (« en un seul morceau »). Nous avons attaqué un problème posé en 1989 : existe-t-il un polyomino d'ordre impair ? Il s'agit de trouver un polyomino qui peut paver un rectangle avec un nombre impair de copies, mais ne peut paver de rectangle plus petit. Nous n'avons pas résolu ce problème, mais avons créé un programme pour énumérer les polyominos et essayer de trouver leur ordre, en éliminant ceux ne pouvant pas paver de rectangle. Nous établissons aussi une classification, selon leur ordre, des polyominos de taille au plus 18
Our goal is to prove new results in graph theory and combinatorics thanks to the speed of computers, used with smart algorithms. We tackle four problems.The four-colour theorem states that any map of a world where all countries are made of one part can be coloured with 4 colours such that no two neighbouring countries have the same colour. It was the first result proved using computers, in 1989. We wished to automatise further this proof. We explain the proof and provide a program which proves it again. It also makes it possible to obtain other results with the same method. We give potential leads to automatise the search for discharging rules.We also study the problems of domination in grids. The simplest one is the one of domination. It consists in putting a stone on some cells of a grid such that every cell has a stone, or has a neighbour which contains a stone. This problem was solved in 2011 using computers, to prove a formula giving the minimum number of stones needed depending on the dimensions of the grid. We successfully adapt this method for the first time for variants of the domination problem. We solve partially two other problems and give for them lower bounds for grids of arbitrary size.We also tackled the counting problem for dominating sets. How many dominating sets are there for a given grid? We study this counting problem for the domination and three variants. We prove the existence of asymptotic growths rates for each of these problems. We also give bounds for each of these growth rates.Finally, we study polyominoes, and the way they can tile rectangles. They are objects which generalise the shapes from Tetris: a connected (of only one part) set of squares. We tried to solve a problem which was set in 1989: is there a polyomino of odd order? It consists in finding a polyomino which can tile a rectangle with an odd number of copies, but cannot tile any smaller rectangle. We did not manage to solve this problem, but we made a program to enumerate polyominoes and try to find their orders, discarding those which cannot tile rectangles. We also give statistics on the orders of polyominoes of size up to 18

碩士
國立臺灣大學
資訊工程學研究所
96
In this paper, we develop a new algorithm to count the number of triangles in a graph $G(n, m)$. The latest efficient algorithm, Forward Algorithm, needs $O(m^{3/2})$ basic instructions'' execution time and $Theta(m)$ memory space. With the combination of the well-known Four-Russians'' Algorithm, we obtain an algorithm that requires $O(m^{3/2}/log^{1/2} m)$ execution of the population count procedure using $Theta(m)$ memory space. Some CPUs support population count directly. In such cases, the population count can be executed with one instruction; otherwise, an alternative method should be employed. The known best one is named as extit{bitwise twiddling} method, which can be executed with $Theta(log^{(2)}g)$ basic instructions. Owing to it is not necessary to exactly know the result of each population count, we can replace each population count with an amortized population count. Therefore, we also develop an efficient algorithm to fast execute the amortized population count. Based on the theoretic analysis, we conclude that the amortized population count can be executed with $o(log^{(3)}g)$ basic instructions. Besides, the experiment result also shows the performance of our amortized population count is better than others. As a result, our triangle counting algorithm is faster than the previous known best one by a factor $omega(g^{1/2} / log^{(3)} g)$ where $g = Omega(log m)$.

Triangle enumeration is an important element in graph analysis, and because of this it is a topic that has been studied extensively. Although the formulation is simple, for large networks the computation becomes challenging as we have to deal with memory limitation and efficiency. Many algorithms have been proposed to overcome these problems. Some use distributed computing, where the computation is distributed among many machines in a cluster. However, this approach has a high cost in terms of hardware resources and energy. In this thesis we studied triangle counting/listing algorithms for both directed and undirected graphs, and searched for methods to do the computation on a single machine. Through detailed analysis, we found some ways to improve the efficiency of the computation. Programs that implement the algorithms were built and tested on large networks with up to almost a billion nodes. The results were then analysed and discussed.
Graduate

Triangle counting is a major graph problem with several applications in social network analysis, anomaly detection, etc. A considerable amount of work has contributed to approximately computing the global triangle counts using several computational models. One of the most popular streaming models considered is Edge Streaming in which the edges arrive in the form of a graph stream. We categorize the existing literature into two categories: Fixed Memory (FM) approach, and Fixed Probability (FP) approach. As the size of the graphs grows, several challenges arise such as memory space limitations, and prohibitively long running time. Therefore, both FM and FP categories exhibit some limitations. FP algorithms fail to scale for massive graphs. We identified a limitation of FM category $i.e.$ FM algorithms have higher computational time than their FP variants. In this work, we present a new category called the Hybrid approach that overcomes the limitations of both FM and FP approaches. We present two new algorithms that belong to the hybrid category: Neighbourhood Hybrid Multisampling (NHMS) and Triest/ThinkD Hybrid Sampling (THS) for estimating the number of global triangles in graphs. These algorithms are highly scalable and have better running time than FM and FP variants. We experimentally show that both NHMS and THS outperform state-of-the-art algorithms in space-efficient environments.
Graduate

碩士
國立交通大學
應用數學研究所
82
A Steinhaus matrix is a symmetric $0-1$ matrix $[a_{i,j}]_{n \times n}$ such that $a_{i,i}=0$ for $0 \leq i \leq n-1$ and $a_{i,j}=(a_{i-1,j-1}+a_{i-1,j}) \pmod 2$ for $1 \leq i