Кіріспе

Граф теориясындағы операция

Граф теориясында G және H графтерінің тензорлық көбейтіндісі G × H – V(G) × V(H) Декарт көбейтіндісі болатын граф; және (g, h) және (g', h') төбелері G × H-де жанындас болса, ғана егер g, G-де g'-ға жанындас болса және h, H-де h'-ға жанындас болса. Тензорлық көбейтінді тікелей көбейтінді, Кронекер көбейтіндісі, категориялық көбейтінді, кардиналдық көбейтінді, реляциялық көбейтінді, әлсіз тікелей көбейтінді немесе конъюнкция деп те аталады. Бинарлық қатынастардағы операция ретінде тензорлық көбейтіндіні Альфред Норт Уайтхед пен Бертран Рассел өздерінің Principia Mathematica (1912) еңбегінде енгізді. Ол сондай-ақ графтардың жанындас матрицаларының Кронекер көбейтіндісімен тең. G × H белгісі сонымен қатар (және бұрынғыда көбінесе) графтардың Декарт көбейтіндісі деп аталатын басқа құрылымды көрсету үшін қолданылды, бірақ қазіргі кезде көбінесе тензорлық көбейтіндіге сілтеме жасайды. Крос символы екі қабырғаның тензорлық көбейтіндісінен туындаған екі қабырғаны көрнекі түрде көрсетеді. Бұл көбейтіндіні графтардың күшті көбейтіндісімен шатастыруға болмайды.

Мысалдар

Тензорлық көбейтінді G × K2 – екі бөлікті график, және ол G графигінің екі бөлікті қос жабыны деп аталады. Петерсен графигінің екі бөлікті қос жабыны – Десарг графигі: 1=K2 × G(5,2) = G(10,3). Толық граф Kn-нің екі бөлікті қос жабыны – тәж граф (толық екі бөлікті граф Kn,n минус толық жұптама). Толық графтың өзімен тензорлық көбейтіндісі – атқыш графигінің толықтырғышы болып табылады. Оның төбелері торға орналастырылуы мүмкін, сонда әрбір төбе тордың бір қатарында немесе бағанында емес төбелермен жақын болады.