Theory and Applications of Models of Computation: 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings

434 Pages·2014·7.496 MB·English

by  T. V. Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper (eds.)

T. V. Gopal
Manindra Agrawal
Angsheng Li
S. Barry Cooper (Eds.)
2
0
4 Theory and Applications
8

S
C of Models of Computation
N
L
11th Annual Conference, TAMC 2014
Chennai, India, April 11–13, 2014
Proceedings
T 4
A 1
0 M
2 C
123
Lecture Notes in Computer Science 8402
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
AlfredKobsa
UniversityofCalifornia,Irvine,CA,USA
FriedemannMattern
ETHZurich,Switzerland
JohnC.Mitchell
StanfordUniversity,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
OscarNierstrasz
UniversityofBern,Switzerland
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
TUDortmundUniversity,Germany
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
MaxPlanckInstituteforInformatics,Saarbruecken,Germany
T. V. Gopal Manindra Agrawal
Angsheng Li S. Barry Cooper (Eds.)
Theory and Applications
of Models of Computation
11th Annual Conference, TAMC 2014
Chennai, India, April 11-13, 2014
Proceedings
1 3
VolumeEditors
T.V.Gopal
AnnaUniversity,CollegeofEngineering
DepartmentofComputerScienceandEngineering,
Chennai,India
E-mail:[email protected]
ManindraAgrawal
IndianInstituteofTechnology
DepartmentofComputerScienceandEngineering
Kanpur,India
E-mail:[email protected]
AngshengLi
ChineseAcademyofSciences,InstituteofSoftware
StateKeyLaboratoryofComputerScience
Zhongguancun,HaidianDistrict,Beijing,China
E-mail:[email protected]
S.BarryCooper
UniversityofLeeds,SchoolofMathematics,UK
E-mail:[email protected]
ISSN0302-9743 e-ISSN1611-3349
ISBN978-3-319-06088-0 e-ISBN978-3-319-06089-7
DOI10.1007/978-3-319-06089-7
SpringerChamHeidelbergNewYorkDordrechtLondon
LibraryofCongressControlNumber:2014934828
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©SpringerInternationalPublishingSwitzerland2014
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof
thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,
broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology
nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection
withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand
executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation,
inistcurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse
maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution
undertherespectiveCopyrightLaw.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication,
neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor
omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe
materialcontainedherein.
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper
SpringerispartofSpringerScience+BusinessMedia(www.springer.com)
Preface
Theory and Applications of Models of Computation (TAMC) is an interna-
tional conference series with an interdisciplinary character, bringing together
researchersworkingincomputerscience,mathematics,andthephysicalsciences.
Itisthis,togetherwithitspredominantlycomputationalandcomputabilitythe-
oretic focus, which gives the series its special character.
Models of computation span across the traditional discipline boundaries of
computerscience,logicandappliedmathematics,communicationsystems,com-
puter networks and the control of dynamical systems to best leverage this ex-
pansiveviewofinformationandcomputationinnaturalandengineeredsystems.
TheTAMCseriesexploresthealgorithmicfoundations,computationalmeth-
ods, and computing devices to meet today’s and tomorrow’s challenges of com-
plexity, scalability, and sustainability, with wide-ranging impacts on everything
from the design of biological systems to the understanding of economic mar-
kets and social networks. The TAMC series is distinguished by an appreciation
for mathematical depth, scientific—rather than heuristic – approaches and the
integration of theory and implementation.
The TAMC conference series clearly indicates a growing influence in the re-
gional and international scientific endeavors in this field. The quality of the
conference has caught the attention of professionals all over the world, who ea-
gerlylookforwardtotheTAMCseriesofconferencescarefullynurturedoverthe
pasttenyearsbytheSteeringCommittee. AlltheSteeringCommitteemembers
guided this edition of TAMC at Anna University, Chennai, India.
The 11th International Conference on Theory and Applications of Models
of Computation (TAMC 2014) attracted 112 quality submissions by active re-
searchers from 18 countries, from which the Program Committee carefully re-
viewed and selected the best papers for inclusion in this LNCS volume.
The review process was rigorous. There were at least two reviews for every
paper. At least one third of the submissions had three reviews. There were 30
ProgramCommitteemembersand35additionalreviewersinvolvedinthereview
process.TheProgramCommitteememberswereactivelyinvolvedinrankingthe
papers,afterwhich27excellentpaperswereselectedforinclusioninthisvolume.
We are very grateful to the Program Committee, and the many external
reviewerstheycalledon,forthehardworkandexpertisethattheybroughttothe
difficult selectionprocess.We thank all thoseauthorswho submitted their work
for our consideration. We thank the members of the Editorial Board of Lecture
Notes in Computer Science and the editors at Springer for their encouragement
and cooperation throughout the preparation of this conference.
Dr. M. Rajaram, Honorable Vice-Chancellor, Anna University, Chennai, In-
dia, was the patron of TAMC 2014. He ensured that all the necessary facilities
for the successful organization of TAMC 2014 were available for the various
VI Preface
committees.ThesuccessofTAMC2014isduetotheunstintedeffortsofvarious
committees and the hard work of the invited speakers and the authors.
TAMC2014wasthebeginningofthenextdecadeofthisseriesofconference.
The 11th International Conference on Theory and Applications of Models of
Computation (TAMC 2014) team has attempted to provide a roadmap for at
least the next decade of TAMC conferences.
February 2014 Gopal T.V.
Manindra Agrawal
Angsheng Li
S. Barry Cooper
Organization
TAMC 2014 was organized at the Vivekananda Auditorium, Anna University,
College of Engineering Guindy [CEG] Campus, Chennai, India.
Patron
M. Rajaram Vice Chancellor, Anna University, Chennai,
India
Conference Chair
T.V. Gopal Anna University, Chennai, India
Conference Co-chair
Manindra Agrawal Indian Institute of Technology, Kanpur, India
Program Committee
Aaron D. Jaggard U.S. Naval Research Laboratory, USA
Ajith Abraham Machine Intelligence Research Labs
(MIR Labs), USA
Bakhadyr Khoussainov University of Auckland, New Zealand
Carlo Alberto Furia ETH Zurich, Switzerland
Chaitanya K. Baru University of California, San Diego, USA
Christel Baier Technische Universit¨at Dresden, Germany
Cristian S. Calude University of Auckland, New Zealand
Dimitris Fotakis National Technical University of Athens,
Greece
Dipti Deodhare Centre for Artificial Intelligence and Robotics
(CAIR), India
Hongan Wang State Key Laboratory for Computer Science
(LCS), China
Jacques Sakarovitch Ecole Nationale Superieure des
Telecommunications, France and
International Federation for Information
Processing (IFIP) TC - 1 - Foundations of
Computer Science
Jianxin Wang Central South University (CSU), China
Jose R. Correa Universidad de Chile, Chile
VIII Organization
Kamal Lodaya Institute of Mathematical Sciences, India
Kazuhisa Makino University of Tokyo, Japan
R. Nadarajan PSG College of Technology, India
Y. Narahari Indian Institute of Science, India
Naijun Zhan State Key Laboratory for Computer Science
(LCS), China
Navin Goyal Microsoft Research, India
Pan Peng Institute of Software, Chinese Academy of
Sciences, China
C. Pandurangan Indian Institute of Technology, Madras, India
Rajagopal Srinivasan Tata Consultancy Services, India
Rajeeva Karandikar Chennai Mathematical Institute, India
Richard Banach University of Manchester, UK
R.K. Shyamasundar Tata Institute of Fundamental Research
(TIFR), India
Somenath Biswas Indian Institute of Technology, Kanpur, India
Toshihiro Fujito Toyohashi University of Technology, Japan
Venkat Chakaravarthy IBM Research, India
Vincent Duffy Purdue University, USA
Wenhui Zhang State Key Laboratory of Computer Science,
China
Xiaoming Sun Institute of Computing Technology, Chinese
Academy of Sciences, China
Steering Committee
Manindra Agrawal Indian Institute of Technology, Kanpur, India
Jin-Yi Cai University of Wisconsin - Madison, USA
S. Barry Cooper University of Leeds, UK
John Hopcroft Cornell University, USA
Angsheng Li Chinese Academy of Sciences
Zhiyong Liu Institute of Computing Technology, Chinese
Academy of Sciences
Organizing Committee
C. Chellappan Dean, CEG, Anna University – Chair
T.V. Geetha HOD, Department of Computer Science and
Engineering, Anna University
Shekhar Sahasrabuddhe Regional Vice President (RVP VI), Computer
Society of India
S.P. Soman Regional Vice President (RVP VII), Computer
Society of India
Organization IX
Dipti Prasad Mukherjee Regional Vice President (RVP II), Computer
Society of India
V. Rhymend Uthariaraj ProfessorandDirector,RamanujanComputing
Center, Anna University
M. Chandrasekhar Professor and Head, Department of
Mathematics, Anna University
R.S. Bhuvaneswaran Deputy Director - Web Admin, Ramanujan
Computing Center, Anna University
A. Azad Director i/c, Centre for International Affairs,
Anna University
Table of Contents
A Roadmap for TAMC ........................................... 1
TV Gopal, Manindra Agrawal, Angsheng Li, and S. Barry Cooper
Contributed Papers
A Tight Lower Bound Instance for k-means++ in Constant
Dimension ...................................................... 7
Anup Bhattacharya, Ragesh Jaiswal, and Nir Ailon
An Improved Upper-Bound for Rivest et al.’s Half-Lie Problem ........ 23
Bala Ravikumar and Duncan Innes
Reversibility of Elementary Cellular Automata under Fully
Asynchronous Update ............................................ 39
Biswanath Sethi, Nazim Fat`es, and Sukanta Das
Finite State Incompressible Infinite Sequences ....................... 50
Cristian S. Calude, Ludwig Staiger, and Frank Stephan
Finding Optimal Strategies of Almost Acyclic Simple Stochastic
Games.......................................................... 67
David Auger, Pierre Coucheney, and Yann Strozecki
The Parameterized Complexity of Domination-Type Problems and
Application to Linear Codes....................................... 86
David Cattan´eo and Simon Perdrix
On Representations of Abstract Systems with Partial Inputs and
Outputs ........................................................ 104
Ievgen Ivanov
Complexity Information Flow in a Multi-threaded Imperative
Language ....................................................... 124
Jean-Yves Marion and Romain P´echoux
A Personalized Privacy Preserving Method for Publishing Social
Network Data ................................................... 141
Jia Jiao, Peng Liu, and Xianxian Li
A Bit-Encoding Phase Selection Strategy for Satisfiability Solvers ...... 158
Jingchao Chen