graph-isomorphism पर टैग किए गए जवाब

मैं बहुत विशिष्ट होना चाहता हूं। क्या किसी को डिसप्रिन का पता है या निम्नलिखित प्रस्ताव का प्रमाण है: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists \varphi \in \mathcal{L}(\Sigma_{graph}), |φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|\varphi| \leq p(n) \wedge qd(\varphi) \leq …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

कल्पना करें कि हमारे पास अंक दो आकार सेट हैं । यदि वे केवल रोटेशन से भिन्न होते हैं तो परीक्षण की जटिलता (समय) क्या है? : इसमें रोटेशन मैट्रिक्स जो कि ?mmm हे हे टी = हे टी ओ = मैं एक्स = हे YX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY यहां वास्तविक मूल्यों …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

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

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

वेसफाइलर-लेहमैन (WL) विधि के माध्यम से ग्राफ आइसोमोर्फिज्म के लिए प्रसिद्ध काउंटर उदाहरण में इस पेपर में कै, फ्यूरर और इमरमन द्वारा निम्न गैजेट का निर्माण किया गया था । वे एक ग्राफ का निर्माण द्वारा दिए गएएक्सक= ( वीक, ईक)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| …

12 graph-theory  graph-algorithms  graph-isomorphism  algebraic-complexity 

क्या अन्य समस्याओं भाषाओं ग्राफ समाकृतिकता से अलग कर रहे हैं ? क्या आप कुछ संदर्भ दे सकते हैं?NP∩coAMNP∩coAMNP\cap coAM अपडेट: मैं यह उल्लेख करना भूल गया कि मुझे उन भाषाओं में दिलचस्पी है जो में नहीं जानी जाती हैं ।coNPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

क्या परिमित उलटा अर्धवृत्ताकार समतावाद समस्या जीआई-पूर्ण है ? यहाँ परिमित उलटा अर्धवृत्त उनके गुणन सारणी द्वारा दिए गए मान लिए गए हैं।

11 cc.complexity-theory  graph-isomorphism 

मुझे ग्राफ आइसोमॉर्फिज़्म (जीआई) पूर्ण समस्याओं का अध्ययन करने में दिलचस्पी है। केलॉग एस। बूथ (1979) द्वारा पेपर "प्रॉब्लम्स पोलीनोमिअली इक्विप्लेंट टू ग्राफ आइसोमॉर्फिज्म" में यह साबित कर दिया कि एज रिप्लेसमेंट तकनीक, कंपोजिशन तकनीक आदि के इस्तेमाल से कई बुनियादी समस्याएं जीआई पूरी होती हैं। मैं कुछ और तकनीकों …

11 cc.complexity-theory  reference-request  graph-isomorphism 

इस समस्या के बारे में अधिक पता लगाने की कठिनाई का एक हिस्सा यह है कि ग्राफ मिलान की समस्या इसके अधिक प्रसिद्ध चचेरे भाई, मिलान समस्या से अलग है, लेकिन खोज इंजन का उपयोग करते समय इसे से अलग किया जाना कठिन है। यह देखते हुए दो रेखांकन G=(V,E)G=(V,E)G=(V,E) …

11 reference-request  graph-theory  graph-isomorphism 

यह व्यापक रूप से माना जाता है कि कुछ कम्प्यूटेशनल समस्याएं जैसे कि ग्राफ आइसोमॉर्फिज़्म एनपी-पूर्ण नहीं हो सकता है क्योंकि यह कम्प्यूटेशनल रूप से कठोर (एनपी-हार्ड) होने के लिए पर्याप्त संरचना या अतिरेक के अधिकारी नहीं है। मैं कम्प्यूटेशनल समस्याओं और अतिरेक के उपायों की संरचना के लिए विभिन्न …

11 cc.complexity-theory  graph-isomorphism 

मैं पूछना चाहता हूं कि क्या उस पर पहले से ही प्रकाशित परिणाम है: हम दो जुड़े हुए नियमित रूप से नोड्स के प्रत्येक जोड़े के बीच सभी संभव विभिन्न रास्तों को लेते हैं (डिग्री साथ , और नोड्स एन की संख्या ) रेखांकन और उनकी लंबाई लिखते हैं। निश्चित …

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism 

किसी भी सरल अप्रत्यक्ष ग्राफ जी को देखते हुए, यह निर्धारित करना nontrivial है कि क्या G के पास nontrivial (गैर-पहचान) ऑटोमोटिव है। लेकिन इस निर्णय समस्या के ऊपरी / निचले सीमा पर परिणाम क्या हैं?

11 cc.complexity-theory  graph-isomorphism  automorphism 

ग्राफ G1, G2 और G3 को देखते हुए, हम G1 और G2 के साथ-साथ G1 और G3 के बीच isomorphism test F करना चाहते हैं। यदि G2 और G3 बहुत समान हैं, तो G3 का गठन एक नोड को हटाने और G2 से एक नोड को सम्मिलित करने से होता …

10 graph-theory  graph-algorithms  graph-isomorphism 

पर http://www.dharwadker.org/tevet/isomorphism/ , वहाँ का निर्धारण करता है, तो दो रेखांकन isomorphic हैं के लिए एक एल्गोरिथ्म की एक प्रस्तुति है। ए धारवाड़कर के "दिलचस्प" दावों को देखते हुए, हम यह मानने के इच्छुक नहीं हैं। मेरी जांच में, मुझे पता चलता है कि एल्गोरिथम निश्चित रूप से सही उत्तर …

10 graph-isomorphism 

ग्राफ आइसोमॉर्फिज्म समस्या सबसे लंबे समय तक चलने वाली समस्याओं में से एक है जिसने या एन पी- अपूर्ण समस्याओं में वर्गीकरण का विरोध किया । हमारे पास सबूत हैं कि यह N P -complete नहीं हो सकता है । जब तक बहुपद पदानुक्रम [1] दूसरे स्तर तक ढह नहीं …

10 cc.complexity-theory  graph-isomorphism 

क्रॉसपोस्ट से मो । (एज) रंगीन ग्राफ आइसोमॉर्फिज्म जीआई है जो रंगों को संरक्षित करता है (किनारों का अगर यह किनारे का रंग है)। जीआई से जीआई के लिए (एज) रंग के बदलाव / गैजेट्स का उपयोग करके कई कटौती की गई हैं। किनारे के रंग के लिए जीआई सबसे …

10 graph-theory  graph-isomorphism  automorphism