Формальні методи розпаралелювання алгоритму Тар'яна
We present a method for optimization of Tarjan’s algorithm for the detection of strongly connected components in a direct graph. The approach to its parallel implementation is offered, and the theoretical synthesis of the respective formula of the algorithm is formulated in systems of the modified a...
Saved in:
| Date: | 2008 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Видавничий дім "Академперіодика" НАН України
2008
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/6222 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Формальні методи розпаралелювання алгоритму Тар'яна / С.Д. Погорiлий, С. I. Лозицький // Доп. НАН України. — 2008. — № 11. — С. 47-52. — Бібліогр.: 7 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862534964125368320 |
|---|---|
| author | Погорілий, С.Д. Лозицький, С.І. |
| author_facet | Погорілий, С.Д. Лозицький, С.І. |
| citation_txt | Формальні методи розпаралелювання алгоритму Тар'яна / С.Д. Погорiлий, С. I. Лозицький // Доп. НАН України. — 2008. — № 11. — С. 47-52. — Бібліогр.: 7 назв. — укр. |
| collection | DSpace DC |
| description | We present a method for optimization of Tarjan’s algorithm for the detection of strongly connected components in a direct graph. The approach to its parallel implementation is offered, and the theoretical synthesis of the respective formula of the algorithm is formulated in systems of the modified algorithmic algebras of V.M. Glushkov. The theoretical estimations of increasing the productivity of the algorithm are obtained. These estimations have been checked up and confirmed in the experiment.
|
| first_indexed | 2025-11-24T09:49:00Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-6222 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1025-6415 |
| language | Ukrainian |
| last_indexed | 2025-11-24T09:49:00Z |
| publishDate | 2008 |
| publisher | Видавничий дім "Академперіодика" НАН України |
| record_format | dspace |
| spelling | Погорілий, С.Д. Лозицький, С.І. 2010-02-19T14:51:38Z 2010-02-19T14:51:38Z 2008 Формальні методи розпаралелювання алгоритму Тар'яна / С.Д. Погорiлий, С. I. Лозицький // Доп. НАН України. — 2008. — № 11. — С. 47-52. — Бібліогр.: 7 назв. — укр. 1025-6415 https://nasplib.isofts.kiev.ua/handle/123456789/6222 681.3 We present a method for optimization of Tarjan’s algorithm for the detection of strongly connected components in a direct graph. The approach to its parallel implementation is offered, and the theoretical synthesis of the respective formula of the algorithm is formulated in systems of the modified algorithmic algebras of V.M. Glushkov. The theoretical estimations of increasing the productivity of the algorithm are obtained. These estimations have been checked up and confirmed in the experiment. uk Видавничий дім "Академперіодика" НАН України Інформатика та кібернетика Формальні методи розпаралелювання алгоритму Тар'яна Article published earlier |
| spellingShingle | Формальні методи розпаралелювання алгоритму Тар'яна Погорілий, С.Д. Лозицький, С.І. Інформатика та кібернетика |
| title | Формальні методи розпаралелювання алгоритму Тар'яна |
| title_full | Формальні методи розпаралелювання алгоритму Тар'яна |
| title_fullStr | Формальні методи розпаралелювання алгоритму Тар'яна |
| title_full_unstemmed | Формальні методи розпаралелювання алгоритму Тар'яна |
| title_short | Формальні методи розпаралелювання алгоритму Тар'яна |
| title_sort | формальні методи розпаралелювання алгоритму тар'яна |
| topic | Інформатика та кібернетика |
| topic_facet | Інформатика та кібернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/6222 |
| work_keys_str_mv | AT pogoríliisd formalʹnímetodirozparalelûvannâalgoritmutarâna AT lozicʹkiisí formalʹnímetodirozparalelûvannâalgoritmutarâna |