Polynomial Equivalence of the Problems “Predicate Formulas Isomorphism and Graph Isomorphism”

T. M. Kosovskaya; N. N. Kosovskii

首页> 外文期刊>Vestnik, St. Petersburg University. Mathematics >Polynomial Equivalence of the Problems “Predicate Formulas Isomorphism and Graph Isomorphism”

【24h】

Polynomial Equivalence of the Problems “Predicate Formulas Isomorphism and Graph Isomorphism”

机译：问题“谓词公式同构和图同构”的多项式等价性

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Vestnik, St. Petersburg University. Mathematics》 |2019年第3期|共7页
作者
T. M. Kosovskaya; N. N. Kosovskii;
展开▼
作者单位

Aff10000 0001 2289 6897grid.15447.33St. Petersburg State University199034St. PetersburgRussia;

Aff10000 0001 2289 6897grid.15447.33St. Petersburg State University199034St. PetersburgRussia;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数学;
关键词
graph isomorphism; predicate formulas isomorphism; GI-completeness.;

机译：图同构;谓词公式同构;gi-pnallyenate。;

相似文献

外文文献
中文文献
专利

1. Polynomial Equivalence of the Problems “Predicate Formulas Isomorphism and Graph Isomorphism” [J] . T. M. Kosovskaya, N. N. Kosovskii Vestnik, St. Petersburg University. Mathematics . 2019,第3期

机译：问题“谓词公式同构和图同构”的多项式等价性
2. Isomorphism of Predicate Formulas in Artificial Intelligence Problems [J] . Tatiana Kosovskaya International Journal Information Theories and Applications . 2019,第3期

机译：人工智能问题中谓词公式的同构
3. ALGORITHMS BASED ON *-ALGEBRAS, AND THEIR APPLICATIONS TO ISOMORPHISM OF POLYNOMIALS WITH ONE SECRET, GROUP ISOMORPHISM, AND POLYNOMIAL IDENTITY TESTING [J] . Ivanyos Gabor, Qiao Youming SIAM Journal on Computing . 2019,第3期

机译：基于* -algebras的算法，以及它们对多项式的同构秘密，群体同构和多项式身份测试的应用
4. Algorithms based on *-algebras, and their applications to isomorphism of polynomials with one secret, group isomorphism, and polynomial identity testing [C] . Gabor Ivanyos, Youming Qiao Annual ACM-SIAM Symposium on Discrete Algorithms . 2018

机译：基于* -algebras的算法，以及它们对多项式的同构的应用，具有一个秘密，群体同构和多项式身份测试
5. An inquiry into the number of isomorphism classes of Boolean algebras and the Borel cardinality of certain Borel equivalence relations. [D] . Oliver, Michael Ray. 2003

机译：查询布尔代数的同构类的数量和某些Borel等价关系的Borel基数。
6. Do Cross-National and Ethnic Group Bullying Comparisons Represent Reality? Testing Instruments for Structural Equivalence and Structural Isomorphism [O] . Muthanna Samara, Mairéad Foody, Kristin Göbel, 1993

机译：跨国和族裔欺凌比较代表现实吗？结构等效性和同构性测试仪器
7. Equivalence and stable isomorphism of groupoids, and diagonal-preserving stable isomorphisms of graph C*-algebras and Leavitt path algebras [O] . Carlsen, Toke Meier, Ruiz, Efren, Sims, Aidan 2017

机译：类群的等价和稳定同构，以及图C *-代数和Leavitt路径代数的对角保持稳定同构
8. Isomorphisms and Non-Isomorphisms of Graph Models [R] . Schellinx, H. 1990

机译：图模型的同构和非同构

Polynomial Equivalence of the Problems “Predicate Formulas Isomorphism and Graph Isomorphism”

著录项

相似文献

相关主题

期刊订阅