Hypomorphy of graphs up to complementation

Let $V$ be a set of cardinality $v$ (possibly infinite). Two graphs $G$ and $G'$ with vertex set $V$ are {\it isomorphic up to complementation} if $G'$ is isomorphic to $G$ or to the complement $\bar G$ of $G$. Let $k$ be a non-negative integer, $G$ and $G'$ are {\it $k$-hypomorphic up to complementation} if for every $k$-element subset $K$ of $V$, the induced subgraphs $G\_{\restriction K}$ and $G'\_{\restriction K}$ are isomorphic up to complementation. A graph $G$ is {\it $k$-reconstructible up to complementation} if every graph $G'$ which is $k$-hypomorphic to $G$ up to complementation is in fact isomorphic to $G$ up to complementation. We give a partial characterisation of the set $\mathcal S$ of pairs $(n,k)$ such that two graphs $G$ and $G'$ on the same set of $n$ vertices are equal up to complementation whenever they are $k$-hypomorphic up to complementation. We prove in particular that $\mathcal S$ contains all pairs $(n,k)$ such that $4\leq k\leq n-4$. We also prove that 4 is the least integer $k$ such that every graph $G$ having a large number $n$ of vertices is $k$-reconstructible up to complementation; this answers a question raised by P. Ill

Can Nondeterminism Help Complementation?

Complementation and determinization are two fundamental notions in automata theory. The close relationship between the two has been well observed in the literature. In the case of nondeterministic finite automata on finite words (NFA), complementation and determinization have the same state complexity, namely Theta(2^n) where n is the state size. The same similarity between determinization and complementation was found for Buchi automata, where both operations were shown to have 2^\Theta(n lg n) state complexity. An intriguing question is whether there exists a type of omega-automata whose determinization is considerably harder than its complementation. In this paper, we show that for all common types of omega-automata, the determinization problem has the same state complexity as the corresponding complementation problem at the granularity of 2^\Theta(.).Comment: In Proceedings GandALF 2012, arXiv:1210.202

On self-complementation

We prove that, with very few exceptions, every graph of order n, n - 0, 1(mod 4) and size at most n - 1, is contained in a self-complementary graph of order n. We study a similar problem for digraphs

Tight Upper Bounds for Streett and Parity Complementation

Complementation of finite automata on infinite words is not only a fundamental problem in automata theory, but also serves as a cornerstone for solving numerous decision problems in mathematical logic, model-checking, program analysis and verification. For Streett complementation, a significant gap exists between the current lower bound $2^{\Omega(n\lg nk)}$ and upper bound $2^{O(nk\lg nk)}$, where $n$ is the state size, $k$ is the number of Streett pairs, and $k$ can be as large as $2^{n}$. Determining the complexity of Streett complementation has been an open question since the late '80s. In this paper show a complementation construction with upper bound $2^{O(n \lg n+nk \lg k)}$ for $k = O(n)$ and $2^{O(n^{2} \lg n)}$ for $k = \omega(n)$, which matches well the lower bound obtained in \cite{CZ11a}. We also obtain a tight upper bound $2^{O(n \lg n)}$ for parity complementation.Comment: Corrected typos. 23 pages, 3 figures. To appear in the 20th Conference on Computer Science Logic (CSL 2011

Binary matroids and local complementation

We introduce a binary matroid M(IAS(G)) associated with a looped simple graph G. M(IAS(G)) classifies G up to local equivalence, and determines the delta-matroid and isotropic system associated with G. Moreover, a parametrized form of its Tutte polynomial yields the interlace polynomials of G.Comment: This article supersedes arXiv:1301.0293. v2: 26 pages, 2 figures. v3 - v5: 31 pages, 2 figures v6: Final prepublication versio

Mapping of RNA- temperature-sensitive mutants of Sindbis virus: assignment of complementation groups A, B, and G to nonstructural proteins

Four complementation groups of temperature-sensitive (ts) mutants of Sindbis virus that fail to make RNA at the nonpermissive temperature are known, and we have previously shown that group F mutants have defects in nsP4. Here we map representatives of groups A, B, and G. Restriction fragments from a full-length clone of Sindbis virus, Toto1101, were replaced with the corresponding fragments from the various mutants. These hybrid plasmids were transcribed in vitro by SP6 RNA polymerase to produce infectious RNA transcripts, and the virus recovered was tested for temperature sensitivity. After each lesion was mapped to a specific region, cDNA clones of both mutants and revertants were sequenced in order to determine the precise nucleotide change responsible for each mutation. Synthesis of viral RNA and complementation by rescued mutants were also examined in order to study the phenotype of each mutation in a uniform genetic background. The single mutant of group B, ts11, had a defect in nsP1 (Ala-348 to Thr). All of the group A and group G mutants examined had lesions in nsP2 (Ala-517 to Thr in ts17, Cys-304 to Tyr in ts21, and Gly-736 to Ser in ts24 for three group A mutants, and Phe-509 to Leu in ts18 and Asp-522 to Asn in ts7 for two group G mutants). In addition, ts7 had a change in nsP3 (Phe-312 to Ser) which also rendered the virus temperature sensitive and RNA-. Thus, changes in any of the four nonstructural proteins can lead to failure to synthesize RNA at a nonpermissive temperature, indicating that all four are involved in RNA synthesis. From the results presented here and from previous results, several of the activities of the nonstructural proteins can be deduced. It appears that nsP1 may be involved in the initiation of minus-strand RNA synthesis. nsP2 appears to be involved in the initiation of 26S RNA synthesis, and in addition it appears to be a protease that cleaves the nonstructural polyprotein precursors. It may also be involved in shutoff of minus-strand RNA synthesis. nsP4 appears to function as the viral polymerase or elongation factor. The functions of nsP3 are as yet unresolved

Downward Collapse from a Weaker Hypothesis

Hemaspaandra et al. proved that, for $m > 0$ and $0 < i < k - 1$: if \Sigma_i^p \BoldfaceDelta DIFF_m(\Sigma_k^p) is closed under complementation, then $DIFF_m(\Sigma_k^p) = coDIFF_m(\Sigma_k^p)$. This sharply asymmetric result fails to apply to the case in which the hypothesis is weakened by allowing the $\Sigma_i^p$ to be replaced by any class in its difference hierarchy. We so extend the result by proving that, for $s,m > 0$ and $0 < i < k - 1$: if DIFF_s(\Sigma_i^p) \BoldfaceDelta DIFF_m(\Sigma_k^p) is closed under complementation, then $DIFF_m(\Sigma_k^p) = coDIFF_m(\Sigma_k^p)$

Complementation, Local Complementation, and Switching in Binary Matroids

In 2004, Ehrenfeucht, Harju, and Rozenberg showed that any graph on a vertex set $V$ can be obtained from a complete graph on $V$ via a sequence of the operations of complementation, switching edges and non-edges at a vertex, and local complementation. The last operation involves taking the complement in the neighbourhood of a vertex. In this paper, we consider natural generalizations of these operations for binary matroids and explore their behaviour. We characterize all binary matroids obtainable from the binary projective geometry of rank $r$ under the operations of complementation and switching. Moreover, we show that not all binary matroids of rank at most $r$ can be obtained from a projective geometry of rank $r$ via a sequence of the three generalized operations. We introduce a fourth operation and show that, with this additional operation, we are able to obtain all binary matroids.Comment: Fixed an error in the proof of Theorem 5.3. Adv. in Appl. Math. (2020