On the Geometric Ramsey Number of Outerplanar Graphs

We prove polynomial upper bounds of geometric Ramsey numbers of pathwidth-2 outerplanar triangulations in both convex and general cases. We also prove that the geometric Ramsey numbers of the ladder graph on $2n$ vertices are bounded by $O(n^{3})$ and $O(n^{10})$, in the convex and general case, respectively. We then apply similar methods to prove an $n^{O(\log(n))}$ upper bound on the Ramsey number of a path with $n$ ordered vertices.Comment: 15 pages, 7 figure

Kombinatorické hry

Title: Combinatorial Games Theory Author: Tomáš Valla Department / Institute: IUUK MFF UK Supervisor: Prof. RNDr. Jaroslav Nešetřil, DrSc., IUUK MFF UK Abstract: In this thesis we study the complexity that appears when we consider the competitive version of a certain environment or process, using mainly the tools of al- gorithmic game theory, complexity theory, and others. For example, in the Internet environment, one cannot apply any classical graph algorithm on the graph of connected computers, because it usually requires existence of a central authority, that manipu- lates with the graph. We describe a local and distributed game, that in a competitive environment without a central authority simulates the computation of the weighted vertex cover, together with generalisation to hitting set and submodular weight func- tion. We prove that this game always has a Nash equilibrium and each equilibrium yields the same approximation of optimal cover, that is achieved by the best known ap- proximation algorithms. More precisely, the Price of Anarchy of our game is the same as the best known approximation ratio for this problem. All previous results in this field do not have the Price of Anarchy bounded by a constant. Moreover, we include the results in two more fields, related to the complexity of competitive...Název práce: Kombinatorická teorie her Autor: Tomáš Valla Katedra / Ústav: IUUK MFF UK Vedoucí doktorské práce: Prof. RNDr. Jaroslav Nešetřil, DrSc., IUUK MFF UK Abstrakt: Tématem dizertační práce je studium složitosti, která vzniká, pokud k urči- tému prostředí či procesu uvážíme jeho kompetitivní variantu, a to především pomocí metod algoritmické teorie her, teorie složitosti, a dalších nástrojů. Například v prostředí Internetu je vyloučeno aplikovat na graf propojených počítačů libovolný klasický gra- fový algoritmus, protože ten zpravidla vyžaduje existenci centrální autority, která s grafem manipuluje. V této práci popisujeme distribuovanou a lokálně definovanou hru, která v kompetitivním prostředí bez centrální autority simuluje výpočet váženého vr- cholového pokrytí grafu, včetně zobecnění na tzv. hitting set a submodulární váhovací funkci. Dokážeme, že tato hra má vždy Nashovo ekvilibrium a každé toto ekvilibrium dá stejně dobrou aproximaci optimálního pokrytí, jakou lze dosáhnout nejlepšími zná- mými aproximačními algoritmy. Přesněji, tzv. cena anarchie naší hry je stejná jako faktor u nejlepšího známého aproximačního algoritmu. Dosavadní výsledky v této ob- lasti neměly cenu anarchie omezenu ani konstantou. Kromě toho v práci předkládáme i výsledky z oblasti her tzv. grafových prohledávacích her a...Informatický ústav Univerzity KarlovyComputer Science Institute of Charles UniversityFaculty of Mathematics and PhysicsMatematicko-fyzikální fakult

Ramseyova teorie a kombinatorické hry

Ramsey theory studies the internal homogenity of mathematical structures (graphs, number sets), parts of which (subgraphs, number subsets) are arbitrarily coloured. Often, the sufficient object size implies the existence of a monochromatic sub-object. Combinatorial games are 2-player games of skill with perfect information. The theory of combinatorial games studies mostly the questions of existence of winning or drawing strategies. Let us consider an object that is studied by a particular Ramsey-type theorem. Assume two players alternately colour parts of this object by two colours and their goal is to create certain monochromatic sub-object. Then this is a combinatorial game. We focus on the minimum object size such that the appropriate Ramsey-type theorem holds, called Ramsey number, and on the minimum object size such that the rst player has a winning strategy in the corresponding combinatorial game, called game number. In this thesis, we describe such Ramsey-type theorems where the Ramsey number is substantially greater than the game number. This means, we show the existence of rst player's winning strategies, zogether with Ramsey and game numbers upper bounds, and we compare both numbers.Ramseyova teorie studuje vnitřní homogenitu matematických struktur (grafů, číselných oborů), jejichž části (podgrafy, podmnožiny) jsou libovolně obarveny. Často platí, že je-li studovaný objekt dostatečně velký, lze v něm najít určitý jednobarevný podobjekt. Kombinatorické hry jsou hry dvou hráčů s plnou informací, kde záleží pouze na jejich inteligenci. Teorie kombinatorických her studuje především otázky existence vyhrávajících či neprohrávajících strategií. Vezmeme-li ramseyovskou větu a necháme-li objekt, který tato věta studuje, střídavě barvit dvěma hráči, jejichž cílem je vytvořit určitý monochromatický podobjekt, dostaneme kombinatorickou hru. Předmětem našeho zájmu je jednak nejmenší velikost objektu, při které platí ramseyovská věta, tzv. ramseyovské číslo, a jednak nejmeněí velikost téhož objektu, při které má první hráč vyhrávající strategii v příslušné kombinatorické hře, tzv. herní číslo. V této práci popisujeme takové ramseyovské věty, u nichž je ramseyovské číslo podstatně větší než číslo herní. To znamená, že podáváme důkazy existence vyhrávajících strategií prvního hráče spolu s horními odhady na ramseyovská a herní čísla a obě čísla porovnáváme.Katedra aplikované matematikyDepartment of Applied MathematicsMatematicko-fyzikální fakultaFaculty of Mathematics and Physic

The Effects of Wear on the Cuttability of Exchangeable Cutting Inserts During Machining Special Alloys

Import 23/07/2015Diplomová práce se zabývá vlivem opotřebení na řezivost vyměnitelných břitových destiček při soustružení materiálu Inconel 625. V teoretické části jsou zmíněny základní pojmy, které s problematikou souvisejí – od obrobitelnosti až po strukturu Ni superslistin. Celkem byly testovány dva druhy vyměnitelných břitových destiček z řezné keramiky a kubického nitridu bóru. Testování bylo prováděno při podélném soustružení na CNC soustruhu  DMG Mori Seiki NLX 2500/700, kde se měnily řezné podmínky. V experimentální části jsou uvedeny naměřené výsledky vzniklého opotřebení, parametry drsnosti a řezivost nástroje. Na základě těchto údajů je provedeno vyhodnocení vyměnitelných břitových destiček a je určena vhodnější destička pro obrábění niklové slitiny Inconel 625.This master’s thesis is dealing with the effect of wear on the cutting power of inserts for turning Inconel 625. In the theoretical part are mentioned basic concepts that are related to the issue - the machinability to the structure of Ni superslistin. Total were tested two types of inserts of cutting ceramics and cubic boron nitride. Testing was performed at longitudinal turning on a CNC lathe DMG Mori Seiki NLX 2500/700, which changed cutting conditions. In the experimental part are shown measurement results of the resulting wear, roughness parameters and cuttability tool. Based on these data is evaluated inserts and is intended more suitable insert for machining nickel alloys Inconel 625.346 - Katedra obrábění, montáže a strojírenské metrologievelmi dobř

On the tree search problem with non-uniform costs

Searching in partially ordered structures has been considered in the context of information retrieval and efficient tree-like indices, as well as in hierarchy based knowledge representation. In this paper we focus on tree-like partial orders and consider the problem of identifying an initially unknown vertex in a tree by asking edge queries: an edge query e returns the component of T - e containing the vertex sought for, while incurring some known cost c(e). The Tree SearCh Problem with Non-Uniform Cost is the following: given a tree T on n vertices, each edge having an associated cost, construct a strategy that minimizes the total cost of the identification in the worst case. Finding the strategy guaranteeing the minimum possible cost is an NP-complete problem already for input trees of degree 3 or diameter 6. The best known approximation guarantee was an O (logn/logloglogn)-approximation algorithm of Cicalese et al. (2012) [4]. We improve upon the above results both from the algorithmic and the computational complexity point of view: We provide a novel algorithm that provides an O (log n/log log n)-aP proximation of the cost of the optimal strategy. In addition, we show that finding an optimal strategy is NP-hard even when the input tree is a spider of diameter 6, i.e., at most,one vertex has degree larger than 2. (C) 2016 Elsevier B.V. All rights reserved

Ramsey theory and combinatorial games

Ramsey theory studies the internal homogenity of mathematical structures (graphs, number sets), parts of which (subgraphs, number subsets) are arbitrarily coloured. Often, the sufficient object size implies the existence of a monochromatic sub-object. Combinatorial games are 2-player games of skill with perfect information. The theory of combinatorial games studies mostly the questions of existence of winning or drawing strategies. Let us consider an object that is studied by a particular Ramsey-type theorem. Assume two players alternately colour parts of this object by two colours and their goal is to create certain monochromatic sub-object. Then this is a combinatorial game. We focus on the minimum object size such that the appropriate Ramsey-type theorem holds, called Ramsey number, and on the minimum object size such that the rst player has a winning strategy in the corresponding combinatorial game, called game number. In this thesis, we describe such Ramsey-type theorems where the Ramsey number is substantially greater than the game number. This means, we show the existence of rst player's winning strategies, together with Ramsey and game numbers upper bounds, and we compare both numbers