Efficient checking of polynomials and proofs and the hardness of approximation problems
Zugl.: Berkeley, Univ., Diss., 1992
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
1995
|
| Schriftenreihe: | Lecture notes in computer science
1001 |
| Schlagworte: |
Complexité de calcul (Informatique)
> Problèmes NP-complets
> Théorèmes - Démonstration automatique
> NP-complete problems
> Computational complexity
> Automatic theorem proving
> Komplexität
> Polynomapproximation
> Beweis
> Approximation
> Komplexitätsklasse
> NP-vollständiges Problem
> Polynomialzeitalgorithmus
> Optimierungsproblem
> Hochschulschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen Keine Ergebnisse!