Authors: Yu. Pottosin V., Ю. Поттосин В.
Superior Title: Informatics; Том 17, № 3 (2020); 44-53 ; Информатика; Том 17, № 3 (2020); 44-53 ; 2617-6963 ; 1816-0301
Subject Terms: partial Boolean function, Boolean function bi-decomposition, superposition of functions, logic algebra operations, covering problem, complete bipartite subgraph, heuristic method, частичная булева функция, декомпозиция булевой функции, суперпозиция функций, операции алгебры логики, задача о покрытии, полный двудольный подграф графа, эвристический метод
File Description: application/pdf
Relation: https://inf.grid.by/jour/article/view/1072/955; Perkowski, M. A. A Survey of Literature on Functional Decomposition, Version IV (Technical Report) / M. A. Perkowski, S. Grygiel. – Portland, USA : Portland State University, Department of Electrical Engineering, 1995. – 188 p.; Cortadella, J. Timing-driven logic bi-decomposition / J. Cortadella // IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems. – 2003. – Vol. 22, no. 6. – P. 675–685.; Mishchenko, A. An algorithm for bi-decomposition of logic functions / A. Mishchenko, B. Steinbach, M. Perkowski // Proc. of the 38th Annual Design Automation Conf. (DAC’2001), 18–22 June 2001, Las Vegas, USA. – Las Vegas, 2001. – P. 103–108.; Chang, S.-C. Technology mapping for TLU FPGA’s based on decomposition of binary decision diagrams / S.-C. Chang, M. Marek-Sadowska, T. Hwang // IEEE Trans. Computer-AidedDesign. – 1996. – Vol. 15, no. 10. – P. 1226–1235.; Бибило, П. Н. Декомпозиция булевых функций на основе решения логических уравнений / П. Н. Бибило. – Минск : Беларус. навука, 2009. – 211 с.; Zakrevskij, A. D. On a special kind decomposition of weakly specified Boolean functions / A. D. Zakrevskij // Second Intern. Conf. on Computer-Aided Design of Discrete Devices (CAD DD’97), 12–14 Nov. 1997, Minsk, Belarus / National Academy of Sciences of Belarus, Institute of Engineering Cybernetics. – Minsk, 1997. – Vol. 1. – P. 36–41.; Cheng, D. Bi-decomposition of logical mappings via semi-tensor product of matrices / D. Cheng, X. Xu // Automatica. – 2013. – Vol. 49, no. 7. – P. 1979–1985.; Choudhury, M. Bi-decomposition of large Boolean functions using blocking edge graphs / M. Choudhury, K. Mohanram // 2010 IEEE/ACM Intern. Conf. on Computer-Aided Design (ICCAD’2010). – San Jose : IEEE Press, 2010. – P. 586–591.; Fiљer, P. Small but nasty logic synthesis examples / P. Fiљer, J. Schmidt; ed. by B. Steinbach // Proc. of the 8th Intern. Workshop on Boolean Problems (IWSBP’8), Freiberg, Germany, 18–19 Sept. 2008. – Freiberg, 2008. – P. 183–190.; Steinbach, B. Vectorial bi-decomposition for lattices of Boolean functions / B. Steinbach, C. Posthoff; ed. by B. Steinbach // Further Improvements in the Boolean Domain. – Cambridge Scholars Publishing, 2018. – P. 175–198.; Поттосин, Ю. В. Декомпозиция системы частичных булевых функций с помощью покрытия графа полными двудольными подграфами / Ю. В. Поттосин, Е. А. Шестаков // Новые информационные технологии в исследовании дискретных структур : докл. Второй Всерос. конф., Екатеринбург, 2–5 нояб. 1998. – Екатеринбург : УрО РАН, 1998. – С. 185–189.; Поттосин, Ю. В. Метод бидекомпозиции частичных булевых функций / Ю. В. Поттосин // Информатика. – 2019. – Т. 16, № 4. – С. 77–87.; Pottosin, Yu. V. A method for bi-decomposition of partial Boolean functions / Yu. V. Pottosin // Прикладная дискретная математика. – 2020. – № 47. – С. 108–116.; Kravets, V. N. Sequential logic synthesis using symbolic bi-decomposition / V. N. Kravets, A. Mishchenko // Advanced Techniques in Logic Synthesis, Optimizations and Applications. – New York, Dordrecht, Heidelberg, London : Springer, 2011. – P. 31–46.; Jућwiak, L. An effective and efficient method for functional decomposition of Boolean functions based on information relationship measures / L. Jућwiak, A. Chojnacki // Design and Diagnostics of Electronic Circuits and Systams: Proc. of 3rd DDECS Workshop, Smolenice castle, Slovakia, 5–7 April 2000. – Bratislava : Institute of Informatics, Slovak Academy of Sciences, 2000. – P. 242–249.; Закревский, А. Д. Декомпозиция частичных булевых функций – проверка на разделимость по заданному разбиению / А. Д. Закревский // Информатика. – 2007. – № 1(13). – С. 16–21.; Поттосин, Ю. В. Применение аппарата покрытий троичных матриц для поиска разбиения множества аргументов при декомпозиции булевых функций / Ю. В. Поттосин, Е. А. Шестаков // Вестник Томского гос. университета. Управление, вычислительная техника и информатика. – 2011. – № 3(16). – Р. 100–107.; Taghavi Afshord, S. An input variable partitioning algorithm for functional decomposition of a system of Boolean functions based on the tabular method / S. Taghavi Afshord, Yu. V. Pottosin, B. Arasteh // Discrete Applied Mathematics. – 2015. – Vol. 185. – P. 208–219.; https://inf.grid.by/jour/article/view/1072
Authors: Yu. Pottosin V., Ю. Поттосин В.
Superior Title: Informatics; Том 16, № 4 (2019); 77-87 ; Информатика; Том 16, № 4 (2019); 77-87 ; 2617-6963 ; 1816-0301
Subject Terms: partial Boolean function, Boolean function bi-decomposition, superposition of functions, logic algebra operations, matrix representation of Boolean functions, covering problem, complete bipartite subgraph, частичная булева функция, бидекомпозиция булевой функции, суперпозиция функций, операции алгебры логики, матричное задание булевой функции, задача о покрытии, полный двудольный подграф графа
File Description: application/pdf
Relation: https://inf.grid.by/jour/article/view/881/881; Perkowski, M. A. A Survey of Literature on Functional Decomposition, Version IV (Technical Report) / M. A. Perkowski, S. Grygiel. - Portland, USA : Portland State University, Department of Electrical Engineering, 1995. - 188 p.; Cortadella, J. Timing-driven logic bi-decomposition / J. Cortadella // IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems. - 2003. - Vol. 22, no. 6. - P. 675-685.; Mishchenko, A. An algorithm for bi-decomposition of logic functions / A. Mishchenko, B. Steinbach, M. Perkowski // Proc. of the 38th Annual Design Automation Conf. (DAC’2001), 18-22 June 2001, Las Vegas, USA. - Las Vegas, 2001. - P. 103-108.; Chang, S.-C. Technology mapping for TLU FPGA’s based on decomposition of binary decision diagrams / S.-C. Chang, M. Marek-Sadowska, T. Hwang // IEEE Trans. Computer-Aided Design. - 1996. - Vol. 15, no. 10. -P. 1226-1235.; Бибило, П. Н. Декомпозиция булевых функций на основе решения логических уравнений / П. Н. Бибило. - Минск : Беларус. навука, 2009. - 211 с.; Zakrevskij, A. D. On a special kind decomposition of weakly specified Boolean functions / A. D. Zakrevskij // Second Intern. Conf. on Computer-Aided Design of Discrete Devices (CAD DD’97), 12-14 Nov. 1997, Minsk, Belarus / National Academy of Sciences of Belarus, Institute of Engineering Cybernetics. - Minsk, 1997. - Vol. 1. - P. 36-41.; Cheng, D. Bi-decomposition of logical mappings via semi-tensor product of matrices / D. Cheng, X. Xu // Automatica. - 2013. - Vol. 49, no. 7. - P. 1979-1985.; Choudhury, M. Bi-decomposition of large Boolean functions using blocking edge graphs / M. Choudhury, K. Mohanram // 2010 IEEE/ACM Intern. Conf. on Computer-Aided Design (ICCAD’2010). - San Jose : IEEE Press, 2010. - P. 586-591.; Fiser, P. Small but nasty logic synthesis examples / P. Fiser, J. Schmidt; ed. by B. Steinbach // Proc. of the 8th Intern. Workshop on Boolean Problems (IWSBP’8), 18-19 Sept. 2008, Freiberg, Germany. - Freiberg, 2008. -P. 183-190.; Steinbach, B. Vectorial bi-decomposition for lattices of Boolean functions / B. Steinbach, C. Posthoff; ed. by B. Steinbach // Further Improvements in the Boolean Domain. - Cambridge Scholars Publishing, 2018. -P. 175-198.; Поттосин, Ю. В. Метод многоблочной параллельной декомпозиции системы частичных булевых функций / Ю. В. Поттосин // Информатика. - 2017. - № 3(55). - С. 92-98.; Поттосин, Ю. В. Параллельная декомпозиция системы частичных булевых функций / Ю. В. Поттосин // Вестник Томск. гос. ун-та. Управление, вычислительная техника и информатика. - 2018. - № 45. -С. 83-91.; Закревский, А. Д. Логические основы проектирования дискретных устройств / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова. - М. : Физматлит, 2007. - 592 с.; Поттосин, Ю. В. Нахождение в графе максимальных полных двудольных подграфов / Ю. В. Поттосин // Автоматизация логического проектирования дискретных систем. - Минск : Ин-т техн. кибернетики АН Беларуси, 1991. - С. 19-27.; Pottosina, S. Finding maximal complete bipartite subgraphs in a graph / S. Pottosina, Yu. Pottosin, B. Sedliak // J. Applied Mathematics. - 2008. - Vol. 1, no. 1. - P. 75-81.; https://inf.grid.by/jour/article/view/881
Availability: https://inf.grid.by/jour/article/view/881
Authors: Yu. V. Pottosin, Ю. В. Поттосин
Superior Title: Informatics; Том 15, № 4 (2018); 109-116 ; Информатика; Том 15, № 4 (2018); 109-116 ; 2617-6963 ; 1816-0301
Subject Terms: полный двудольный подграф графа, Boolean function decomposition, interval representation of Boolean functions, cover problem, complete bipartite subgraph, декомпозиция булевых функций, интервальное задание булевых функций, задача о покрытии
File Description: application/pdf
Relation: https://inf.grid.by/jour/article/view/472/649; Закревский, А. Д. Логические основы проектирования дискретных устройств / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова. - М. : Физматлит, 2007. - 592 с.; Бибило, П. Н. Синтез комбинационных схем методом функциональной декомпозиции / П. Н. Бибило, С. В. Енин. - Минск : Наука и техника, 1987. - 189 с.; Поттосин, Ю. В. Табличные методы декомпозиции систем полностью определенных булевых функций / Ю. В. Поттосин, Е. А. Шестаков. - Минск : Беларуская навука, 2006. - 327 с.; Поттосин, Ю. В. Метод многоблочной параллельной декомпозиции системы частичных булевых функций / Ю. В. Поттосин // Информатика. - 2017. - № 3(55). - С. 92-98.; Поттосин, Ю. В. Декомпозиция системы частичных булевых функций с помощью покрытия графа полными двудольными подграфами / Ю. В. Поттосин, Е. А. Шестаков // Новые информационные технологии в исследовании дискретных структур : докл. Второй Всерос. конф., Екатеринбург, 1998. - Екатеринбург : УрО РАН, 1998. -С. 185-189.; https://inf.grid.by/jour/article/view/472
Availability: https://inf.grid.by/jour/article/view/472
Authors: T. V. Lubasheva, Т. В. Лубашева
Superior Title: Informatics; Том 15, № 4 (2018); 102-108 ; Информатика; Том 15, № 4 (2018); 102-108 ; 2617-6963 ; 1816-0301
Subject Terms: раскраска, forbidden induced subgraph, characterization, split graph, k-chromatic hypergraph, coloring, запрещенный порожденный подграф, характеризация, расщепляемый граф, к-хроматический гиперграф
File Description: application/pdf
Relation: https://inf.grid.by/jour/article/view/443/648; Лубашева, Т. В. Характеризация и распознавание графов пересечений ребер 3-хроматических гиперграфов кратности не выше 2 в классе расщепляемых графов / Т. В. Лубашева, Ю. М. Метельский // Журнал Бел. гос. ун-та. Математика. Информатика. - 2017. - № 3. - С. 94-99.; Berge, C. Hypergraphs. Combinatorics of Finite Sets / C. Berge. - Amsterdam, New-York, Oxford, Tokyo : North-Holland, 1989. - 528 p.; Tyshkevich, R. I. Matroidal decomposition of graph / R. I. Tyshkevich, O. P. Urbanovich, I. E. Zverovich // Combinatorics and Graph Theory. - 1989. - Vol. 25. - P. 195-205.; Тышкевич, Р. И. Графы с матроидным числом 2 / Р. И. Тышкевич, О. П. Урбанович // Весщ АН БССР. Cер. фгз.-мат. навук. - 1989. - № 3. - C. 13-17.; Метельский, Ю. М. Пересечения матроидов и реберные гиперграфы / Ю. М. Метельский, Р. И. Тышкевич // Тр. Ин-та математики НАН Беларуси. - 2005. - Т. 13, № 2. - C. 44-54.; Harary, F. Line graphs of bipartite graphs / F. Harary, C. Holzmann // Rev. Soc. Mat. Chile. - 1974. - Vol. 1. -P. 19-22.; Тышкевич, Р. И. Каноническое разложение графа, определяемого степенями его вершин / Р. И. Тышкевич, А. А. Черняк // Известия АН БССР. Сер. физ.-мат. наук. - 1979. - Т. 5. - C. 14-26.; Foldes, S. Congressus numerantium / S. Foldes, P. L. Hammer // Winnipeg: Utilitas Math. - 1977. - Vol. XIX. -P. 311-315.; Foldes, S. Split graphs having Dilworth number two / S. Foldes, P. L. Hammer // Canadian Journal of Mathematics. -1977. - Vol. 29, iss. 3. - Р. 666-672.; Бабайцев, А. Ю. Линейная размерность расщепляемых графов / А. Ю. Бабайцев, Р. И. Тышкевич // Вес. Нац. акад. навук Беларуси Сер. фгз.-тэхн. навук. - 1999. - № 1. - C. 112-115.; Еськов, В. В. К характеризации реберных графов линейных гиперграфов при дополнительных ограничениях / В. В. Еськов, Р. И. Тышкевич // Вес. Нац. акад. навук Беларуси Сер. фгз.-тэхн. навук. - 2001. - № 2. -C. 122-126.; Лубашева, Т. В. О конечной характеризуемости графов с ограниченным числом эквивалентного разбиения в классах полярных графов / Т. В. Лубашева, Ю. М. Метельский // Тр. Ин-та математики НАН Беларуси. - 2011. -Т. 19, № 1. - С. 85-91.; Лубашева, Т. В. Характеризация графов с ограниченным сверху числом эквивалентного разбиения в классе U-расщепляемых графов / Т. В. Лубашева, Ю. М. Метельский // Тр. Ин-та математики НАН Беларуси. -2007. - Т. 15, № 1. - С. 91-97.; Тышкевич, Р. И. Декомпозиция графов / Р. И. Тышкевич, А. А. Черняк // Кибернетика. - 1985. - № 2. -C. 67-74.; https://inf.grid.by/jour/article/view/443
Availability: https://inf.grid.by/jour/article/view/443