15 research outputs found
An algorithmic approach for multi-color Ramsey graphs
The classical Ramsey number R(r1,r2,...,rm) is defined to be the smallest integer n such that no matter how the edges of Kn are colored with the m colors, 1, 2, 3, . . . ,m, there exists some color i such that there is a complete subgraph of size ri, all of whose edges are of color i. The problem of determining Ramsey numbers is known to be very difficult and is usually split into two problems, finding upper and lower bounds. Lower bounds can be obtained by the construction of a, so called, Ramsey graph. There are many different methods to construct Ramsey graphs that establish lower bounds. In this thesis mathematical and computational methods are exploited to construct Ramsey graphs. It was shown that the problem of checking that a graph coloring gives a Ramsey graph is NP-complete. Hence it is almost impossible to find a polynomial time algorithm to construct Ramsey graphs by searching and checking. Consequently, a method such as backtracking with good pruning techniques should be used. Algebraic methods were developed to enable such a backtrack search to be feasible when symmetry is assumed. With the algorithm developed in this thesis, two new lower bounds were established: R(3,3,5)≥45 and R(3,4,4)≥55. Other best known lower bounds were matched, such as R(3,3,4)≥30. The Ramsey graphs giving these lower bounds were analyzed and their full symmetry groups were determined. In particular it was shown that there are unique cyclic graphs up to isomorphism giving R(3,3,4)≥30 and R(3,4,4)≥55, and 13 non-isomorphic cyclic graphs giving R(3,3,5)≥45
Recommended from our members
Reverse Mathematics of Ramsey\u27s Theorem
Reverse mathematics aims to determine which set theoretic axioms are necessary to prove the theorems outside of the set theory. Since the 1970’s, there has been an interest in applying reverse mathematics to study combinatorial principles like Ramsey’s theorem to analyze its strength and relation to other theorems. Ramsey’s theorem for pairs states that for any infinite complete graph with a finite coloring on edges, there is an infinite subset of nodes all of whose edges share one color. In this thesis, we introduce the fundamental terminology and techniques for reverse mathematics, and demonstrate their use in proving Kőnig\u27s lemma and Ramsey\u27s theorem over RCA0
Space programs summary no. 37-62, volume 3 for the period 1 February - 31 March 1970. Supporting research and advanced development
Spacecraft communication, equipment, guidance, construction materials, propulsion, and related researc
Probabilistic methods for distributed information dissemination
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2013.Cataloged from PDF version of thesis.Includes bibliographical references (p. 457-484).The ever-increasing growth of modern networks comes with a paradigm shift in network operation. Networks can no longer be abstracted as deterministic, centrally controlled systems with static topologies but need to be understood as highly distributed, dynamic systems with inherent unreliabilities. This makes many communication, coordination and computation tasks challenging and in many scenarios communication becomes a crucial bottleneck. In this thesis, we develop new algorithms and techniques to address these challenges. In particular we concentrate on broadcast and information dissemination tasks and introduce novel ideas on how randomization can lead to powerful, simple and practical communication primitives suitable for these modern networks. In this endeavor we combine and further develop tools from different disciplines trying to simultaneously addresses the distributed, information theoretic and algorithmic aspects of network communication. The two main probabilistic techniques developed to disseminate information in a network are gossip and random linear network coding. Gossip is an alternative to classical flooding approaches: Instead of nodes repeatedly forwarding information to all their neighbors, gossiping nodes forward information only to a small number of (random) neighbors. We show that, when done right, gossip disperses information almost as quickly as flooding, albeit with a drastically reduced communication overhead. Random linear network coding (RLNC) applies when a large amount of information or many messages are to be disseminated. Instead of routing messages through intermediate nodes, that is, following a classical store-and-forward approach, RLNC mixes messages together by forwarding random linear combinations of messages. The simplicity and topology-obliviousness of this approach makes RLNC particularly interesting for the distributed settings considered in this thesis. Unfortunately the performance of RLNC was not well understood even for the simplest such settings. We introduce a simple yet powerful analysis technique that allows us to prove optimal performance guarantees for all settings considered in the literature and many more that were not analyzable so far. Specifically, we give many new results for RLNC gossip algorithms, RLNC algorithms for dynamic networks, and RLNC with correlated data. We also provide a novel highly efficient distributed implementation of RLNC that achieves these performance guarantees while buffering only a minimal amount of information at intermediate nodes. We then apply our techniques to improve communication primitives in multi-hop radio networks. While radio networks inherently support broadcast communications, e.g., from one node to all surrounding nodes, interference of simultaneous transmissions makes multihop broadcast communication an interesting challenge. We show that, again, randomization holds the key for obtaining simple, efficient and distributed information dissemination protocols. In particular, using random back-off strategies to coordinate access to the shared medium leads to optimal gossip-like communications and applying RLNC achieves the first throughput-optimal multi-message communication primitives. Lastly we apply our probabilistic approach for analyzing simple, distributed propagation protocols in a broader context by studying algorithms for the Lovász Local Lemma. These algorithms find solutions to certain local constraint satisfaction problems by randomly fixing and propagating violations locally. Our two main results show that, firstly, there are also efficient deterministic propagation strategies achieving the same and, secondly, using the random fixing strategy has the advantage of producing not just an arbitrary solution but an approximately uniformly random one. Both results lead to simple, constructions for a many locally consistent structures of interest that were not known to be efficiently constructable before.by Bernhard Haeupler.Ph.D
The Automation Of Proof By Mathematical Induction
Chapter appears in Handbook of Automated Reasoning
Edited by: Alan Robinson and Andrei Voronkov
ISBN: 978-0-444-50813-3This paper is a chapter of the Handbook of Automated Reasoning edited by Voronkov and Robinson. It describes techniques for automated reasoning in theories containing rules of mathematical induction. Firstly, inductive reasoning is defined and its importance fore reasoning about any form of repitition is stressed. Then the special search problems that arise in inductive theories are explained followed by descriptions of the heuristic methods that have been devised to solve these problems
Critical Thinking Skills Profile of High School Students In Learning Science-Physics
This study aims to describe Critical Thinking Skills high school students in the city of Makassar. To achieve this goal, the researchers conducted an analysis of student test results of 200 people scattered in six schools in the city of Makassar. The results of the quantitative descriptive analysis of the data found that the average value of students doing the interpretation, analysis, and inference in a row by 1.53, 1.15, and 1.52. This value is still very low when compared with the maximum value that may be obtained by students, that is equal to 10.00. This shows that the critical thinking skills of high school students are still very low. One fact Competency Standards science subjects-Physics is demonstrating the ability to think logically, critically, and creatively with the guidance of teachers and demonstrate the ability to solve simple problems in daily life. In fact, according to Michael Scriven stated that the main task of education is to train students and or students to think critically because of the demands of work in the global economy, the survival of a democratic and personal decisions and decisions in an increasingly complex society needs people who can think well and make judgments good. Therefore, the need for teachers in the learning device scenario such as: driving question or problem, authentic Investigation: Science Processes