Los postulados de Golomb son condiciones necesarias pero no suficientes para que secuencias pseudoaleatorias parezcan aleatorias. Fueron enunciados por el ingeniero y matemático estadounidense Solomon W. Golomb.
Sea 
  
    
      
        s
        =
        
          s
          
            0
          
        
        ,
        
          s
          
            1
          
        
        ,
        .
        .
        .
        ,
        
          s
          
            n
          
        
      
    
    {\displaystyle s=s^{0},s^{1},...,s^{n}}
   una secuencia de período 
  
    
      
        n
      
    
    {\displaystyle n}
  , los postulados plantean que:[1]​[2]​

En el ciclo 
  
    
      
        
          s
          
            n
          
        
      
    
    {\displaystyle s^{n}}
   de 
  
    
      
        s
      
    
    {\displaystyle s}
  , la cantidad de elementos '1' difiere de la cantidad de elementos '0' como máximo en 1.
En el ciclo 
  
    
      
        
          s
          
            n
          
        
      
    
    {\displaystyle s^{n}}
  , las diversas rachas son de longitud 
  
    
      
        
          
            1
            
              2
              
                n
              
            
          
        
      
    
    {\displaystyle {\frac {1}{2^{n}}}}
  , esto es: Al menos la mitad de las rachas tienen longitud 1, al menos la cuarta parte, longitud 2, al menos un octavo longitud 3, etc. Además para cada una de esas rachas hay la misma cantidad de huecos y de bloques.
La función de autocorrelación tiene sólo 2 valores racionales:
  
    
      
        C
        (
        t
        )
        =
        1
      
    
    {\displaystyle C(t)=1}
   (si 
  
    
      
        t
        =
        0
      
    
    {\displaystyle t=0}
  ) y 
  
    
      
        c
        (
        t
        )
        =
        K
        
          /
        
        N
      
    
    {\displaystyle c(t)=K/N}
   donde 
  
    
      
        K
        ∈
        
          
            Z
          
          
            n
          
        
      
    
    {\displaystyle K\in \mathbb {Z} _{n}}
   para 
  
    
      
        1
        ≤
        t
        ≤
        N
        −
        1
      
    
    {\displaystyle 1\leq t\leq N-1}