Computational Complexity

New submissions

• New submissions
• Cross-lists

New submissions for Fri, 30 Jul 21

[1]  arXiv:2107.13809 [pdf, other]

Title: Generalisations of Matrix Partitions : Complexity and Obstructions

Authors: Alexey Barsukov, Mamadou Moustapha Kanté

Comments: 22 pages, 6 figures

Subjects: Computational Complexity (cs.CC)

A trigraph is a graph where each pair of vertices is labelled either 0 (a non-edge), 1 (an edge) or $\star$ (both an edge and a non-edge). In a series of papers, Hell et al. proposed to study the complexity of homomorphisms from graphs to trigraphs, called Matrix Partition Problems, where edges and non-edges can be both mapped to $\star$-edges, while a non-edge cannot be mapped to an edge, and vice-versa. Even though, Matrix Partition Problems are generalisations of CSPs, they share with them the property of being "intrinsically" combinatorial. So, the question of a possible dichotomy, i.e. P-time vs NP-complete, is a very natural one and raised in Hell et al.'s papers. We propose in this paper to study Matrix Partition Problems on relational structures, wrt a dichotomy question, and, in particular, homomorphisms between trigraphs. We first show that trigraph homomorphisms and Matrix Partition Problems are P-time equivalent, and then prove that one can also restrict (wrt dichotomy) to relational structures with one relation. Failing in proving that Matrix Partition Problems on directed graphs are not P-time equivalent to Matrix Partitions on relational structures, we give some evidence that it is unlikely by showing that reductions used in the case of CSPs cannot work. We turn then our attention to Matrix Partitions with finite sets of obstructions. We show that, for a fixed trigraph, the set of inclusion-wise minimal obstructions is finite for directed graphs if and only if it is finite for trigraphs. We also prove similar results for relational structures. We conclude by showing that on trees (seen as trigraphs) it is NP-complete to decide whether a given tree has a trigraph homomorphism to another input trigraph. The latter shows a notable difference on tractability between CSP and Matrix Partition as it is well-known that CSP is tractable on the class of trees.

Cross-lists for Fri, 30 Jul 21

[2]  arXiv:2107.14126 (cross-list from cs.DS) [pdf, other]

Title: The Complexity of Growing a Graph

Authors: George B. Mertzios, Othon Michail, George Skretas, Paul G. Spirakis, Michail Theofilatos

Comments: 33 pages

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

Motivated by biological processes, we introduce here the model of growing graphs, a new model of highly dynamic networks. Such networks have as nodes entities that can self-replicate and thus can expand the size of the network. This gives rise to the problem of creating a target network $G$ starting from a single entity (node). To properly model this, we assume that every node $u$ can generate at most one node $v$ at every round (or time slot), and every generated node $v$ can activate edges with other nodes only at the time of its birth, provided that these nodes are up to a small distance $d$ away from $v$. We show that the most interesting case is when the distance is $d=2$. Edge deletions are allowed at any time slot. This creates a natural balance between how fast (time) and how efficiently (number of deleted edges) a target network can be generated. A central question here is, given a target network $G$ of $n$ nodes, can $G$ be constructed in the model of growing graphs in at most $k$ time slots and with at most $\ell$ excess edges (i.e., auxiliary edges $\notin E(G)$ that are activated and later deleted)? We consider here both centralized and distributed algorithms for such questions (and also their computational complexity). Our results include lower bounds based on properties of the target network and algorithms for general graph classes that try to balance speed and efficiency. We then show that the optimal number of time slots to construct an input target graph with zero-waste (i.e., no edge deletions allowed), is hard even to approximate within $n^{1-\varepsilon}$, for any $\varepsilon>0$, unless P=NP. On the contrary, the question of the feasibility of constructing a given target graph in $\log n$ time slots and zero-waste, can be answered in polynomial time. Finally, we initiate a discussion on possible extensions for this model for a distributed setting.

• New submissions
• Cross-lists