See this document in CiteSeerX!

A Complexity Theory for Feasible Closure Properties (1991)  (Make Corrections)  (31 citations)
Mitsunori Ogiwara, Lane A. Hemachandra
Structure in Complexity Theory Conference



  Home/Search   Context   Related

 
View or download:
rochester.edu/u/og...eproperties.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  rochester.edu/users/faculty...ccc (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The study of the complexity of sets encompasses two complementary aims: (1) establishing -- usually via explicit construction of algorithms -- that sets are feasible, and (2) studying the relative complexity of sets that plausibly might be feasible but are not currently known to be feasible (such as the NP-complete sets and the PSPACE-complete sets). For the study of the complexity of closure properties, a recent urry of results [21, 33, 49, 6, 7, 16] has established an analog of (1); these... (Update)

Context of citations to this paper:   More

.... of closure properties for complexity classes of functions was established Preprint submitted to Elsevier Preprint 22 November 1999 in [8]. A class F is closed under f if the composition of f with any function in F is again a function in F . Of highest importance are (non...

.... improve the lower bound beyond UP O(1) and they show that relativizable techniques cannot raise the UP O(1) hardness lower bound to SPP [OH93,FFK94] the gap analog of UP. In particular, they note that if every nontrivial counting property of circuits is SPP hard then SPP ....

Cited by:   More
Bounded Depth Arithmetic Circuits: Counting and Closure - Allender, Ambainis.. (1999)   (Correct)
Lower Bounds and the Hardness of Counting Properties - Hemaspaandra, Thakur (2002)   (Correct)
Error-Bounded Probabilistic Computations Between MA and AM - Böhler, Glaßer, Meister (2002)   (Correct)

Active bibliography (related documents):   More   All
0.9:   On Closure Properties of #P in the Context of PF o #P - Ogihara, Thierauf, Toda, al.   (Correct)
0.7:   Generalized Theorems on the Relationships among Reducibility.. - Ogiwara (1994)   (Correct)
0.6:   Relativizing Function Classes - Glaßer, Wechsung (1999)   (Correct)

Similar documents based on text:   More   All
0.7:   MIDP - Mobile Information Device Profile - Ruuskanen   (Correct)
0.3:   Relating Equivalence And Reducibility To Sparse Sets - Eric Allender Rutgers (1992)   (Correct)
0.3:   Closure Properties and Witness Reduction - Gupta (1995)   (Correct)

Related documents from co-citation:   More   All
15:   Gap-definable counting classes - Fenner, Fortnow et al. - 1991
14:   The complexity of computing the permanent (context) - Valiant - 1979
10:   On some central problems in computational complexity (context) - Simon - 1975

BibTeX entry:   (Update)

M. Ogiwara and L. A. Hemachandra. A complexity theory of feasible closure properties. In Proceedings of the 6th Annual IEEE Structure in Complexity Theory Conference, pages 16--29, 1991. http://citeseer.ist.psu.edu/ogiwara91complexity.html   More

@inproceedings{ ogiwara91complexity,
    author = "Mitsunori Ogiwara and Lane A. Hemachandra",
    title = "A Complexity Theory for Feasible Closure Properties",
    booktitle = "Structure in Complexity Theory Conference",
    pages = "16--29",
    year = "1991",
    url = "citeseer.ist.psu.edu/ogiwara91complexity.html" }
Citations (may not include all citations):
4212   Computers and Intractability: A Guide to the Theory of NPCom.. (context) - Garey, Johnson - 1979
1911   Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
534   The complexity of theorem-proving procedures (context) - Cook - 1971
163   The complexity of enumeration and reliability problems (context) - Valiant - 1979
151   The complexity of optimization problems (context) - Krentel - 1988
145   Computational complexity of probabilistic Turing machines (context) - Gill - 1977
129   Theoretical Computer Science (context) - Stockmeyer, hierarchy - 1977
122   A comparison of polynomial time reducibilities (context) - Ladner, Lynch et al. - 1975
107   complete approximation problems (context) - Sahni, Gonzalez - 1976
94   the structure of polynomial time reducibility (context) - Ladner - 1975
70   The boolean hierarchy I: Structural properties (context) - Cai, Gundermann et al. - 1988
66   PP is closed under intersection - Beigel, Reingold et al. - 1991
56   Information Processing Letters (context) - Valiant, complexity et al. - 1976
55   On Some Central Problems in Computational Complexity (context) - Simon - 1975
53   Counting classes are at least as hard as the polynomial-time.. (context) - Toda, Ogiwara - 1991
45   Two remarks on the power of counting (context) - Papadimitriou, Zachos - 1983
44   Problems of Information Transmission (context) - Levin, problems - 1973
44   the power of parity polynomial time (context) - Cai, Hemachandra - 1990
38   PP is closed under truth-table reductions - Fortnow, Reingold - 1991
37   Counting classes: Thresholds (context) - Beigel, Gill et al. - 1990
36   Recognizing primes in random polynomial time (context) - Adleman, Huang - 1987
35   The boolean hierarchy II: Applications (context) - Cai, Gundermann et al. - 1989
32   Computationally related problems (context) - Sahni - 1974
31   Lower bounds for the low hierarchy - Allender, Hemachandra
30   the construction of parallel computers from various bases of.. (context) - Goldschlager, Parberry - 1986
26   A survey of counting classes (context) - Gundermann, Nasser et al. - 1990
23   and the polynomial hierarchy (context) - Beigel, threshold - 1989
19   Probabilistic polynomial time is closed under parity reducti.. - Beigel, Hemachandra et al. - 1991
13   Gap-denable counting classes (context) - Fenner, Fortnow et al. - 1991
13   Structural Properties of the Counting Hierarchies (context) - Tor - 1988
13   Gap-denable counting classes (context) - Fenner, Fortnow et al. - 1990
12   An oracle characterization of the counting hierarchy (context) - Tor - 1988
12   A complexity theory for closure properties (context) - Ogiwara, Hemachandra - 1990
12   Probabilistic complexity classes and lowness (context) - Sch - 1987
11   the structure of sets in NP and other complexity classes (context) - Landweber, Lipton et al. - 1981
10   Sublattices of the polynomial time degrees (context) - Ambos-Spies - 1985
10   Structural Properties of Complexity Classes (context) - Russo - 1985
10   On counting and approximation (context) - obler, Sch et al. - 1989
8   Turing machines with few accepting computations and low sets.. (context) - obler, Sch et al. - 1989
8   the computational power of exact counting (context) - Ogiwara - 1990
7   The power of witness reduction (context) - Gupta - 1991
7   A hierarchy theorem for almost everywhere complex sets with .. (context) - Geske, Huynh et al. - 1987
6   the computational power of PP and P (context) - Toda - 1989
6   Relativized questions involving probabilistic algorithms (context) - Racko - 1982
5   A terminological proposal (context) - Knuth - 1974
4   Strukturelle Komplexitat von Anzahlproblemen (context) - obler - 1989
3   On polynomial-time truth-table reducibility to C=P sets (context) - Toda - 1990
2   The power of counting (context) - Sch - 1990
2   A low and a high hierarchy in NP (context) - Sch - 1983
2   Characterizing low levels of the polynomial-time hierarchy r.. (context) - Ogiwara - 1991
1   Inclusion complete tally languages and the Berman-Hartmanis .. (context) - Book, Wrathall et al. - 1977
1   A note on structure and looking back applied to the complexi.. (context) - Chew, Machtey - 1981
1   Enumeration problems (context) - Regan - 1982
1   The complexity of nding medians (context) - Toda - 1990



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.cs.rochester.edu/users/faculty/ogihara/research/CCC/ccc.html):   More
On Helping by Parity-like Languages - Ogihara (1994)   (Correct)
Sparse Sets versus Complexity Classes - Cai, Ogihara (1996)   (Correct)
Computing Solutions Uniquely Collapses the Polynomial.. - Hemaspaandra, Naik.. (1996)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC