English
Related papers

Related papers: Construct Graph Logic

200 papers

Graphs are by nature unifying abstractions that can leverage interconnectedness to represent, explore, predict, and explain real- and digital-world phenomena. Although real users and consumers of graph instances and graph workloads…

For a given number of colors, $s$, the guessing number of a graph is the (base $s$) logarithm of the cardinality of the largest family of colorings of the vertex set of the graph such that the color of each vertex can be determined from the…

Combinatorics · Mathematics 2020-09-11 Jo Martin , Puck Rombach

We propose a new approach to text semantic analysis and general corpus analysis using, as termed in this article, a "bi-gram graph" representation of a corpus. The different attributes derived from graph theory are measured and analyzed as…

Machine Learning · Computer Science 2021-07-30 Thomas Konstantinovsky , Matan Mizrachi

Graph-level contrastive learning, aiming to learn the representations for each graph by contrasting two augmented graphs, has attracted considerable attention. Previous studies usually simply assume that a graph and its augmented graph as a…

Artificial Intelligence · Computer Science 2024-04-15 Yanbei Liu , Yu Zhao , Xiao Wang , Lei Geng , Zhitao Xiao

A biform theory is a combination of an axiomatic theory and an algorithmic theory that supports the integration of reasoning and computation. These are ideal for formalizing algorithms that manipulate mathematical expressions. A theory…

Logic in Computer Science · Computer Science 2017-07-27 Jacques Carette , William M. Farmer

We provide algorithms involving edge slides, for a connected simple graph to evolve in a finite number of steps to another connected simple graph in a prescribed configuration, and for the regularization of such a graph by the minimization…

Combinatorics · Mathematics 2010-02-08 Paul Baird , Marius Tiba

We present a means of formulating and solving graph coloring problems with probabilistic graphical models. In contrast to the prevalent literature that uses factor graphs for this purpose, we instead approach it from a cluster graph…

Machine Learning · Computer Science 2021-10-06 Simon Streicher , Johan du Preez

Knitting, an ancient fiber art, creates a structured fabric consisting of loops or stitches. Publishing hand knitting patterns involves lengthy testing periods and numerous knitters. Modeling knitting patterns with graphs can help expedite…

Human-Computer Interaction · Computer Science 2024-06-21 Kathryn Gray , Brian Bell , Stephen Kobourov

The increasing prevalence of graph-structured data across various domains has intensified greater interest in graph classification tasks. While numerous sophisticated graph learning methods have emerged, their complexity often hinders…

Machine Learning · Computer Science 2025-09-03 Saiful Islam , Md. Nahid Hasan , Pitambar Khanra

We consider the selective graph coloring problem, which is a generalization of the classical graph coloring problem. Given a graph together with a partition of its vertex set into clusters, we want to choose exactly one vertex per cluster…

Data Structures and Algorithms · Computer Science 2021-01-01 Oylum Şeker , Tınaz Ekim , Z. Caner Taşkın

We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world…

We introduce the idea of an n-simplex graph and games upon simplicial complexes. We then define moves on a labeled graph and pose the problem of whether given two labelings of a graph it is possible to change one into another via these…

Combinatorics · Mathematics 2007-05-23 Marc Zucker

This paper describes several new problems and ideas concerning algebraic geometry and complexity theory. It first uses the idea of coloring graphs with elements of finite fields. This procedure then shows that graph coloring problems can be…

Algebraic Geometry · Mathematics 2025-03-20 Paul Hriljac

We present a novel method that can learn a graph representation from multivariate data. In our representation, each node represents a cluster of data points and each edge represents the subset-superset relationship between clusters, which…

Machine Learning · Computer Science 2018-12-11 Yuka Yoneda , Mahito Sugiyama , Takashi Washio

In this article, we extend several algebraic graph analysis methods to bipartite networks. In various areas of science, engineering and commerce, many types of information can be represented as networks, and thus the discipline of network…

Discrete Mathematics · Computer Science 2015-01-16 Jérôme Kunegis

A proper edge $t$-coloring of a graph is a coloring of its edges with colors $1,2,...,t$ such that all colors are used, and no two adjacent edges receive the same color. For any integer $n\geq 3$, all possible values of $t$ are found, for…

Discrete Mathematics · Computer Science 2012-05-02 R. R. Kamalian

In this paper we study underlying graphs corresponding to a set of halving lines. We establish many properties of such graphs. In addition, we tighten the upper bound for the number of halving lines.

Combinatorics · Mathematics 2018-03-16 Tanya Khovanova , Dai Yang

In the field of complex networks and graph theory, new results are typically tested on graphs generated by a variety of algorithms such as the Erd\H{o}s-R\'{e}nyi model or the Barab\'{a}si-Albert model. Unfortunately, most graph generating…

Combinatorics · Mathematics 2018-08-16 Isaac Klickstein , Francesco Sorrentino

This paper presents a comprehensive exploration of relation extraction utilizing advanced language models, specifically Chain of Thought (CoT) and Graphical Reasoning (GRE) techniques. We demonstrate how leveraging in-context learning with…

Computation and Language · Computer Science 2024-05-02 Yicheng Tao , Yiqun Wang , Longju Bai

Extending the work of Godsil and others, we investigate the notion of the inverse of a graph (specifically, of bipartite graphs with a unique perfect matching). We provide a concise necessary and sufficient condition for the invertibility…

Combinatorics · Mathematics 2011-08-19 Cam McLeman , Erin McNicholas