Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing: Victoria, British Columbia, Canada, May 4 - 6, 1992
Saved in:
| Corporate Authors: | , |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
New York, NY
ACM Press
1992
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IX, 784 S. graph. Darst. |
| ISBN: | 0897915127 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV007586968 | ||
| 003 | DE-604 | ||
| 005 | 19931022 | ||
| 007 | t| | ||
| 008 | 930528s1992 xx d||| |||| 10||| eng d | ||
| 020 | |a 0897915127 |9 0-89791-512-7 | ||
| 035 | |a (OCoLC)311612176 | ||
| 035 | |a (DE-599)BVBBV007586968 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-739 |a DE-20 |a DE-91G |a DE-83 |a DE-188 | ||
| 084 | |a 68-06 |2 msc | ||
| 111 | 2 | |a Symposium on Theory of Computing |n 24 |d 1992 |c Victoria, British Columbia |j Verfasser |0 (DE-588)3012891-2 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing |b Victoria, British Columbia, Canada, May 4 - 6, 1992 |
| 264 | 1 | |a New York, NY |b ACM Press |c 1992 | |
| 300 | |a IX, 784 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 |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Victoria British Columbia |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 710 | 2 | |a Association for Computing Machinery |e Verfasser |0 (DE-588)1222-1 |4 aut | |
| 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=004955649&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004955649 | |
Record in the Search Index
| _version_ | 1820868123626045440 |
|---|---|
| adam_text |
TWENTY-FOURTH ANNUAL ACM SYMPOSIUM ON
THEORY OF COMPUTING
VICTORIA, BRITISH COLUMBIA
May
4-6, 1992
TABLE OF CONTENTS
Monday, May
4, 1992
SESSION 1A: Chaired by M. Naor
Biased Random Walks
У.
Azar,
A.Z.
Broder,
A.R.
Karlin,
N.
Liniai,
S.
Phillips
.1
Approximations of General Independent Distributions
G. Even, O.
Goldreich,
M. Luby,
N.
Nism,
Β.
Veiiclrovic
.10
Sample Spaces Uniform
on Neighborhoods
L.J. Schulman.17
Balanced Matroids
T. Feder, M.
Mihail
.26
SESSION
IB: Chaired by
E.
Tardos
Competitive
Algorithms for Distributed Data Management
У.
Bartai, A. Fiat, Y.
Rąbani
.39
New Algorithms for an Ancient Scheduling Problem
У
Bartai, A. Fiat, H. Karloff, R. Vohra
.51
Alphabet Independent Two Dimensional Matching
A. Amir, G. Benson, M.
Farach
.59
A Constant-Time Optimal Parallel String-Matching Algorithm
Z. Galii
.69
PLENARY SESSION: Chaired by
N.
Pippenger
Methods for Message Routing in Parallel Machines
F.T. Leighton
.77
SESSION 2A: Chaired by A. Borodin
Computing Frobenius maps and factoring polynomials
J.
von zur
Gatben,
V.
Shoup
.97
Parallel
Computation Over Hyperbolic Groups
J-
У.
Cai
.106
Structure Forest and composition factors for small base groups in nearly linear time
R. Beals, A. Seress
.116
Feasibility Testing for Systems or Real Quadratic Equations
A.I. Barvinok
.126
SESSION 2B: Chaired by
N.
Pippenger
Fault Tolerant Planar Communication Networks
G.Lin
.133
Existence and Construction of Edge Disjoint Paths on Expander Graphs
A.Z.
Broder, A
.
M.
Frieze,
E.
Upfal
.140
Simple Algorithms for Routing on Butterfly Networks with Bounded Queues
B.M. M&ggs, R. Sitaraman
.150
Computing with Faulty Arrays
У.
A urnaoo
,
M. Ben-Or
.162
SESSION
ЗА:
Chaired by A. Wigderson
Linear Decision Trees:Volume Estimates and Topological Bounds
A. Björner,
L.
Lovász,
A. Yao
.170
Entropy and Sorting
J.
Kahn,
J.E.Kim
.178
Randomized versus Nondeterministic Communication Complexity
P.
Bearne,
J.
ławry
.188
Exponential Lower Bounds for the Pigeonhole Principle
P.
Bearne,
R.
Impagìiazzo,
J. Krajicek, T.
Piíassi,
P. Pudlak, A. Woods
.200
SESSION 3B:
Chaired by
E.
Tardos
Finding Approximate Separators and Computing Tree Width Quickly
B.A.Reed
.221
Faster Algorithms for Finding Small Edge Cuts in Planar Graphs
S.B. Rao
.229
The Complexity of Multiway Cuts
£. Dahinaus, D.S.
Johnson,
СИ.
Papadimitrìou,
P. Seymour, M. Yannakakis
.241
Graph decomposition is NPC
-
A complete proof of Holyer's conjecture
D. Dor, M. Tarsi
.252
Tuesday, May
5, 1992
SESSION 1A: Chaired by R. Ladner
Online Minimization of Transition Systems
D. Lee, M. Yannakakis
.264
Exponential Determinization for w-Automata with Strong Fairness Acceptance Condition
S.
Safra
.275
A New Recursion-Theoretic Characterization of the Polytime Functions
S. Bellantoni, S. Cook
.283
Asymptotic Conditional Probabilities for First Order Logic
A. Grove, J. Y. Halpern, D.
Koller.294
SESSION IB: Chaired by B. Chazelle
Efficient Program Transformations for Resilient Parallel Computation via Randomization
Z.M. Kedem, K. V.
Palem,
М.О.
Rabin, A. Raghunatban
.306
Efficient PRAM Simulation on a Distributed Memory Machine
R.M.
Karp,
M. luby,
F. Meyer auf der Heide.318
A Deterministic
Poly(loglogW)-Time
N-Processor
Algorithm for Linear Programming in Fixed Dimension
M. Ajtai,
N.
Megiddo
.327
On Computing a Maximal Independent Set in a Hypergraph of Constant Dimension in Parallel
P.
Kelsen
.339
PLENARY SESSION: Chaired by R. Ladner
Computational Learning Theory: Survey and Selected Bibliography
D.
Angluin
.351
SESSION 2A:
Chaired by D. Joseph
Learning Arithmetic Read-Once Formulas
N.H. Bashouty, T.R. Hancock, L.
Hellerstein.370
Fast Learning of k-Term DNF Formulas with Queries
A. Blum, S. Rudich
.382
Can Finite Samples Detect Singularities of Real-Valued Functions?
S. Ben-Dàvid
.390
A
Logspace
Algorithm for Tree Canonization
S.
Lindeìì
.400
SESSION 2B: Chaired by M. Naor
A Hypercubic Sorting Network with Nearly Logarithmic Depth
CG.
Plaxton
.405
Small-Depth Counting Networks
M. Klugerman,
CG.
Plaxton
.417
Shallow Multiplication Circuits and Wise Financial Investments
M.S. Paterson, U. Zwick
.429
Symmetry and Complexity
L.
Babai,
R.
Beals, P. Takacsi-Nagy
.438
SESSION
ЗА:
Chaired by A. Wigderson
When do Extra Majority Gates Help? Polylog (n) Majority Gates are Equivalent to One
R. Beigel
.450
Representing Boolean Functions as Polynomials Modulo Composite Numbers
O.A.
Mix
Barrington,
R.
Beigel,
S.
Rudich
.455
On the Degree of Boolean Functions as Real Polynomials
N.
Nisan, M. Szegedy
.462
On the Degree of Polynomials that Approximate Symmetric Boolean Functions
R.
Paturi
.468
SESSION
ЗА:
Chaired by
N.
Alon
A Subexponential Randomized Simplex Algorithm
G. Kalai
.475
Polynomial Algorithms for Linear Programming over the Algebraic Numbers
I.
Adler, P.A.
Beling
.483
Fully Dynamic Planarity Testing
Z. Galii,
G.F.
Italiano,
N.
Sárnak.
495
Planar Separators and Parallel Polygon
Triangulation
M.T. Goodrich
.507
Wednesday, May
6, 1992
SESSION 1A: Chaired by B. Chazelle
Ray shooting and Parametric Search
P.D.
Agarwal, J.
Matoušek
.517
On the Angular Resolution of Planar Graphs
S.M. Malitz, A. Papakostas
.527
Ham-Sandwich Cuts in Rd
C-Y.
Lo,
J.
Matoušek,
W.
Steiger.539
A decomposition of multi-dimensional point-sets with applications to k-nearest-neighbors and
η
-body
po-
tential
fields
P.B.
Callaban,
S.R.
Kosaraju
.546
SESSION
IB: Chaired by
M. Herlihy
Adapting to Asynchronous Dynamic Networks with Polylogarithmic Overhead
B. A werbuch, B. Patt-Sbamir, D. Peleg, M. Saks
.557
Competitive Distributed Job Scheduling
B. Awerbucb, S.
Kutten,
D.
Peleg
.571
Improved Distributed Algorithms for Coloring and Network Decomposition Problems
A. Panconesi, A. Srinivasan
.581
Efficient Fault Tolerant Algorithms for Resource Allocation in Distributed Systems
M. Cboy, A.K. Singh
.593
PLENARY SESSION: Chaired by A. Borodin
The History and Status of the
Ρ
versus NP problem
M. Sipser
.603
SESSION 2A: Chaired by
N.
Pippenger
RLCSC
N.
Nišan
.619
On the Complexity of RAM with various operation sets
J. Simon, M. Szegedy
.624
Average Case Intractability of Matrix and Diophantine Problems
R. Venkatesan, S. Rajagopalan
.632
On the Hardness of Computing the Permanent of Random Matrices
17. Feige,
C. Lund
.643
SESSION
2В:
Chaired by
M. Herlihy
Simple and Efficient Bounded Concurrent Timestamping
C. Dwork, O. Waarts
.655
Self-Stabilizing Symmetry Breaking in Constant-Space
A. Mayer, Y. Offek, R.
Ostrovsky,
M.
Yung
.667
A Correctness condition for High Performance Multiprocessors
H. Attiya, R. Friedman
.679
Target Shooting With Programmed Random Variables
G. Brigbtwell, T.J.
Ott,
P.
Winkler.691
SESSION
ЗА:
Chaired by M. Naor
Communication Complexity of Secure Computation
M. Franklin, M. Yung
.699
Making Zero-Knowledge
Provers
Efficient
M. Bellare, E.
Petránk
.711
A note on efficient zero-knowledge proofs and arguments
J.
Kilián
.723
Two-Prover One-Round Proof Systems: Their Power and Their Problems
U.
Feige,
L.
Lovász
.733
SESSION
ЗВ:
Chaired by
D.
Joseph
On the All-Pairs-Shortest-Path Problem
R.
Seidel.745
A Parallel randomized approximation scheme for shortest paths
P.N. Klein, S. Sairam
.750
Biconnectivity Approximations and Graph Carvings
S.
КЬиІІег,
U.
VishkìB
.759
с
-Approximations with Minimum Packing Constraint Violation
3-Е.
Lin, J.S.
Vitter
.771 |
| any_adam_object | 1 |
| author_corporate | Symposium on Theory of Computing Victoria, British Columbia Association for Computing Machinery |
| author_corporate_role | aut aut |
| author_facet | Symposium on Theory of Computing Victoria, British Columbia Association for Computing Machinery |
| author_sort | Symposium on Theory of Computing Victoria, British Columbia |
| building | Verbundindex |
| bvnumber | BV007586968 |
| classification_rvk | SS 1992 |
| ctrlnum | (OCoLC)311612176 (DE-599)BVBBV007586968 |
| 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">BV007586968</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19931022</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930528s1992 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897915127</subfield><subfield code="9">0-89791-512-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)311612176</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007586968</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-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Theory of Computing</subfield><subfield code="n">24</subfield><subfield code="d">1992</subfield><subfield code="c">Victoria, British Columbia</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)3012891-2</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing</subfield><subfield code="b">Victoria, British Columbia, Canada, May 4 - 6, 1992</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">ACM Press</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 784 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="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">1992</subfield><subfield code="z">Victoria British Columbia</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="689" ind1="1" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Computing Machinery</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1222-1</subfield><subfield code="4">aut</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=004955649&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-004955649</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1992 Victoria British Columbia gnd-content |
| genre_facet | Konferenzschrift 1992 Victoria British Columbia |
| id | DE-604.BV007586968 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:19:21Z |
| institution | BVB |
| institution_GND | (DE-588)3012891-2 (DE-588)1222-1 |
| isbn | 0897915127 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004955649 |
| oclc_num | 311612176 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-20 DE-91G DE-BY-TUM DE-83 DE-188 |
| owner_facet | DE-12 DE-739 DE-20 DE-91G DE-BY-TUM DE-83 DE-188 |
| physical | IX, 784 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | ACM Press |
| record_format | marc |
| spelling | Symposium on Theory of Computing 24 1992 Victoria, British Columbia Verfasser (DE-588)3012891-2 aut Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing Victoria, British Columbia, Canada, May 4 - 6, 1992 New York, NY ACM Press 1992 IX, 784 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1992 Victoria British Columbia gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Informatik (DE-588)4026894-9 s Association for Computing Machinery Verfasser (DE-588)1222-1 aut Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004955649&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing Victoria, British Columbia, Canada, May 4 - 6, 1992 Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4026894-9 (DE-588)1071861417 |
| title | Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing Victoria, British Columbia, Canada, May 4 - 6, 1992 |
| title_auth | Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing Victoria, British Columbia, Canada, May 4 - 6, 1992 |
| title_exact_search | Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing Victoria, British Columbia, Canada, May 4 - 6, 1992 |
| title_full | Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing Victoria, British Columbia, Canada, May 4 - 6, 1992 |
| title_fullStr | Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing Victoria, British Columbia, Canada, May 4 - 6, 1992 |
| title_full_unstemmed | Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing Victoria, British Columbia, Canada, May 4 - 6, 1992 |
| title_short | Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing |
| title_sort | proceedings of the twenty fourth annual acm symposium on the theory of computing victoria british columbia canada may 4 6 1992 |
| title_sub | Victoria, British Columbia, Canada, May 4 - 6, 1992 |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd |
| topic_facet | Theoretische Informatik Informatik Konferenzschrift 1992 Victoria British Columbia |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004955649&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumontheoryofcomputingvictoriabritishcolumbia proceedingsofthetwentyfourthannualacmsymposiumonthetheoryofcomputingvictoriabritishcolumbiacanadamay461992 AT associationforcomputingmachinery proceedingsofthetwentyfourthannualacmsymposiumonthetheoryofcomputingvictoriabritishcolumbiacanadamay461992 |