क्या ग्राफ समरूपता समस्या हल हो गई है?


13

विकिपीडिया के ग्राफ समसामयिकता समस्या पृष्ठ से प्रतीत होता है कि, नहीं, यह हल नहीं किया गया है। हालांकि, मेरे एक दोस्त ने ग्राफ आइसोमॉर्फिज़्म के लिए एक बहुपद समय एल्गोरिथ्म को इंगित किया । मैं कागज में तर्क का पालन करने के लिए पर्याप्त परिष्कृत नहीं हूं।

मेरे पास एक बहुपदीय समय एल्गोरिथ्म में बिना किसी सबूत के कुछ भी करने का अपना बहुत कठिन प्रयास है , लेकिन मैं यह जानना चाहूंगा कि इस समस्या को आगे बढ़ने से पहले सफलतापूर्वक सामना किया गया है या नहीं।

तो, क्या ग्राफ समरूपता समस्या हल हो गई है?


1
सार्थक सवाल। wrt साइबर सहकर्मी की समीक्षा, यह अच्छा होगा यदि उत्तरदाताओं / उत्तरों ने वास्तव में सामान्यताओं के बजाय पेपर में विशिष्ट त्रुटि (ओं) को इंगित किया। हालांकि, यहां स्पष्ट है कि पेशेवर वैज्ञानिक इस प्रकार के प्रयासों के बारे में सोचते हैं। आरएक्सआईवी गलत कागजात से भरा है, पी बनाम एनपी पर कई, लेकिन कई अन्य अर्धविराम समस्याएं शौकिया प्रयासों को आकर्षित करती हैं, जैसे कि कोलेज़ अनुमान, जुड़वां प्राइम,
गोल्डबैच

7
@vzn मुझे नहीं लगता कि पेपर पढ़ने पर हमारा समय बर्बाद होता है, जो लगभग निश्चित रूप से गलत हैं और समस्या पर कोई नई रोशनी नहीं डालते हैं।
युवल फिल्मस

2
@vzn मुझे आपकी शिकायत समझ में नहीं आती। डीडब्ल्यू का जवाब (आपकी टिप्पणी से एक घंटे पहले पोस्ट किया गया) एक टिप्पणी से लिंक करता है जो चर्चा के तहत ArXiv पेपर में एक विशिष्ट त्रुटि को इंगित करता है
डेविड रिचेर्बी

2
@vzn ArXiv पेपर में एक त्रुटि है। उस त्रुटि को ठीक करने के लिए इसे संशोधित नहीं किया गया है। किसी भी अधिक सहकर्मी की समीक्षा की आवश्यकता नहीं है। मुझे नहीं पता कि आप जो कह रहे हैं वह दूसरे हाथ में है: एक काउंटर-उदाहरण एक काउंटर-उदाहरण है, भले ही यह आपके खोजकर्ता द्वारा या ड्रग डीलर द्वारा संचारित किया गया हो, जो उस सीडियल बार के पीछे लटका हुआ है हाइवे।
डेविड रिचेर्बी

1
@ निश्चित रूप से, यह संशोधित नहीं किया गया क्योंकि लेखक त्रुटि को ठीक नहीं कर सका। ध्यान दें कि ArXiv पांडुलिपियों की वापसी की अनुमति नहीं देता है, भले ही वे गलत हों।
डेविड रिचरबी

जवाबों:


23

नहीं। वह कागज त्रुटिपूर्ण प्रतीत होता है। मैटिओवरफ्लो पर ट्रेसी हॉल द्वारा एक टिप्पणी में दोष को समझाया गया था । एक अनुवर्ती टिप्पणी का दावा है कि लेखक को बाद में एहसास हुआ कि उनके एल्गोरिथ्म में एक दोष है।

जैसा कि युवल बताते हैं, इन समस्याओं को हल करने के लिए शौकीनों के प्रयासों को देखना असामान्य नहीं है; वे दोषपूर्ण होते हैं। जब यह प्रसिद्ध खुली समस्याओं (जैसे, पी बनाम एनपी, ग्राफ आइसोमोर्फिज्म, आदि) पर परिणामों की बात आती है, तो मैं प्रतिष्ठित सहकर्मी-समीक्षा सम्मेलनों और पत्रिकाओं में प्रकाशित साहित्य की तलाश करने की सलाह देता हूं - सहकर्मी समीक्षा सही नहीं है, लेकिन सहकर्मी की समीक्षा की गई कागजात सही होने की बहुत अधिक संभावना है।


17

नहीं, ग्राफ आइसोमॉर्फिज़्म समस्या हल नहीं हुई है। आपके द्वारा लिंक किया गया पेपर 2007-2008 से है, और इसे व्यापक वैज्ञानिक समुदाय द्वारा स्वीकार नहीं किया गया है। (यदि ऐसा होता, तो मुझे इसके बारे में पता होता।)

ग्राफ आइसोमॉर्फिज्म, कई अन्य प्रसिद्ध समस्याओं की तरह, एमेच्योर द्वारा कई प्रयासों को आकर्षित करता है। वे लगभग हमेशा गलत होते हैं। मैं अनुसंधान स्तर के गणित में पहले सक्षम हुए बिना इस समस्या से निपटने की कोशिश करने के खिलाफ सलाह दूंगा।


2
विशेषज्ञों द्वारा इन प्रकार के दावों से निपटने का एक और तरीका असंभव या बाधा परिणाम है। तब एक अधिक जानकारीपूर्ण प्रतिनियुक्ति इस रूप में जाती है "पेपर isomorphism समस्या को हल करने के लिए [x] प्रकार के तर्क का उपयोग करता है, लेकिन यह [a, b, c] शोध से ज्ञात होता है कि इस प्रकार का एक विशिष्ट अवरोध है दृष्टिकोण की, और कागज इस बाधा से अनजान है या विशेष रूप से प्रकट करता है कि इसे कैसे दूर किया जाता है। " वहाँ परिणाम के बारे में इस समसामयिकता समस्या और अन्य महत्वपूर्ण समस्याओं के लिए जाना जाता है जैसे पी बनाम एनपी।
vzn 20

1
इस तरह की अनसुलझी समस्याओं (और असफल होना) का प्रयास करना एक बहुत ही उपयोगी शिक्षण अभ्यास हो सकता है, अगर कोई सही मानसिकता के साथ आता है।
निक अल्ज

हालाँकि, कुछ वक्रोक्ति : प्रमाण / दावों में कुछ हद तक स्वतंत्र "व्यापक वैज्ञानिक समुदाय द्वारा स्वीकृति" और विशेष व्यक्तियों द्वारा उनके ज्ञान की वैधता है। उदाहरण के लिए जब एक सही प्रमाण पहली बार पेश किया जाता है, तो यह लेखक के अलावा किसी अन्य व्यक्ति द्वारा तुरंत / तुरंत स्वीकार नहीं किया जाता है। इस गतिशील के लिए आगे समर्थन गणित इतिहास में पाया जा सकता है। और कभी-कभी लंबी अवधि के दावे / दावे और स्वीकृति के बीच जा सकते हैं, उदाहरण के लिए
गैलोज़

8

मुझे बहुत संदेह होगा कि यह (एक बहुपद समय एल्गोरिथ्म के अस्तित्व के प्रमाण के अर्थ में) है। हालांकि यह असंभव नहीं है कि पेपर सही हो, कई चेतावनी संकेत हैं:

  1. लेखक ने एक सहकर्मी की समीक्षा स्थल (7 साल बाद भी) में परिणाम प्रकाशित नहीं किया है।
  2. लेखक को कहीं और कुछ भी प्रकाशित नहीं लगता है।
  3. कागज एल्गोरिदम प्रस्तुत करता है, लेकिन शुद्धता का दावा जटिलता के बारे में एक अनौपचारिक हाथ से तर्क है।
  4. एक समस्या के लिए जिसने कुछ बहुत ही चतुर लोगों के प्रयासों का विरोध किया है, कागज में गणित बहुत सरल है।
  5. लेखक एक शैक्षणिक संस्थान से संबद्ध नहीं है। पेपर का नया संस्करण इसे स्पष्ट करता है।

फिर से, किसी को कागज में दोष की पहचान के बिना, ये मूर्खतापूर्ण संकेत नहीं हैं। हो सकता है कि लेखक के पास अंतर्दृष्टि का एक अनूठा फ्लैश था और फिर पूरी तरह से अलग जीवन में चला गया, लेकिन संभावना का वजन इसके खिलाफ है - असाधारण दावों को असाधारण सबूत की आवश्यकता होती है।

हाल ही में दी गई खबरों (4) को विस्तार से बताने के लिए, लेज़्ज़्लो बाबई ने हाल ही में ज्ञात ग्राफ आइसोमॉर्फिज्म एल्गोरिदम (अभी तक कोई छाप नहीं है, लेकिन उनके सार्वजनिक व्याख्यान पर एक सभ्य चल टिप्पणी यहाँ पाई जा सकती है ) पर एक बड़ा सुधार का दावा किया , एक छद्म बहुपद समय एल्गोरिथ्म दे रहा है। बाबई और उनके सहयोगी निश्चित रूप से बहुत ही चतुर लोग हैं, और इस परिणाम को प्राप्त करने के लिए उपयोग किया जाने वाला गणित कठिन, गहरा और ग्राफ सिद्धांत और समूह सिद्धांत है। संभावना के वजन को देखते हुए, इस तरह की समस्या पर महत्वपूर्ण अग्रिम के लिए यह अपेक्षित स्तर है।


3
अंक 1-4 मजबूत हैं लेकिन 5 अधिक परिस्थितिजन्य हैं।
डेविड रिचेर्बी

(५) सही नहीं है। संस्था (जाहिरा तौर पर) बर्लिन की तकनीकी विश्वविद्यालय है और यह राज्य प्रायोजित भाग है। (1) इस लिंक / पेपर क्रॉलर द्वारा समर्थित । पेपर Woeginger के दावे पृष्ठ पर उद्धृत किया गया है ।
vzn

3
बाबाई ने क्सिपोलिनोमियल रनटाइम के दावे को वापस लिया । स्पष्ट रूप से विश्लेषण में एक त्रुटि थी।
राफेल


3

लास्ज़लो बाबई ने 11 नवंबर 2015 तक ग्राफ आइसोमॉर्फिज्म समस्या के लिए क्वासिपोलिनोमियल समाधान खोजने का दावा किया है।

... और दावा कल वापस ले लिया (4/1/2017):

स्रोत: http://jeremykun.com/2015/11/12/a-quasipolynomial-time-algorithm-for-graph-isomorphism-the-details/


आपके द्वारा दिए गए लिंक से: बाबई ने अभी तक कोई प्रिफर नहीं किया है, और जब मैंने उससे पूछा तो उसने कहा "जल्द ही, जल्द ही।" तब तक।
स्केआहू

प्रश्न यह परिभाषित नहीं करता है कि ग्राफ आइसोमॉर्फिज्म समस्या के लिए इसका क्या मतलब होगा क्योंकि हल किया जा सकता है, लेकिन सबसे अधिक संभावना यह है कि: किसी ने इसके लिए एक बहुपद-काल एल्गोरिथ्म पाया है, या इस बात का प्रमाण दिया है कि इस तरह का कोई बहुपद-समय मौजूद नहीं है । उस व्याख्या के तहत, यह जवाब सवाल का जवाब नहीं देता है।
डीडब्ल्यू

4
बाबाई ने क्सिपोलिनोमियल रनटाइम के दावे को वापस लिया । स्पष्ट रूप से विश्लेषण में एक त्रुटि थी।
राफेल

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.