ellibsЭлектронные библиотекиRussian Digital Libraries Journal1562-5419Казанский (Приволжский) федеральный университетellibs-721Research ArticleСтатьиВеб-системы по теоретико-графовым моделям и методам в программированииWeb-Systems on Graph-Theoretic Models and Methods in ProgrammingКасьяновВиктор НиколаевичKasyanovVictor Nikolaevichkvn@iis.nsk.suКасьяноваЕлена ВикторовнаKasyanovaElena Viktorovnakev@iis.nsk.suИнститут систем информатики им. А.П. Ершова Сибирского отделения Российской академии наукA.P. Ershov Institute of Informatics Systems of Siberian Branch of RASИнститут систем информатики им. А.П. Ершова Сибирского отделения Российской академии наукA. P. Ershov Institute of Informatics Systems of Siberian Branch of RAS20260403202629199122Copyright © Касьянов В.Н., Касьянова Е.В., 20262026Касьянов В.Н., Касьянова Е.В.Kasyanov V.N., Kasyanova E.V.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://ellibs.elpub.ru/jour/article/view/721

Теория графов из академической дисциплины все более превращается в средство, владение которым становится решающим для успешного применения компьютеров во многих прикладных областях. Несмотря на наличие обширной специальной литературы по решению задач на графах, широкое применение в практике программирования полученных математических результатов затруднено в силу отсутствия систематического их описания, ориентированного на программистов. Поэтому значительный класс практических задач, по существу сводящихся к простому выбору подходящего способа решения и построению конкретных формулировок абстрактных алгоритмов, для многих программистов все еще остается полем для интеллектуальной деятельности по «переоткрытию» известных методов. Статья посвящена разрабатываемому в Институте систем информатики им. А. П. Ершова СО РАН цифровому вики-словарю WikiGRAPP по теории графов и ее применениям в информатике и программировании и цифровой вики-энциклопедии WEGA теоретико-графовых алгоритмов решения задач информатики и программирования.

Graph theory is increasingly turning from an academic discipline into a tool, mastery of which is becoming decisive for the successful use of computers in many applied areas. Despite the existence of extensive specialized literature on solving problems on graphs, the widespread use of the obtained mathematical results in programming practice is difficult due to the lack of a systematic description of them oriented towards programmers. Therefore, a significant class of practical problems, essentially reduced to a simple choice of a suitable solution method and to the construction of specific formulations of abstract algorithms, for many programmers still remains a field for intellectual activity in the “rediscovery” of known methods. The paper is devoted to the digital wiki dictionary WikiGRAPP on graph theory and its applications in computer science and programming and the digital wiki encyclopedia WEGA of graph-theoretical algorithms for solving computer science and programming problems, being developed at the A.P. Ershov Institute of Informatics Systems SB RAS.

теоретико-графовые моделитеоретико-графовые методыпрограммированиецифровой вики словарьцифровая вики энциклопедияgraph-theoretic modelsgraph-theoretic methodsprogrammingdigital wiki dictionarydigital wiki encyclopediaReferencesBerge K. Teoriya grafov i eyo primeneniya. M.: Izd-vo inostr. lit.,1962. 319 р.Berge K. Teoriya grafov i eyo primeneniya. M.: Izd-vo inostr. lit.,1962. 319 р.Ore O. Grafy i ih primenenie. M.: Mir, 1965. 174 p.Ore O. Grafy i ih primenenie. M.: Mir, 1965. 174 p.Ershov A.P. Vvedenie v teoreticheskoe programmirovanie (besedy o metode). Novosibirsk: Nauka, 1977. 288 p.Ershov A.P. Vvedenie v teoreticheskoe programmirovanie (besedy o metode). Novosibirsk: Nauka, 1977. 288 p.Evstigneev V.A. Primenenie teorii grafov v programmirovanii. M.: Nauka 1985. 352 p.Evstigneev V.A. Primenenie teorii grafov v programmirovanii. M.: Nauka 1985. 352 p.Kasyanov V.N. Optimiziruyushchie preobrazovaniya programm. M: Nauka, 1988. 336 p.Kasyanov V.N. Optimiziruyushchie preobrazovaniya programm. M: Nauka, 1988. 336 p.Lipskiy V. Kombinatorika dlya programmistov. Moscow: Mir, 1988. 213 p.Lipskiy V. Kombinatorika dlya programmistov. Moscow: Mir, 1988. 213 p.Knuth D. Iskusstvo programmirovaniya dlya EHVM. Moscow: Mir, 1976. Vol. 1. 735 p.Knuth D. Iskusstvo programmirovaniya dlya EHVM. Moscow: Mir, 1976. Vol. 1. 735 p.Knuth D. Iskusstvo programmirovaniya dlya EHVM. Moscow: Mir, 1977. Vol. 2. 724 p.Knuth D. Iskusstvo programmirovaniya dlya EHVM. Moscow: Mir, 1977. Vol. 2. 724 p.Knuth D. Iskusstvo programmirovaniya dlya EHVM. Moscow: Mir, 1978. Vol. 3. 844 p.Knuth D. Iskusstvo programmirovaniya dlya EHVM. Moscow: Mir, 1978. Vol. 3. 844 p.Kasyanov V.N., Evstigneev V.A. Grafy v programmirovanii: obrabotka, vizualizaciya i primenenie. St. Petersburg: BHV-Petersburg, 2003. 1104 p.Kasyanov V.N., Evstigneev V.A. Grafy v programmirovanii: obrabotka, vizualizaciya i primenenie. St. Petersburg: BHV-Petersburg, 2003. 1104 p.WikipediA. URL: https://www.wikipedia.orgWikipediA. URL: https://www.wikipedia.orgMathWorld. URL: http://mathworld.wolfram.com/MathWorld. URL: http://mathworld.wolfram.com/AlgoWiki. URL: http://algowiki-project.orAlgoWiki. URL: http://algowiki-project.orDi Battista G., Eades P., Tamassia R., Tollis I.G. Graph drawing: algorithms for visualization of graphs. Prentice Hall, 1999. 397 p.Di Battista G., Eades P., Tamassia R., Tollis I.G. Graph drawing: algorithms for visualization of graphs. Prentice Hall, 1999. 397 p.Kasyanov V.N., Kasyanova E.V. Vizualizaciya grafov i grafovykh modelej. Novosibirsk: Sibirskoe Nauchnoe Izdatel'stvo, 2010. 123 p.Kasyanov V.N., Kasyanova E.V. Vizualizaciya grafov i grafovykh modelej. Novosibirsk: Sibirskoe Nauchnoe Izdatel'stvo, 2010. 123 p.Feng Q., Cohen R.F., Eades P. Planarity for clustered graphs // Lecture Notes in Computer Science. 1995. Vol. 979. P. 213–226.Feng Q., Cohen R.F., Eades P. Planarity for clustered graphs // Lecture Notes in Computer Science. 1995. Vol. 979. P. 213–226.Sugiyama K., Misue K. Visualization of structural information: automatic drawing of compound digraphs // IEEE Trans. on Systems, Man and Cybernetics. 1991. Vol. 21, No. 4. P. 876–892.Sugiyama K., Misue K. Visualization of structural information: automatic drawing of compound digraphs // IEEE Trans. on Systems, Man and Cybernetics. 1991. Vol. 21, No. 4. P. 876–892.Herman I, Melançon G., Marshall M.S. Graph visualization and navigation in information visualization: a survey // IEEE Trans. on Visualization and Computer Graphics. 2000. Vol. 6. P. 24–43.Herman I, Melançon G., Marshall M.S. Graph visualization and navigation in information visualization: a survey // IEEE Trans. on Visualization and Computer Graphics. 2000. Vol. 6. P. 24–43.Kasyanov V.N., Kasyanova E.V. Information visualization based on graph models // Scientific visualization. 2014. Vol. 6. No. 1. P. 31–50.Kasyanov V.N., Kasyanova E.V. Information visualization based on graph models // Scientific visualization. 2014. Vol. 6. No. 1. P. 31–50.Kasyanov V.N. Graph applications in programming // Programming and Computer Software. 2001. Vol. 27, No. 3. P. 146–164.Kasyanov V.N. Graph applications in programming // Programming and Computer Software. 2001. Vol. 27, No. 3. P. 146–164.Kasyanov V.N., Kasyanova E.V. Graph-theoretical methods and programming systems // Problems of Informatics. 2016. No. 1. P. 26–38.Kasyanov V.N., Kasyanova E.V. Graph-theoretical methods and programming systems // Problems of Informatics. 2016. No. 1. P. 26–38.Kasyanov V.N., Kasyanova E.V. Methods and technologies for constructing efficient and reliable programs and software systems based on graph models and semantic transformations // System informatics. 2021. No. 19. P. 1–14.Kasyanov V.N., Kasyanova E.V. Methods and technologies for constructing efficient and reliable programs and software systems based on graph models and semantic transformations // System informatics. 2021. No. 19. P. 1–14.Evstigneev V.A., Kasyanov V.N. Tolkovyj slovar' po teorii grafov v informatike i programmirovanii. Novosibirsk: Nauka, 1999. 291 p.Evstigneev V.A., Kasyanov V.N. Tolkovyj slovar' po teorii grafov v informatike i programmirovanii. Novosibirsk: Nauka, 1999. 291 p.Evstigneev V.A., Kasyanov V.N. Slovar' po grafam v informatike. Novosibirsk: Sibirskoe Nauchnoe Izdatel'stvo, 2009. 300 p.Evstigneev V.A., Kasyanov V.N. Slovar' po grafam v informatike. Novosibirsk: Sibirskoe Nauchnoe Izdatel'stvo, 2009. 300 p.Evstigneev V.A., Kasyanov V.N. Russko-anglijskij i anglo-russkij slovar' po grafam v informatike. Novosibirsk: Sibirskoe Nauchnoe Izdatel'stvo, 2011. 216 p.Evstigneev V.A., Kasyanov V.N. Russko-anglijskij i anglo-russkij slovar' po grafam v informatike. Novosibirsk: Sibirskoe Nauchnoe Izdatel'stvo, 2011. 216 p.Kasyanov V.N., Kasyanova E.V. Anglo-russkij slovar' po grafam dlya programmista. Novosibirsk: SO RAN, 2025. 160 p.Kasyanov V.N., Kasyanova E.V. Anglo-russkij slovar' po grafam dlya programmista. Novosibirsk: SO RAN, 2025. 160 p.Kasyanov V.N. Ierarkhicheskie grafy i grafovye modeli: voprosy vizual'noj obrabotki // Problemy sistem informatiki i programmirovaniya. Novosibirsk: ISI SO RAN, 1999. P. 7–32.Kasyanov V.N. Ierarkhicheskie grafy i grafovye modeli: voprosy vizual'noj obrabotki // Problemy sistem informatiki i programmirovaniya. Novosibirsk: ISI SO RAN, 1999. P. 7–32.Kasyanov V.N., Zolotukhin T.A. Programmnaya sistema dlya vizualizacii slozhnykh bol'shikh dannykh na osnove grafovykh modelej (Visual Graph). Svidetel'stvo o gosudarstvennoj registracii programmy dlya EHVM No. 2017612824 ot 03.03.2017.Kasyanov V.N., Zolotukhin T.A. Programmnaya sistema dlya vizualizacii slozhnykh bol'shikh dannykh na osnove grafovykh modelej (Visual Graph). Svidetel'stvo o gosudarstvennoj registracii programmy dlya EHVM No. 2017612824 ot 03.03.2017.Kasyanov V.N., Kasyanova E.V. Vizualizaciya informacii na osnove grafovykh modelej. Novosibirsk: Novosib. gos. un-t, 2014. 149 p.Kasyanov V.N., Kasyanova E.V. Vizualizaciya informacii na osnove grafovykh modelej. Novosibirsk: Novosib. gos. un-t, 2014. 149 p.Kasyanov V.N., Zolotuhin T.A., Gordeev D.S. Visualization methods and algorithms for graph representation of functional programs // Programming and Computer Software. 2019. Vol. 45, No. 4. P. 156–162.Kasyanov V.N., Zolotuhin T.A., Gordeev D.S. Visualization methods and algorithms for graph representation of functional programs // Programming and Computer Software. 2019. Vol. 45, No. 4. P. 156–162.Kasyanov V.N. Methods and tools for information visualization on the basis of attributed hierarchical graphs with ports // Siberian Aerospace Journal. 2023. Vol. 24, No. 1. P. 8–17.Kasyanov V.N. Methods and tools for information visualization on the basis of attributed hierarchical graphs with ports // Siberian Aerospace Journal. 2023. Vol. 24, No. 1. P. 8–17.Lisitsyn I.A., Kasyanov V.N. HIGRES — visualization system for clustered graphs and graph algorithms // Lecture Notes in Computer Science. 1999. Vol. 1731. P. 82–89.Lisitsyn I.A., Kasyanov V.N. HIGRES — visualization system for clustered graphs and graph algorithms // Lecture Notes in Computer Science. 1999. Vol. 1731. P. 82–89.Kasyanov V.N., Lisitsyn I.A. Hierarchical graph models and visual processing // Proc. of Intern. Conf. on Software: Theory and Practice (ICS-2000). 16th World Computer Congress IFIP. Beijing: PHEI, 2000. P. 179–182.Kasyanov V.N., Lisitsyn I.A. Hierarchical graph models and visual processing // Proc. of Intern. Conf. on Software: Theory and Practice (ICS-2000). 16th World Computer Congress IFIP. Beijing: PHEI, 2000. P. 179–182.Kasyanov V.N. Kasyanova E.V. Information visualization based on graph models // Enterprise Information Systems. 2013. Vol. 7, No. 2. P. 187–197.Kasyanov V.N. Kasyanova E.V. Information visualization based on graph models // Enterprise Information Systems. 2013. Vol. 7, No. 2. P. 187–197.Kasyanov V.N., Zolotuhin T.A. A system for visualization of big attributed hierarchical graphs // International Journal of Computer Networks & Communications (IJCNC). 2018. Vol.10, No. 2. P. 55–67.Kasyanov V.N., Zolotuhin T.A. A system for visualization of big attributed hierarchical graphs // International Journal of Computer Networks & Communications (IJCNC). 2018. Vol.10, No. 2. P. 55–67.WikiGRAPP. URL: https://pco.iis.nsk.su/grapp/WikiGRAPP. URL: https://pco.iis.nsk.su/grapp/WEGA. URL: https://pco.iis.nsk.su/wega/WEGA. URL: https://pco.iis.nsk.su/wega/MediaWiki. URL: http://www.mediawiki.org/wiki/MediaWiki/ru/MediaWiki. URL: http://www.mediawiki.org/wiki/MediaWiki/ru/Emelichev V.A., Melnikov O.I., Sarvanov V.I., Tyshkevich R.I. Lekcii po teorii grafov. M.: Nauka, 1990. 384 p.Emelichev V.A., Melnikov O.I., Sarvanov V.I., Tyshkevich R.I. Lekcii po teorii grafov. M.: Nauka, 1990. 384 p.Kasyanov V.N., Evstigneev V.A., Kasyanova E.V. Electronic dictionary WikiGRAPP of graph theory and its applications in computer science and programming. Certificate of state registration of the database No. 2013620433 ot 25.03.2013.Kasyanov V.N., Evstigneev V.A., Kasyanova E.V. Electronic dictionary WikiGRAPP of graph theory and its applications in computer science and programming. Certificate of state registration of the database No. 2013620433 ot 25.03.2013.Kasyanov V.N., Evstigneev V.A., Kasyanova E.V. Ehlektronnaya ehnciklopediya WEGA teoretiko-grafovykh algoritmov resheniya zadach informatiki i programmirovaniya. Svidetel'stvo o gosudarstvennoj registracii bazy dannykh № 2013620463 ot 01.04.2013.Kasyanov V.N., Evstigneev V.A., Kasyanova E.V. Ehlektronnaya ehnciklopediya WEGA teoretiko-grafovykh algoritmov resheniya zadach informatiki i programmirovaniya. Svidetel'stvo o gosudarstvennoj registracii bazy dannykh № 2013620463 ot 01.04.2013.Brandes U., Marshall M.S., and North S.C. Graph data format workshop report // Lecture Notes in Computer Science. 2001. Vol. 1984. P. 410–418.Brandes U., Marshall M.S., and North S.C. Graph data format workshop report // Lecture Notes in Computer Science. 2001. Vol. 1984. P. 410–418.Ershov A.P. Theory of program schemata // Information Processing 71. Proc. IFIP Congr. 71. Lubliana. 1971. Amsterdam: North Holland, 1972. P. 28–45.Ershov A.P. Theory of program schemata // Information Processing 71. Proc. IFIP Congr. 71. Lubliana. 1971. Amsterdam: North Holland, 1972. P. 28–45.Gorbunov-Posadov M.M. Aliveness as a form of existence of scientific publication // Scientific service on the Internet: proceedings of the XXVI All-Russian scientific conference (September 23–25, 2024, online). M.: IPM im. M.V. Keldysh, 2024. P. 50–56.Gorbunov-Posadov M.M. Aliveness as a form of existence of scientific publication // Scientific service on the Internet: proceedings of the XXVI All-Russian scientific conference (September 23–25, 2024, online). M.: IPM im. M.V. Keldysh, 2024. P. 50–56.Kasyanov V.N., Kasyanova E.V., Malyshev A.A. Programmnyj kompleks Wiki2Tex. Svidetel'stvo o gosudarstvennoj registracii programmy dlya EHVM № 2016616426 ot 01.04.2016Kasyanov V.N., Kasyanova E.V., Malyshev A.A. Programmnyj kompleks Wiki2Tex. Svidetel'stvo o gosudarstvennoj registracii programmy dlya EHVM № 2016616426 ot 01.04.2016

The authors declare that there are no conflicts of interest present.