scholarly journals Subgraph Isomorphism Based Intrinsic Function Reduction in Decompilation

2016 ◽  
Vol 09 (03) ◽  
pp. 80-90 ◽  
Author(s):  
Yanzhao Liu ◽  
Yinliang Zhao ◽  
Lei Zhang ◽  
Kai Liu
2021 ◽  
Vol 178 (3) ◽  
pp. 173-185
Author(s):  
Arthur Adinayev ◽  
Itamar Stein

In this paper, we study a certain case of a subgraph isomorphism problem. We consider the Hasse diagram of the lattice Mk (the unique lattice with k + 2 elements and one anti-chain of length k) and find the maximal k for which it is isomorphic to a subgraph of the reduction graph of a given one-rule string rewriting system. We obtain a complete characterization for this problem and show that there is a dichotomy. There are one-rule string rewriting systems for which the maximal such k is 2 and there are cases where there is no maximum. No other intermediate option is possible.


2015 ◽  
Vol 136 (3) ◽  
pp. 344e-352e ◽  
Author(s):  
Kristen M. Davidge ◽  
Andrew Yee ◽  
Amy M. Moore ◽  
Susan E. Mackinnon

Constraints ◽  
2009 ◽  
Vol 15 (3) ◽  
pp. 327-353 ◽  
Author(s):  
Stéphane Zampelli ◽  
Yves Deville ◽  
Christine Solnon

2021 ◽  
Vol 48 (9) ◽  
pp. 973-980
Author(s):  
Yunyoung Choi ◽  
Kunsoo Park

2005 ◽  
Vol 95 (1) ◽  
pp. 144-148 ◽  
Author(s):  
Anna Orsola ◽  
Carlos R. Estrada ◽  
Hiep T. Nguyen ◽  
Alan B. Retik ◽  
Michael R. Freeman ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document