கொடுக்கப்பட்ட சிக்கலைத் தீர்ப்பதற்கான பரவிய அமைப்பை "வடிவமைப்பது" மையமாக இருந்தது. நிறைவு உண்டாக்கும் ஆராய்ச்சி சிக்கல் என்பது பரவிய அமைப்புகளை பற்றி "படிப்பதாகும்" .

இடைத்தடங்கள் சிக்கல் என்பது மையமாக்கப்பட்ட கணக்கீட்டுடன் தொடர்புடைய ஒற்றுமையான உதாரணமாகும்: நாம் கணினிக்கு ஒரு செய்முறை மற்றும் பணியைக் கொடுத்து அவை இடைத்தடங்களில் இருக்க வேண்டுமா அல்லது எப்போதும் இயங்க வேண்டுமா என்று தீர்மானிக்கிறோம். பொதுவான நடத்தைகளில் இடைத்தடங்கள் சிக்கல் கணிக்க முடியாதது. கணினி வலையமைப்பின் நடத்தை புரிந்து கொள்வதை விட ஒரு கணினியின் நடத்தையை புரிந்து கொள்வது கடினமாகும்.

எனினும் சில நேர்த்தியான சிறப்பு நடத்தைகள் கணிக்ககூடியவை. வரம்புக்குட்பட்ட அமைப்பு இயந்திரங்களின் வலையமைப்பு நடத்தையை அறிந்து கொள்வதற்கான காரணங்களும் குறிப்பாக உள்ளன. ஒரு உதாரணமாக கொடுக்கப்பட்ட வலையமைப்பில் வரம்புக்குட்பட்ட அமைப்பு (ஒத்தியங்கா மற்றும் உறுதிசெய்யாத) இயந்திரங்களின் இடையீடு முடக்கம் அடையும். இந்தச் சிக்கலானது PSPACE-நிறைவடைந்தது, அதாவது இது கணிக்ககூடியவை, பெரிய வலையமைப்புகளின் பகுதிகளில் உள்ள சிக்கல்களைத் தீர்க்கப் பயன்படும் (மையமாக்கபட்ட, இணையான அல்லது பரவிய) நெறிமுறைகளைப் போல திறமையாக இருக்காது.

இணை கணித்தல், பரவிய கணித்தல்
முகவுரை
வரலாறு
பரவிய அமைப்புகளின் பண்புகள்