Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing: New Orleans, Louisiana, May 6 - 8, 1991
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
ACM
1991
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VII, 573 S. |
| ISBN: | 0897913973 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008137244 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 930712s1991 xx |||| 10||| eng d | ||
| 020 | |a 0897913973 |9 0-89791-397-3 | ||
| 035 | |a (OCoLC)612195094 | ||
| 035 | |a (DE-599)BVBBV008137244 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 |a DE-12 |a DE-739 |a DE-91G |a DE-83 |a DE-188 | ||
| 084 | |a 68-06 |2 msc | ||
| 111 | 2 | |a Symposium on Theory of Computing |n 23 |d 1991 |c New Orleans, La. |j Verfasser |0 (DE-588)1221780-3 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing |b New Orleans, Louisiana, May 6 - 8, 1991 |
| 264 | 1 | |a New York, NY |b ACM |c 1991 | |
| 300 | |a VII, 573 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z New Orleans La. |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 710 | 2 | |a Association for Computing Machinery |e Sonstige |0 (DE-588)1222-1 |4 oth | |
| 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=005366902&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005366902 | |
Datensatz im Suchindex
| _version_ | 1820868107981291520 |
|---|---|
| adam_text |
TWENTY-THIRD ANNUAL ACM SYMPOSIUM ON
THEORY OF COMPUTING
NEW ORLEANS, LOUISIANA
May
6-8, 1991
TABLE OF CONTENTS
Monday, May
6, 1991
SESSION
1:
Chaired by J.
Feigenbaum
PP
is Closed Under Intersection
R. Beigel,
N. Reingold,
and D. Spielman
.1
Integral Equations, Systems
oí
Quadratic Equations, and Exponential-Time Completeness
К.
Ko
.10
Checking Computations in Polylogarithmic Time
L.
Babai,
L.
Fortnow,
L.
A. Levin and
M.
Szegedy
.21
Self-Testing/Correcting for Polynomials and for Approximate Functions
P. Gemmell, R. Lipton, R.
Rubinfeld,
M.
Sudan and A. Wigderson
.32
Deterministic Algorithms for Undirected s-t Connectivity Using Polynomial Time and
Sublinear
Space
G. Barnes and W. L.
Ruzzo
.43
SESSION
2:
Chaired by J.
von zur
Gathen
Effective Noether Irreducibility Forms and Applications
E.
Kaltofen.54
Factoring Numbers Using Singular Integers
L. Adleman
.64
Constructing Nonresidues in Finite Fields and the Extended Riemann Hypothesis
J.
Buchmann
and V. Showp
.72
Reducing Elliptic Curve Logarithms to Logarithms in a Finite Field
A. Menezes,
S-
Vanstone and T. Okamoto
.80
Fast Monte Carlo Algorithms for Permutation Groups
L.
Babai,
G.
Cooperman,
L. Finkelstein, E.
Luks
and A. Seress
.90
SESSION
3:
Chaired
by D.
Shmoys
Fast Approximation Algorithms for Multicommodity Flow Problems
T. Leighton, F.
Makedon,
S.
Plotkin,
С.
Stein,
E.
Tardos
and
S. Tragoudas
.101
A Matroid Approach to Finding Edge Connectivity and Packing
Arborescences
H. N. Gabovj
.112
Clique Partitions, Graph Compression, and Speeding-up Algorithms
T.
Feder
and R. Motwani
.123
When Trees Collide: An Approximation Algorithm for the Generalized
Steiner
Problem on Net¬
works
A. Agrawal, P. Klein and R. Ravi
.134
Improved Algorithms for Linear Inequalities with Two Variables per Inequality
E. Cohen and
N.
Megiddo
.145
iv
SESSION 4:
Chaired by
U. Vazirani
Sampling and Integration of Near Log-Concave Functions
D. Appiegate and R.
Kannan
.156
Local Expansion of Vertex-Transitive Graphs and Random Generation in Finite Groups
L.
Babai
.164
Counting Linear Extensions Is ^P-Complete
G. Brightwell and P.
Winkler.175
Finding Hidden Hamiltonian Cycles
A. Z.
Broder,
A. M. Frieze and E. Shamir
.182
Probabilistic Recurrence Relations
R. M.
Karp
.190
Tuesday, May
7, 1991
SESSION
5:
Chaired by A. Chandra
Separating Concurrent Languages with Categories of Language Embeddings
E. Shapiro
.198
Generic Computation and Its Complexity
5.
Abiteboul and V. Vianu
.209
Hamiltonian Paths in Infinite Graphs
D.
Harel
.■.220
Fundamental Discrepancies Between Average-Case Analyses Under Discrete and Continuous Dis¬
tributions: A Bin Packing Case Study
E. G. Coffman, Jr., C. A. Courcoubetis, M. R. Garey, D. S. Johnson, L. A. McGeoch,
P. W. Shor, R. R. Weber and M. Yannakakis
.230
Proof of the
4/3
Conjecture for Preemptive vs. Nonpreemptive Two-processor Scheduling
E. G.
Coßman,
Jr. and M. R. Garey
.241
SESSION
6:
Chaired by D. Sleator
Competitive Paging with Locality of Reference
A. Borodin, S. Irani, P. Raghavan and B.
Schieber.249
The Harmonic Online
iř-Server
Algorithm is Competitive
E. Grove
.260
A Model for Data in Motion
5.
Kahan
.267
Lower Bounds for Randomized fc-Server and Motion Planning Algorithms
H. Karloff, Y. Rabant and Y. Ravid
.278
Infinite Games, Randomization, Computability, and Applications to Online Problems
X. Deng and S. Mahajan
.289
SESSION
7:
Chaired by E. Upfal
Constant-Time Parallel Integer Sorting
T. Hagerup
.299
Converting High Probability into Nearly-Constant Time-with Applications to Parallel Hashing
Y. Matías
and U. Vishkm
.307
Fully Dynamic Algorithms for Edge-Connectivity Problems
Z. Galu
and G. F.
Italiano
.317
Linear Approximation of Shortest Superstrings
A. Blum, T. Jiang, M. Li, J.
Tromp
and M. Yannakakis
.328
An Efficient Algorithm for the Genus Problem with Explicit Construction of Forbidden Subgraphs
H. Djidjev and J.
Reif.337
SESSION
8:
Chaired by B. Awerbuch Counting Networks and
M
ulti-
Processor Coordination
J. Aspnes, M. Herlihy and
N.
Shavit
.348
Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty
H. Attiya, G. Dwork,
N.
Lynch and L. Stockmeyer
.359
Wait-free Parallel Algorithms for the Union-Find Problem
R. J. Anderson and H. Woll
.370
Combining Tentative and Definite Executions for Very Fast Dependable Parallel Computing
Z.U.
Kedem, K.
V. Palem,
A. Raghunathan and P. G. Spirakis
.381
Algorithms for Parallel k-Vertex Connectivity and Sparse Certificates
J. Cheriyan and R. Thurimella
.391
Wednesday, May
8, 1991
SESSION
9:
Chaired by M. Saks
The Expressive Power of Voting Polynomials
J. Aspnes, R. Beigel, M.
Furst
and S. Rudich
.402
Lower Bounds for Non-Commutative Computation
N.
Nisan
.410
Rounds in Communication Complexity Revisited
N.
Nisan and A. Wigderson
.419
On Deterministic Approximation of DNF
M. Luby
and B. Velickovic
.430
A Lower Bound for Parallel String Matching
D. Breslauer and
Z. Galii
.439
SESSION
10:
Chaired by L. Pitt
When Won't Membership Queries Help
D. Angluin and M. Kharitonov
.444
Learning Decision Trees Using the Fourier Sprectrum
E. Kushilevitz and Y. Mansour
.455
On-Line Learning of Linear Functions
N.
Littlestone, P. M. Long and M.K. Warmuth
.465
Testing Finite State Machines
M. Yannakakis and D. Lee
.476
Searching in the Presence of Linearly Bounded Errors
J. A. Aslam and A. Dhagat
.486
SESSION
11:
Chaired by L. Guibas
Navigating in Unfamiliar Geometric Terrain
A. Blum, P. Raghavan and B.
Schieber.494
Approximations and Optimal Geometric Divide-and-Conquer
/.
Matoušek
.505
Hidden Surface Removal With Respect to a Moving View Point
K. Mulmuley
.512
Dynamic Trees and Dynamic Point Location
M. T. Goodrich and R. Tamassia
.523
SESSION 12:
Chaired by
M. Ben-Or
Rigorous Time/Space Tradeoffs for Inverting Functions
A. Fiat and M. Naor
.534
Non-Malleable Cryptography
D. Dolev,
С
Dwork and M. Naor
.542
A General Completeness Theorems for
2-
Party Games
J.
Kilián
.553
Perfect Cryptographic Security from Partially Independent Channels
U. M.
Maurer.561
AUTHOR INDEX
.572
vxx |
| any_adam_object | 1 |
| author_corporate | Symposium on Theory of Computing New Orleans, La |
| author_corporate_role | aut |
| author_facet | Symposium on Theory of Computing New Orleans, La |
| author_sort | Symposium on Theory of Computing New Orleans, La |
| building | Verbundindex |
| bvnumber | BV008137244 |
| classification_rvk | SS 1991 |
| ctrlnum | (OCoLC)612195094 (DE-599)BVBBV008137244 |
| 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">BV008137244</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930712s1991 xx |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897913973</subfield><subfield code="9">0-89791-397-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)612195094</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008137244</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-20</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-739</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">23</subfield><subfield code="d">1991</subfield><subfield code="c">New Orleans, La.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1221780-3</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing</subfield><subfield code="b">New Orleans, Louisiana, May 6 - 8, 1991</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">ACM</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 573 S.</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">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">1991</subfield><subfield code="z">New Orleans La.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" 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">Sonstige</subfield><subfield code="0">(DE-588)1222-1</subfield><subfield code="4">oth</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=005366902&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-005366902</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 New Orleans La. gnd-content |
| genre_facet | Konferenzschrift 1991 New Orleans La. |
| id | DE-604.BV008137244 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:19:07Z |
| institution | BVB |
| institution_GND | (DE-588)1221780-3 (DE-588)1222-1 |
| isbn | 0897913973 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005366902 |
| oclc_num | 612195094 |
| open_access_boolean | |
| owner | DE-20 DE-12 DE-739 DE-91G DE-BY-TUM DE-83 DE-188 |
| owner_facet | DE-20 DE-12 DE-739 DE-91G DE-BY-TUM DE-83 DE-188 |
| physical | VII, 573 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | ACM |
| record_format | marc |
| spelling | Symposium on Theory of Computing 23 1991 New Orleans, La. Verfasser (DE-588)1221780-3 aut Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing New Orleans, Louisiana, May 6 - 8, 1991 New York, NY ACM 1991 VII, 573 S. txt rdacontent n rdamedia nc rdacarrier Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 New Orleans La. gnd-content Informatik (DE-588)4026894-9 s DE-604 Association for Computing Machinery Sonstige (DE-588)1222-1 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005366902&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing New Orleans, Louisiana, May 6 - 8, 1991 Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)1071861417 |
| title | Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing New Orleans, Louisiana, May 6 - 8, 1991 |
| title_auth | Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing New Orleans, Louisiana, May 6 - 8, 1991 |
| title_exact_search | Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing New Orleans, Louisiana, May 6 - 8, 1991 |
| title_full | Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing New Orleans, Louisiana, May 6 - 8, 1991 |
| title_fullStr | Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing New Orleans, Louisiana, May 6 - 8, 1991 |
| title_full_unstemmed | Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing New Orleans, Louisiana, May 6 - 8, 1991 |
| title_short | Proceedings of the Twenty-third Annual ACM Symposium on Theory of Computing |
| title_sort | proceedings of the twenty third annual acm symposium on theory of computing new orleans louisiana may 6 8 1991 |
| title_sub | New Orleans, Louisiana, May 6 - 8, 1991 |
| topic | Informatik (DE-588)4026894-9 gnd |
| topic_facet | Informatik Konferenzschrift 1991 New Orleans La. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005366902&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumontheoryofcomputingneworleansla proceedingsofthetwentythirdannualacmsymposiumontheoryofcomputingneworleanslouisianamay681991 AT associationforcomputingmachinery proceedingsofthetwentythirdannualacmsymposiumontheoryofcomputingneworleanslouisianamay681991 |