English
Related papers

Related papers: The Zero Cubes Free and Cubes Unique Multidimensio…

200 papers

We identify a new and important global (or non-binary) constraint. This constraint ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered. This constraint is useful for a number of different…

Artificial Intelligence · Computer Science 2009-05-26 Alan M. Frisch , Ian Miguel , Zeynep Kiziltan , Brahim Hnich , Toby Walsh

For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be…

This paper concerns non-overlapping codes, block codes motivated by synchronisation and DNA-based storage applications. Most existing constructions of these codes do not account for the restrictions posed by the physical properties of…

Information Theory · Computer Science 2025-02-05 Lidija Stanovnik , Miha Moškon , Miha Mraz

In this paper we extend the theory of bidimensionality to two families of graphs that do not exclude fixed minors: map graphs and power graphs. In both cases we prove a polynomial relation between the treewidth of a graph in the family and…

Discrete Mathematics · Computer Science 2007-05-23 Erik D. Demaine , MohammadTaghi Hajiaghayi

We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in the presence of linked data structures, 2) shape analysis…

Programming Languages · Computer Science 2007-05-23 Viktor Kuncak , Martin Rinard

We discuss a weak constraint qualification for conic linear programs and its applications for a few classes of cones. This constraint qualification is used to give a solution to a problem proposed by Shapiro and Z\v{a}linescu and show that…

Optimization and Control · Mathematics 2015-04-24 Bruno F. Lourenço

We propose new constructions for a two-dimensional ($2$D) perfect array, complete complementary code (CCC), and multiple CCCs as an optimal symmetrical $Z$-complementary code set (ZCCS). We propose a method to generate a two-dimensional…

Information Theory · Computer Science 2024-08-27 Rajen Kumar , Prashant Kumar Srivastava , Sudhan Majhi

We consider a puzzle such that a set of colored cubes is given as an instance. Each cube has unit length on each edge and its surface is colored so that what we call the Surface Color Condition is satisfied. Given a palette of six colors,…

Discrete Mathematics · Computer Science 2015-12-04 Kazuya Haraguchi

We present a family of quantum stabilizer codes using the structure of duadic constacyclic codes over $\mathbb{F}_4$. Within this family, quantum codes can possess varying dimensions, and their minimum distances are lower bounded by a…

Information Theory · Computer Science 2024-05-28 Reza Dastbasteh , Josu Etxezarreta Martinez , Andrew Nemec , Antonio deMarti iOlius , Pedro Crespo Bofill

Coherence phenomena appear in two different situations. In the context of category theory the term `coherence constraints' refers to a set of diagrams whose commutativity implies the commutativity of a larger class of diagrams. In the…

q-alg · Mathematics 2007-05-23 Martin Markl , Steve Shnider

We study constrained clustering, where constraints guide the clustering process. In existing works, two categories of constraints have been widely explored, namely pairwise and cardinality constraints. Pairwise constraints enforce the…

Machine Learning · Computer Science 2023-01-30 Adel Bibi , Ali Alqahtani , Bernard Ghanem

We consider two-dimensional $(\lambda_1, \lambda_2)$-constacyclic codes over $\mathbb{F}_{q}$ of area $M N$, where $q$ is some power of prime $p$ with $\gcd(M,p)=1$ and $\gcd(N,p)=1$. With the help of common zero (CZ) set, we characterize…

Information Theory · Computer Science 2025-12-24 Vidya Sagar , Shikha Patel , Ashutosh Singh , Shayan Srinivasa Garani

This paper investigates the problem of single-source multicasting over a communication network in the presence of restricted adversaries. When the adversary is constrained to operate only on a prescribed subset of edges, classical cut-set…

Information Theory · Computer Science 2026-03-10 Christopher Hojny , Altan B. Kılıç , Sascha Kurz , Alberto Ravagnani

Associated to any finite metric space are a large number of objects and quantities which provide some degree of structural or geometric information about the space. In this paper we show that in the setting of subsets of weighted Hamming…

Functional Analysis · Mathematics 2024-09-19 Ian Doust , Anthony Weston

Determining the space of free discrete two generator groups of M\"obius transformations is an old and difficult problem. In this paper we show how to construct large balls of full dimension in this space. To do this, we begin with a marked…

Complex Variables · Mathematics 2007-05-23 Jane Gilman , Linda Keen

Zero forcing number has recently become an interesting graph parameter studied in its own right since its introduction by the "AIM Minimum Rank -- Special Graphs Work Group", whereas metric dimension is a well-known graph parameter. We…

Combinatorics · Mathematics 2014-12-11 Linda Eroh , Cong X. Kang , Eunjeong Yi

We investigate combinatorial, topological and algebraic properties of certain classes of neural codes. We look into a conjecture that states if the minimal \textit{open convex} embedding dimension of a neural code is two then its minimal…

Geometric Topology · Mathematics 2023-09-21 Neha Gupta , Suhith K N

We give a complete characterisation of the cubic graphs with no eigenvalues in the interval $(-2,0)$. There is one thin infinite family consisting of a single graph on $6n$ vertices for each $n \geqslant 2$, and five ``sporadic'' graphs,…

Combinatorics · Mathematics 2025-06-09 Krystal Guo , Gordon F. Royle

A matching $M$ in a graph $G$ is uniquely restricted if no other matching in $G$ covers the same set of vertices. We prove that any connected subcubic graph with $n$ vertices and girth at least $5$ contains a uniquely restricted matching of…

Combinatorics · Mathematics 2018-10-11 Maximilian Fürst , Dieter Rautenbach

We revisit the Raz-Safra plane-vs.-plane test and study the closely related cube vs. cube test. In this test the tester has access to a "cubes table" which assigns to every cube a low degree polynomial. The tester randomly selects two cubes…

Computational Complexity · Computer Science 2016-12-23 Amey Bhangale , Irit Dinur , Inbal Livni Navon