메뉴 건너뛰기




Volumn 2556 LNCS, Issue , 2002, Pages 206-217

The complexity of the inertia

Author keywords

[No Author keywords available]

Indexed keywords

EIGENVALUES AND EIGENFUNCTIONS; SOFTWARE ENGINEERING; LINEAR ALGEBRA;

EID: 84877789089     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36206-1_19     Document Type: Conference Paper
Times cited : (9)

References (26)
  • 3
    • 0033478153 scopus 로고    scopus 로고
    • The complexity of matrix rank and feasible systems of linear equations
    • E. Allender, R. Beals, and M. Ogihara. The complexity of matrix rank and feasible systems of linear equations. Computational Complexity, 8:99-126, 1999.
    • (1999) Computational Complexity , vol.8 , pp. 99-126
    • Allender, E.1    Beals, R.2    Ogihara, M.3
  • 4
    • 84877748055 scopus 로고    scopus 로고
    • E. Allender. Personal Communication, 2002
    • E. Allender. Personal Communication, 2002.
  • 6
    • 0021388907 scopus 로고
    • On computing the determinant in small parallel time using a small number of processors
    • S. Berkowitz. On computing the determinant in small parallel time using a small number of processors. Information Processing Letters, 18:147-150, 1984.
    • (1984) Information Processing Letters , vol.18 , pp. 147-150
    • Berkowitz, S.1
  • 9
    • 0033691873 scopus 로고    scopus 로고
    • Exact computation of the inertia of symmetric integer matrices
    • ACM Press
    • S. Fortune. Exact computation of the inertia of symmetric integer matrices. In 32th Symposium on Theory of Computing, STOC 2000, pages 556-564. ACM Press, 2000.
    • (2000) 32th Symposium on Theory of Computing, STOC 2000 , pp. 556-564
    • Fortune, S.1
  • 14
    • 0033725274 scopus 로고    scopus 로고
    • The complexity of verifying the characteristic polynomial and testing similarity
    • IEEE Computer Society Press
    • T. M. Hoang and T. Thierauf. The complexity of verifying the characteristic polynomial and testing similarity. In 15th IEEE Conference on Computational Complexity (CCC), pages 87-95. IEEE Computer Society Press, 2000.
    • (2000) 15th IEEE Conference on Computational Complexity (CCC) , pp. 87-95
    • Hoang, T.M.1    Thierauf, T.2
  • 16
    • 0037463545 scopus 로고    scopus 로고
    • The complexity of the characteristic and the minimal polynomial
    • Invited paper to the special issue to appear
    • T. M. Hoang and T. Thierauf. The complexity of the characteristic and the minimal polynomial. Invited paper to the special issue in Theoretical Computer Science of the 26th MFCS conference 2001, to appear, 2002.
    • (2002) Theoretical Computer Science of the 26th MFCS Conference 2001
    • Hoang, T.M.1    Thierauf, T.2
  • 18
    • 0028459683 scopus 로고
    • Specified precision root isolation is in NC
    • C. A. Neff. Specified precision root isolation is in NC. Journal of Computer and System Science, 48:429-463, 1994.
    • (1994) Journal of Computer and System Science , vol.48 , pp. 429-463
    • Neff, C.A.1
  • 19
    • 0030163624 scopus 로고    scopus 로고
    • An efficient algorithm for the complex roots problem
    • C. A. Neff and J. H. Reif. An efficient algorithm for the complex roots problem. Journal of Complexity, 12:81-115, 1996.
    • (1996) Journal of Complexity , vol.12 , pp. 81-115
    • Neff, C.A.1    Reif, J.H.2
  • 20
    • 0039469908 scopus 로고    scopus 로고
    • The PL hierarchy collapses
    • M. Ogihara. The PL hierarchy collapses. SIAM Journal on Computing, 27:1430-1437, 1998.
    • (1998) SIAM Journal on Computing , vol.27 , pp. 1430-1437
    • Ogihara, M.1
  • 21
    • 0040098265 scopus 로고    scopus 로고
    • Verifying the determinant in parallel
    • M. Santha and S. Tan. Verifying the determinant in parallel. Computational Complexity, 7:128-151, 1998.
    • (1998) Computational Complexity , vol.7 , pp. 128-151
    • Santha, M.1    Tan, S.2
  • 22
    • 0013292496 scopus 로고
    • Counting problems computationally equivalent to the determinant
    • University of Electro-Communications, Chofu-shi, Tokyo 182, Japan
    • S. Toda. Counting problems computationally equivalent to the determinant. Technical Report CSIM 91-07, Dept. of Computer Science and Information Mathematics, University of Electro-Communications, Chofu-shi, Tokyo 182, Japan, 1991.
    • (1991) Technical Report CSIM 91-07, Dept. of Computer Science and Information Mathematics
    • Toda, S.1
  • 23
    • 49249151236 scopus 로고
    • The complexity of computing the permanent
    • L. Valiant. The complexity of computing the permanent. Theoretical Computer Science, 8:189-201, 1979.
    • (1979) Theoretical Computer Science , vol.8 , pp. 189-201
    • Valiant, L.1
  • 24
    • 0000142982 scopus 로고
    • The complexity of enumeration and reliability problems
    • L. Valiant. The complexity of enumeration and reliability problems. SIAM Journal on Computing, 8:410-421, 1979.
    • (1979) SIAM Journal on Computing , vol.8 , pp. 410-421
    • Valiant, L.1
  • 25
    • 0003370550 scopus 로고
    • Why is boolean complexity theory difficult
    • M.S. Paterson, editor London Mathematical Society Lecture Notes Series 169. Cambridge University Press
    • L. Valiant. Why is Boolean complexity theory difficult. In M.S. Paterson, editor, Boolean Function Complexity, London Mathematical Society Lecture Notes Series 169. Cambridge University Press, 1992.
    • (1992) Boolean Function Complexity
    • Valiant, L.1
  • 26
    • 0026375502 scopus 로고
    • Counting auxiliary pushdown automata and semi-unbounded arithmetic circuits
    • V Vinay. Counting auxiliary pushdown automata and semi-unbounded arithmetic circuits. In 6th IEEE Conference on Structure in Complexity Theory, pages 270-284, 1991.
    • (1991) 6th IEEE Conference on Structure in Complexity Theory , pp. 270-284
    • Vinay, V.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.