English
Related papers

Related papers: Finding the Right Way to Rome: Effect-oriented Gra…

200 papers

In graph coloring problems, the goal is to assign a positive integer color to each vertex of an input graph such that adjacent vertices do not receive the same color assignment. For classic graph coloring, the goal is to minimize the…

Data Structures and Algorithms · Computer Science 2016-10-11 Joan Boyar , Leah Epstein , Lene M. Favrholdt , Kim S. Larsen , Asaf Levin

Graph generation generally aims to create new graphs that closely align with a specific graph distribution. Existing works often implicitly capture this distribution through the optimization of generators, potentially overlooking the…

Machine Learning · Computer Science 2024-07-19 Song Wang , Zhen Tan , Xinyu Zhao , Tianlong Chen , Huan Liu , Jundong Li

This study addresses the challenge of forming effective groups in collaborative problem-solving environments. Recognizing the complexity of human interactions and the necessity for efficient collaboration, we propose a novel approach…

Computers and Society · Computer Science 2024-03-18 Zheng Fang , Fucai Ke , Jae Young Han , Zhijie Feng , Toby Cai

Line graphs are an alternative representation of graphs where each vertex of the original (root) graph becomes an edge. However not all graphs have a corresponding root graph, hence the transformation from graphs to line graphs is not…

Machine Learning · Statistics 2025-10-10 Sevvandi Kandanaarachchi , Philip Kilby , Cheng Soon Ong

All roads lead to Rome is the core idea of the puzzle game Roma. It is played on an $n \times n$ grid consisting of quadratic cells. Those cells are grouped into boxes of at most four neighboring cells and are either filled, or to be…

Computational Complexity · Computer Science 2022-07-20 Kevin Goergen , Henning Fernau , Esther Oest , Petra Wolf

We address the problem of reasoning on graph transformations featuring actions such as \emph{addition} and \emph{deletion} of nodes and edges, node \emph{merging} and \emph{cloning}, node or edge \emph{labelling} and edge…

Logic in Computer Science · Computer Science 2018-03-08 Jon Haël Brenas , Rachid Echahed , Martin Strecker

Graphs can be used to represent and reason about systems and a variety of metrics have been devised to quantify their global characteristics. However, little is currently known about how to construct a graph or improve an existing one given…

Machine Learning · Computer Science 2021-10-28 Victor-Alexandru Darvariu , Stephen Hailes , Mirco Musolesi

In graph modification problems, one is given a graph G and the goal is to apply a minimum number of modification operations (such as edge deletions) to G such that the resulting graph fulfills a certain property. For example, the Cluster…

Data Structures and Algorithms · Computer Science 2016-06-13 Christian Komusiewicz , André Nichterlein , Rolf Niedermeier

In graph transformation, a conflict describes a situation where two alternative transformations cannot be arbitrarily serialized. When enriching graphs with attributes, existing conflict detection techniques typically report a conflict…

Software Engineering · Computer Science 2015-04-13 Géza Kulcsár , Frederik Deckwerth , Malte Lochau , Gergely Varró , Andy Schürr

An adaptive projection-based reduced-order model (ROM) formulation is presented for model-order reduction of problems featuring chaotic and convection-dominant physics. An efficient method is formulated to adapt the basis at every time-step…

Computational Physics · Physics 2023-08-09 Cheng Huang , Karthik Duraisamy

We introduce agents that use object-oriented reasoning to consider alternate states of the world in order to more quickly find solutions to problems. Specifically, a hierarchical controller directs a low-level agent to behave as if objects…

Graph Crossing Number is a fundamental problem with various applications. In this problem, the goal is to draw an input graph $G$ in the plane so as to minimize the number of crossings between the images of its edges. Despite extensive…

Data Structures and Algorithms · Computer Science 2021-01-12 Julia Chuzhoy , Sepideh Mahabadi , Zihan Tan

We address the problem of defining graph transformations by the simultaneous application of direct transformations even when these cannot be applied independently of each other. An algebraic approach is adopted, with production rules of the…

Logic in Computer Science · Computer Science 2019-04-19 Thierry Boy de la Tour , Rachid Echahed

The complexity class NP of decision problems that can be solved nondeterministically in polynomial time is of great theoretical and practical importance where the notion of polynomial-time reductions between NP-problems is a key concept for…

Computational Complexity · Computer Science 2022-12-23 Hans-Jörg Kreowski , Sabine Kuske , Aaron Lye , Aljoscha Windhorst

We describe a practical algorithm to compute the (oriented) genus of a graph, give results of the program implementing this algorithm, and compare the performance to existing algorithms. The aim of this algorithm is to be fast enough for…

Combinatorics · Mathematics 2020-05-19 G. Brinkmann

We tackle the problem of simultaneous transformations of networks represented as graphs. Roughly speaking, one may distinguish two kinds of simultaneous or parallel rewrite relations over complex structures such as graphs: (i) those which…

Formal Languages and Automata Theory · Computer Science 2017-01-25 Rachid Echahed , Aude Maignan

We translate the action of local Clifford operations on graph states into transformations on their associated graphs - i.e. we provide transformation rules, stated in purely graph theoretical terms, which completely characterize the…

Quantum Physics · Physics 2009-11-10 Maarten Van den Nest , Jeroen Dehaene , Bart De Moor

Recently, graph-based planning algorithms have gained much attention to solve goal-conditioned reinforcement learning (RL) tasks: they provide a sequence of subgoals to reach the target-goal, and the agents learn to execute…

Machine Learning · Computer Science 2023-03-21 Junsu Kim , Younggyo Seo , Sungsoo Ahn , Kyunghwan Son , Jinwoo Shin

Graph aggregation is the process of computing a single output graph that constitutes a good compromise between several input graphs, each provided by a different source. One needs to perform graph aggregation in a wide variety of…

Artificial Intelligence · Computer Science 2018-06-13 Ulle Endriss , Umberto Grandi

Read-only memory model is a classical model of computation to study time-space tradeoffs of algorithms. One of the classical results on the ROM model is that any sorting algorithm that uses O(s) words of extra space requires $\Omega…

Data Structures and Algorithms · Computer Science 2017-11-28 Sankardeep Chakraborty , Anish Mukherjee , Venkatesh Raman , Srinivasa Rao Satti