57 research outputs found

    On the Complexity of Local Distributed Graph Problems

    Full text link
    This paper is centered on the complexity of graph problems in the well-studied LOCAL model of distributed computing, introduced by Linial [FOCS '87]. It is widely known that for many of the classic distributed graph problems (including maximal independent set (MIS) and (Δ+1)(\Delta+1)-vertex coloring), the randomized complexity is at most polylogarithmic in the size nn of the network, while the best deterministic complexity is typically 2O(logn)2^{O(\sqrt{\log n})}. Understanding and narrowing down this exponential gap is considered to be one of the central long-standing open questions in the area of distributed graph algorithms. We investigate the problem by introducing a complexity-theoretic framework that allows us to shed some light on the role of randomness in the LOCAL model. We define the SLOCAL model as a sequential version of the LOCAL model. Our framework allows us to prove completeness results with respect to the class of problems which can be solved efficiently in the SLOCAL model, implying that if any of the complete problems can be solved deterministically in logO(1)n\log^{O(1)} n rounds in the LOCAL model, we can deterministically solve all efficient SLOCAL-problems (including MIS and (Δ+1)(\Delta+1)-coloring) in logO(1)n\log^{O(1)} n rounds in the LOCAL model. We show that a rather rudimentary looking graph coloring problem is complete in the above sense: Color the nodes of a graph with colors red and blue such that each node of sufficiently large polylogarithmic degree has at least one neighbor of each color. The problem admits a trivial zero-round randomized solution. The result can be viewed as showing that the only obstacle to getting efficient determinstic algorithms in the LOCAL model is an efficient algorithm to approximately round fractional values into integer values

    Non-Monochromatic and Conflict-Free Coloring on Tree Spaces and Planar Network Spaces

    Get PDF
    It is well known that any set of n intervals in R1\mathbb{R}^1 admits a non-monochromatic coloring with two colors and a conflict-free coloring with three colors. We investigate generalizations of this result to colorings of objects in more complex 1-dimensional spaces, namely so-called tree spaces and planar network spaces

    MUC1 immunotherapy against a metastatic mammary adenocarcinoma model: Importance of IFN-gamma

    Get PDF
    Abstract Immunotherapy using mucin 1 (MUC1) linked to oxidised mannan (MFP) was investigated in an aggressive MUC1+ metastatic tumour, DA3-MUC1 because, unlike many MUC1+ tumour models, DA3-MUC1 is not spontaneously rejected in mice making it an alternative model for immunotherapy studies. Further, DA3-MUC1 cells are resistant to lysis by anti-MUC1 cytotoxic T cells (CTLs). The inability of DA3-MUC1 tumours to be rejected in naïve mice as well as vaccination to MUC1 was attributed to a deficiency of expression of MHC class I molecules on the tumour cell surface. In vitro and in vivo analysis of subcutaneous tumours and lung metastases demonstrated that DA3-MUC1 tumour cells have a low expression (&lt; 6%) of MHC class I which can be upregulated (&gt; 90%) following culturing with IFN-γ. Results from flow cytometry analysis and immunoperoxidase staining indicated that the in vitro up-regulation of MHC class I could be maintained for up to seven days in vivo, without affecting the expression levels of MUC1 antigen. Interestingly, MUC1-specific CTL that lyse DA3-MUC1 targets in vitro were induced in MFP immunised mice but failed to protect mice from a DA3-MUC1 tumour challenge. These results highlight the importance of MHC class I molecules in the induction of anti-tumour immunity and the MFP immune response.</jats:p

    Combinatorial Bounds for Conflict-free Coloring on Open Neighborhoods

    Full text link
    In an undirected graph GG, a conflict-free coloring with respect to open neighborhoods (denoted by CFON coloring) is an assignment of colors to the vertices such that every vertex has a uniquely colored vertex in its open neighborhood. The minimum number of colors required for a CFON coloring of GG is the CFON chromatic number of GG, denoted by χON(G)\chi_{ON}(G). The decision problem that asks whether χON(G)k\chi_{ON}(G) \leq k is NP-complete. We obtain the following results: * Bodlaender, Kolay and Pieterse [WADS 2019] showed the upper bound χON(G)fvs(G)+3\chi_{ON}(G)\leq {\sf fvs}(G)+3, where fvs(G){\sf fvs}(G) denotes the size of a minimum feedback vertex set of GG. We show the improved bound of χON(G)fvs(G)+2\chi_{ON}(G)\leq {\sf fvs}(G)+2, which is tight, thereby answering an open question in the above paper. * We study the relation between χON(G)\chi_{ON}(G) and the pathwidth of the graph GG, denoted pw(G){\sf pw}(G). The above paper from WADS 2019 showed the upper bound χON(G)2tw(G)+1\chi_{ON}(G) \leq 2{\sf tw}(G)+1 where tw(G){\sf tw}(G) stands for the treewidth of GG. This implies an upper bound of χON(G)2pw(G)+1\chi_{ON}(G) \leq 2{\sf pw}(G)+1. We show an improved bound of χON(G)53(pw(G)+1)\chi_{ON}(G) \leq \lfloor \frac{5}{3}({\sf pw}(G)+1) \rfloor. * We prove new bounds for χON(G)\chi_{ON}(G) with respect to the structural parameters neighborhood diversity and distance to cluster, improving existing results. * We also study the partial coloring variant of the CFON coloring problem, which allows vertices to be left uncolored. Let χON(G)\chi^*_{ON}(G) denote the minimum number of colors required to color GG as per this variant. Abel et. al. [SIDMA 2018] showed that χON(G)8\chi^*_{ON}(G) \leq 8 when GG is planar. They asked if fewer colors would suffice for planar graphs. We answer this question by showing that χON(G)5\chi^*_{ON}(G) \leq 5 for all planar GG. All our bounds are a result of constructive algorithmic procedures.Comment: 30 page

    List of Ya.A. Smorodinsky’s publications

    No full text
    corecore