Компьютерные науки > Социально-информационные сети [представлены 14 сентября 2026 года] Название: "О экспрессивной силе Имплицитной линии - Граф Вейсфайлер - Леман Вижу PDF HTML" (экспериментальный) Резюме: Теорема Whitney позволяет тестировать изоморфизм для подключенных простых графиков, за исключением $3 и $K_[1, 3} долларов, которые должны быть сформулированы как отличающие их линейные диаграммы. Вместе с тем связь между фиксированным размером Вейсфайлер - Леман (ВЛ) экспрессивность на линейных графиках и их корнях остается нерешенной. Мы изучаем эту связь через Имплицитную линию-графию ВЛ (ILG-k$-WL), которая в точности составляет $K-Вл. долл. Что касается общего класса Уитни, то связь между корнем и линейным графом WL зависит от доллара США. За $k=1,2 долл. ИЛГ-км/Вл. За $k=3 долл. мы доказываем обратное сдерживание $L(G)\quiv_ {3#текст {-WL} L(H)\Rightrow G\equaiv_ { 3\text { WL} H$. Наиболее регулярные пары свидетелей, включая пару хрикханде/бука, показывают, что ИЛГ-$3 долл. Задняя часть также распространяется на отсоединенные графики без изолированных вершин, когда каждый подсоединяемый элемент является генеральным. Детерминистский ИГС-3 долл. США-ВЛ разделяет все три подструктурные пары свидетелей, все 105 долларов пары в SR25 и 359 долларов в 400 долларов BREC пар. Неподготовленный густый ИГС-3 долл. США-ГНН дает те же два варианта вердиктов по этим оценкам. Текущий контекст просмотра: cs.SI ссылки и цитаты Загрузка... Библиографический и…
На экспрессивной силе Имплицитной линии - Граф Высший Ордер Вейсфейлер-Леман
arXiv: 2609.16412v1 Annuate Type: кросс-бюллетень: Теорема Уитни позволяет проводить тесты изоморфизма на подсоединенные простые графики, кроме $K_3 долл. и $ K_ {1, 3} долларов, которые должны быть сформулированы как отличающие их линейные диаграммы. Вместе с тем связь между фиксированным размером Вейсфайлер - Леман (ВЛ) экспрессивность на линейных графиках и их корнях остается нерешенной. Мы изучаем эту связь через Имплицитную линию-графию ВЛ (ILG-k$-WL), которая в точности составляет $K-Вл. долл. Что касается общего класса Уитни, то связь между корнем и линейным графом WL зависит от доллара США. За $k=1,2 долл. ИЛГ-км/Вл. За $k=3 долл. мы доказываем обратное сдерживание $L(G)\quiv_ {3#текст {-WL} L(H)\Rightrow G\equaiv_ { 3\text { WL} H$. Наиболее регулярные пары свидетелей, включая пару хрикханде/руководителя, показывают, что ИЛГ-3
