English
Related papers

Related papers: OBDD-Based Representation of Interval Graphs

200 papers

Connectivity (or equivalently, unweighted maximum flow) is an important measure in graph theory and combinatorial optimization. Given a graph $G$ with vertices $s$ and $t$, the connectivity $\lambda(s,t)$ from $s$ to $t$ is defined to be…

Data Structures and Algorithms · Computer Science 2024-12-25 Shyan Akmal

The \emph{choice number} of a graph $G$, denoted $\ch(G)$, is the minimum integer $k$ such that for any assignment of lists of size $k$ to the vertices of $G$, there is a proper colouring of $G$ such that every vertex is mapped to a colour…

Combinatorics · Mathematics 2013-09-03 Jonathan A. Noel

We consider undirected simple finite graphs. The sets of vertices and edges of a graph $G$ are denoted by $V(G)$ and $E(G)$, respectively. For a graph $G$, we denote by $\delta(G)$ and $\eta(G)$ the least degree of a vertex of $G$ and the…

Combinatorics · Mathematics 2013-07-05 N. N. Davtyan , R. R. Kamalian

In this paper, we introduce a generalization of graphlets to heterogeneous networks called typed graphlets. Informally, typed graphlets are small typed induced subgraphs. Typed graphlets generalize graphlets to rich heterogeneous networks…

Social and Information Networks · Computer Science 2020-10-28 Ryan A. Rossi , Nesreen K. Ahmed , Aldo Carranza , David Arbour , Anup Rao , Sungchul Kim , Eunyee Koh

Various classes of induced subgraphs are involved in the deepest results of graph theory and graph algorithms. A prominent example concerns the {\em perfection} of $G$ that the chromatic number of each induced subgraph $H$ of $G$ equals the…

Data Structures and Algorithms · Computer Science 2022-07-18 Yung-Chung Chiu , Kai-Yuan Lai , Hsueh-I Lu

The emerging theory of graph limits exhibits an analytic perspective on graphs, showing that many important concepts and tools in graph theory and its applications can be described more naturally (and sometimes proved more easily) in…

Combinatorics · Mathematics 2023-08-01 Omri Ben-Eliezer , Eldar Fischer , Amit Levi , Yuichi Yoshida

In this paper, we consider algorithms for edge-coloring multigraphs $G$ of bounded maximum degree, i.e., $\Delta(G) = O(1)$. Shannon's theorem states that any multigraph of maximum degree $\Delta$ can be properly edge-colored with…

Data Structures and Algorithms · Computer Science 2023-10-31 Abhishek Dhawan

We study fully dynamic algorithms for maximum matching. This is a well-studied problem, known to admit several update-time/approximation trade-offs. For instance, it is known how to maintain a 1/2-approximate matching in $\log^{O(1)} n$…

Data Structures and Algorithms · Computer Science 2022-11-15 Soheil Behnezhad

In graph embedding, the connectivity information of a graph is used to represent each vertex as a point in a d-dimensional space. Unlike the original, irregular structural information, such a representation can be used for a multitude of…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-09-01 Taha Atahan Akyildiz , Amro Alabsi Aljundi , Kamer Kaya

With the progressive advancements in deep graph learning, out-of-distribution (OOD) detection for graph data has emerged as a critical challenge. While the efficacy of auxiliary datasets in enhancing OOD detection has been extensively…

Machine Learning · Computer Science 2024-08-01 Junwei He , Qianqian Xu , Yangbangyan Jiang , Zitai Wang , Yuchen Sun , Qingming Huang

We show that there exists only one duality pair for ordered graphs. We will also define a corresponding definition of $\chi^<$-boundedness for ordered graphs and show that all ordered graphs are $\chi^<$-bounded and prove an analogy of…

Combinatorics · Mathematics 2025-12-18 Michal Čertík , Jaroslav Nešetřil

We study the problem of finding and monitoring fixed-size subgraphs in a continually changing large-scale graph. We present the first approach that (i) performs worst-case optimal computation and communication, (ii) maintains a total memory…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-02-13 Khaled Ammar , Frank McSherry , Semih Salihoglu , Manas Joglekar

A graph $G$ is called $B_k$-VPG, for some constant $k\geq 0$, if it has a string representation on an axis-parallel grid such that each vertex is a path with at most $k$ bends and two vertices are adjacent in $G$ if and only if the…

Computational Geometry · Computer Science 2018-09-10 Saeed Mehrabi

A periodic temporal graph, in its simplest form, is a graph in which every edge appears exactly once in the first $\Delta$ time steps, and then it reappears recurrently every $\Delta$ time steps, where $\Delta$ is a given period length.…

Data Structures and Algorithms · Computer Science 2025-04-22 George B. Mertzios , Hendrik Molter , Nils Morawietz , Paul G. Spirakis

We study the problem of computing an approximate maximum cardinality matching in the semi-streaming model when edges arrive in a \emph{random} order. In the semi-streaming model, the edges of the input graph G = (V,E) are given as a stream…

Data Structures and Algorithms · Computer Science 2020-05-04 Aaron Bernstein

The physical world is governed by the laws of physics, often represented in form of nonlinear partial differential equations (PDEs). Unfortunately, solution of PDEs is non-trivial and often involves significant computational time. With…

Machine Learning · Statistics 2021-08-25 Yash Kumar , Souvik Chakraborty

The expansion of a hypergraph, a natural extension of the notion of expansion in graphs, is defined as the minimum over all cuts in the hypergraph of the ratio of the number of the hyperedges cut to the size of the smaller side of the cut.…

Data Structures and Algorithms · Computer Science 2014-04-18 Anand Louis , Yury Makarychev

Let $\mbox{interval} + k v$, $\mbox{interval} + k e$, and $\mbox{interval} - k e$ denote the classes of graphs that can be obtained from some interval graph by adding $k$ vertices, adding $k$ edges, and deleting $k$ edges, respectively.…

Discrete Mathematics · Computer Science 2014-10-10 Yixin Cao

Ordered binary decision diagrams (OBDDs) are an efficient data structure for representing and manipulating Boolean formulas. With respect to different variable orders, the OBDDs' sizes may vary from linear to exponential in the number of…

Artificial Intelligence · Computer Science 2018-11-07 Feifan Xu , Fei He , Enze Xie , Liang Li

In this paper we present a simple but powerful subgraph sampling primitive that is applicable in a variety of computational models including dynamic graph streams (where the input graph is defined by a sequence of edge/hyperedge insertions…

Data Structures and Algorithms · Computer Science 2015-05-08 Rajesh Chitnis , Graham Cormode , Hossein Esfandiari , MohammadTaghi Hajiaghayi , Andrew McGregor , Morteza Monemizadeh , Sofya Vorotnikova