arXiv++ Combinatorics

A conflict-free k-coloring of a graph assigns one of k different colors to some of the vertices such that, for every vertex v, there is a color that is assigned to exactly one vertex among v and v's neighbors. Such colorings have applications in wireless networking, robotics, and geometry, and are well-studied in graph theory. Here we study the natural problem of the conflict-free chromatic number chi_CF(G) (the smallest k for which conflict-free k-colorings exist). We provide results both for closed neighborhoods N[v], for which a vertex v is a member of its neighborhood, and for open neighborhoods N(v), for which vertex v is not a member of its neighborhood. For closed neighborhoods, we prove the conflict-free variant of the famous Hadwiger Conjecture: If an arbitrary graph G does not contain K_{k+1} as a minor, then chi_CF(G) <= k. For planar graphs, we obtain a tight worst-case bound: three colors are sometimes necessary and always sufficient. We also give a complete characterization of the computational complexity of conflict-free coloring. Deciding whether chi_CF(G)<= 1 is NP-complete for planar graphs G, but polynomial for outerplanar graphs. Furthermore, deciding whether chi_CF(G)<= 2 is NP-complete for planar graphs G, but always true for outerplanar graphs. For the bicriteria problem of minimizing the number of colored vertices subject to a given bound k on the number of colors, we give a full algorithmic characterization in terms of complexity and approximation for outerplanar and planar graphs. For open neighborhoods, we show that every planar bipartite graph has a conflict-free coloring with at most four colors; on the other hand, we prove that for k in {1,2,3}, it is NP-complete to decide whether a planar bipartite graph has a conflict-free k-coloring. Moreover, we establish that any general} planar graph has a conflict-free coloring with at most eight colors.

Let $P$ be a set of $n$ points in the plane. A crossing-free structure on $P$ is a plane graph with vertex set $P$. Examples of crossing-free structures include triangulations of $P$, spanning cycles of $P$, also known as polygonalizations of $P$, among others. In this paper we develop a general technique for computing the number of crossing-free structures of an input set $P$. We apply the technique to obtain algorithms for computing the number of triangulations, matchings, and spanning cycles of $P$. The running time of our algorithms is upper bounded by $n^{O(k)}$, where $k$ is the number of onion layers of $P$. In particular, for $k = O(1)$ our algorithms run in polynomial time. In addition, we show that our algorithm for counting triangulations is never slower than $O^{*}(3.1414^{n})$, even when $k = Θ(n)$. Given that there are several well-studied configurations of points with at least $Ω(3.464^{n})$ triangulations, and some even with $Ω(8^{n})$ triangulations, our algorithm asymptotically outperforms any enumeration algorithm for such instances. In fact, it is widely believed that any set of $n$ points must have at least $Ω(3.464^{n})$ triangulations. If this is true, then our algorithm is strictly sub-linear in the number of triangulations counted. We also show that our techniques are general enough to solve the "Restricted-Triangulation-Counting-Problem", which we prove to be $W[2]$-hard in the parameter $k$. This implies a "no free lunch" result: In order to be fixed-parameter tractable, our general algorithm must rely on additional properties that are specific to the considered class of structures.

Let $P\subset\mathbb{R}^{2}$ be a set of $n$ points. In this paper we show two new algorithms, one to compute the number of triangulations of $P$, and one to compute the number of pseudo-triangulations of $P$. We show that our algorithms run in time $O^{*}(t(P))$ and $O^{*}(pt(P))$ respectively, where $t(P)$ and $pt(P)$ are the largest number of triangulation paths (T-paths) and pseudo-triangulations paths (PT-paths), respectively, that the algorithms encounter during their execution. Moreover, we show that $t(P) = O^{*}(9^{n})$, which is the first non-trivial bound on $t(P)$ to be known. While there already are algorithms that count triangulations in $O^{*}\left(2^n\right)$, and $O^{*}\left(3.1414^{n}\right)$, there are sets of points where the number of T-paths is $O(2^{n})$. In such cases the algorithm herein presented could potentially be faster. Furthermore, it is not clear whether the already-known algorithms can be modified to count pseudo-triangulations so that their running times remain $O^{*}(c^n)$, for some small constant $c\in\mathbb{R}$. Therefore, for counting pseudo-triangulations (and possibly other similar structures) our approach seems better.

In this paper a method for embedding cocyclic submatrices with ``large'' determinants of orders 2t in certain cocyclic Hadamard matrices of orders 4t is described (t an odd integer). If these determinants attain the largest possible value, we are embedding D-optimal designs. Applications to the pivot values that appear when Gaussian Elimination with complete pivoting is performed on these cocyclic Hadamard matrices are studied.

A genetic algorithm based robust blind digital watermarking scheme is presented. Starting from a binary image (the original watermark), a genetic algorithm is performed searching for a permutation of this image which is as uncorrelated as possible to the original watermark. The output of the GA is used as our final watermark, so that both security and robustness in the watermarking process is improved. Now, the original cover image is partitioned into non-overlapped square blocks (depending on the size of the watermark image). Then a (possibly extended) Hadamard transform is applied to these blocks, so that one bit information from the watermark image is embedded in each block by modifying the relationship of two coefficients in the transformed matrices. The watermarked image is finally obtained by simply performing the inverse (extended) Hadamard transform on the modified matrices. The experimental results show that our scheme keeps invisibility, security and robustness more likely than other proposals in the literature, thanks to the GA pretreatment.

Three algorithms looking for pretty large partial Hadamard matrices are described. Here "large" means that hopefully about a third of a Hadamard matrix (which is the best asymptotic result known so far, [dLa00]) is achieved. The first one performs some kind of local exhaustive search, and consequently is expensive from the time consuming point of view. The second one comes from the adaptation of the best genetic algorithm known so far searching for cliques in a graph, due to Singh and Gupta [SG06]. The last one consists in another heuristic search, which prioritizes the required processing time better than the final size of the partial Hadamard matrix to be obtained. In all cases, the key idea is characterizing the adjacency properties of vertices in a particular subgraph G_t of Ito's Hadamard Graph Delta (4t) [Ito85], since cliques of order m in G_t can be seen as (m+3)*4t partial Hadamard matrices.

A characterization of $\mathbb{Z} _t \times \mathbb{Z}_2^2$-cocyclic Hadamard matrices is described, depending on the notions of {\em distributions}, {\em ingredients} and {\em recipes}. In particular, these notions lead to the establishment of some bounds on the number and distribution of 2-coboundaries over $\mathbb{Z}_t \times \mathbb{Z} _2^2$ to use and the way in which they have to be combined in order to obtain a $\mathbb{Z} _t \times \mathbb{Z}_2^2$-cocyclic Hadamard matrix. Exhaustive searches have been performed, so that the table in p. 132 in [4] is corrected and completed. Furthermore, we identify four different operations on the set of coboundaries defining $\mathbb{Z} _t \times \mathbb{Z}_2^2$-cocyclic matrices, which preserve orthogonality. We split the set of Hadamard matrices into disjoint orbits, define representatives for them and take advantage of this fact to compute them in an easier way than the usual purely exhaustive way, in terms of {\em diagrams}. Let ${\cal H}$ be the set of cocyclic Hadamard matrices over $\mathbb{Z}_t \times \mathbb{Z}_2^2$ having a symmetric diagram. We also prove that the set of Williamson type matrices is a subset of ${\cal H}$ of size $\frac{|{\cal H}|}{t}$.

Following the ideas of [AGG11] about Zt x Z2,2-cocyclic Hadamard matrices, we introduce the notion of diagram, which visually represents any set of coboundaries. Diagrams are a very useful tool for the description and the study of paths and intersections, as described in [AGG11]. Then, we will study four different operations on Zt x Z2,2-cocyclic matrices. These operations will be defined on the set of coboundaries defining the matrix, preserve the Hadamard character of the cocyclic matrices, and allow us to obtain new Hadamard matrices from old ones. We split the set of Hadamard matrices into disjoint orbits, define representatives for them and take advantage of this fact to compute them in an easier way than the usual purely exhaustive way.