of the hypothesis, but it would not lead to a proof. P 1
|
|
- Bennett Young
- 5 years ago
- Views:
Transcription
1 Church-Turing thesis The intuitive notion of an effective procedure or algorithm has been mentioned several times. Today the Turing machine has become the accepted formalization of an algorithm. Clearly one cannot prove that the Turing machine model is equivalent to our intuitive notion of a computer, but there are compelling arguments for this equivalence.
2 Church-Turing thesis Suppose we were to make the conjecture that in some sense, Turing machines are equal in power to a typical computer. How could we defend such a hypothesis? 1. We could take a sequence of increasingly more difficult problems and show how they are solved by some Turing machine. P 4 Every success in this direction would P 3 strengthen our belief of the truth P of the hypothesis, but it would 2 not lead to a proof. P 1 2. We could find a procedure for which we can write a computer program, but for which we can show that no Turing machine can exits. But no one has yet been able to produce such a counterexample.
3 Church-Turing thesis Every indication is that Turing machines are in principle as powerful as any computer. Conjecture: Church-Turing Thesis (1930 s) The hypothesis states that any computation that can be carried out by mechanical means can be performed by some Turing machine. The Church-Turing thesis is not something that can be proven. To do so we would have to define precisely the term mechanical means. The Church-Turing thesis is more properly viewed as a definition of what constitutes a mechanical computation: A computation is mechanical if and only if it can be performed by some Turing machine.
4 Church-Turing thesis If we regard the Church-Turing thesis simply as a definition, we raise the question whether it is sufficiently broad. Is it far-reaching enough to cover everything we now do (and conceivably might do in the future) with computers? A clear yes is not possible, but the evidence in its favour is very strong. Having accepted the Church-Turing thesis, we are now in a position to give a precise definition of an algorithm.
5 Church-Turing thesis Definition An algorithm for a function f : D R is a Turing machine M, which given as input any d D on its tape, eventually halts with the correct answer f(d) R on its tape. We can require that q f F, for all d D. q 0 d q f f(d),
6 Church-Turing thesis Identifying an algorithm with a Turing machine program allows us to prove claims such as there exists an algorithm.... However, to construct explicitly an algorithm for even relatively simple problems is a very lengthy undertaking. We can appeal to the Church-Turing thesis and claim that anything we can do on any computer can also be done on a Turing machine. We will accept block diagrams as algorithms on the assumption that we could write a Turing machine program for them.
7 Church-Turing thesis Nothing will be considered an algorithm if it cannot be rendered as a Turing machine that is guaranteed to halt, and all such machines will be rightfully called algorithms. The Church-Turing thesis is not a theorem, because it is not a mathematical result: It simply asserts that a certain informal concept (algorithm) corresponds to a certain mathematical object (Turing machine). Not being a mathematical statement, the Church-Turing thesis cannot be proved. It is theoretically possible, that the Church-Turing thesis could be disproved in the future, if a proposed and accepted alternative model of computation could carry out computations that cannot be carried out by any TM. No one considers this likely.
8 Church-Turing thesis Adopting a precise mathematical notion of an algorithm opens up the intriguing possibility of formally proving that certain computational problems cannot be solved by any algorithm. We will not define an even more powerful computational device: according to the Church-Turing thesis, computational tasks, that cannot be performed by Turing machines are impossible, hopeless, undecidable. The pumping theorems we used, exploit the weaknesses of context-free grammars and finite automata. We now must devise techniques for exploiting the power of Turing machines in order to expose their limitations.
9 Other models of Turing machines Many variations on the basic model of the Turing machine are possible: Turing machines with Stay-Option Turing machines with Semi-Infinite Tape Offline Turing machines Multitape Turing machines Nondeterministic Turing machines The universal Turing machine
10 Equivalence of classes of automata Definition Two automata are equivalent if they accept the same language. Consider two classes of automata C 1 and C 2. If for every automaton M 1 in C 1 there is an automaton M 2 in C 2 such that L(M 1 ) = L(M 2 ), we say that C 2 is at least as powerful as C 1. If the converse also holds and for every M 2 in C 2 there is an M 1 in C 1 such that L(M 1 ) = L(M 2 ), we say that C 1 and C 2 are equivalent.
11 Equivalence of classes of automata For demonstrating the equivalence in connection with Turing machines, often the technique of simulation is used. Let M be an automaton. We say that another automaton ˆM can simulate a computation of M if ˆM can mimic the computation of M in the following manner: let d 0, d 1,... be the sequence of instantenous descriptions of the computation of M, that is, d 0 M d 1 M... M d n... then ˆM simulates this computation if it carries out ˆd 0 ˆd 1... dˆ n..., such that each ˆM ˆM ˆM ˆd is associated with a unique configuration of M. To demonstrate the equivalence of two classes of automata, we show that for every machine in one class, there is a machine in the second class capable of simulating it, and vice versa.
12 Turing machines with a stay option The read-write head of our basic Turing machine must move either to the right or to the left. Sometimes it is convenient to provide a third option, to have the read-write head stay in place after rewriting the cell content. Thus δ : Q Γ Q Γ {L, R, S} This option does not extend the power of the automaton. Theorem The class of Turing machines with a stay option is equivalent to the class of basic Turing machines.
13 Turing machines with semi-infinite tape A Turing machine with a tape that is unbounded only in one direction. This Turing machine is identical to our basic Turing machine, except that no left move is permitted when the read-write head is at the boundary. Theorem The class of Turing machines with a semi-infinite tape is equivalent to the class of basic Turing machines.
14 The Offline Turing machine If we put the input file back into the picture, we get what is known as an offline Turing machine. In such a machine, each move is governed by the internal state, what is currently read from the input file, and what is seen on the tape. Control unit Read-only input file Tape Theorem The class of offline Turing machines is equivalent to the class of basic Turing machines.
15 Multi-tape Turing machines A multitape Turing machine is a Turing machine with several tapes, each with its own independently controlled read-write head. Typically, we define an n-tape machine with δ : Q Γ n Q Γ n {L, R} n Theorem The class of multitape Turing machines is equivalent to the class of basic Turing machines.
16 Nondeterministic Turing machines Definition A nondeterministic Turing machine is as given in the definition for our basic Turing machine, except that δ is now defined as δ : Q Γ 2 Q Γ {L,R} As always when nondeterminism is involved, the range of δ is a set of possible transitions, any of which can be chosen by the machine. Example: If a Turing machine has transitions specified by it is nondeterministic. δ(q 0, a) = {(q 1, b, R), (q 2, c, L)} The moves q 0 aaa bq 1 aa and q 0 aaa q 2 caa are both possible.
17 Nondeterministic Turing machines Definition A nondeterministic Turing machine is said to accept w if there is any possible sequence of moves such that with q f F. q 0 w x 1 q f x 2, A nondeterministic TM may have moves available that lead to a non-final state or to an infinite loop. But these alternatives are irrelevant; all we are interested in is the existence of some sequence of moves leading to acceptance.
18 Nondeterministic Turing machines To show that a nondeterministic TM is no more powerful then a deterministic one, we need to provide a deterministic equivalent for the nondeterminism. One way to visualize the simulation is to use a basic Turing machine, keeping all possible instantenous descriptions of the nondeterministic machine on its tape, seperated by some convention. The simulating machine looks at all active configurations and updates them accordingly.
19 Nondeterministic Turing machines Theorem The class of deterministic Turing machines and the class of nondeterministic Turing machine are equivalent. As always, nondeterminism can be seen as a choice between alternatives. This can be visualized as a decision tree. Definition A nondeterministic Turing machine M is said to accept a language L if, for all w L, at least one of the possible configurations accepts w. There may be branches that led to non-accepting configurations, while some may put the machine into an infinite loop. But these are irrelevant for acceptance.
20 The universal Turing machine A universal Turing machine M u is an automaton that, given as input the description of any Turing machine M and an input string w, can simulate the computation of M on w. To construct such an M u, we first choose a standard way of describing Turing machines: We may assume that Q = {q 1, q 2,..., q n } and Γ = {a 1, a 2,..., a m }, where q 1 is the inital state, q 2 is the single final state and a 1 represents the blank. We select an encoding in which q 1 is represented by 1, q 2 is represented by 11, etc. Similarly, a 1 is encoded as 1, a 2 as 11, etc. The symbol 0 will be used as a seperator between the 1 s.
21 The universal Turing machine With the inital and final state and the blank defined by this convention, any Turing machine can be described completely with δ only. Example: δ(q 1, a 2 ) = (q 2, a 3, L) might appear as Any Turing machine has a finite encoding as a string on {0, 1} +, and, given any encoding of M, we can decode it uniquely. A universal Turing machine M u then has an input alphabet that includes {0, 1} and the structure of a multitape machine. Given any program, the universal Turing machine, can carry out the computations specified by that program.
22 References LINZ, P. An introduction to Formal Languages and Automata. Jones and Bartlett Learning, HOPCROFT, J. and ULLMAN, J. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, LEWIS, H.R. and PAPADIMITRIOU C. H. Elements of the theory of computation. Prentice Hall, 1998.
Computability. What can be computed?
Computability What can be computed? Computability What can be computed? read/write tape 0 1 1 0 control Computability What can be computed? read/write tape 0 1 1 0 control Computability What can be computed?
More informationTechnical framework of Operating System using Turing Machines
Reviewed Paper Technical framework of Operating System using Turing Machines Paper ID IJIFR/ V2/ E2/ 028 Page No 465-470 Subject Area Computer Science Key Words Turing, Undesirability, Complexity, Snapshot
More informationAutomata and Formal Languages - CM0081 Turing Machines
Automata and Formal Languages - CM0081 Turing Machines Andrés Sicard-Ramírez Universidad EAFIT Semester 2018-1 Turing Machines Alan Mathison Turing (1912 1954) Automata and Formal Languages - CM0081. Turing
More informationCITS2211 Discrete Structures Turing Machines
CITS2211 Discrete Structures Turing Machines October 23, 2017 Highlights We have seen that FSMs and PDAs are surprisingly powerful But there are some languages they can not recognise We will study a new
More informationDVA325 Formal Languages, Automata and Models of Computation (FABER)
DVA325 Formal Languages, Automata and Models of Computation (FABER) Lecture 1 - Introduction School of Innovation, Design and Engineering Mälardalen University 11 November 2014 Abu Naser Masud FABER November
More informationTiling Problems. This document supersedes the earlier notes posted about the tiling problem. 1 An Undecidable Problem about Tilings of the Plane
Tiling Problems This document supersedes the earlier notes posted about the tiling problem. 1 An Undecidable Problem about Tilings of the Plane The undecidable problems we saw at the start of our unit
More informationTuring Machines (TM)
1 Introduction Turing Machines (TM) Jay Bagga A Turing Machine (TM) is a powerful model which represents a general purpose computer. The Church-Turing thesis states that our intuitive notion of algorithms
More informationImplementation of Recursively Enumerable Languages in Universal Turing Machine
Implementation of Recursively Enumerable Languages in Universal Turing Machine Sumitha C.H, Member, ICMLC and Krupa Ophelia Geddam Abstract This paper presents the design and working of a Universal Turing
More informationCSCI3390-Lecture 8: Undecidability of a special case of the tiling problem
CSCI3390-Lecture 8: Undecidability of a special case of the tiling problem February 16, 2016 Here we show that the constrained tiling problem from the last lecture (tiling the first quadrant with a designated
More informationDHANALAKSHMI COLLEGE OF ENGINEERING, CHENNAI
DHANALAKSHMI COLLEGE OF ENGINEERING, CHENNAI Department of Computer Science and Engineering CS6503 THEORY OF COMPUTATION 2 Mark Questions & Answers Year / Semester: III / V Regulation: 2013 Academic year:
More informationOracle Turing Machine. Kaixiang Wang
Oracle Turing Machine Kaixiang Wang Pre-background: What is Turing machine Oracle Turing Machine Definition Function Complexity Why Oracle Turing Machine is important Application of Oracle Turing Machine
More informationMembrane Computing as Multi Turing Machines
Volume 4 No.8, December 2012 www.ijais.org Membrane Computing as Multi Turing Machines Mahmoud Abdelaziz Amr Badr Ibrahim Farag ABSTRACT A Turing machine (TM) can be adapted to simulate the logic of any
More informationTHE ENUMERATION OF PERMUTATIONS SORTABLE BY POP STACKS IN PARALLEL
THE ENUMERATION OF PERMUTATIONS SORTABLE BY POP STACKS IN PARALLEL REBECCA SMITH Department of Mathematics SUNY Brockport Brockport, NY 14420 VINCENT VATTER Department of Mathematics Dartmouth College
More informationBasic Science for Software Developers
Basic Science for Software Developers David Lorge Parnas, P.Eng. Michael Soltys Department of Computing and Software Faculty of Engineering McMaster University, Hamilton, Ontario, Canada - L8S 4K1 1 Introduction
More informationConstructions of Coverings of the Integers: Exploring an Erdős Problem
Constructions of Coverings of the Integers: Exploring an Erdős Problem Kelly Bickel, Michael Firrisa, Juan Ortiz, and Kristen Pueschel August 20, 2008 Abstract In this paper, we study necessary conditions
More informationLecture 20 November 13, 2014
6.890: Algorithmic Lower Bounds: Fun With Hardness Proofs Fall 2014 Prof. Erik Demaine Lecture 20 November 13, 2014 Scribes: Chennah Heroor 1 Overview This lecture completes our lectures on game characterization.
More informationNotes for Recitation 3
6.042/18.062J Mathematics for Computer Science September 17, 2010 Tom Leighton, Marten van Dijk Notes for Recitation 3 1 State Machines Recall from Lecture 3 (9/16) that an invariant is a property of a
More informationIntroduction To Automata Theory Languages And Computation Addison Wesley Series In Computer Science
Introduction To Automata Theory Languages And Computation Addison Wesley Series In Computer Science INTRODUCTION TO AUTOMATA THEORY LANGUAGES AND COMPUTATION ADDISON WESLEY SERIES IN COMPUTER SCIENCE PDF
More informationEnhanced Turing Machines
Enhanced Turing Machines Lecture 28 Sections 10.1-10.2 Robb T. Koether Hampden-Sydney College Wed, Nov 2, 2016 Robb T. Koether (Hampden-Sydney College) Enhanced Turing Machines Wed, Nov 2, 2016 1 / 21
More informationHalting Problem. Implement HALT? Today. Halt does not exist. Halt and Turing. Another view of proof: diagonalization. P - program I - input.
Today. Halting Problem. Implement HALT? Finish undecidability. Start counting. HALT (P,I) P - program I - input. Determines if P(I) (P run on I) halts or loops forever. Notice: Need a computer with the
More informationRegular Expressions and Regular Languages. BBM Automata Theory and Formal Languages 1
Regular Expressions and Regular Languages BBM 401 - Automata Theory and Formal Languages 1 Operations on Languages Remember: A language is a set of strings Union: Concatenation: Powers: Kleene Closure:
More informationMultiplayer Pushdown Games. Anil Seth IIT Kanpur
Multiplayer Pushdown Games Anil Seth IIT Kanpur Multiplayer Games we Consider These games are played on graphs (finite or infinite) Generalize two player infinite games. Any number of players are allowed.
More informationCDT314 FABER Formal Languages, Automata and Models of Computation MARK BURGIN INDUCTIVE TURING MACHINES
CDT314 FABER Formal Languages, Automata and Models of Computation MARK BURGIN INDUCTIVE TURING MACHINES 2012 1 Inductive Turing Machines Burgin, M. Inductive Turing Machines, Notices of the Academy of
More informationPhilosophy. AI Slides (5e) c Lin
Philosophy 15 AI Slides (5e) c Lin Zuoquan@PKU 2003-2018 15 1 15 Philosophy 15.1 AI philosophy 15.2 Weak AI 15.3 Strong AI 15.4 Ethics 15.5 The future of AI AI Slides (5e) c Lin Zuoquan@PKU 2003-2018 15
More informationOne-Dimensional Peg Solitaire, and Duotaire
More Games of No Chance MSRI Publications Volume 42, 2002 One-Dimensional Peg Solitaire, and Duotaire CRISTOPHER MOORE AND DAVID EPPSTEIN Abstract. We solve the problem of one-dimensional Peg Solitaire.
More informationFormulas for Primes. Eric Rowland Hofstra University. Eric Rowland Formulas for Primes / 27
Formulas for Primes Eric Rowland Hofstra University 2018 2 14 Eric Rowland Formulas for Primes 2018 2 14 1 / 27 The sequence of primes 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
More informationThe Tiling Problem. Nikhil Gopalkrishnan. December 08, 2008
The Tiling Problem Nikhil Gopalkrishnan December 08, 2008 1 Introduction A Wang tile [12] is a unit square with each edge colored from a finite set of colors Σ. A set S of Wang tiles is said to tile a
More informationUNDECIDABILITY AND APERIODICITY OF TILINGS OF THE PLANE
UNDECIDABILITY AND APERIODICITY OF TILINGS OF THE PLANE A Thesis to be submitted to the University of Leicester in partial fulllment of the requirements for the degree of Master of Mathematics. by Hendy
More informationR&D Meets Production: The Dark Side
R&D Meets Production: The Dark Side J.P.Lewis zilla@computer.org Disney The Secret Lab Disney/Lewis: R&D Production The Dark Side p.1/46 R&D Production Issues R&D Production interaction is not always easy.
More informationPrimitive Roots. Chapter Orders and Primitive Roots
Chapter 5 Primitive Roots The name primitive root applies to a number a whose powers can be used to represent a reduced residue system modulo n. Primitive roots are therefore generators in that sense,
More informationarxiv: v1 [cs.cc] 2 Dec 2014
Braid is undecidable Linus Hamilton arxiv:1412.0784v1 [cs.cc] 2 Dec 2014 December 3, 2014 Abstract Braid is a 2008 puzzle game centered around the ability to reverse time. We show that Braid can simulate
More informationSequential program, state machine, Concurrent process models
INSIGHT Sequential program, state machine, Concurrent process models Finite State Machines, or automata, originated in computational theory and mathematical models in support of various fields of bioscience.
More informationFormal Verification. Lecture 5: Computation Tree Logic (CTL)
Formal Verification Lecture 5: Computation Tree Logic (CTL) Jacques Fleuriot 1 jdf@inf.ac.uk 1 With thanks to Bob Atkey for some of the diagrams. Recap Previously: Linear-time Temporal Logic This time:
More informationTile Number and Space-Efficient Knot Mosaics
Tile Number and Space-Efficient Knot Mosaics Aaron Heap and Douglas Knowles arxiv:1702.06462v1 [math.gt] 21 Feb 2017 February 22, 2017 Abstract In this paper we introduce the concept of a space-efficient
More informationModeling Supervisory Control of Autonomous Mobile Robots using Graph Theory, Automata and Z Notation
Modeling Supervisory Control of Autonomous Mobile Robots using Graph Theory, Automata and Z Notation Javed Iqbal 1, Sher Afzal Khan 2, Nazir Ahmad Zafar 3 and Farooq Ahmad 1 1 Faculty of Information Technology,
More informationLaunchpad Maths. Arithmetic II
Launchpad Maths. Arithmetic II LAW OF DISTRIBUTION The Law of Distribution exploits the symmetries 1 of addition and multiplication to tell of how those operations behave when working together. Consider
More informationOne computer theorist s view of cognitive systems
One computer theorist s view of cognitive systems Jiri Wiedermann Institute of Computer Science, Prague Academy of Sciences of the Czech Republic Partially supported by grant 1ET100300419 Outline 1. The
More informationTitle? Alan Turing and the Theoretical Foundation of the Information Age
BOOK REVIEW Title? Alan Turing and the Theoretical Foundation of the Information Age Chris Bernhardt, Turing s Vision: the Birth of Computer Science. Cambridge, MA: MIT Press 2016. xvii + 189 pp. $26.95
More informationCSCI 1590 Intro to Computational Complexity
CSCI 1590 Intro to Computational Complexity Parallel Computation and Complexity Classes John Savage Brown University April 13, 2009 John Savage (Brown University) CSCI 1590 Intro to Computational Complexity
More informationDeterministic Symmetric Rendezvous with Tokens in a Synchronous Torus
Deterministic Symmetric Rendezvous with Tokens in a Synchronous Torus Evangelos Kranakis 1,, Danny Krizanc 2, and Euripides Markou 3, 1 School of Computer Science, Carleton University, Ottawa, Ontario,
More informationTHE RISE AND FALL OF THE CHURCH-TURING THESIS Mark Burgin
THE RISE AND FALL OF THE CHURCH-TURING THESIS Mark Burgin Department of Mathematics University of California, Los Angeles Los Angeles, CA 90095 Abstract: The essay consists of three parts. In the first
More information2359 (i.e. 11:59:00 pm) on 4/16/18 via Blackboard
CS 109: Introduction to Computer Science Goodney Spring 2018 Homework Assignment 4 Assigned: 4/2/18 via Blackboard Due: 2359 (i.e. 11:59:00 pm) on 4/16/18 via Blackboard Notes: a. This is the fourth homework
More informationIn Response to Peg Jumping for Fun and Profit
In Response to Peg umping for Fun and Profit Matthew Yancey mpyancey@vt.edu Department of Mathematics, Virginia Tech May 1, 2006 Abstract In this paper we begin by considering the optimal solution to a
More informationarxiv: v1 [cs.cc] 21 Jun 2017
Solving the Rubik s Cube Optimally is NP-complete Erik D. Demaine Sarah Eisenstat Mikhail Rudoy arxiv:1706.06708v1 [cs.cc] 21 Jun 2017 Abstract In this paper, we prove that optimally solving an n n n Rubik
More informationComputation. Philosophical Issues. Instructor: Viola Schiaffonati. March, 26 th 2018
Computation Philosophical Issues Instructor: Viola Schiaffonati March, 26 th 2018 Computer science: what kind of object? 2 Computer science: science/disciplines of computersor of computation? History of
More informationAdvanced Automata Theory 4 Games
Advanced Automata Theory 4 Games Frank Stephan Department of Computer Science Department of Mathematics National University of Singapore fstephan@comp.nus.edu.sg Advanced Automata Theory 4 Games p. 1 Repetition
More informationarxiv: v2 [math.gt] 21 Mar 2018
Tile Number and Space-Efficient Knot Mosaics arxiv:1702.06462v2 [math.gt] 21 Mar 2018 Aaron Heap and Douglas Knowles March 22, 2018 Abstract In this paper we introduce the concept of a space-efficient
More informationSets. Gazihan Alankuş (Based on original slides by Brahim Hnich et al.) August 6, Outline Sets Equality Subset Empty Set Cardinality Power Set
Gazihan Alankuş (Based on original slides by Brahim Hnich et al.) August 6, 2012 Gazihan Alankuş (Based on original slides by Brahim Hnich et al.) Gazihan Alankuş (Based on original slides by Brahim Hnich
More information18 Completeness and Compactness of First-Order Tableaux
CS 486: Applied Logic Lecture 18, March 27, 2003 18 Completeness and Compactness of First-Order Tableaux 18.1 Completeness Proving the completeness of a first-order calculus gives us Gödel s famous completeness
More informationLecture 18 - Counting
Lecture 18 - Counting 6.0 - April, 003 One of the most common mathematical problems in computer science is counting the number of elements in a set. This is often the core difficulty in determining a program
More informationComputational Completeness of Interaction Machines and Turing Machines
of Interaction Machines and Turing Machines Peter Wegner 1, Eugene Eberbach 2 and Mark Burgin 3 1 Dept. of Computer Science, Brown University, Providence, RI 02912, USA peter wegner@brown.edu 2 Dept. of
More informationIdeas beyond Number. Teacher s guide to Activity worksheets
Ideas beyond Number Teacher s guide to Activity worksheets Learning objectives To explore reasoning, logic and proof through practical, experimental, structured and formalised methods of communication
More informationSRM UNIVERSITY FACULTY OF ENGINEERING AND TECHNOLOGY
SRM UNIVERSITY FACULTY OF ENGINEERING AND TECHNOLOGY SCHOOL OF COMPUTER SCIENCE AND ENGINEERING DEPARTMENT OF CSE COURSE PLAN Course Code : CS0204 Course Title : Theory of Computation Semester : IV Course
More informationEXPLAINING THE SHAPE OF RSK
EXPLAINING THE SHAPE OF RSK SIMON RUBINSTEIN-SALZEDO 1. Introduction There is an algorithm, due to Robinson, Schensted, and Knuth (henceforth RSK), that gives a bijection between permutations σ S n and
More informationComputability of Tilings
Computability of Tilings Grégory Lafitte and Michael Weiss Abstract Wang tiles are unit size squares with colored edges. To know whether a given finite set of Wang tiles can tile the plane while respecting
More informationRMT 2015 Power Round Solutions February 14, 2015
Introduction Fair division is the process of dividing a set of goods among several people in a way that is fair. However, as alluded to in the comic above, what exactly we mean by fairness is deceptively
More informationPattern Avoidance in Unimodal and V-unimodal Permutations
Pattern Avoidance in Unimodal and V-unimodal Permutations Dido Salazar-Torres May 16, 2009 Abstract A characterization of unimodal, [321]-avoiding permutations and an enumeration shall be given.there is
More informationAn Aperiodic Tiling from a Dynamical System: An Exposition of An Example of Culik and Kari. S. Eigen J. Navarro V. Prasad
An Aperiodic Tiling from a Dynamical System: An Exposition of An Example of Culik and Kari S. Eigen J. Navarro V. Prasad These tiles can tile the plane But only Aperiodically Example A (Culik-Kari) Dynamical
More informationTOPOLOGY, LIMITS OF COMPLEX NUMBERS. Contents 1. Topology and limits of complex numbers 1
TOPOLOGY, LIMITS OF COMPLEX NUMBERS Contents 1. Topology and limits of complex numbers 1 1. Topology and limits of complex numbers Since we will be doing calculus on complex numbers, not only do we need
More informationarxiv: v1 [math.co] 8 Oct 2012
Flashcard games Joel Brewster Lewis and Nan Li November 9, 2018 arxiv:1210.2419v1 [math.co] 8 Oct 2012 Abstract We study a certain family of discrete dynamical processes introduced by Novikoff, Kleinberg
More informationChameleon Coins arxiv: v1 [math.ho] 23 Dec 2015
Chameleon Coins arxiv:1512.07338v1 [math.ho] 23 Dec 2015 Tanya Khovanova Konstantin Knop Oleg Polubasov December 24, 2015 Abstract We discuss coin-weighing problems with a new type of coin: a chameleon.
More informationFrom a Ball Game to Incompleteness
From a Ball Game to Incompleteness Arindama Singh We present a ball game that can be continued as long as we wish. It looks as though the game would never end. But by applying a result on trees, we show
More information3 Game Theory II: Sequential-Move and Repeated Games
3 Game Theory II: Sequential-Move and Repeated Games Recognizing that the contributions you make to a shared computer cluster today will be known to other participants tomorrow, you wonder how that affects
More informationSummary Overview of Topics in Econ 30200b: Decision theory: strong and weak domination by randomized strategies, domination theorem, expected utility
Summary Overview of Topics in Econ 30200b: Decision theory: strong and weak domination by randomized strategies, domination theorem, expected utility theorem (consistent decisions under uncertainty should
More informationSF2972: Game theory. Introduction to matching
SF2972: Game theory Introduction to matching The 2012 Nobel Memorial Prize in Economic Sciences: awarded to Alvin E. Roth and Lloyd S. Shapley for the theory of stable allocations and the practice of market
More informationNOT QUITE NUMBER THEORY
NOT QUITE NUMBER THEORY EMILY BARGAR Abstract. Explorations in a system given to me by László Babai, and conclusions about the importance of base and divisibility in that system. Contents. Getting started
More informationTeacher s Notes. Problem of the Month: Courtney s Collection
Teacher s Notes Problem of the Month: Courtney s Collection Overview: In the Problem of the Month, Courtney s Collection, students use number theory, number operations, organized lists and counting methods
More information3-2 Lecture 3: January Repeated Games A repeated game is a standard game which isplayed repeatedly. The utility of each player is the sum of
S294-1 Algorithmic Aspects of Game Theory Spring 2001 Lecturer: hristos Papadimitriou Lecture 3: January 30 Scribes: Kris Hildrum, ror Weitz 3.1 Overview This lecture expands the concept of a game by introducing
More informationStrategic Bargaining. This is page 1 Printer: Opaq
16 This is page 1 Printer: Opaq Strategic Bargaining The strength of the framework we have developed so far, be it normal form or extensive form games, is that almost any well structured game can be presented
More informationComputability of Tilings
Computability of Tilings Grégory Lafitte 1 and Michael Weiss 2 1 Laboratoire d Informatique Fondamentale de Marseille (LIF), CNRS Aix-Marseille Université, 39, rue Joliot-Curie, F-13453 Marseille Cedex
More informationPermutation Groups. Definition and Notation
5 Permutation Groups Wigner s discovery about the electron permutation group was just the beginning. He and others found many similar applications and nowadays group theoretical methods especially those
More informationParallel Line Converse Theorems. Key Terms
A Reversed Condition Parallel Line Converse Theorems.5 Learning Goals Key Terms In this lesson, you will: Write parallel line converse conjectures. Prove parallel line converse conjectures. converse Corresponding
More information18.204: CHIP FIRING GAMES
18.204: CHIP FIRING GAMES ANNE KELLEY Abstract. Chip firing is a one-player game where piles start with an initial number of chips and any pile with at least two chips can send one chip to the piles on
More informationNANYANG TECHNOLOGICAL UNIVERSITY SEMESTER II EXAMINATION MH1301 DISCRETE MATHEMATICS. Time Allowed: 2 hours
NANYANG TECHNOLOGICAL UNIVERSITY SEMESTER II EXAMINATION 206-207 DISCRETE MATHEMATICS May 207 Time Allowed: 2 hours INSTRUCTIONS TO CANDIDATES. This examination paper contains FOUR (4) questions and comprises
More informationarxiv:math/ v2 [math.co] 25 Apr 2006
arxiv:math/050v [math.co] 5 pr 006 PERMUTTIONS GENERTED Y STCK OF DEPTH ND N INFINITE STCK IN SERIES MURRY ELDER bstract. We prove that the set of permutations generated by a stack of depth two and an
More informationTechniques for Generating Sudoku Instances
Chapter Techniques for Generating Sudoku Instances Overview Sudoku puzzles become worldwide popular among many players in different intellectual levels. In this chapter, we are going to discuss different
More informationExtending the Sierpinski Property to all Cases in the Cups and Stones Counting Problem by Numbering the Stones
Journal of Cellular Automata, Vol. 0, pp. 1 29 Reprints available directly from the publisher Photocopying permitted by license only 2014 Old City Publishing, Inc. Published by license under the OCP Science
More informationIs everything stochastic?
Is everything stochastic? Glenn Shafer Rutgers University Games and Decisions Centro di Ricerca Matematica Ennio De Giorgi 8 July 2013 1. Game theoretic probability 2. Game theoretic upper and lower probability
More informationIntroduction to Computer Engineering. CS/ECE 252, Spring 2013 Prof. Mark D. Hill Computer Sciences Department University of Wisconsin Madison
Introduction to Computer Engineering CS/ECE 252, Spring 2013 Prof. Mark D. Hill Computer Sciences Department University of Wisconsin Madison Chapter 1 Welcome Aboard Slides based on set prepared by Gregory
More informationCommunication Engineering Prof. Surendra Prasad Department of Electrical Engineering Indian Institute of Technology, Delhi
Communication Engineering Prof. Surendra Prasad Department of Electrical Engineering Indian Institute of Technology, Delhi Lecture - 23 The Phase Locked Loop (Contd.) We will now continue our discussion
More informationAlgorithmic Game Theory and Applications. Kousha Etessami
Algorithmic Game Theory and Applications Lecture 17: A first look at Auctions and Mechanism Design: Auctions as Games, Bayesian Games, Vickrey auctions Kousha Etessami Food for thought: sponsored search
More informationThe Pythagorean Theorem
! The Pythagorean Theorem Recall that a right triangle is a triangle with a right, or 90, angle. The longest side of a right triangle is the side opposite the right angle. We call this side the hypotenuse
More informationCountability. Jason Filippou UMCP. Jason Filippou UMCP) Countability / 12
Countability Jason Filippou CMSC250 @ UMCP 06-23-2016 Jason Filippou (CMSC250 @ UMCP) Countability 06-23-2016 1 / 12 Outline 1 Infinity 2 Countability of integers and rationals 3 Uncountability of R Jason
More informationFORMAL DEFINITION OF ARTIFICIAL INTELLIGENCE 1
International Journal "Information Theories & Applications" Vol.12 277 Further works includes services implementation in GRID environment, which will connect computational cluster and other computational
More informationFormalising Event Reconstruction in Digital Investigations
Formalising Event Reconstruction in Digital Investigations Pavel Gladyshev The thesis is submitted to University College Dublin for the degree of PhD in the Faculty of Science August 2004 Department of
More informationOn a Possible Future of Computationalism
Magyar Kutatók 7. Nemzetközi Szimpóziuma 7 th International Symposium of Hungarian Researchers on Computational Intelligence Jozef Kelemen Institute of Computer Science, Silesian University, Opava, Czech
More informationLogic and the Sizes of Sets
1/25 Logic and the Sizes of Sets Larry Moss, Indiana University EASLLI 2014 2/25 Map of Some Natural Logics FOL FO 2 + trans Church-Turing first-order logic FO 2 + R is trans RC (tr,opp) Peano-Frege Aristotle
More informationMath 127: Equivalence Relations
Math 127: Equivalence Relations Mary Radcliffe 1 Equivalence Relations Relations can take many forms in mathematics. In these notes, we focus especially on equivalence relations, but there are many other
More informationarxiv:math/ v1 [math.co] 22 Aug 2000
One-Dimensional Peg Solitaire, and Duotaire arxiv:math/0008172v1 [math.co] 22 Aug 2000 Cristopher Moore 1,2 and David Eppstein 3 1 Computer Science Department, University of New Mexico, Albuquerque NM
More informationOn the isomorphism problem of Coxeter groups and related topics
On the isomorphism problem of Coxeter groups and related topics Koji Nuida 1 Graduate School of Mathematical Sciences, University of Tokyo E-mail: nuida@ms.u-tokyo.ac.jp At the conference the author gives
More informationModular Arithmetic. Kieran Cooney - February 18, 2016
Modular Arithmetic Kieran Cooney - kieran.cooney@hotmail.com February 18, 2016 Sums and products in modular arithmetic Almost all of elementary number theory follows from one very basic theorem: Theorem.
More informationLecture 2. 1 Nondeterministic Communication Complexity
Communication Complexity 16:198:671 1/26/10 Lecture 2 Lecturer: Troy Lee Scribe: Luke Friedman 1 Nondeterministic Communication Complexity 1.1 Review D(f): The minimum over all deterministic protocols
More informationSOLITAIRE CLOBBER AS AN OPTIMIZATION PROBLEM ON WORDS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #G04 SOLITAIRE CLOBBER AS AN OPTIMIZATION PROBLEM ON WORDS Vincent D. Blondel Department of Mathematical Engineering, Université catholique
More informationLight Up is NP-complete
Light Up is NP-complete Brandon McPhail February 8, 5 ( ) w a b a b z y Figure : An OR/NOR gate for our encoding of logic circuits as a Light Up puzzle. Abstract Light Up is one of many paper-and-pencil
More informationCSE 20 DISCRETE MATH. Fall
CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Define and compute the cardinality of a set. Use functions to compare the sizes of sets. Classify sets
More informationWhy Church s Thesis Still Holds
MICHAEL PRASSE PETER RITTGEN Why Church s Thesis Still Holds Some Notes on Peter Wegner s Tracts on Interaction and Computability Dezember 1997 Arbeitsberichte des Instituts für Wirtschaftsinformatik Nr.8
More informationCryptography. 2. decoding is extremely difficult (for protection against eavesdroppers);
18.310 lecture notes September 2, 2013 Cryptography Lecturer: Michel Goemans 1 Public Key Cryptosystems In these notes, we will be concerned with constructing secret codes. A sender would like to encrypt
More informationThe Four Numbers Game
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln MAT Exam Expository Papers Math in the Middle Institute Partnership 7-2007 The Four Numbers Game Tina Thompson University
More informationNON-OVERLAPPING PERMUTATION PATTERNS. To Doron Zeilberger, for his Sixtieth Birthday
NON-OVERLAPPING PERMUTATION PATTERNS MIKLÓS BÓNA Abstract. We show a way to compute, to a high level of precision, the probability that a randomly selected permutation of length n is nonoverlapping. As
More informationIntroduction to Algorithms / Algorithms I Lecturer: Michael Dinitz Topic: Algorithms and Game Theory Date: 12/4/14
600.363 Introduction to Algorithms / 600.463 Algorithms I Lecturer: Michael Dinitz Topic: Algorithms and Game Theory Date: 12/4/14 25.1 Introduction Today we re going to spend some time discussing game
More information