Constraint graph
કૃત્રિમ બુદ્ધિ અને કામગીરી સંશોધનમાં અવરોધ સંતોષ સંશોધનમાં, અવરોધ સંતોષ સમસ્યામાં અવરોધ વચ્ચેના સંબંધોને રજૂ કરવા માટે અવરોધ આલેખ અને હાયપરગ્રાફનો ઉપયોગ થાય છે. અવરોધ આલેખ એ પરિબળ આલેખનો એક વિશેષ કેસ છે, જે મુક્ત ચલોનાં અસ્તિત્વ માટે પરવાનગી આપે છે. અવરોધ હાયપરગ્રાફ અવરોધ સંતોષ સમસ્યાનો અવરોધ હાયપરગ્રાફ એ એક હાયપરગ્રાફ છે જેમાં શિરોબિંદુઓ ચલને અનુરૂપ હોય છે, અને હાયપરએજ અવરોધોને અનુરૂપ હોય છે. જો અનુરૂપ ચલ અમુક અવરોધમાં આવતા હોય તો શિરોબિંદુઓનો સમૂહ હાયપરએજ બનાવે છે. અવરોધ હાયપરગ્રાફને રજૂ કરવાની એક સરળ રીત નીચે આપેલા ગુણધર્મો સાથે શાસ્ત્રીય આલેખનો ઉપયોગ કરીને છેઃ શિરોબિંદુઓ ચલ અથવા અવરોધોને અનુરૂપ હોય છે, એક ધાર માત્ર ચલ-વર્ટેક્સને અવરોધ-વર્ટેક્સ સાથે જોડી શકે છે, અને ચલ-વર્ટેક્સ અને અવરોધ-વર્ટેક્સ વચ્ચે એક ધાર હોય છે જો અને માત્ર ત્યારે જ જો અનુરૂપ ચલ અનુરૂપ અવરોધમાં થાય છે. ગુણધર્મો 1 અને 2 દ્વિપક્ષી આલેખને વ્યાખ્યાયિત કરે છે. હાયપરગ્રાફને શિરોબિંદુઓને ચલ-શિરોબિંદુઓ તરીકે વ્યાખ્યાયિત કરીને પુનઃપ્રાપ્ત કરવામાં આવે છે અને હાયપરજેઝને દરેક અવરોધ-વર્ટેક્સ સાથે જોડાયેલા ચલ-શિરોબિંદુઓના સમૂહ તરીકે વ્યાખ્યાયિત કરવામાં આવે છે. પ્રાથમિક અવરોધ આલેખ અવરોધ સંતોષ સમસ્યાનો પ્રાથમિક અવરોધ આલેખ અથવા ફક્ત પ્રાથમિક આલેખ (ગેફમેન આલેખ પણ) એ આલેખ છે જેના નોડ્સ સમસ્યાના ચલો છે અને જો બે ચલો અવરોધમાં એક સાથે આવે તો ધાર ચલની જોડીમાં જોડાય છે. પ્રાથમિક અવરોધ આલેખ હકીકતમાં અવરોધ હાયપરગ્રાફનો પ્રાથમિક આલેખ છે. દ્વિ અવરોધ આલેખ અવરોધમાં સામેલ ચલોનો સમૂહ અવરોધ અવકાશ તરીકે ઓળખાય છે. દ્વિ અવરોધ આલેખ એ આલેખ છે જેમાં શિરોબિંદુઓ સમસ્યાના અવરોધોમાં સામેલ તમામ અવરોધ અવકાશ છે, અને જો અનુરૂપ અવકાશમાં સામાન્ય ચલ હોય તો બે શિરોબિંદુઓ ધાર દ્વારા જોડાયેલા હોય છે. સંદર્ભ પ્રતિબંધ પ્રોગ્રામિંગ એપ્લિકેશન-વિશિષ્ટ આલેખ