Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Graph pattern matching is a central application in many fields. In various areas, the structure of the pattern can only be approximated and exact matching is then too accurate.  focus here on approximations declared by the user within the pattern (optional nodes and forbidden arcs), covering graph/subgraph mono/isomorphism problems. ,  show how the integration of two domains of computation over countable structures,  graphs  and  maps  , can be used for modeling and solving various graph matching problems from the simple graph isomorphism to approximate graph matching. To achieve this,  extend map variables allowing the domain and range to be non-fixed and constrained.  describe how such extended maps are designed then realized on top of finite domain and finite set variables with specific propagators.  show how a single monomorphism constraint is sufficient to model and solve those multiples graph matching problems. Furthermore, our experimental results show that our CP approach is competitive with a state of the art algorithm for subgraph isomorphism.
['Yves Deville', 'Grégoire Dooms', 'Stéphane Zampelli']
I am writing a research paper on a idea Combining Two Structured Domains for Modeling Various Graph Matching Problems
[{"from": "human", "value": "I am writing a research paper on a idea Combining Two Structured Domains for Modeling Various Graph Matching Problems"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Graph pattern matching is a central application in many fields. In various areas, the structure of the pattern can only be approximated and exact matching is then too accurate.  focus here on approximations declared by the user within the pattern (optional nodes and forbidden arcs), covering graph/subgraph mono/isomorphism problems. ,  show how the integration of two domains of computation over countable structures,  graphs  and  maps  , can be used for modeling and solving various graph matching problems from the simple graph isomorphism to approximate graph matching. To achieve this,  extend map variables allowing the domain and range to be non-fixed and constrained.  describe how such extended maps are designed then realized on top of finite domain and finite set variables with specific propagators.  show how a single monomorphism constraint is sufficient to model and solve those multiples graph matching problems. Furthermore, our experimental results show that our CP approach is competitive with a state of the art algorithm for subgraph isomorphism."}]