ஐ.எஸ்.எஸ்.என்: 1314-3344
Ruyue Hou, Chun Xu, Lele Ren மற்றும் Ke Su
இந்தத் தாளில், பொதுவான அரை-இன்ஃபினைட் புரோகிராமிங் சிக்கலை (GSIP) தீர்க்க ஒரு வடிகட்டி நம்பிக்கை மண்டல முறை முன்மொழியப்பட்டது. கருஷ்-குன்-டக்கர் நிலைமைகளை மறுசீரமைப்பதன் மூலம், GSIP பிரச்சனைக்கு சமமான செமிஸ்மூத் சமன்பாடுகளின் அமைப்பைப் பெறுகிறோம். மேலும், செமிஸ்மூத் சமன்பாடுகளை உருவாக்க NCP செயல்பாடு பயன்படுத்தப்படுகிறது. இந்த சமமான சிக்கலைத் தீர்க்க, வடிகட்டி முறை எனப்படும் ஒரு நம்பிக்கைக்குரிய முறை அறிமுகப்படுத்தப்பட்டது. தற்போதுள்ள GSIP முறைகளுடன் ஒப்பிடும்போது, வழங்கப்பட்ட முறை மிகவும் நெகிழ்வானது. 148 Ruyue Hou, Chun Xu, Lele Ren மற்றும் Ke Su ஆகிய நேரியல் சமன்பாடுகளின் ஒரே ஒரு அமைப்பு மட்டுமே மீண்டும் மீண்டும் தீர்க்கப்பட வேண்டும். மேலும் கணக்கீட்டின் அளவு ஒரு குறிப்பிட்ட அளவிற்கு குறைக்கப்படுகிறது. சில நியாயமான நிலைமைகளின் கீழ், வழங்கப்பட்ட முறையின் உலகளாவிய குவிந்த பண்புகள் நிரூபிக்கப்பட்டுள்ளன.