IDEAS home Printed from https://ideas.repec.org/a/gam/jmathe/v9y2021i20p2597-d657377.html
   My bibliography  Save this article

Resolvable Networks—A Graphical Tool for Representing and Solving SAT

Author

Listed:
  • Gábor Kusper

    (Faculty of Informatics, Eszterházy Károly Catholic University, 3300 Eger, Hungary)

  • Csaba Biró

    (Faculty of Informatics, Eszterházy Károly Catholic University, 3300 Eger, Hungary
    Faculty of Informatics, Eötvös Lóránd University, 1117 Budapest, Hungary)

  • Benedek Nagy

    (Department of Mathematics, Faculty of Arts and Sciences, Eastern Mediterranean University, North Cyprus, Mersin-10, Famagusta 99450, Turkey)

Abstract

In this paper, we introduce the notion of resolvable networks. A resolvable network is a digraph of subnetworks, where subnetworks may overlap, and the inner structure of subnetworks are not interesting from the viewpoint of the network. There are two special subnetworks, Source and Sink, with the following properties: there is no incoming edge to Source, and there is no outgoing edge from Sink. Any resolvable network can be represented by a satisfiability problem in Boolean logic (shortly, SAT problem), and any SAT problem can be represented by a resolvable network. Because of that, the resolution operation is valid also for resolvable networks. We can use resolution to find out or refine the inner structure of subnetworks. We give also a pessimistic and an optimistic interpretation of subnetworks. In the pessimistic case, we assume that inside a subnetwork, all communication possibilities are represented as part of the resolvable network. In the optimistic case, we assume that each subnetwork is strongly connected. We show that any SAT problem can be visualized using the pessimistic interpretation. We show that transitivity is very limited in the pessimistic interpretation, and in this case, transitivity corresponds to resolution of clauses. In the optimistic interpretation of subnetworks, we have transitivity without any further condition, but not all SAT problems can be represented in this case; however, any such network can be represented as a SAT problem. The newly introduced graphical concept allows to use terminology and tools from directed graphs in the field of SAT and also to give graphical representations of various concepts of satisfiability problems. A resolvable network is also a suitable data structure to study, for example, wireless sensor networks. The visualization power of resolvable networks is demonstrated on some pigeon hole SAT problems. Another important application field could be modeling the communication network of an information bank. Here, a subnetwork represents a dataset of a user which is secured by a proxy. Any communication should be done through the proxy, and this constraint can be checked using our model.

Suggested Citation

  • Gábor Kusper & Csaba Biró & Benedek Nagy, 2021. "Resolvable Networks—A Graphical Tool for Representing and Solving SAT," Mathematics, MDPI, vol. 9(20), pages 1-21, October.
    • Handle: RePEc:gam:jmathe:v:9:y:2021:i:20:p:2597-:d:657377
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/2227-7390/9/20/2597/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/2227-7390/9/20/2597/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Barabási, Albert-László & Albert, Réka & Jeong, Hawoong, 2000. "Scale-free characteristics of random networks: the topology of the world-wide web," Physica A: Statistical Mechanics and its Applications, Elsevier, vol. 281(1), pages 69-77.
    Full references (including those not matched with items on IDEAS)

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Zhao, Star X. & Rousseau, Ronald & Ye, Fred Y., 2011. "h-Degree as a basic measure in weighted networks," Journal of Informetrics, Elsevier, vol. 5(4), pages 668-677.
    2. Ruiz Vargas, E. & Mitchell, D.G.V. & Greening, S.G. & Wahl, L.M., 2014. "Topology of whole-brain functional MRI networks: Improving the truncated scale-free model," Physica A: Statistical Mechanics and its Applications, Elsevier, vol. 405(C), pages 151-158.
    3. Giacomello, Giampiero & Picci, Lucio, 2003. "My scale or your meter? Evaluating methods of measuring the Internet," Information Economics and Policy, Elsevier, vol. 15(3), pages 363-383, September.
    4. Ormerod, Paul & Roach, Andrew P, 2004. "The Medieval inquisition: scale-free networks and the suppression of heresy," Physica A: Statistical Mechanics and its Applications, Elsevier, vol. 339(3), pages 645-652.
    5. Castagna, Alina & Chentouf, Leila & Ernst, Ekkehard, 2017. "Economic vulnerabilities in Italy: A network analysis using similarities in sectoral employment," GLO Discussion Paper Series 50, Global Labor Organization (GLO).
    6. Pascal Billand & Christophe Bravard & Sudipta Sarangi, 2011. "Resources Flows Asymmetries in Strict Nash Networks with Partner Heterogeneity," Working Papers 1108, Groupe d'Analyse et de Théorie Economique Lyon St-Étienne (GATE Lyon St-Étienne), Université de Lyon.
    7. Stefan Rass, 2021. "Judging the quality of (fake) news on the internet," Mind & Society: Cognitive Studies in Economics and Social Sciences, Springer;Fondazione Rosselli, vol. 20(1), pages 129-133, June.
    8. Pandey, Pradumn Kumar & Badarla, Venkataramana, 2018. "Reconstruction of network topology using status-time-series data," Physica A: Statistical Mechanics and its Applications, Elsevier, vol. 490(C), pages 573-583.
    9. Georgios Antonios Sarantitis & Theophilos Papadimitriou & Periklis Gogas, 2018. "A Network Analysis of the United Kingdom’s Consumer Price Index," Computational Economics, Springer;Society for Computational Economics, vol. 51(2), pages 173-193, February.
    10. Marc Barthélémy & Michele Campagna & Alessandro Chessa & Andrea De Montis & Alessandro Vespignani, 2005. "Emergent topological and dynamical properties of a real inter-municipal commuting network - perspectives for policy-making and planning," ERSA conference papers ersa05p607, European Regional Science Association.
    11. Zio, Enrico, 2016. "Challenges in the vulnerability and risk analysis of critical infrastructures," Reliability Engineering and System Safety, Elsevier, vol. 152(C), pages 137-150.
    12. Tamás Sebestyén & Dóra Longauer, 2018. "Network structure, equilibrium and dynamics in a monopolistically competitive economy," Netnomics, Springer, vol. 19(3), pages 131-157, December.
    13. Wang, Huan & Xu, Chuan-Yun & Hu, Jing-Bo & Cao, Ke-Fei, 2014. "A complex network analysis of hypertension-related genes," Physica A: Statistical Mechanics and its Applications, Elsevier, vol. 394(C), pages 166-176.
    14. Elisa Letizia & Fabrizio Lillo, 2017. "Corporate payments networks and credit risk rating," Papers 1711.07677, arXiv.org, revised Sep 2018.
    15. Hema Yoganarasimhan, 2012. "Impact of social network structure on content propagation: A study using YouTube data," Quantitative Marketing and Economics (QME), Springer, vol. 10(1), pages 111-150, March.
    16. Dunia López-Pintado, 2006. "Contagion and coordination in random networks," International Journal of Game Theory, Springer;Game Theory Society, vol. 34(3), pages 371-381, October.
    17. Morehead, Raymond & Noore, Afzel, 2007. "Novel hybrid mitigation strategy for improving the resiliency of hierarchical networks subjected to attacks," Physica A: Statistical Mechanics and its Applications, Elsevier, vol. 378(2), pages 603-612.
    18. Judit Bar-Ilan & Rina Azoulay, 2012. "Map of nonprofit organization websites in Israel," Journal of the Association for Information Science & Technology, Association for Information Science & Technology, vol. 63(6), pages 1142-1167, June.
    19. Li, Jianyu & Zhou, Jie, 2007. "Chinese character structure analysis based on complex networks," Physica A: Statistical Mechanics and its Applications, Elsevier, vol. 380(C), pages 629-638.
    20. Laureti, Paolo & Moret, Lionel & Zhang, Yi-Cheng, 2005. "Aggregating partial, local evaluations to achieve global ranking," Physica A: Statistical Mechanics and its Applications, Elsevier, vol. 345(3), pages 705-712.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jmathe:v:9:y:2021:i:20:p:2597-:d:657377. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.