Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing: Las Vegas, Nevada, May 29 - June 1, 1995
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
ACM Press
1995
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VIII, 763 S. graph. Darst. |
| ISBN: | 0897917189 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010536554 | ||
| 003 | DE-604 | ||
| 005 | 19960212 | ||
| 007 | t| | ||
| 008 | 951221s1995 xx d||| |||| 10||| eng d | ||
| 020 | |a 0897917189 |9 0-89791-718-9 | ||
| 035 | |a (OCoLC)605139966 | ||
| 035 | |a (DE-599)BVBBV010536554 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-12 |a DE-20 |a DE-739 |a DE-83 | ||
| 084 | |a DAT 300f |2 stub | ||
| 084 | |a 68-06 |2 msc | ||
| 084 | |a DAT 500f |2 stub | ||
| 111 | 2 | |a Symposium on Theory of Computing |n 27 |d 1995 |c Las Vegas, Nev. |j Verfasser |0 (DE-588)5152105-2 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing |b Las Vegas, Nevada, May 29 - June 1, 1995 |
| 264 | 1 | |a New York, NY |b ACM Press |c 1995 | |
| 300 | |a VIII, 763 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Las Vegas Nev. |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007023686&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007023686 | |
Datensatz im Suchindex
| _version_ | 1820868270672052224 |
|---|---|
| adam_text |
Twenty-Seventh Annual ACM Symposium on
Theory of Computing
May
29 -
June
1, 1995,
Las Vegas, Nevada
Table of Contents
TUESDAY, MAY
30, 1995
Session 1A: Chaired by Madhu Sudan
Improved Approximation Algorithms for Uniform Connectivity Problems
Samir Khuller and Balaji Raghavachari
.1
A Randomized Fully Polynomial Time Approximation Scheme for the All Terminal Network Reliability
Problem
David R.
Karger .11
Adding Multiple Cost Constraints to Combinatorial Optimization Problems, with Applications to
Multicommodity Flows
David
Karger
and Serge Plotkin
.18
Approximations for the Disjoint Paths Problem in High-Diameter Planar Networks
Jon Kleinberg and Eva
Tardos
.26
Session IB: Chaired by Michael Ben Or
Secure Hypergraphs: Privacy from Partial Broadcast
Matthew Franklin and
Moti
Yung
.36
incrementai
Cryptography and Application to Virus Protection
Mihir Bellare, Oded Goldreich and Shafi
Goldwasser .45
Provably
Secure Session Key Distribution
—
The Three Party Case
Mihir Bellare and Phillip Rogaway
.57
Security of Quantum Protocols Against Coherent Measurements
Andrew Chi-Chih Yao
.67
Session 2A: Chaired by Andrei
Broder
Efficient Stopping Rules for Markov Chains
László Lovász
and Peter
Winkler .76
A Computational View of Population Genetics
Yuval
Rąbani,
Yuri Rabinovich and Alistair Sinclair
.83
Session 2B: Chaired by HaJ Gabow
Persistent Lists with Catenation via Recursive Slow-Down
Haim Kaplan and Robert E.
Tarjan
.93
On Data Structures and Asymmetric Communication Complexity
Peter
Bro
Miitersen,
Noam Nisan, Shmuel
Safra
and
Avi
Wigderson
.103
Invited session I: Chaired by Richard
Karp
What Do We Know About the Metropolis Algorithm?
Persi Diaconis
and Laurent Saloff-Coste
. .112
Session
ЗА:
Chaired by Neil
Immerman
A Lower Bound for Integer Multiplication with Read-Once Branching Programs
Stephen Ponzio
.130
Symmetric
Logspace
is Closed Under Complement
Noam Nisan and Amnon Ta-Shma
.140
A Nearly Optimal Time-Space Lower Bound for Directed st-Connectivity on the NNJAG Model
Jeff Edmonds and Chung
Keung Poon
.147
Session 3B: Chaired by Hal Gabow
Fast Protein Folding in the Hydrophobic-hydrophilic Model Within Three-eights of Optimal
William E. Hart and
Sorin Istrail
.157
Large-Scale Assembly of
DNA
Strings and Space-Efficient Construction of Suffix Trees
S. Rao Kosaraju and Arthur L. Delcher
.169
Transforming Cabbage into Turnip (polynomial algorithm for sorting signed permutations by reversals)
Sridhar Hannenhalli and Pavel Pevzner
.178
Session
4
A: Chaired by Michael Ben Or
How Many Queries are Needed to Learn?
Lisa
Hellerstein,
Krishnan Pillaipakkamnatt, Vijay Raghavan and Dawn Wilkins
.190
Polynomial Bounds for VC Dimension of Sigmoidal Neural Networks
Marek Karpinski
and Angus Macintyre
.200
Additive Versus Exponentiated Gradient Updates for Linear Prediction
Jyrki Kivinen and Manfred K. Warmuth
.209
On the Fourier Spectrum of Monotone Functions
Nader H. Bshouty and
Christino Tamon .219
Session 4B: Chaired by Andrei
Broder
Stochastic Contention Resolution With Short Delays
Prabhakar Raghavan and Eli Upfal
.229
Parallel Randomized Load Balancing
Micah
Adler,
Soumen Chakrabarti, Michael Mitzenmacher and Lars
Rasmussen
.238
Bounding Delays in Packet-Routing Networks
Mor Harchol-Balter
and David Wolfe
.248
Many-to-One Packet Routing on Grids
Yishay Manour and Boaz Patt-Shamir
.258
WEDNESDAY, MAY
31, 1995
Session 5A: Chaired by
Christos
Papadimitriou
Improved Approximations of Packing and Covering Problems
Aravind Srinivasan
.268
Improved Approximation Guarantees for Minimum-Weight k-Trees and Prize-Collecting Salesmen
Baruch Awerbuch, Yossi
Azar,
Avrim Blum and Santosh Vempala
.277
Polynomial Time Approximation Schemes for Dense Instances ofXV-Hard Problems
Sanjeev Arora, David
Karger
and
Marek
Karpinski
.284
A Constant-Factor Approximation for the k-MST Problem in the Plane
Avrim Blum,
Prasad Chalasani
and Santosh Vempala
.294
Session 5B: Chaired by
Moshe Vardi
The Relative Complexity of NP Search Problems
Paul
Bearne,
Stephen Cook, Jeff Edmonds, Russell Impagliazzo and
Toniann Pitassi .303
Descriptive Complexity Theory over the Real Numbers
Erich
Gradei
and Klaus
Meer .315
Average-Case Completeness of a Word Problem for Groups
Jie Wang
.325
On Real Turing Machines that Toss Coins
Felipe Cucker,
Marek Karpinski,
Pascal Koiran and Thomas Lickteig
.335
Session 6A: Chaired by Christos Papadimitriou
Motion Planning for a Steering-Constrained Robot Through Moderate Obstacles
Pankaj K. Agarwal, Prabhakar Raghavan and Hisao Tamaki
.343
Randomized Query Processing in Robot Motion Planning
Lydia
E. Kavraki,
Jean-Claude Latombe, Rajeev Motwani and Prabhakar Raghavan
.353
Session 6B:
Chaired by
Moshe Vardi
Distinguishing
Tests
for Nondeterministic and Probabilistic Machines
Rajeev Alur,
Costas Courcoubetis
and Mihalis Yannakakis
.363
What's Decidable about Hybrid Automata?
Thomas A. Henzinger, Peter W.
Корке,
Anuj
Puri
and Pravin Varaiya
.373
Invited session II: Chaired by Allan Borodin
Two
Steiner
Tree Packing Problems
William R. Pulleyblank
.383
Session 7A: Chaired by Michael Ben Or
Linear-Time Encodable and Decodable Error-Correcting Codes
Daniel A. Spielman
.388
Subquadratic-Time Factoring of Polynomials over Finite Fields
Erich
Kaltofen
and Victor Shoup
.398
Testing Muitivariate Linear Functions: Overcoming the Generator Bottleneck
Funda Ergün .
407
Session 7B: Chaired by Ketan Mulmuley
A Tight Lower Bound for Searching a Sorted Array
Arne Andersson, Johan Hastad and Ola Petersson
.417
Sorting in Linear Time?
Arne Andersson, Torben
Hagerup, Stefan
Nilsson
and Rajeev Raman
.427
Lower Bounds for Sorting Networks
Nabil
Kahale, Tom Leighton, Yuan Ma,
С
Greg Plaxton,
Torsten
Suei
and
Endre Szemerédi
.437
Session 8A: Chaired by Madhu Sudan
A Parallel Repetition Theorem
Ran
Raz
. .447
Impossibility Results for Recycling Random Bits in Two-Prover Proof Systems
Uriel
Feige
and Joe
Kilián
.457
Knowledge on the Average
—
Perfect, Statistical and Logarithmic
William Aiello, Mihir Bellare and Ramarathnam Venkatesan
.469
Explicit
Dispersers
with Polylog Degree
Michael Saks, Aravind Srinivasan and Shiyu Zhou
.479
Session 8B: Chaired by Hal Gabow
Euclidean Spanners: Short, Thin, and Lanky
Sunil Arya, Gautam Das, David M. Mount, Jeffrey S.
Salowe
and Michiel
Smid
.489
Short Length Versions of
Menger 's
Theorem
Zvi Galii
and Xiangdong Yu
.499
A 2-Level Cactus Model for the System of Minimum and Minimum+1 Edge-Cuts in a Graph and Its
Incremental Maintenance
Yefim Dinitz and Zeev Nutov
.509
Randomized Dynamic Graph Algorithms with Polylogarithmic Time per Operation
Monika
Rauch Henzinger
and Valerie King
.519
THURSDAY, JUNE
1, 1995
Session 9A: Chaired by Andrei
Broder
Bubbles: Adaptive Routing Scheme for High-Speed Dynamic Networks
Shlomi Dolev, Evangelos Kranakis, Danny
Križane
and David Peleg
.528
Wait-Free Made Fast
Yehuda Afek,
Dalia
Dauber and Dan Touitou
.
538
Tight Analyses of Two Local Load Balancing Algorithms
Bhaskar
Ghosh, F. T. Leighton, Bruce M. Maggs, S. Muthukrishan,
С
Greg Plaxton, R. Rajaraman, Andrea
W. Richa, Robert E.
Tarjan
and David Zuckerman
.548
Log-Space Polynomial End-to-End Communication
Eyal Kushilevitz, Rafail
Ostrovsky
and Adi
Rosén
.559
Session 9B: Chaired by Neil
Immerman
Monotone Circuits for Connectivity Have Depth (logn)2"0'1'
Mikael
Goldmann
and
Johan Hastad
.559
Lower Bounds for Cutting Planes Proofs with Small Coefficients
Maria Bonet,
Toniann
Pitassi and Ran
Raz
.575
More on the Complexity of Negation-limited Circuits
Robert Beals, Tetsuro Nishino and Keisuke Tanaka
.585
On Randomized One-Round Communication Complexity
Ilan Kremer, Noam Nissan and Dana Ron
.59g
Session 10A: Chaired by Allan Borodin
Bouding the Power of Preemption in Randomized Scheduling
Ran
Canetti
and Sandy Irani
.606
Bandwidth Allocation with Preemption
Amotz
Bar-Noy,
Ran
Canetti,
Shay
Kutten,
Yishay Mansour and
Barach
Schieber .616
Randomized and Multipointer Paging with Locality of Reference
Amos Fiat and Anna R.
Karlin
.626
vil
Session
10В:
Chaired by
Christos
Papadimitriou
Randomized Graph Products, Chromatic Numbers, and the
Lovász
ů-Function
Uriel
Feige .635
The k-Steiner Ratio in Graphs
AI Borchers
and
Ding-Zhu Du .641
Recognition of Graphs with Threshold Dimension Two
Thomas
Raschle
and Klaus Simon
.650
Session 11A: Chaired by Ketan Mulmuley
Geometric Lower Bounds for Parametric Matroid Optimization
David Eppstein
.662
Computing Faces in Segment and Simplex Arrangements
Nancy M.
Amato,
Michael T. Goodrich and Edgar A. Ramos
.672
A Delaunay Based Numerical Method for Three Dimensions: generation, formulation, and partition
Gary L. Miller, Dafna Talmor, Shang-Hua
Teng
and Noel Walkington
.683
Session 11B: Chaired by Richard
Karp
A Fully-Dynamic Data Structure for External Substring Search
Paolo Ferragina and Roberto
Grossi
.693
String Matching in Lempel-Ziv Compressed Strings
Martin
Farach
and
Mikkel
Thorup
.703
Work-Time-Optimal Parallel Algorithms for String Problems
Artur
Czumaj,
Zvi
Galii, Leszek Gasieniec, Kunsoo
Park and
Wojciech Plandowski
.713
Session 12A: Chaired by Allan Borodin
On the Complexity of Bilinear Forms
Noam Nisan and
Avi
Wigderson
.723
Lower Bounds for Off-Line Range Searching
Bernard Chazelle
.733
Session 12B: Chaired by Madhu Sudan
Optimal (up to Ploylog Factors) Sequential and Parallel Algorithms for Approximating Complex
Polynomial Zeros
Victor Y. Pan
.741
Work Efficient Parallel Solution of Toeplitz Systems and Polynomial GCD
John H.
Reif .751 |
| any_adam_object | 1 |
| author_corporate | Symposium on Theory of Computing Las Vegas, Nev |
| author_corporate_role | aut |
| author_facet | Symposium on Theory of Computing Las Vegas, Nev |
| author_sort | Symposium on Theory of Computing Las Vegas, Nev |
| building | Verbundindex |
| bvnumber | BV010536554 |
| classification_rvk | SS 1995 |
| classification_tum | DAT 300f DAT 500f |
| ctrlnum | (OCoLC)605139966 (DE-599)BVBBV010536554 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010536554</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960212</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">951221s1995 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897917189</subfield><subfield code="9">0-89791-718-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)605139966</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010536554</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 300f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Theory of Computing</subfield><subfield code="n">27</subfield><subfield code="d">1995</subfield><subfield code="c">Las Vegas, Nev.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5152105-2</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing</subfield><subfield code="b">Las Vegas, Nevada, May 29 - June 1, 1995</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">ACM Press</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 763 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Las Vegas Nev.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007023686&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007023686</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Las Vegas Nev. gnd-content |
| genre_facet | Konferenzschrift 1995 Las Vegas Nev. |
| id | DE-604.BV010536554 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:21:41Z |
| institution | BVB |
| institution_GND | (DE-588)5152105-2 |
| isbn | 0897917189 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007023686 |
| oclc_num | 605139966 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-12 DE-20 DE-739 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-12 DE-20 DE-739 DE-83 |
| physical | VIII, 763 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | ACM Press |
| record_format | marc |
| spelling | Symposium on Theory of Computing 27 1995 Las Vegas, Nev. Verfasser (DE-588)5152105-2 aut Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing Las Vegas, Nevada, May 29 - June 1, 1995 New York, NY ACM Press 1995 VIII, 763 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Las Vegas Nev. gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007023686&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing Las Vegas, Nevada, May 29 - June 1, 1995 Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing Las Vegas, Nevada, May 29 - June 1, 1995 |
| title_auth | Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing Las Vegas, Nevada, May 29 - June 1, 1995 |
| title_exact_search | Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing Las Vegas, Nevada, May 29 - June 1, 1995 |
| title_full | Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing Las Vegas, Nevada, May 29 - June 1, 1995 |
| title_fullStr | Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing Las Vegas, Nevada, May 29 - June 1, 1995 |
| title_full_unstemmed | Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing Las Vegas, Nevada, May 29 - June 1, 1995 |
| title_short | Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing |
| title_sort | proceedings of the twenty seventh annual acm symposium on the theory of computing las vegas nevada may 29 june 1 1995 |
| title_sub | Las Vegas, Nevada, May 29 - June 1, 1995 |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Theoretische Informatik Konferenzschrift 1995 Las Vegas Nev. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007023686&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumontheoryofcomputinglasvegasnev proceedingsofthetwentyseventhannualacmsymposiumonthetheoryofcomputinglasvegasnevadamay29june11995 |