Proceedings of the ninth annual Structure in Complexity Theory Conference: June 28 - July 1, 1994, Amsterdam, The Netherlands
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif. u.a.
IEEE Computer Soc. Pr.
1994
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Nebent.: Structure in complexity theory Nebentitel: Structure in complexity theory |
| Beschreibung: | X, 397 S. Ill. |
| ISBN: | 0818656700 0818656727 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009984322 | ||
| 003 | DE-604 | ||
| 005 | 19950825 | ||
| 007 | t| | ||
| 008 | 950111s1994 xx a||| |||| 10||| eng d | ||
| 020 | |a 0818656700 |9 0-8186-5670-0 | ||
| 020 | |a 0818656727 |9 0-8186-5672-7 | ||
| 035 | |a (OCoLC)51352499 | ||
| 035 | |a (DE-599)BVBBV009984322 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-20 |a DE-634 |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 004/.01/5113 |2 20 | |
| 084 | |a DAT 517f |2 stub | ||
| 111 | 2 | |a Structure in Complexity Theory Conference |n 9 |d 1994 |c Amsterdam |j Verfasser |0 (DE-588)5114913-8 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the ninth annual Structure in Complexity Theory Conference |b June 28 - July 1, 1994, Amsterdam, The Netherlands |
| 246 | 1 | 3 | |a Structure in complexity theory |
| 264 | 1 | |a Los Alamitos, Calif. u.a. |b IEEE Computer Soc. Pr. |c 1994 | |
| 300 | |a X, 397 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Nebent.: Structure in complexity theory | ||
| 500 | |a Nebentitel: Structure in complexity theory | ||
| 650 | 4 | |a Computational complexity |v Congresses | |
| 650 | 0 | 7 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Amsterdam |2 gnd-content | |
| 689 | 0 | 0 | |a Komplexitätstheorie |0 (DE-588)4120591-1 |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=006616713&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006616713 | |
Datensatz im Suchindex
| _version_ | 1820882549291876352 |
|---|---|
| adam_text |
Table
of
Contents
Foreword
.
viii
Committees
.ix
Best Student Paper Award
.
x
SESSION
1:
Chair:
Uwe Schöning,
University of
Ulm
The following three papers will presented in a joint talk:
Polynomial-Time Membership Comparable Sets
.2
M. Ogihara
Approximable Sets
.12
R.
Beigel, M. Kummer,
and
F. Stephan
Polynomial Time Truth-Table Reductions to P-Selective Sets
.24
M. Agrawal and V. Arvind
On the Query Complexity of Clique Size and Maximum Satisfiability
.31
-R. Chang
On Functions Computable with Nonadaptive Queries to NP
.43
H. Buhrman, J. Kadin, and T. Thierauf
Using Bounded Query Classes to Separate Classes in the Exponential
Time Hierarchy from Classes in PH
.53
S.E.
Mocas
NL/poly
с
eL/poly
.59
A. Wigderson
SESSION
2:
Chair: Noam Nisan, Hebrew University
The Complexity World Below Logarithmic Space
.64
M. Liskiewicz and R. Reischuk
Some Consequences of Our Failure to Prove Non-Linear Lower Bounds
on Explicit Functions
.79
R.J. Lipton
A Direct Product Theorem
.88
R. Impagliazzo,
R. Raz,
and A. Wigderson
On
Ultrafilters
and NP
.97
S. Ben-David, M. Karchmer, and E. Kushilevitz
Unambiguous Polynomial Hierarchies and Exponential Size
.106
K.-J.
Lange
and P. Rossmanith
SESSION
3:
Chair: Juris
Hartmanis,
Cornell University
On the Structure of Complete Sets
.118
H. Buhrman and L.
Torenvliet
Downward Separation Fails Catastrophically for Limited
Nondeterminism Classes
.134
R. Beigel and J. Goldsmith
Generic Separations
.139
L. Fortnow and T. Yamakami
Weakly Hard Problems
.146
J.H.
Lutz
Relative to a Random Oracle, NP is Not Small
.162
S.M. Kautz and P.B. Miltersen
SESSION
4:
Chair:
Rüdiger Reise
huk,
Technical University of Darmstadt
Time, Hardware, and Uniformity
.176
D.M.
Barrington
and
N.
Immerman
Space Lower-Bounds for Pseudorandom-Generators
.186
X. Yu and M. Yung
Constructive Separation of Classes of Indistinguishable Ensembles
.198
B. Meyer
Test Instance Generation for Promised NP Search Problems
.205
O. Watanabe
Random Strings Make Hard Instances
.217
H. Buhrman and P. Orponen
SESSION
5:
Chair: Anne Condon, University of Wisconsin-Madison
Complexity Classes Defined Via ^-Valued Functions
.224
U. Hertrampf
Predicate Classes and Promise Classes
.235
B. Borchert
Logspace
and Logtime Leaf Languages
.242
B.
Jenner,
P.
McKenzie,
and
D. Thérien
Logical Definability of Counting Functions
.255
K.J.
Compton and
E. Grädel
Relationships Among PL, #L, and the Determinant
.267
E. Allender
and M. Ogihara
SESSION
6:
Chair: Neil
Immerman,
University of Massac
hussetts
Random Debaters and the Hardness of Approximating Stochastic Functions
.280
A. Condon, J.
Feigenbaum,
С.
Lund, and P. Shor
Alternation in Interaction
.294
M. Kiwi, C. Lund, A. Russell, D. Spielman, and R.
Sundaram
Towards the Parallel Repetition Conjecture
.304
O. Verbitsky
Multi-Prover Encoding Schemes and Three-Prover Proof Systems
.308
G.
Tardos
vi
The Complexity of Optimal Queueing Network Control
.318
CM. Papadimitriou and J.N. Tsitsiklis
SESSION
7:
Chair:
Ulrich
Hertramp
f, University of
Würzburg
The Complexity of Learning with Queries
.324
R. Gavaldà
On the Isomorphism Problem for Weak Reducibilities
.338
M. Agrawal
Generalized CNF Satisfiability Problems and Non-Efficient Approximability
.356
H.B. Hunt III, M.V.
Marathe,
and R.E. Stearns
Collapsing Degrees in Subexponential Time
.367
D. Joseph, R.
Pruim,
and P. Young
Complexity Theory and Genetics
.383
P.
Pudlák
Author Index
.397 |
| any_adam_object | 1 |
| author_corporate | Structure in Complexity Theory Conference Amsterdam |
| author_corporate_role | aut |
| author_facet | Structure in Complexity Theory Conference Amsterdam |
| author_sort | Structure in Complexity Theory Conference Amsterdam |
| building | Verbundindex |
| bvnumber | BV009984322 |
| classification_rvk | SS 1994 |
| classification_tum | DAT 517f |
| ctrlnum | (OCoLC)51352499 (DE-599)BVBBV009984322 |
| dewey-full | 004/.01/5113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/5113 |
| dewey-search | 004/.01/5113 |
| dewey-sort | 14 11 45113 |
| dewey-tens | 000 - Computer science, information, general works |
| 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">BV009984322</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950825</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950111s1994 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818656700</subfield><subfield code="9">0-8186-5670-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818656727</subfield><subfield code="9">0-8186-5672-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)51352499</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009984322</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/5113</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 517f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Structure in Complexity Theory Conference</subfield><subfield code="n">9</subfield><subfield code="d">1994</subfield><subfield code="c">Amsterdam</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5114913-8</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the ninth annual Structure in Complexity Theory Conference</subfield><subfield code="b">June 28 - July 1, 1994, Amsterdam, The Netherlands</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Structure in complexity theory</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. u.a.</subfield><subfield code="b">IEEE Computer Soc. Pr.</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 397 S.</subfield><subfield code="b">Ill.</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="500" ind1=" " ind2=" "><subfield code="a">Nebent.: Structure in complexity theory</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Nebentitel: Structure in complexity theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</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">1994</subfield><subfield code="z">Amsterdam</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</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=006616713&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-006616713</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Amsterdam gnd-content |
| genre_facet | Konferenzschrift 1994 Amsterdam |
| id | DE-604.BV009984322 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:08:40Z |
| institution | BVB |
| institution_GND | (DE-588)5114913-8 |
| isbn | 0818656700 0818656727 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006616713 |
| oclc_num | 51352499 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-20 DE-634 DE-83 DE-11 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-20 DE-634 DE-83 DE-11 |
| physical | X, 397 S. Ill. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | IEEE Computer Soc. Pr. |
| record_format | marc |
| spelling | Structure in Complexity Theory Conference 9 1994 Amsterdam Verfasser (DE-588)5114913-8 aut Proceedings of the ninth annual Structure in Complexity Theory Conference June 28 - July 1, 1994, Amsterdam, The Netherlands Structure in complexity theory Los Alamitos, Calif. u.a. IEEE Computer Soc. Pr. 1994 X, 397 S. Ill. txt rdacontent n rdamedia nc rdacarrier Nebent.: Structure in complexity theory Nebentitel: Structure in complexity theory Computational complexity Congresses Komplexitätstheorie (DE-588)4120591-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Amsterdam gnd-content Komplexitätstheorie (DE-588)4120591-1 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=006616713&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the ninth annual Structure in Complexity Theory Conference June 28 - July 1, 1994, Amsterdam, The Netherlands Computational complexity Congresses Komplexitätstheorie (DE-588)4120591-1 gnd |
| subject_GND | (DE-588)4120591-1 (DE-588)1071861417 |
| title | Proceedings of the ninth annual Structure in Complexity Theory Conference June 28 - July 1, 1994, Amsterdam, The Netherlands |
| title_alt | Structure in complexity theory |
| title_auth | Proceedings of the ninth annual Structure in Complexity Theory Conference June 28 - July 1, 1994, Amsterdam, The Netherlands |
| title_exact_search | Proceedings of the ninth annual Structure in Complexity Theory Conference June 28 - July 1, 1994, Amsterdam, The Netherlands |
| title_full | Proceedings of the ninth annual Structure in Complexity Theory Conference June 28 - July 1, 1994, Amsterdam, The Netherlands |
| title_fullStr | Proceedings of the ninth annual Structure in Complexity Theory Conference June 28 - July 1, 1994, Amsterdam, The Netherlands |
| title_full_unstemmed | Proceedings of the ninth annual Structure in Complexity Theory Conference June 28 - July 1, 1994, Amsterdam, The Netherlands |
| title_short | Proceedings of the ninth annual Structure in Complexity Theory Conference |
| title_sort | proceedings of the ninth annual structure in complexity theory conference june 28 july 1 1994 amsterdam the netherlands |
| title_sub | June 28 - July 1, 1994, Amsterdam, The Netherlands |
| topic | Computational complexity Congresses Komplexitätstheorie (DE-588)4120591-1 gnd |
| topic_facet | Computational complexity Congresses Komplexitätstheorie Konferenzschrift 1994 Amsterdam |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006616713&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT structureincomplexitytheoryconferenceamsterdam proceedingsoftheninthannualstructureincomplexitytheoryconferencejune28july11994amsterdamthenetherlands AT structureincomplexitytheoryconferenceamsterdam structureincomplexitytheory |