Phasing of Traffic Lights at a Road Junction

Similar documents
Maximum area of polygon

1 Fractions from an advanced point of view

Orthopoles and the Pappus Theorem

On Equivalence Between Network Topologies

Forensic Engineering Techniques for VLSI CAD Tools

The art of Paperarchitecture (PA). MANUAL

Fluent Merging: A General Technique to Improve Reachability Heuristics and Factored Planning

1. Definition, Basic concepts, Types 2. Addition and Subtraction of Matrices 3. Scalar Multiplication 4. Assignment and answer key 5.

MATH PLACEMENT REVIEW GUIDE

OxCORT v4 Quick Guide Revision Class Reports

GENERAL OPERATING PRINCIPLES

National Firefighter Ability Tests And the National Firefighter Questionnaire

Volumes by Cylindrical Shells: the Shell Method

DiaGen: A Generator for Diagram Editors Based on a Hypergraph Model

Words Symbols Diagram. abcde. a + b + c + d + e

Computing the 3D Voronoi Diagram Robustly: An Easy Explanation

How To Balance Power In A Distribution System

Formal concept analysis-based class hierarchy design in object-oriented software development

Ratio and Proportion

Lesson 2.1 Inductive Reasoning

Angles 2.1. Exercise Find the size of the lettered angles. Give reasons for your answers. a) b) c) Example

Interior and exterior angles add up to 180. Level 5 exterior angle

SECTION 7-2 Law of Cosines

CARROLL COLLEGE. Reference Guide for Sophomores and Juniors

Module 5. Three-phase AC Circuits. Version 2 EE IIT, Kharagpur

Arc-Consistency for Non-Binary Dynamic CSPs

50 MATHCOUNTS LECTURES (10) RATIOS, RATES, AND PROPORTIONS

Bayesian Updating with Continuous Priors Class 13, 18.05, Spring 2014 Jeremy Orloff and Jonathan Bloom

CHAPTER 31 CAPACITOR

Data Quality Certification Program Administrator In-Person Session Homework Workbook

Equivalence Checking. Sean Weaver

Lesson 1: Getting started

1.2 The Integers and Rational Numbers

The remaining two sides of the right triangle are called the legs of the right triangle.

The Cat in the Hat. by Dr. Seuss. A a. B b. A a. Rich Vocabulary. Learning Ab Rhyming

JCM TRAINING OVERVIEW Multi-Download Module 2

PUBLIC-TRANSIT VEHICLE SCHEDULES USING A MINIMUM CREW-COST APPROACH

Hydromagnetic Unsteady Mixed Convection Flow Past an Infinite Vertical Porous Plate

Angles and Triangles

The Pythagorean Theorem

Reasoning to Solve Equations and Inequalities

Revised products from the Medicare Learning Network (MLN) ICD-10-CM/PCS Myths and Facts, Fact Sheet, ICN , downloadable.

Lecture 3 Gaussian Probability Distribution

Word Wisdom Correlations to the Common Core State Standards, Grade 6

Homework 3 Solutions

Clause Trees: a Tool for Understanding and Implementing Resolution in Automated Reasoning

Bypassing Space Explosion in Regular Expression Matching for Network Intrusion Detection and Prevention Systems

Chapter. Contents: A Constructing decimal numbers

UNCORRECTED SAMPLE PAGES

CS 316: Gates and Logic

S-Scrum: a Secure Methodology for Agile Development of Web Services

If two triangles are perspective from a point, then they are also perspective from a line.

Experiment 6: Friction

Pentominoes. Pentominoes. Bruce Baguley Cascade Math Systems, LLC. The pentominoes are a simple-looking set of objects through which some powerful

EQUATIONS OF LINES AND PLANES

OUTLINE SYSTEM-ON-CHIP DESIGN. GETTING STARTED WITH VHDL August 31, 2015 GAJSKI S Y-CHART (1983) TOP-DOWN DESIGN (1)

Graphs on Logarithmic and Semilogarithmic Paper

Integration by Substitution

Cell Breathing Techniques for Load Balancing in Wireless LANs

European Convention on Products Liability in regard to Personal Injury and Death

SOLVING QUADRATIC EQUATIONS BY FACTORING

SOLVING EQUATIONS BY FACTORING

LINEAR TRANSFORMATIONS AND THEIR REPRESENTING MATRICES

A System Context-Aware Approach for Battery Lifetime Prediction in Smart Phones

PLWAP Sequential Mining: Open Source Code

Simulation of a large electric distribution system having intensive harmonics in the industrial zone of Konya

- DAY 1 - Website Design and Project Planning

On the Utilization of Spatial Structures for Cognitively Plausible and Efficient Reasoning

Quick Guide to Lisp Implementation

the machine and check the components Black Yellow Cyan Magenta

p-q Theory Power Components Calculations

Student Access to Virtual Desktops from personally owned Windows computers

0.1 Basic Set Theory and Interval Notation

Learning Subregular Classes of Languages with Factored Deterministic Automata

Calculating Principal Strains using a Rectangular Strain Gage Rosette

Architecture and Data Flows Reference Guide

1 GSW IPv4 Addressing

15.6. The mean value and the root-mean-square value of a function. Introduction. Prerequisites. Learning Outcomes. Learning Style

REMO: Resource-Aware Application State Monitoring for Large-Scale Distributed Systems

1.00/1.001 Introduction to Computers and Engineering Problem Solving Fall Final Exam

A sufficient statistic approach to disability insurance with application to the United States Social Security Disability Insurance program

KEY SKILLS INFORMATION TECHNOLOGY Level 3. Question Paper. 29 January 9 February 2001

Fundamentals of Cellular Networks

2 DIODE CLIPPING and CLAMPING CIRCUITS

Theoretical and Computational Properties of Preference-based Argumentation

How To Organize A Meeting On Gotomeeting

2. Use of Internet attacks in terrorist activities is termed as a. Internet-attack b. National attack c. Cyberterrorism d.

Unit 5 Section 1. Mortgage Payment Methods & Products (20%)

DATABASDESIGN FÖR INGENJÖRER F

Further applications of area and volume

ORGANIZER QUICK START GUIDE

Regular Sets and Expressions

Application Note Configuring Integrated Windows Authentication as a McAfee Firewall Enterprise Authenticator. Firewall Enterprise

INSTALLATION, OPERATION & MAINTENANCE

McAfee Network Security Platform

Towards Zero-Overhead Static and Adaptive Indexing in Hadoop

Vectors Summary. Projection vector AC = ( Shortest distance from B to line A C D [OR = where m1. and m

Start Here. Quick Setup Guide. the machine and check the components. NOTE Not all models are available in all countries.

End-to-end development solutions

Density Curve. Continuous Distributions. Continuous Distribution. Density Curve. Meaning of Area Under Curve. Meaning of Area Under Curve

Transcription:

Applie Mthemtil Sienes, Vol., 009, no. 0, 87-9 Phsing of Trffi Lights t Ro Juntion S. Mohsen Hosseini Deprtment of Mthemtil Siene Isfhn University of Tehnology, Isfhn, Irn, 856-8 m_hoseini@lumni.iut..ir H. Orooji Deprtment of Mthemtis Islmi Az University Neyshur Brnh, Neyshur, Irn orooji@mil.znu..ir Astrt A metho for solving of speil tegory of trffi prolems hs een presente in this pper. The omptiility grph orresponing to the prolem n irulr r grphs hve een introue. Comptiility grph orresponing to the prolem, spnning sugrph n irulr r grphs then utilize to reue our prolem to the solution of LP prolems. Illustrtive exmples re inlue to emonstrte the vliity n ppliility of the tehnique. Keywors: LP prolem, irulr r grph, mximl lique Introution Reent progress in mthemtis speilly in its pplitions use in oservle progress of grph theory, in wy tht it is now proper tool for reserhes in ifferent fiels like Enoing theory, Eletril networks, Opertion reserh n other fiels. In this pper we review the pplitions of irulr r grphs in solving speil tegory of trffi prolems. The pper is orgnize s follows: in setion we esrie the require efinitions n preliminry. The propose metho hs een presente in form of exmple in setion. In setion we solve n exmple of the prolem with offering metho. Preliminries Consier finite fmily of non-empty sets. The intersetion grph of this

88 S. Mohsen Hosseini n H. Orooji fmily is otine y representing eh set y vertex, two verties eing onnete y n ege if n only if the orresponing sets interset. Intersetion grphs hve reeive muh ttention in the stuy of lgorithmi grph theory n their pplitions. Well-known speil lsses of intersetion grphs inlue intervl grphs, horl grphs, irulr r grphs, n so on. Definition. A irulr r grph is the intersetion grph of fmily of rs on irle. We sy tht these rs re irulr r represention of the grph. Definition. A lique of grph G is omplete sugrph of G. Definition. A lique of grph G is mximl lique of G if it is not properly ontine in nother lique of G. Prolem sttement The prolem is to instll trffi lights t ro juntion in suh wy tht trffi flows smoothly n effiiently t the juntion. We tke speifi exmple n explin how our prolem oul e tkle. Figure isplys the vrious trffi strems, nmely,,,. Figure : Trffi strems Certin trffi strems my e terme omptile if their simultneous flow woul not result in ny ients. For instne, in Figure, strems n re omptile, wheres n re not. The phsing of lights shoul e suh tht when the green lights re on for two strems, they shoul e omptile. We suppose tht the totl time for the ompletion of green n re lights uring one yle is two minutes. We form grph G whose vertex set onsist of the trffi strems in question n we mke two verties of G jent if, n only if, the orresponing strems re omptile. This grph is the omptiility grph orresponing to the prolem in question. The omptiility grph of Figure is shown in Figure.

Phsing of trffi lights t ro juntion 89 Figure : Grph G(Comptiility grph of Figure ) We tke irle n ssume tht its perimeter orrespons to the totl yle perio, nmely 0 seons. We my think tht the urtion when given trffi strem gets green light orrespons to n r of this irle. Hene, two suh rs of the irle n overlp only if the orresponing strems re omptile. The resulting irulr r grph my not e the omptiility grph euse we o not mn tht two rs interset whenever orrespon to omptile flows. ( There my e two omptile strems ut they nee not get green light t the sme time). However, the intersetion grph H of this irulr r grph will e spnning sugrph of the omptiility grph. So we hve to tke ll spnning sugrph of G in to ount n hoose from them the spnning sugrph tht hs the most mximl lique. The proper grph H for the ove exmple is shown in Figure. The effiieny of our phsing my e mesure y minimizing the totl re light time uring trffi yle, tht is the totl wting time for ll the trffi strems uring yle. For the ske of onreteness, we my ssume tht t the time of strting, ll lights re re. The mximl lique of H re k = {,, } n k = {, }. Eh lique k i, i, orrespons to phse uring whih ll strems in tht lique reeive green lights. In phse, trffi strems, n reeive green light; in phse, n reive green light. Suppose we, ssign to eh phse k urtion i i. Our im is to etermine the s ( i 0 ) so tht the totl wting time is minimum. Further, we my ssume tht the minimum green light time for ny strem is 0 seons. Trffi strem gets re light, when the phse k reeive green light. Hene s totl re light time is. Similrly, the totl re light times of trffi strems, n, respetively, re, n. Therefore, the totl re light time of ll the strems in one yle is Z =. Our im is to minimize Z sujet to i 0, i n 0, 0, 0, = 0. The optiml solution to this prolem is = 00, = 0, min Z = 0. The phsing tht orrespons to this lest vlue woul then e the est phsing of the trffi lights.

90 S. Mohsen Hosseini n H. Orooji Figure : Grph H(Intersetion grph) Exmple The Figure isplys the vrious trffi strems, nmely,,..., g. We pply the propose metho for this exmple. The omptiility grph orresponing to the prolem is shown in Figure 5. The proper grph (the sugrph of G tht hs the most mximl lique) H for this exmple is shown in Figure 6. The mximl lique of H re k = {,, }, k = {,, }, k = {, e} n k = { e, f, g}. Our im is to minimize Z = + + + sujet to i 0, i n 0, 0, 0, 0, 0, 0, n = 0. The optiml solution to this prolem is = 80, = 0, = 0, = 0 n min Z = 60 (in seons).

Phsing of trffi lights t ro juntion 9 pe pe f g e Figure : Trffi strems e g f Figure 5: Grph G(Compility grph)

9 S. Mohsen Hosseini n H. Orooji f g e Figure 6: Grph H(Intersetion grph) 5 Consolution In this pper we present n pplition of irulr r grphs to the prolem of phsing of trffi lights. The omptiility grph orresponing to the prolem n irulr r grphs hve een introue. Illustrtive exmple is inlue to emonstrte the vliity n ppliility of the tehnique. Referenes [] Deng X., Hell P. n Hung J., Liner time represention lgorithms for proper irulr-r grphs n proper intervl grphs, SIAM Journl of Computing, to pper. [] Gvril F., Algorithms on irulr-r grphs, Networks, (97), 57-69. [] Golumi M., Algorithm Grph Theory n Perfet Grphs, (Aemi Press New York,980) [] Hell P., Bng-Jensen J. n Hung J., Lol tournments n proper irulr-r grphs, Algorithms, Leture Notes in Computer Siene, Vol. 50 (Springer-Verlg), (990), 0-09. [5] Stouffers K., Sheuling of trffi lights A new pproh, Trnsporttion Res, (968), 99-. Deng X., Hell P. n Hung J., Liner time represention lgorithms for proper irulr-r grphs n proper intervl grphs, SIAM Journl of Computing, to pper. Reeive: August, 008