இந்த முடிவு சிக்கலுடன் தொடர்புடைய முறையான மொழி
இந்த முடிவு சிக்கலுடன் தொடர்புடைய முறையான மொழி அனைத்து இணைக்கப்பட்ட கோட்டுருக்களின் தொகுப்பாகும்-இந்த மொழியின் துல்லியமான வரையறையைப் பெற, கோட்டுருக்கள் இரும சரங்களாக எவ்வாறு குறியிடப்படுகின்றன என்பதை ஒருவர் தீர்மானிக்க வேண்டும்.
இந்த டெஸிஸின் ப்ரோப்லேம் (decision problem) தொடர்புடைய அனைத்து இணைக்கப்பட்ட கிராஃப்களின் (graphs) தொகுப்புக்கான சொல் என்ன?