k-colored kernels

We study $k$-colored kernels in $m$-colored digraphs. An $m$-colored digraph $D$ has $k$-colored kernel if there exists a subset $K$ of its vertices such that (i) from every vertex $v\notin K$ there exists an at most $k$-colored directed path from $v$ to a vertex of $K$ and (ii) for every $u,v\in K$ there does not exist an at most $k$-colored directed path between them. In this paper, we prove that for every integer $k\geq 2$ there exists a $(k+1)$-colored digraph $D$ without $k$-colored kernel and if every directed cycle of an $m$-colored digraph is monochromatic, then it has a $k$-colored kernel for every positive integer $k.$ We obtain the following results for some generalizations of tournaments: (i) $m$-colored quasi-transitive and 3-quasi-transitive digraphs have a $k$% -colored kernel for every $k\geq 3$ and $k\geq 4,$ respectively (we conjecture that every $m$-colored $l$-quasi-transitive digraph has a $k$% -colored kernel for every $k\geq l+1)$, and (ii) $m$-colored locally in-tournament (out-tournament, respectively) digraphs have a $k$-colored kernel provided that every arc belongs to a directed cycle and every directed cycle is at most $k$-colored

Mixing multi-core CPUs and GPUs for scientific simulation software

Recent technological and economic developments have led to widespread availability of multi-core CPUs and specialist accelerator processors such as graphical processing units (GPUs). The accelerated computational performance possible from these devices can be very high for some applications paradigms. Software languages and systems such as NVIDIA's CUDA and Khronos consortium's open compute language (OpenCL) support a number of individual parallel application programming paradigms. To scale up the performance of some complex systems simulations, a hybrid of multi-core CPUs for coarse-grained parallelism and very many core GPUs for data parallelism is necessary. We describe our use of hybrid applica- tions using threading approaches and multi-core CPUs to control independent GPU devices. We present speed-up data and discuss multi-threading software issues for the applications level programmer and o er some suggested areas for language development and integration between coarse-grained and ne-grained multi-thread systems. We discuss results from three common simulation algorithmic areas including: partial di erential equations; graph cluster metric calculations and random number generation. We report on programming experiences and selected performance for these algorithms on: single and multiple GPUs; multi-core CPUs; a CellBE; and using OpenCL. We discuss programmer usability issues and the outlook and trends in multi-core programming for scienti c applications developers

Tournaments with kernels by monochromatic paths

In this paper we prove the existence of kernels by monochromatic paths in m-coloured tournaments in which every cyclic tournament of order 3 is atmost 2-coloured in addition to other restrictions on the colouring ofcertain subdigraphs. We point out that in all previous results on kernelsby monochromatic paths in arc coloured tournaments, certain smallsubstructures are required to be monochromatic or monochromatic with atmost one exception, whereas here we allow up to three colours in two smallsubstructures

More on discrete convexity

In several recent papers some concepts of convex analysis were extended to discrete sets. This paper is one more step in this direction. It is well known that a local minimum of a convex function is always its global minimum. We study some discrete objects that share this property and provide several examples of convex families related to graphs and to two-person games in normal form

Sequential legislative lobbying

In this paper, we analyze the equilibrium of a sequential game-theoretical model of lobbying, due to Groseclose and Snyder (1996), describing a legislature that vote over two alternatives, where two opposing lobbies, Lobby 0 and Lobby 1, compete by bidding for legislators’ votes. In this model, the lobbyist moving first suffers from a second mover advantage and will make an offer to a panel of legislators only if it deters any credible counter-reaction from his opponent, i.e., if he anticipates to win the battle. This paper departs from the existing literature in assuming that legislators care about the consequence of their votes rather than their votes per se. Our main focus is on the calculation of the smallest budget that he needs to win the game and on the distribution of this budget across the legislators. We study the impact of the key parameters of the game on these two variables and show the connection of this problem with the combinatorics of sets and notions from cooperative game theory.Lobbying; cooperative games; noncooperative games

Properties of locally checkable vertex partitioning problems in digraphs

While, for undirected graphs, locally checkable vertex subset and partitioning problems have been studied extensively, the equivalent directed problems have not received nearly as much attention yet. We take a closer look at the relationship between undirected and directed problems considering hardness. We extend some properties that have already been shown for undirected graphs to directed graphs. Furthermore, we explore some of the trivialities in directed problem definitions that do not appear in undirected ones. And finally, we construct and visualize digraph coverings to achieve a deeper understanding of their structure.Masteroppgave i informatikkINF399KMAMN-IN