English
Related papers

Related papers: Extending Partial Representations of Rectangular D…

200 papers

Temporal graphs are graphs whose topology is subject to discrete changes over time. Given a static underlying graph $G$, a temporal graph is represented by assigning a set of integer time-labels to every edge $e$ of $G$, indicating the…

Discrete Mathematics · Computer Science 2020-09-30 George B. Mertzios , Hendrik Molter , Rolf Niedermeier , Viktor Zamaraev , Philipp Zschoche

Machine learning approaches for solving partial differential equations require learning mappings between function spaces. While convolutional or graph neural networks are constrained to discretized functions, neural operators present a…

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

An index coding (IC) problem consisting of a server and multiple receivers with different side-information and demand sets can be equivalently represented using a fitting matrix. A scalar linear index code to a given IC problem is a matrix…

Information Theory · Computer Science 2017-04-04 Vamsi Krishna Gummadi , Ashok Choudhary , Prasad Krishnan

We study some partially de Rham representations of $\mathrm{Gal}(\bar{L}/L)$ for a finite unramified extension $L$ of $\mathbb{Q}_p$. We study some related subspaces of Galois cohomology and of cohomology of $B$-pairs. As an application, we…

Number Theory · Mathematics 2015-09-02 Yiwen Ding

A graph is rectilinear planar if it admits a planar orthogonal drawing without bends. While testing rectilinear planarity is NP-hard in general (Garg and Tamassia, 2001), it is a long-standing open problem to establish a tight upper bound…

Data Structures and Algorithms · Computer Science 2023-06-23 Walter Didimo , Michael Kaufmann , Giuseppe Liotta , Giacomo Ortali

Tolerance graphs model interval relations in such a way that intervals can tolerate a certain amount of overlap without being in conflict. In one of the most natural generalizations of tolerance graphs with direct applications in the…

Computational Complexity · Computer Science 2016-05-17 Archontia C. Giannopoulou , George B. Mertzios

We study geometric duality for convex vector optimization problems. For a primal problem with a $q$-dimensional objective space, we formulate a dual problem with a $(q+1)$-dimensional objective space. Consequently, different from an…

Optimization and Control · Mathematics 2022-09-27 Çağın Ararat , Simay Tekgül , Firdevs Ulus

An overlap representation is an assignment of sets to the vertices of a graph in such a way that two vertices are adjacent if and only if the sets assigned to them overlap. The overlap number of a graph is the minimum number of elements…

Discrete Mathematics · Computer Science 2010-08-17 Bill Rosgen , Lorna Stewart

Traditional representations of graphs and their duals suggest the requirement that the dual vertices be placed inside their corresponding primal faces, and the edges of the dual graph cross only their corresponding primal edges. We consider…

Computational Geometry · Computer Science 2007-05-23 C. Erten , S. G. Kobourov

An interesting class of orthogonal representations consists of the so-called turn-regular ones, i.e., those that do not contain any pair of reflex corners that "point to each other" inside a face. For such a representation H it is possible…

We introduce partial duality of hypermaps, which include the classical Euler-Poincar\'e duality as a particular case. Combinatorially, hypermaps may be described in one of three ways: as three involutions on the set of flags (bi-rotation…

Combinatorics · Mathematics 2021-02-10 Sergei Chmutov , Fabien Vignes-Tourneret

Convexification techniques have gained increasing interest over the past decades. In this work, we apply a recently developed convexification technique for fractional programs by He, Liu and Tawarmalani (2024) to the problem of determining…

Optimization and Control · Mathematics 2024-10-04 Timotej Hrga , Melanie Siebenhofer , Angelika Wiegele

We consider the problem of testing small set expansion for general graphs. A graph $G$ is a $(k,\phi)$-expander if every subset of volume at most $k$ has conductance at least $\phi$. Small set expansion has recently received significant…

Data Structures and Algorithms · Computer Science 2015-01-06 Angsheng Li , Pan Peng

Over the past twenty years, rectangle visibility graphs have generated considerable interest, in part due to their applicability to VLSI chip design. Here we study unit rectangle visibility graphs, with fixed dimension restrictions more…

Combinatorics · Mathematics 2007-10-12 Alice Dean , Joanna A. Ellis-Monaghan , Sarah Hamilton , Greta Pangborn

Real-world graphs generally have only one kind of tendency in their connections. These connections are either homophily-prone or heterophily-prone. While graphs with homophily-prone edges tend to connect nodes with the same class (i.e.,…

Social and Information Networks · Computer Science 2023-06-14 Yizhen Zheng , He Zhang , Vincent CS Lee , Yu Zheng , Xiao Wang , Shirui Pan

Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification. Pure symbolic approaches while popular, still suffer from the state space explosion problem that makes them impractical…

Programming Languages · Computer Science 2022-07-27 Prasita Mukherjee , Haoteng Yin , Susheel Suresh , Tiark Rompf

We already know that several problems like the inequivalence of P and EXP as well as the undecidability of the acceptance problem and halting problem relativize. However, relativization is a limited tool which cannot separate other…

Computational Complexity · Computer Science 2026-01-15 Baruch Garcia

In this article, we consider two proper double splittings satisfying certain conditions, of a semi-monotone rectangular matrix A and derive new comparison results for the spectral radii of the correspond ing iteration matrices. These…

Functional Analysis · Mathematics 2019-07-26 K. Appi Reddy , T. Kurmayya

The presented work is part of a larger research program dealing with developing tools for coupling biogeochemical models in contaminated landscapes. The specific objective of this article is to provide the researchers a tool to build…

Mathematical Software · Computer Science 2020-09-03 Stelian Ion , Dorin Marinescu , Stefan-Gicu Cruceanu , Virgil Iordache