-
Exploring subgraph complementation to bounded degree graphs
Authors:
Ivo Koch,
Nina Pardal,
Vinicius F. dos Santos
Abstract:
Graph modification problems are computational tasks where the goal is to change an input graph $G$ using operations from a fixed set, in order to make the resulting graph satisfy a target property, which usually entails membership to a desired graph class $\mathcal{C}$. Some well-known examples of operations include vertex-deletion, edge-deletion, edge-addition and edge-contraction. In this paper…
▽ More
Graph modification problems are computational tasks where the goal is to change an input graph $G$ using operations from a fixed set, in order to make the resulting graph satisfy a target property, which usually entails membership to a desired graph class $\mathcal{C}$. Some well-known examples of operations include vertex-deletion, edge-deletion, edge-addition and edge-contraction. In this paper we address an operation known as subgraph complement. Given a graph $G$ and a subset $S$ of its vertices, the subgraph complement $G \oplus S$ is the graph resulting of complementing the edge set of the subgraph induced by $S$ in $G$. We say that a graph $H$ is a subgraph complement of $G$ if there is an $S$ such that $H$ is isomorphic to $G \oplus S$. For a graph class $\mathcal{C}$, subgraph complementation to $\mathcal{C}$ is the problem of deciding, for a given graph $G$, whether $G$ has a subgraph complement in $\mathcal{C}$. This problem has been studied and its complexity has been settled for many classes $\mathcal{C}$ such as $\mathcal{H}$-free graphs, for various families $\mathcal{H}$, and for classes of bounded degeneracy. In this work, we focus on classes graphs of minimum/maximum degree upper/lower bounded by some value $k$. In particular, we answer an open question of Antony et al. [Information Processing Letters 188, 106530 (2025)], by showing that subgraph complementation to $\mathcal{C}$ is NP-complete when $\mathcal{C}$ is the class of graphs of minimum degree at least $k$, if $k$ is part of the input. We also show that subgraph complementation to $k$-regular parameterized by $k$ is fixed-parameter tractable.
△ Less
Submitted 16 May, 2025; v1 submitted 21 February, 2025;
originally announced February 2025.
-
Semantic Web and Creative AI -- A Technical Report from ISWS 2023
Authors:
Raia Abu Ahmad,
Reham Alharbi,
Roberto Barile,
Martin Böckling,
Francisco Bolanos,
Sara Bonfitto,
Oleksandra Bruns,
Irene Celino,
Yashrajsinh Chudasama,
Martin Critelli,
Claudia d'Amato,
Giada D'Ippolito,
Ioannis Dasoulas,
Stefano De Giorgis,
Vincenzo De Leo,
Chiara Di Bonaventura,
Marco Di Panfilo,
Daniil Dobriy,
John Domingue,
Xuemin Duan,
Michel Dumontier,
Sefika Efeoglu,
Ruben Eschauzier,
Fakih Ginwa,
Nicolas Ferranti
, et al. (52 additional authors not shown)
Abstract:
The International Semantic Web Research School (ISWS) is a week-long intensive program designed to immerse participants in the field. This document reports a collaborative effort performed by ten teams of students, each guided by a senior researcher as their mentor, attending ISWS 2023. Each team provided a different perspective to the topic of creative AI, substantiated by a set of research quest…
▽ More
The International Semantic Web Research School (ISWS) is a week-long intensive program designed to immerse participants in the field. This document reports a collaborative effort performed by ten teams of students, each guided by a senior researcher as their mentor, attending ISWS 2023. Each team provided a different perspective to the topic of creative AI, substantiated by a set of research questions as the main subject of their investigation. The 2023 edition of ISWS focuses on the intersection of Semantic Web technologies and Creative AI. ISWS 2023 explored various intersections between Semantic Web technologies and creative AI. A key area of focus was the potential of LLMs as support tools for knowledge engineering. Participants also delved into the multifaceted applications of LLMs, including legal aspects of creative content production, humans in the loop, decentralised approaches to multimodal generative AI models, nanopublications and AI for personal scientific knowledge graphs, commonsense knowledge in automatic story and narrative completion, generative AI for art critique, prompt engineering, automatic music composition, commonsense prototyping and conceptual blending, and elicitation of tacit knowledge. As Large Language Models and semantic technologies continue to evolve, new exciting prospects are emerging: a future where the boundaries between creative expression and factual knowledge become increasingly permeable and porous, leading to a world of knowledge that is both informative and inspiring.
△ Less
Submitted 30 January, 2025;
originally announced January 2025.
-
Moving from ISAD(G) to a CIDOC CRM-based Linked Data Model in the Portuguese Archives
Authors:
Inês Koch,
Carla Teixeira Lopes,
Cristina Ribeiro
Abstract:
Archives are facing numerous challenges. On the one hand, archival assets are evolving to encompass digitized documents and increasing quantities of born-digital information in diverse formats. On the other hand, the audience is changing along with how it wishes to access archival material. Moreover, the interoperability requirements of cultural heritage repositories are growing. In this context,…
▽ More
Archives are facing numerous challenges. On the one hand, archival assets are evolving to encompass digitized documents and increasing quantities of born-digital information in diverse formats. On the other hand, the audience is changing along with how it wishes to access archival material. Moreover, the interoperability requirements of cultural heritage repositories are growing. In this context, the Portuguese Archives started an ambitious program aiming to evolve its data model, migrate existing records, and build a new archival management system appropriate to both archival tasks and public access. The overall goal is to have a fine-grained and flexible description, more machine-actionable than the current one. This work describes ArchOnto, a linked open data model for archives, and rules for its automatic population from existing records. ArchOnto adopts a semantic web approach and encompasses the CIDOC Conceptual Reference Model and additional ontologies, envisioning interoperability with datasets curated by multiple communities of practice. Existing ISAD(G)-conforming descriptions are being migrated to the new model using the direct mappings provided here. We used a sample of 25 records associated with different description levels to validate the completeness and conformity of ArchOnto to existing data. This work is in progress and is original in several respects: (1) it is one of the first approaches to use CIDOC CRM in the context of archives, identifying problems and questions that emerged during the process and pinpointing possible solutions; (2) it addresses the balance in the model between the migration of existing records and the construction of new ones by archive professionals; and (3) it adopts an open world view on linking archival data to global information sources.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Edge deletion to tree-like graph classes
Authors:
Ivo Koch,
Nina Pardal,
Vinicius Fernandes dos Santos
Abstract:
For a fixed property (graph class) $Π$, given a graph G and an integer k, the $Π$-deletion problem consists in deciding if we can turn $G$ into a graph with the property $Π$ by deleting at most $k$ edges. The $Π$-deletion problem is known to be NP-hard for most of the well-studied graph classes, such as chordal, interval, bipartite, planar, comparability and permutation graphs, among others; even…
▽ More
For a fixed property (graph class) $Π$, given a graph G and an integer k, the $Π$-deletion problem consists in deciding if we can turn $G$ into a graph with the property $Π$ by deleting at most $k$ edges. The $Π$-deletion problem is known to be NP-hard for most of the well-studied graph classes, such as chordal, interval, bipartite, planar, comparability and permutation graphs, among others; even deletion to cacti is known to be NP-hard for general graphs. However, there is a notable exception: the deletion problem to trees is polynomial. Motivated by this fact, we study the deletion problem for some classes similar to trees, addressing in this way a knowledge gap in the literature. We prove that deletion to cacti is hard even when the input is a bipartite graph. On the positive side, we show that the problem becomes tractable when the input is chordal, and for the special case of quasi-threshold graphs we give a simpler and faster algorithm. In addition, we present sufficient structural conditions on the graph class $Π$ that imply the NP-hardness of the $Π$-deletion problem, and show that deletion from general graphs to some well-known subclasses of forests is NP-hard.
△ Less
Submitted 13 July, 2023; v1 submitted 7 October, 2022;
originally announced October 2022.
-
On the proper interval completion problem within some chordal subclasses
Authors:
François Dross,
Claire Hilaire,
Ivo Koch,
Valeria Leoni,
Nina Pardal,
María Inés Lopez Pujato,
Vinicius Fernandes dos Santos
Abstract:
Given a property (graph class) $Π$, a graph $G$, and an integer $k$, the \emph{$Π$-completion} problem consists in deciding whether we can turn $G$ into a graph with the property $Π$ by adding at most $k$ edges to $G$. The $Π$-completion problem is known to be NP-hard for general graphs when $Π$ is the property of being a proper interval graph (PIG). In this work, we study the PIG-completion probl…
▽ More
Given a property (graph class) $Π$, a graph $G$, and an integer $k$, the \emph{$Π$-completion} problem consists in deciding whether we can turn $G$ into a graph with the property $Π$ by adding at most $k$ edges to $G$. The $Π$-completion problem is known to be NP-hard for general graphs when $Π$ is the property of being a proper interval graph (PIG). In this work, we study the PIG-completion problem %when $Π$ is the class of proper interval graphs (PIG) within different subclasses of chordal graphs. We show that the problem remains NP-complete even when restricted to split graphs. We then turn our attention to positive results and present polynomial time algorithms to solve the PIG-completion problem when the input is restricted to caterpillar and threshold graphs. We also present an efficient algorithm for the minimum co-bipartite-completion for quasi-threshold graphs, which provides a lower bound for the PIG-completion problem within this graph class.
△ Less
Submitted 11 August, 2023; v1 submitted 14 October, 2021;
originally announced October 2021.
-
General Cut-Generating Procedures for the Stable Set Polytope
Authors:
Ricardo C. Corrêa,
Diego Delle Donne,
Ivo Koch,
Javier Marenco
Abstract:
We propose general separation procedures for generating cuts for the stable set polytope, inspired by a procedure by Rossi and Smriglio and applying a lifting method by Xavier and Campêlo. In contrast to existing cut-generating procedures, ours generate both rank and non-rank valid inequalities, hence they are of a more general nature than existing methods. This is accomplished by iteratively solv…
▽ More
We propose general separation procedures for generating cuts for the stable set polytope, inspired by a procedure by Rossi and Smriglio and applying a lifting method by Xavier and Campêlo. In contrast to existing cut-generating procedures, ours generate both rank and non-rank valid inequalities, hence they are of a more general nature than existing methods. This is accomplished by iteratively solving a lifting problem, which consists of a maximum weighted stable set problem on a smaller graph. Computational experience on DIMACS benchmark instances shows that the proposed approach may be a useful tool for generating cuts for the stable set polytope.
△ Less
Submitted 28 December, 2017; v1 submitted 29 December, 2015;
originally announced December 2015.
