Given graphs G,H, is it possible to find a matching which, when deleted from G, destroys all copies of H? The answer is obvious for some inputs—notably, when G is a large complete graph the answer is “no”—but in general this can be a very difficult question. In this thesis, we study this decision problem when H is a fixed tree or cycle; our aim is to identify those H for which it can be solved efficiently. The H-transverse matching problem, TM(H) for short, asks whether an input graph admits a matching M such that no subgraph of G − M is isomorphic to H. The main goal of this thesis is the following dichotomy. When H is a triangle or one of a few small-diameter trees, there is a polynomial-time algorithm to find an H-transverse matching if one exists. However, TM(H) is NP-complete when H is any longer cycle or a tree of diameter ≥ 4. In addition, we study the restriction of these problems to structured graph classes. / Graduate

Connectivity is a fundamental tool for matroid theorists, which has become increasingly important in the eventual solution of many problems in matroid theory. Loosely speaking, connectivity can be used to help describe a matroid's structure. In this thesis, we prove a series of results that further the knowledge and understanding in the field of matroid connectivity. These results fall into two parts. First, we focus on 3-connected matroids. A chain theorem is a result that proves the existence of an element, or elements, whose deletion or contraction preserves a predetermined connectivity property. We prove a series of chain theorems for 3-connected matroids where, after fixing a basis B, the elements in B are only eligible for contraction, while the elements not in B are only eligible for deletion. Moreover, we prove a splitter theorem, where a 3-connected minor is also preserved, resolving a conjecture posed by Whittle and Williams in 2013. Second, we consider k-connected matroids, where k >= 3. A certain tree, known as a k-tree, can be used to describe the structure of a k-connected matroid. We present an algorithm for constructing a k-tree for a k-connected matroid M. Provided that the rank of a subset of E(M) can be found in unit time, the algorithm runs in time polynomial in |E(M)|. This generalises Oxley and Semple's (2013) polynomial-time algorithm for constructing a 3-tree for a 3-connected matroid.

This thesis examines a wide collection of frequency assignment problems. One of the largest topics in this thesis is that of L(2,1)-labellings of outerplanar graphs. The main result in this topic is the fact that there exists a polynomial time algorithm to determine the minimum L(2,1)-span for an outerplanar graph. This result generalises the analogous result for trees, solves a stated open problem and complements the fact that the problem is NP-complete for planar graphs. We furthermore give best possible bounds on the minimum L(2,1)-span and the cyclic-L(2,1)-span in outerplanar graphs, when the maximum degree is at least eight. We also give polynomial time algorithms for solving the standard constraint matrix problem for several classes of graphs, such as chains of triangles, the wheel and a larger class of graphs containing the wheel. We furthermore introduce the concept of one-close-neighbour problems, which have some practical applications. We prove optimal results for bipartite graphs, odd cycles and complete multipartite graphs. Finally we evaluate different algorithms for the frequency assignment problem, using domination analysis. We compute bounds for the domination number of some heuristics for both the fixed spectrum version of the frequency assignment problem and the minimum span frequency assignment problem. Our results show that the standard greedy algorithm does not perform well, compared to some slightly more advanced algorithms, which is what we would expect. In this thesis we furthermore give some background and motivation for the topics being investigated, as well as mentioning several open problems.

<div>We consider the models of sequential games over supply chain networks and production chain networks. In the supply chain model, we show that in particular, for series-parallel networks, there is a unique equilibrium. </div><div>We provide a polynomial time algorithm to compute the equilibrium and study the impact of the network structure to the total trade flow at equilibrium. Our results shed light on the trade-off between competition, production cost, and double marginalization. </div><div><br></div><div>In the production chain model, we investigated sequential decisions and delegation options over three agents, chain, and tree networks. Our main contribution is showing the value of delegation and how to maximumly leverage the middleman's aligned interests with the principal. In particular, we provide a polynomial time algorithm to find the optimal delegation structure and the corresponding necessary contract payments for the principal. Furthermore, we analyzed the trade-off of the delegation and gave a deeper insight into the value of delegation in different conditions. Several questions are left for future research such as what's the optimal delegation structures in general tree and how to build the model that agents can try multiple times until the task is successful. </div>

Best match graphs (BMGs) are vertex-colored digraphs that naturally arise in mathematical phylogenetics to formalize the notion of evolutionary closest genes w.r.t. an a priori unknown phylogenetic tree. BMGs are explained by unique least resolved trees. We prove that the property of a rooted, leaf-colored tree to be least resolved for some BMG is preserved by the contraction of inner edges. For the special case of two-colored BMGs, this leads to a characterization of the least resolved trees (LRTs) of binary-explainable trees and a simple, polynomial-time algorithm for the minimum cardinality completion of the arc set of a BMG to reach a BMG that can be explained by a binary tree.

<p>This thesis contains two parts. In the first part, which contains Chapter 2 and Chapter 3, we consider scheduling problems with learning effect and time-dependent processing time on a single machine. In Chapter 2, we investigate the earliness-tardiness objective, as well as the objective without due date assignment consideration. By reducing them to a special linear assignment problem, we solve them in near-linear time. As a consequence, we improve the time complexity for some previous algorithms for scheduling problems with learning effect and/or time-dependent processing time. In Chapter 3, we investigate the total number of tardy jobs objective. By reducing them to a linear assignment problem, we solve them in polynomial time. For some important special cases, where there is only learning effect OR time-dependent processing time, we reduce the time complexity to quadratic time. In the second part, which contains Chapter 4 and Chapter 5, we investigate the bicriteria scheduling problems in a supply chain. We separate the objectives in two parts, where the delivery cost is one of them. We present efficient algorithms to identify all the Pareto-optimal solutions for various scenarios. In Chapter 4, we study the cases without due date assignment; while in Chapter 5 we study the cases with due date assignment consideration.</p>

Nous nous intéressons au Problème de Dimensionnement de Lots mono-produit (PDL) dans une chaîne logistique composée d'un détaillant et d'un fournisseur en y intégrant le contrat buyback et l'approvisionnement par batch. L'objectif est de déterminer un plan d'approvisionnement pour le détaillant pour satisfaire ses demandes déterministes sur un horizon fini, tout en minimisant ses coûts d'approvisionnement et de stockage. Concernant le coût d'approvisionnement, nous supposons deux structures différentes : FTL (Full Truck Load) et OFB (Only Full Batch). Trois types de contrat buyback sont étudiés : avec des périodes de retour fixes, avec une limite de temps sur les retours, et avec des retours uniquement dans les périodes d'approvisionnement. Chaque contrat est caractérisé par un pourcentage de retour maximal qui peut être égal à 100% (retour total) ou inférieur à 100% (retour partiel). Pour le PDL sous le contrat buyback avec des périodes de retour fixes, nous supposons le cas de ventes perdues (lost sales). En outre, un autre concept ajouté dans les PDL sous les trois types de contrat buyback réside dans le fait que le détaillant peut jeter la quantité invendue et non retournée au fournisseur, appelé mise au rebut (disposal). Nous avons modélisé ces différentes extensions du PDL par des Programmes Linéaires en Nombres Entiers (PLNE). Nous avons ensuite développé des algorithmes exacts polynomiaux de programmation dynamique pour certaines extensions, et montré la NP-difficulté pour d'autres. Pour chaque problème résolu en temps polynomial, nous avons comparé l'efficacité et les limites de l'algorithme proposé avec celles des quatre formulations en PLNE. Nous avons également proposé des modèles mathématiques pour les PDL sous d'autres types de contrats de réservation de capacité dans le cas déterministe à multi-périodes. / We study the single-item Lot Sizing Problem (LSP) in a supply chain composed of a retailer and a supplier by integrating the buyback contract and the batch ordering. The purpose is to determine a replenishment planning for the retailer to satisfy his deterministic demands over a finite horizon, while minimizing the procurement and inventory costs. Regarding the procurement cost, we assume two different structures: FTL (Full Truck Load) and OFB (Only Full Batch). We consider three types of buyback contract: with fixed return periods, with a time limit on returns, and with returns permitted only in procurement periods. Each contract is characterized by the maximum return percentage being either equal to 100% (full return) or less than 100% (partial return). For the LSP under the buyback contract with fixed return periods, we assume the concept of lost sales. Another concept considered in the LSP's under the three types of buyback contract is the disposal of the unsold and unreturned quantities. We model these different LSP extensions as a Mixed Integer Linear Program (MILP). Thereafter, we develop exact polynomial time dynamic programming algorithms for some extensions and show the NP-hardness of others. For each problem solved in polynomial time, we compare the efficiency and the limits of the proposed algorithm with those of four MILP formulations by performing different tests. Finally, we propose mathematical models for the LSP's under other types of the capacity reservation contract in the deterministic and multi-period case.

In this work, we advance the understanding of the fundamental limits of computation for binary polynomial optimization (BPO), which is the problem of maximizing a given polynomial function over all binary points. In our main result we provide a novel class of BPO that can be solved efficiently both from a theoretical and computational perspective. In fact, we give a strongly polynomial-time algorithm for instances whose corresponding hypergraph is β-acyclic. We note that the β-acyclicity assumption is natural in several applications including relational database schemes and the lifted multicut problem on trees. Due to the novelty of our proving technique, we obtain an algorithm which is interesting also from a practical viewpoint. This is because our algorithm is very simple to implement and the running time is a polynomial of very low degree in the number of nodes and edges of the hypergraph. Our result completely settles the computational complexity of BPO over acyclic hypergraphs, since the problem is NP-hard on α-acyclic instances.Our algorithm can also be applied to any general BPO problem that contains β-cycles. For these problems, the algorithm returns a smaller instance together with a rule to extend any optimal solution of the smaller instance to an optimal solution of the original instance.

The Master Thesis deals with logistic module innovation of information system ERP. The principle of innovation is based on implementation of heuristic algorithms which solve Travel Salesman Problems (TSP). The software MATLAB is used for analysis and tests of these algorithms. The goal of Master Thesis is the comparison of selections algorithm, which are suitable for economic purposes (accuracy of solution, speed of calculation and memory demands).