Révision 157 CSL17/preliminaries.tex

preliminaries.tex (revision 157)
2 2 
\section{Preliminaries}
3 3 
We introduce the polynomial hierarchy and its basic properties, then the Bellantoni characterisation.
4 4 

  		





  
  5
  
    
\anupam{Should recall polymax bounded functions and the polychecking lemma, e.g.\ from Bellantoni's FPH paper or thesis. Quite important, even if proof not given.}


  		





  
  6
  
    

  		





  5
  7
  
    
\subsection{Polynomial hierarchy}


  		





  6
  8
  
    
(include closure properties)


  		





  7
  9
  
    

  		












Formats disponibles :
  Unified diff