62,927 research outputs found

    The complexity of dominating set reconfiguration

    Full text link
    Suppose that we are given two dominating sets DsD_s and DtD_t of a graph GG whose cardinalities are at most a given threshold kk. Then, we are asked whether there exists a sequence of dominating sets of GG between DsD_s and DtD_t such that each dominating set in the sequence is of cardinality at most kk and can be obtained from the previous one by either adding or deleting exactly one vertex. This problem is known to be PSPACE-complete in general. In this paper, we study the complexity of this decision problem from the viewpoint of graph classes. We first prove that the problem remains PSPACE-complete even for planar graphs, bounded bandwidth graphs, split graphs, and bipartite graphs. We then give a general scheme to construct linear-time algorithms and show that the problem can be solved in linear time for cographs, trees, and interval graphs. Furthermore, for these tractable cases, we can obtain a desired sequence such that the number of additions and deletions is bounded by O(n)O(n), where nn is the number of vertices in the input graph

    Spinor-Vector Duality in Heterotic String Orbifolds

    Get PDF
    The three generation heterotic-string models in the free fermionic formulation are among the most realistic string vacua constructed to date, which motivated their detailed investigation. The classification of free fermion heterotic string vacua has revealed a duality under the exchange of spinor and vector representations of the SO(10) GUT symmetry over the space of models. We demonstrate the existence of the spinor-vector duality using orbifold techniques, and elaborate on the relation of these vacua to free fermionic models.Comment: 20 pages. v2 minor corrections. Version to appear on JHEP. v3 misprints correcte

    Token Jumping in minor-closed classes

    Full text link
    Given two kk-independent sets II and JJ of a graph GG, one can ask if it is possible to transform the one into the other in such a way that, at any step, we replace one vertex of the current independent set by another while keeping the property of being independent. Deciding this problem, known as the Token Jumping (TJ) reconfiguration problem, is PSPACE-complete even on planar graphs. Ito et al. proved in 2014 that the problem is FPT parameterized by kk if the input graph is K3,K_{3,\ell}-free. We prove that the result of Ito et al. can be extended to any K,K_{\ell,\ell}-free graphs. In other words, if GG is a K,K_{\ell,\ell}-free graph, then it is possible to decide in FPT-time if II can be transformed into JJ. As a by product, the TJ-reconfiguration problem is FPT in many well-known classes of graphs such as any minor-free class

    Integer programming methods for special college admissions problems

    Get PDF
    We develop Integer Programming (IP) solutions for some special college admission problems arising from the Hungarian higher education admission scheme. We focus on four special features, namely the solution concept of stable score-limits, the presence of lower and common quotas, and paired applications. We note that each of the latter three special feature makes the college admissions problem NP-hard to solve. Currently, a heuristic based on the Gale-Shapley algorithm is being used in the application. The IP methods that we propose are not only interesting theoretically, but may also serve as an alternative solution concept for this practical application, and also for other ones

    What makes or breaks a campaign to stop an invading plant pathogen?

    Get PDF
    Diseases in humans, animals and plants remain an important challenge in our society. Effective control of invasive pathogens often requires coordinated concerted action of a large group of stakeholders. Both epidemiological and human behavioural factors influence the outcome of a disease control campaign. In mathematical models that are frequently used to guide such campaigns, human behaviour is often ill-represented, if at all. Existing models of human, animal and plant disease that do incorporate participation or compliance are often driven by pay-offs or direct observations of the disease state. It is however very well known that opinion is an important driving factor of human decision making. Here we consider the case study of Citrus Huanglongbing disease (HLB), which is an acute bacterial disease that threatens the sustainability of citrus production across the world. We show how by coupling an epidemiological model of this invasive disease with an opinion dynamics model we are able to answer the question: What makes or breaks the effectiveness of a disease control campaign? Frequent contact between stakeholders and advisors is shown to increase the probability of successful control. More surprisingly, we show that informing stakeholders about the effectiveness of control methods is of much greater importance than prematurely increasing their perceptions of the risk of infection. We discuss the overarching consequences of this finding and the effect on human as well as plant disease epidemics
    corecore