Computational Complexity
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Fri, 30 Jul 21
 [1] arXiv:2107.13809 [pdf, other]

Title: Generalisations of Matrix Partitions : Complexity and ObstructionsComments: 22 pages, 6 figuresSubjects: Computational Complexity (cs.CC)
A trigraph is a graph where each pair of vertices is labelled either 0 (a nonedge), 1 (an edge) or $\star$ (both an edge and a nonedge). 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 nonedges can be both mapped to $\star$edges, while a nonedge cannot be mapped to an edge, and viceversa. 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. Ptime vs NPcomplete, 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 Ptime 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 Ptime 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 inclusionwise 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 NPcomplete 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 wellknown that CSP is tractable on the class of trees.
Crosslists for Fri, 30 Jul 21
 [2] arXiv:2107.14126 (crosslist from cs.DS) [pdf, other]

Title: The Complexity of Growing a GraphComments: 33 pagesSubjects: 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 selfreplicate 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 zerowaste (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 zerowaste, can be answered in polynomial time. Finally, we initiate a discussion on possible extensions for this model for a distributed setting.
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, cs, recent, 2107, contact, help (Access key information)