Cigarette smokers problem
சிகரெட் புகைப்பவர்களின் பிரச்சனை என்பது கணினி அறிவியலில் ஒரு ஒத்த சிக்கலாகும், இது முதலில் 1971 இல் சுஹாஸ் பாட்டீல் விவரித்தார். "நடைமுறைக் கருத்தாய்வுகளால் நியாயப்படுத்த முடியாத கட்டுப்பாடுகள்" இருப்பதால் இந்தப் பிரச்சினை விமர்சிக்கப்பட்டுள்ளது. சிக்கல் விவரம் பாட்டீலின் சிக்கல் ஒரு "மிகவும் தன்னிச்சையான" கட்டுப்பாட்டை உள்ளடக்கியது, இது பொருட்களை வழங்கும் செயல்முறையை மாற்ற முடியாது மற்றும் நிபந்தனை அறிக்கைகள் எதுவும் பயன்படுத்தப்படக்கூடாது ". ஒரு சிகரெட்டைத் தயாரிப்பதற்கும் புகைப்பதற்கும் மூன்று பொருட்கள் தேவை என்று வைத்துக்கொள்வோம்ஃ புகையிலை, காகிதம் மற்றும் தீப்பெட்டிகள். ஒரு மேசையைச் சுற்றி மூன்று புகைப்பிடிப்பவர்கள் உள்ளனர், அவர்கள் ஒவ்வொருவரும் மூன்று பொருட்களில் ஒன்றின் எல்லையற்ற விநியோகத்தைக் கொண்டுள்ளனர்-ஒரு புகைப்பிடிப்பவருக்கு எல்லையற்ற புகையிலை வழங்கல் உள்ளது, மற்றொருவருக்கு காகிதம் உள்ளது, மூன்றாவது நபருக்கு பொருத்தங்கள் உள்ளன. ஒரு புகைபிடிக்காத முகவரும் உள்ளார், அவர் புகைப்பிடிப்பவர்கள் தங்கள் சிகரெட்டுகளை தன்னிச்சையாக (தீர்மானிக்காத வகையில்) மேஜையில் வைக்க இரண்டு பொருட்களைத் தேர்ந்தெடுப்பதன் மூலம் தயாரிக்க உதவுகிறார். மூன்றாவது சப்ளை கொண்ட புகைப்பிடிப்பவர் மேஜையில் இருந்து இரண்டு பொருட்களையும் அகற்றி, அவற்றைப் பயன்படுத்தி (தங்கள் சொந்த விநியோகத்துடன்) ஒரு சிகரெட்டை உருவாக்க வேண்டும், அதை அவர்கள் சிறிது நேரம் புகைபிடிப்பார்கள். புகைப்பிடிப்பவர் தனது சிகரெட்டை முடித்தவுடன், முகவர் இரண்டு புதிய சீரற்ற பொருட்களை மேஜையில் வைக்கிறார். இந்த செயல்முறை என்றென்றும் தொடர்கிறது. மேசையில் உள்ள பொருட்களைக் குறிக்க மூன்று செமாஃபோர்கள் பயன்படுத்தப்படுகின்றன; ஒரு பொருள் மேஜையில் வைக்கப்பட்டுள்ளது என்பதைக் குறிக்க முகவர் பொருத்தமான செமாஃபோரை அதிகரிக்கிறார், மேலும் புகைப்பிடிப்பவர்கள் பொருட்களை அகற்றும்போது செமாஃபோரைக் குறைக்கின்றனர். மேலும், ஒவ்வொரு புகைப்பிடிப்பவருக்கும் ஒரு தொடர்புடைய செமாஃபோர் உள்ளது, அது குறிப்பிட்ட புகைப்பிடிப்பவர் புகைபிடித்துவிட்டார் என்று முகவருக்கு சமிக்ஞை செய்ய அவர்கள் பயன்படுத்துகிறார்கள்; முகவர் ஒவ்வொரு புகைப்பிடிப்பவரின் செமாஃபோரிலும் காத்திருக்கும் ஒரு செயல்முறையைக் கொண்டுள்ளார், இது புதிய பொருட்களை மேசையில் வைக்க முடியும் என்பதை முகவருக்குத் தெரிவிக்கிறது. புகையிலை சப்ளை கொண்ட புகைப்பிடிப்பவரின் ஒரு எளிய போலி குறியீடு செயல்படுத்தல் பின்வருவனவற்றைப் போல இருக்கலாம்ஃ டெஃப் புகையிலை _ ஸ்மோக்கர் (): மீண்டும்ஃ paper.wait () matches.wait () புகை () tobacco_smoker_done.signal () இருப்பினும், இது முட்டுக்கட்டைக்கு வழிவகுக்கும்; முகவர் காகிதத்தையும் புகையிலையையும் மேஜையில் வைத்தால், புகையிலை புகைப்பவர் காகிதத்தை அகற்றலாம் மற்றும் பொருத்துகளுடன் புகைப்பிடிப்பவர் புகையிலையை எடுக்கலாம், இதனால் இருவரும் தங்கள் சிகரெட்டை தயாரிக்க முடியாது. முகவரை மாற்றியமைக்காமல், முட்டுக்கட்டையைத் தடுக்கும் கூடுதல் செயல்முறைகள் மற்றும் செமாஃபோர்களை வரையறுப்பதே தீர்வு. விமர்சனம் பாட்டீல் சிகரெட் புகைப்பவர்களின் பிரச்சினையில் பின்வரும் கட்டுப்பாடுகளை முன்வைத்தார்ஃ முகவர் குறியீடு மாற்ற முடியாதது. நிபந்தனை அறிக்கைகளைப் பயன்படுத்த தீர்வு அனுமதிக்கப்படவில்லை. எட்ஸ்கர் டிஜ்க்ஸ்டிராவின் செமாஃபோர் பிரிமிடிவ்களைப் பயன்படுத்தி சிகரெட் புகைப்பவர்களின் பிரச்சினைக்கு ஒரு தீர்வு சாத்தியமற்றது என்றும், மேலும் சக்திவாய்ந்த பழமையானது அவசியம் என்றும் கூற பாட்டீல் பெட்ரி வலைகளின் அடிப்படையில் ஒரு ஆதாரத்தைப் பயன்படுத்தினார். இருப்பினும், டேவிட் பர்னாஸ் செமாஃபோர்களின் வரிசைகளைப் பயன்படுத்தினால் பாட்டீலின் ஆதாரம் போதுமானதாக இல்லை என்பதை நிரூபித்தார், இது பொருத்தமான புகைப்பிடிப்பவரைத் தொடர சமிக்ஞை செய்ய எண்கணிதத்தைச் செய்யும் உதவி செயல்முறைகளைப் பயன்படுத்தும் ஒரு தீர்வை வழங்குகிறது. ஆலன் பி. டவுனியின் கூற்றுப்படி, முதல் கட்டுப்பாடு அர்த்தமுள்ளதாக இருக்கிறது, ஏனென்றால் முகவர் ஒரு இயக்க முறைமையைக் குறிக்கிறார் என்றால், ஒரு புதிய பயன்பாடு வரும் ஒவ்வொரு முறையும் அதை மாற்றியமைப்பது நியாயமற்றது அல்லது சாத்தியமற்றது. இருப்பினும், இரண்டாவது கட்டுப்பாடு நியாயமற்றது என்று பர்னாஸ் வாதிடுகிறார்ஃ பாட்டீல் தெரிவித்த வரம்புகள் அவரது பூர்வீகங்களின் வரம்புகள், ஆனால் அவை டிஜ்க்ஸ்ட்ரா விவரித்த பூர்வீகங்களின் வரம்புகள் அல்ல. எவ்வாறாயினும், அத்தகைய விசாரணை [டிஜ்க்ஸ்ட்ரா பிரிமிடிவ்களின்] செயற்கை கட்டுப்பாடுகளின் கீழ் இந்த பிரிமிடிவ்களின் சக்தியை ஆராயவில்லை என்பது முக்கியம். செயற்கை மூலம் நாம் நடைமுறைக் கருத்தாய்வுகளால் நியாயப்படுத்த முடியாத கட்டுப்பாடுகளைக் குறிக்கிறோம். இந்த ஆசிரியரின் கருத்துப்படி, நிபந்தனைகள் அல்லது செமாஃபோர் வரிசைகளை தடைசெய்யும் கட்டுப்பாடுகள் செயற்கை. மேலும் காண்க உணவு தத்துவஞானிகள் பிரச்சனை வாசகர்கள்-எழுத்தாளர்கள் சிக்கல் தூங்கும் முடிதிருத்துபவர்களின் சிக்கல் குறிப்புகள் முரண்பாடுகள் ஒருங்கிணைப்பு (கணினி அறிவியல்) எடுத்துக்காட்டு போலி குறியீட்டைக் கொண்ட கட்டுரைகள்