40 DM12 Abstracts

Total Page:16

File Type:pdf, Size:1020Kb

40 DM12 Abstracts 40 DM12 Abstracts IP0 [email protected] Dnes Knig Prize Lecture: Talk Title TBD Abstract not available at time of publication. IP4 Adding and Counting Zeev Dvir Princeton University In mathematics, the stuff of partitions seems like mere [email protected] child’s play. The speaker will explain how the sim- ple task of adding and counting has fascinated many of the world’s leading mathematicians: Euler, Ramanujan, IP1 Hardy, Rademacher, Dyson, to name a few. And as is typ- Cell Complexes in Combinatorics ical in number theory, many of the most fundamental (and simple to state) questions have remained open. In 2010, Cell complexes of various kinds have been invented in the speaker, with the support of the American Institute for topology to help analyze manifolds and other spaces. By Mathematics and the National Science Foundation, assem- introducing a combinatorial structure they make algo- bled an international team of researchers to attack some rithms for computing topological invariants possible. Sim- of these problems. Come hear Professor Ono speak about plicial complexes are well-known examples. In the other their findings: new theories which solve some of the famous direction, several structures studied in combinatorics nat- old questions. urally suggest associated cell complexes. Can the link to topology provided by these cell complexes be of use for Ken Ono dealing with purely combinatorial questions, or are they Emory University just idle curiosities? The answer is definitely ”yes” in the Department of Mathematics and Computer Science simplicial case, as testified by several successes of what has [email protected] come to be called ”topological combinatorics”. But what about more general cell complexes? In the talk this ques- tion will be discussed. Examples, old and new, arising in IP5 graph, group and number theory will be reviewed. Coloring 3-colorable Graphs; Graph Theory Fi- nally Strikes Back! Anders Bj¨orner Royal Institute of Technology (KTH) We consider the problem of coloring a 3-colorable graph in [email protected] polynomial time using as few colors as possible. Starting with Wigderson in 1982 (O(n1/2) colors), Blum in 1990 came with the first polynomial improvements (O(n3/8) IP2 colors). His improvement is based on graph theoretical On Sidorenko’s Conjecture approach. Karger, Motwani, Sudan in 1994 is the first to use semi-definite programming (SDP) to give improve- The Erdos-Simonovits-Sidorenko conjecture is well-known ment, and then Karger and Blum in 1997 combines Blum’s in combinatorics but it has equivalent formulations in anal- method with the SDP improvement to show that O(n0.2142 ) ysis and probability theory. The shortest formulation is an colors suffices. Since then, the only improvements in semi- integral inequality related to Mayer integrals in statistical definite programming have been made (Arora, Chlamtac, mechanics and Feynman integrals in quantum field theory. and Charikar in 2006 (O(n0.2111 ) colors), and Chlamtac We present new progress in the area. Part of the talk is in 2007 (O(n0.2072 ) colors)). We present the first im- based on joint results with J.L. Xiang Li. In particular we provement on the graph theory side since Blum in 1990. present a type of calculus (based on logarithmic functions) With a purely graph theoretical approach, we get down to which can be used to prove inequalities between subgraph O(n4/11) colors (over Blum’s O(n3/8) colors). Combining densities. it with SDP, we get down to O(n0.2038 ) colors. Joint work Bal´azs Szegedy with Mikkel Thorup (ATT Research) University of Toronto Ken-ichi Kawarabayashi Department of Mathematics National Institute of Informatics, Japan [email protected] k [email protected] IP3 IP6 Forcing Large Transitive Subtournamets Talk Title TBA - Singh The Erdos Hajnal Conjecture states roughly that a graph Abstract not available at time of publication. with some induced subgraph excluded has a large clique or a large stable set. A similar statement can be formu- Mona Singh lated for tournaments (a tournament is an orientation of a Princeton University complete graph), replacing cliques and stable sets by tran- [email protected] sitive subtournaments; and the two conjectures turn out to be equivalent. This talk will survey a number of recent results related to the latter conjecture. In particular, we IP7 will discuss a new infinite class of tournaments excluding The Hub Labeling Algorithm which forces large transitive subtournaments; to the best of our knowledge this is the first such class not obtained This is a survey of Hub Labeling results for general and by the so-called substitution operation. road networks. Given a weighted graph, a distance oracle takes as an input a pair of vertices and returns the dis- Maria Chudnovsky tance between them. The labeling approach to distance Columbia DM12 Abstracts 41 oracle design is to precompute a label for every vertex so [email protected] that distances can be computed from the corresponding labels. This approach has been introduced by [Gavoille et Muhammad Javaid al. ’01], who also introduced the Hub Labeling algorithm FAST-National University of Computer and Emerging (HL). HL has been further studied by [Cohen et al. ’02]. Sciences We study HL in the context of graphs with small high- Lahore Campus, Lahore, Pakistan way dimension (e.g., road networks). We show that under [email protected] this assumption HL labels are small and the queries are sublinear. We also give an approximation algorithm for computing small HL labels that uses the fact that short- CP1 est path set systems have small VC-dimension. Although Distingushing with Nordhaus Gaddum graphs polynomial-time, precomputation given by theory is too slow for continental-size road networks. However, heuris- Albertson and Collins introduced the distinguishing num- tics guided by the theory are fast, and compute very small ber in 1996 and Collins and Trenk introduced the distin- labels. This leads to the fastest currently known practi- guishing chromatic number of a graph which requires that cal distance oracles for road networks. The simplicity of the coloring be proper as well as distinguishing in 2006. HL queries allows their implementation inside of a rela- We revisit the Nordhaus-Gaddum inequalities which give tional database (e.g., in SQL), and query efficiency assures bounds on the sum and the product of χ(G)andχ(G)for real-time response. Furthermore, including HL data in the any graph G, and give analogues of these inequalities for database allows efficient implementation of more sophis- the distinguishing chromatic number. We provide a new ticated location-based queries. This approach brings the characterization of those graphs that achieve equality for power of location-based services to SQL programmers the upper bound in the sum Nordhaus-Gaddum inequality, which leads to a polynomial-time recognition algorithm for Andrew Goldberg this class and efficient computation of their chromatic num- Microsoft Research Silicon Valley bers. [email protected] Karen Collins Wesleyan University IP8 [email protected] Algorithms, Graph Theory, and the Solution of Laplacian Linear Equations Ann N. Trenk Wellesley College We survey several fascinating concepts and algorithms in [email protected] graph theory that arise in the design of fast algorithms for solving linear equations in the Laplacian matrices of graphs. We will begin by explaning why linear equations CP1 in these matrices are so interesting. The problem of solving On Super (a,d)-Edge Antimagic Total Labeling of linear equations in these matrices motivates a new notion Subdivided Caterpillar of what it means for one graph to approximate another. This leads to a problem of graph sparsification–the ap- Let G =(V,E) be a graph with v = |V (G)| vertices and proximation of a graph by a sparser graph. Our algorithms e = |E(G)| edges. An(a, d)-edge antimagic total labeling for solving Laplacian linear equations will exploit surpris- is a bijection “f” from V (G)UE(G)to the set of consec- ingly strong approximations of graphs by sparse graphs, utive integers 1, 2, .., v + e, such that the weights of the and even by trees. We will survey the roles that spectral edge W = {w(xy):xy in E(G)} form an arithmetic pro- graph theory, random matrix theory, graph sparsification, gression with the initial term “a” and common difference low-stretch spanning trees and local clustering algorithms “d” where w(xy)=f(x)+f(y)+f(xy). “W” is called play in the design of fast algorithms for solving Laplacian the set of edge-weights of the graph G. Additionally, if linear equations. f(V )=1, 2, ..., |V (G)| then f is called super (a, d)-edge antimagic total labeling and G is called super(a, d)-edge Daniel Spielman antimagic total. In this paper we formulate, super (a, d)- Yale University edge antimagic total labeling on subdivided caterpillar for [email protected] different integral values of d. Muhammad Javaid CP1 FAST-National University of Computer and Emerging On Antimagic Vertex Labeling Of Hypergraphs Sciences Lahore Campus, Lahore, Pakistan Let H =(V,E) be a graph with vertex set V (H)andedge [email protected] set E(H). Moreover suppose that v = |V (H)|,e = |E(H)| and N denotes the set of non negative integers. An an- timagic (magic) vertex labeling is a bijection “f” from Akhlaq Bhatti V (H) to the set of consecutive integers 1, 2,...,v if the FAST-NUCES LAHORE, PAKISTAN induced edge labeling “g” from E(H) to the set of non neg- [email protected] ative integers N defined by g(e)=? f(v) for all v in E(G)is injective (constant) function. A hypergraph H is called an- CP1 timagic (magic) iff there exist an antimagic (magic) vertex labeling of H.
Recommended publications
  • On Likely Solutions of the Stable Matching Problem with Unequal
    ON LIKELY SOLUTIONS OF THE STABLE MATCHING PROBLEM WITH UNEQUAL NUMBERS OF MEN AND WOMEN BORIS PITTEL Abstract. Following up a recent work by Ashlagi, Kanoria and Leshno, we study a stable matching problem with unequal numbers of men and women, and independent uniform preferences. The asymptotic formulas for the expected number of stable matchings, and for the probabilities of one point–concentration for the range of husbands’ total ranks and for the range of wives’ total ranks are obtained. 1. Introduction and main results Consider the set of n1 men and n2 women facing a problem of selecting a marriage partner. For n1 = n2 = n, a marriage M is a matching (bijection) between the two sets. It is assumed that each man and each woman has his/her preferences for a marriage partner, with no ties allowed. That is, there are given n permutations σj of the men set and n permutations ρj of the women set, each σj (ρj resp.) ordering the women set (the men set resp.) according to the desirability degree of a woman (a man) as a marriage partner for man j (woman j). A marriage is called stable if there is no unmarried pair (a man, a woman) who prefer each other to their respective partners in the marriage. A classic theorem, due to Gale and Shapley [4], asserts that, given any system of preferences {ρj,σj}j∈[n], there exists at least one stable marriage M. arXiv:1701.08900v2 [math.CO] 13 Feb 2017 The proof of this theorem is algorithmic. A bijection is constructed in steps such that at each step every man not currently on hold makes a pro- posal to his best choice among women who haven’t rejected him before, and the chosen woman either provisionally puts the man on hold or rejects him, based on comparison of him to her current suitor if she has one already.
    [Show full text]
  • On the Effi Ciency of Stable Matchings in Large Markets Sangmok Lee
    On the Effi ciency of Stable Matchings in Large Markets SangMok Lee Leeat Yarivyz August 22, 2018 Abstract. Stability is often the goal for matching clearinghouses, such as those matching residents to hospitals, students to schools, etc. We study the wedge between stability and utilitarian effi ciency in large one-to-one matching markets. We distinguish between stable matchings’average effi ciency (or, effi ciency per-person), which is maximal asymptotically for a rich preference class, and their aggregate effi ciency, which is not. The speed at which average effi ciency of stable matchings converges to its optimum depends on the underlying preferences. Furthermore, for severely imbalanced markets governed by idiosyncratic preferences, or when preferences are sub-modular, stable outcomes may be average ineffi cient asymptotically. Our results can guide market designers who care about effi ciency as to when standard stable mechanisms are desirable and when new mechanisms, or the availability of transfers, might be useful. Keywords: Matching, Stability, Effi ciency, Market Design. Department of Economics, Washington University in St. Louis, http://www.sangmoklee.com yDepartment of Economics, Princeton University, http://www.princeton.edu/yariv zWe thank Federico Echenique, Matthew Elliott, Aytek Erdil, Mallesh Pai, Rakesh Vohra, and Dan Wal- ton for very useful comments and suggestions. Euncheol Shin provided us with superb research assistance. Financial support from the National Science Foundation (SES 0963583) and the Gordon and Betty Moore Foundation (through grant 1158) is gratefully acknowledged. On the Efficiency of Stable Matchings in Large Markets 1 1. Introduction 1.1. Overview. The design of most matching markets has focused predominantly on mechanisms in which only ordinal preferences are specified: the National Resident Match- ing Program (NRMP), clearinghouses for matching schools and students in New York City and Boston, and many others utilize algorithms that implement a stable matching correspond- ing to reported rank preferences.
    [Show full text]
  • Matchings and Games on Networks
    Matchings and games on networks by Linda Farczadi A thesis presented to the University of Waterloo in fulfilment of the thesis requirement for the degree of Doctor of Philosophy in Combinatorics and Optimization Waterloo, Ontario, Canada, 2015 c Linda Farczadi 2015 Author's Declaration I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. ii Abstract We investigate computational aspects of popular solution concepts for different models of network games. In chapter 3 we study balanced solutions for network bargaining games with general capacities, where agents can participate in a fixed but arbitrary number of contracts. We fully characterize the existence of balanced solutions and provide the first polynomial time algorithm for their computation. Our methods use a new idea of reducing an instance with general capacities to an instance with unit capacities defined on an auxiliary graph. This chapter is an extended version of the conference paper [32]. In chapter 4 we propose a generalization of the classical stable marriage problem. In our model the preferences on one side of the partition are given in terms of arbitrary bi- nary relations, that need not be transitive nor acyclic. This generalization is practically well-motivated, and as we show, encompasses the well studied hard variant of stable mar- riage where preferences are allowed to have ties and to be incomplete. Our main result shows that deciding the existence of a stable matching in our model is NP-complete.
    [Show full text]
  • Hypercubes Are Determined by Their Distance Spectra 3
    HYPERCUBES ARE DETERMINED BY THEIR DISTANCE SPECTRA JACK H. KOOLEN♦, SAKANDER HAYAT♠, AND QUAID IQBAL♣ Abstract. We show that the d-cube is determined by the spectrum of its distance matrix. 1. Introduction For undefined terms, see next section. For integers n 2 and d 2, the Ham- ming graph H(d, n) has as vertex set, the d-tuples with elements≥ from≥0, 1, 2,...,n 1 , with two d-tuples are adjacent if and only if they differ only in one{ coordinate.− For} a positive integer d, the d-cube is the graph H(d, 2). In this paper, we show that the d-cube is determined by its distance spectrum, see Theorem 5.4. Observe that the d-cube has exactly three distinct distance eigenvalues. Note that the d-cube is not determined by its adjacency spectrum as the Hoffman graph [11] has the same adjacency spectrum as the 4-cube and hence the cartesian product of (d 4)-cube and the Hoffman graph has the same adjacency spectrum − as the d-cube (for d 4, where the 0-cube is just K1). This also implies that the complement of the d-cube≥ is not determined by its distance spectrum, if d 4. ≥ There are quite a few papers on matrices of graphs with a few distinct eigenvalues. An important case is, when the Seidel matrix of a graph has exactly two distinct eigenvalues is very much studied, see, for example [18]. Van Dam and Haemers [20] characterized the graphs whose Laplacian matrix has two distinct nonzero eigenval- ues.
    [Show full text]
  • PDF Reference
    NetworkX Reference Release 1.2 Aric Hagberg, Dan Schult, Pieter Swart August 01, 2010 CONTENTS 1 Introduction 1 1.1 Who uses NetworkX?..........................................1 1.2 The Python programming language...................................1 1.3 Free software...............................................1 1.4 Goals...................................................1 1.5 History..................................................2 2 Overview 3 2.1 NetworkX Basics.............................................3 2.2 Nodes and Edges.............................................4 3 Graph types 9 3.1 Which graph class should I use?.....................................9 3.2 Basic graph types.............................................9 4 Algorithms 133 4.1 Bipartite................................................. 133 4.2 Blockmodeling.............................................. 135 4.3 Boundary................................................. 136 4.4 Centrality................................................. 137 4.5 Clique.................................................. 145 4.6 Clustering................................................ 147 4.7 Components............................................... 150 4.8 Cores................................................... 158 4.9 Cycles.................................................. 158 4.10 Directed Acyclic Graphs......................................... 159 4.11 Distance Measures............................................ 161 4.12 Eulerian.................................................
    [Show full text]
  • Class Descriptions—Week 5, Mathcamp 2016
    CLASS DESCRIPTIONS|WEEK 5, MATHCAMP 2016 Contents 9:10 Classes 2 Building Groups out of Other Groups 2 More Problem Solving: Polynomials 2 The Hairy and Still Lonely Torus 2 Turning Points in the History of Mathematics 4 Why Aren't We Learning This: Fun Stuff in Statistics 4 10:10 Classes 4 A Very Difficult Definite Integral 4 Homotopy (Co)limits 5 Scandalous Curves 5 Special Relativity 5 String Theory 6 The Magic of Determinants 6 The Mathematical ABCs 7 The Stable Marriage Problem 7 Quadratic Reciprocity 7 11:10 Classes 8 Benford's Law 8 Egyptian Fractions 8 Gambling with Nathan Ramesh 8 Hyper-Dimensional Geometry 8 IOL 2016 8 Many Cells Separating Points 9 Period Three Implies Chaos 9 Problem Solving: Tetrahedra 9 The Brauer Group 9 The BSD conjecture 10 The Cayley{Hamilton Theorem 10 The \Free Will" Theorem 10 The Yoneda Lemma 10 Twisty Puzzles are Easy 11 Wedderburn's Theorem 11 Wythoff's Game 11 1:10 Classes 11 Big Numbers 11 Graph Polynomials 12 Hard Problems That Are Almost Easy 12 Hyperbolic Geometry 12 Latin Squares and Finite Geometries 13 1 MC2016 ◦ W5 ◦ Classes 2 Multiplicative Functions 13 Permuting Conditionally Convergent Series 13 The Cap Set Problem 13 2:10 Classes 14 Computer-Aided Design 14 Factoring with Elliptic Curves 14 Math and Literature 14 More Group Theory! 15 Paradoxes in Probability 15 The Hales{Jewett Theorem 15 9:10 Classes Building Groups out of Other Groups. ( , Don, Wednesday{Friday) In group theory, everybody learns how to take a group, and shrink it down by taking a quotient by a normal subgroup|but what they don't tell you is that you can totally go the other direction.
    [Show full text]
  • Some Spectral and Quasi-Spectral Characterizations of Distance-Regular Graphs
    Some spectral and quasi-spectral characterizations of distance-regular graphs A. Abiada;b, E.R. van Dama, M.A. Fiolc aTilburg University, Dept. of Econometrics and O.R. Tilburg, The Netherlands [email protected] bMaastricht University, Dept. of Quantitative Economics Maastricht, The Netherlands [email protected] cUniversitat Polit`ecnicade Catalunya, Dept. de Matem`atiques Barcelona Graduate School of Mathematics, Barcelona, Catalonia [email protected] Abstract In this paper we consider the concept of preintersection numbers of a graph. These numbers are determined by the spectrum of the adjacency matrix of the graph, and generalize the intersection numbers of a distance-regular graph. By using the prein- tersection numbers we give some new spectral and quasi-spectral characterizations of distance-regularity, in particular for graphs with large girth or large odd-girth. Mathematics Subject Classifications: 05E30, 05C50. Keywords: Distance-regular graph; Eigenvalues; Girth; Odd-girth; Preintersection numbers. 1 Introduction A central issue in spectral graph theory is to question whether or not a graph is uniquely determined by its spectrum, see the surveys of Van Dam and Haemers [12, 13]. In partic- arXiv:1404.3973v4 [math.CO] 19 Apr 2016 ular, much attention has been paid to give spectral and quasi-spectral characterizations of distance-regularity. Contributions in this area are due to Brouwer and Haemers [3], Van Dam and Haemers [11], Van Dam, Haemers, Koolen, and Spence [15], Haemers [22], and Huang and Liu [24], among others. In this paper, we will give new spectral and quasi-spectral characterizations of distance- regularity of a graph G without requiring, as it is common in this area of research, that: • G is cospectral with a distance-regular graph Γ, where 1 2 • Γ has intersection numbers, or other combinatorial parameters that satisfy certain properties.
    [Show full text]
  • WEEK 5 CLASS PROPOSALS, MATHCAMP 2018 Contents
    WEEK 5 CLASS PROPOSALS, MATHCAMP 2018 Abstract. We have a lot of fun class proposals for Week 5! Take a read through these proposals, and then let us know which ones you would like us to schedule for Week 5 by submitting your preferences on the appsys appsys.mathcamp.org. We'll keep voting open until sign-in on Wednesday evening. Please only vote for classes that you would attend if offered. Thanks for helping us create the schedule! Contents Aaron's Classes 3 Braid groups and the fundamental group of configuration space 3 Counting points over finite fields 4 Dimensional Analysis 4 Finite Fields 4 Math is Applied Physics 4 Riemann-Roching out on the projective line 4 The Art of Live-TeXing 4 The dimension formula for modular forms via the moduli stack of elliptic curves 5 Aaron, Vivian's Classes 5 Galois Theory and Number Theory 5 Ania, Jessica's Classes 5 Cycles in permutations 5 Apurva's Classes 6 Galois Correspondence of Covering Spaces 6 MP3 6= JPEG 6 The Quantum Spring 6 There isn't enough Homological Algebra in the world 6 Would I ever Lie Group to you? 6 Ben Dees's Classes 6 Bairely Sensible 6 Finite Field Fourier Fun 7 What is a \Sylow" anyways? 7 Yes, you can trisect angles 7 Brian Reinhart's Classes 8 A Slice of PIE 8 Dyusha, Michelle's Classes 8 Curse of Dimensionality 8 J-Lo's Classes 9 Axiomatic Music Theory part 2: Rhythm 9 Lattices 9 Minus Choice, Still Paradoxes 9 The Borsuk Problem 9 The Music of Zeta 10 Yes, you can solve the Quintic 10 Jeff's Classes 10 1 MC2018 ◦ W5 ◦ Classes 2 Combinatorial Topology 10 Jeff's Favorite Pictures
    [Show full text]
  • Devising a Framework for Efficient and Accurate Matchmaking and Real-Time Web Communication
    Dartmouth College Dartmouth Digital Commons Dartmouth College Undergraduate Theses Theses and Dissertations 6-1-2016 Devising a Framework for Efficient and Accurate Matchmaking and Real-time Web Communication Charles Li Dartmouth College Follow this and additional works at: https://digitalcommons.dartmouth.edu/senior_theses Part of the Computer Sciences Commons Recommended Citation Li, Charles, "Devising a Framework for Efficient and Accurate Matchmaking and Real-time Web Communication" (2016). Dartmouth College Undergraduate Theses. 106. https://digitalcommons.dartmouth.edu/senior_theses/106 This Thesis (Undergraduate) is brought to you for free and open access by the Theses and Dissertations at Dartmouth Digital Commons. It has been accepted for inclusion in Dartmouth College Undergraduate Theses by an authorized administrator of Dartmouth Digital Commons. For more information, please contact [email protected]. Devising a framework for efficient and accurate matchmaking and real-time web communication Charles Li Department of Computer Science Dartmouth College Hanover, NH [email protected] Abstract—Many modern applications have a great need for propose and evaluate original matchmaking algorithms, and matchmaking and real-time web communication. This paper first also discuss and evaluate implementations of real-time explores and details the specifics of original algorithms for communication using existing web protocols. effective matchmaking, and then proceeds to dive into implementations of real-time communication between different clients across the web. Finally, it discusses how to apply the II. PRIOR WORK AND RELEVANT TECHNOLOGIES techniques discussed in the paper in practice, and provides samples based on the framework. A. Matchmaking: No Stable Matching Exists Consider a pool of users. What does matchmaking entail? It Keywords—matchmaking; real-time; web could be the task of finding, for each user, the best compatriot or opponent in the pool to match with, given the user’s set of I.
    [Show full text]
  • Cheating to Get Better Roommates in a Random Stable Matching
    Dartmouth College Dartmouth Digital Commons Computer Science Technical Reports Computer Science 12-1-2006 Cheating to Get Better Roommates in a Random Stable Matching Chien-Chung Huang Dartmouth College Follow this and additional works at: https://digitalcommons.dartmouth.edu/cs_tr Part of the Computer Sciences Commons Dartmouth Digital Commons Citation Huang, Chien-Chung, "Cheating to Get Better Roommates in a Random Stable Matching" (2006). Computer Science Technical Report TR2006-582. https://digitalcommons.dartmouth.edu/cs_tr/290 This Technical Report is brought to you for free and open access by the Computer Science at Dartmouth Digital Commons. It has been accepted for inclusion in Computer Science Technical Reports by an authorized administrator of Dartmouth Digital Commons. For more information, please contact [email protected]. Cheating to Get Better Roommates in a Random Stable Matching Chien-Chung Huang Technical Report 2006-582 Dartmouth College Sudikoff Lab 6211 for Computer Science Hanover, NH 03755, USA [email protected] Abstract This paper addresses strategies for the stable roommates problem, assuming that a stable matching is chosen at random. We investigate how a cheating man should permute his preference list so that he has a higher-ranking roommate probabilistically. In the first part of the paper, we identify a necessary condition for creating a new stable roommate for the cheating man. This condition precludes any possibility of his getting a new roommate ranking higher than all his stable room- mates when everyone is truthful. Generalizing to the case that multiple men collude, we derive another impossibility result: given any stable matching in which a subset of men get their best possible roommates, they cannot cheat to create a new stable matching in which they all get strictly better roommates than in the given matching.
    [Show full text]
  • PDF Reference
    NetworkX Reference Release 1.0 Aric Hagberg, Dan Schult, Pieter Swart January 08, 2010 CONTENTS 1 Introduction 1 1.1 Who uses NetworkX?..........................................1 1.2 The Python programming language...................................1 1.3 Free software...............................................1 1.4 Goals...................................................1 1.5 History..................................................2 2 Overview 3 2.1 NetworkX Basics.............................................3 2.2 Nodes and Edges.............................................4 3 Graph types 9 3.1 Which graph class should I use?.....................................9 3.2 Basic graph types.............................................9 4 Operators 129 4.1 Graph Manipulation........................................... 129 4.2 Node Relabeling............................................. 134 4.3 Freezing................................................. 135 5 Algorithms 137 5.1 Boundary................................................. 137 5.2 Centrality................................................. 138 5.3 Clique.................................................. 142 5.4 Clustering................................................ 145 5.5 Cores................................................... 147 5.6 Matching................................................. 148 5.7 Isomorphism............................................... 148 5.8 PageRank................................................. 161 5.9 HITS..................................................
    [Show full text]
  • Online Assessment of Graph Theory
    ONLINE ASSESSMENT OF GRAPH THEORY A thesis submitted for the degree of Doctor of Philosophy By Justin Dale Hatt College of Engineering, Design and Physical Sciences Brunel University August 2016 Abstract The objective of this thesis is to establish whether or not online, objective questions in elementary graph theory can be written in a way that exploits the medium of computer-aided assessment. This required the identification and resolution of question design and programming issues. The resulting questions were trialled to give an extensive set of answer files which were analysed to identify whether computer delivery affected the questions in any adverse ways and, if so, to identify practical ways round these issues. A library of questions spanning commonly-taught topics in elementary graph theory has been designed, programmed and added to the graph theory topic within an online assessment and learning tool used at Brunel University called Mathletics. Distracters coded into the questions are based on errors students are likely to make, partially evidenced by final examination scripts. Questions were provided to students in Discrete Mathematics modules with an extensive collection of results compiled for analysis. Questions designed for use in practice environments were trialled on students from 2007 – 2008 and then from 2008 to 2014 inclusive under separate testing conditions. Particular focus is made on the relationship of facility and discrimination between comparable questions during this period. Data is grouped between topic and also year group for the 2008 – 2014 tests, namely 2008 to 2011 and 2011 to 2014, so that it may then be determined what factors, if any, had an effect on the overall results for these questions.
    [Show full text]