{"title":"$\\mathbf{2}$-多项式时间$\\mathbf{\\frac{3}{2}}$-传递群的闭包。","authors":"A. Vasil’ev, D. Churikov","doi":"10.17377/smzh.2019.60.208","DOIUrl":null,"url":null,"abstract":"Let $G$ be a permutation group on a finite set $\\Omega$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\\operatorname{Sym}(\\Omega)$ having the same orbits as $G$ on the $k$-th Cartesian power $\\Omega^k$ of $\\Omega$. A group $G$ is called $\\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_\\alpha$ on the set $\\Omega\\setminus\\{\\alpha\\}$ are of the same size greater than one. We prove that the $2$-closure $G^{(2)}$ of a $\\frac{3}{2}$-transitive permutation group $G$ can be found in polynomial time in size of $\\Omega$. In addition, if the group $G$ is not $2$-transitive, then for every positive integer $k$ its $k$-closure can be found within the same time. Applying the result, we prove the existence of a polynomial-time algorithm for solving the isomorphism problem for schurian $\\frac{3}{2}$-homogeneous coherent configurations, that is the configurations naturally associated with $\\frac{3}{2}$-transitive groups.","PeriodicalId":8427,"journal":{"name":"arXiv: Group Theory","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2018-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"$\\\\mathbf{2}$-Closure of $\\\\mathbf{\\\\frac{3}{2}}$-transitive group in polynomial time.\",\"authors\":\"A. Vasil’ev, D. Churikov\",\"doi\":\"10.17377/smzh.2019.60.208\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let $G$ be a permutation group on a finite set $\\\\Omega$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\\\\operatorname{Sym}(\\\\Omega)$ having the same orbits as $G$ on the $k$-th Cartesian power $\\\\Omega^k$ of $\\\\Omega$. A group $G$ is called $\\\\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_\\\\alpha$ on the set $\\\\Omega\\\\setminus\\\\{\\\\alpha\\\\}$ are of the same size greater than one. We prove that the $2$-closure $G^{(2)}$ of a $\\\\frac{3}{2}$-transitive permutation group $G$ can be found in polynomial time in size of $\\\\Omega$. In addition, if the group $G$ is not $2$-transitive, then for every positive integer $k$ its $k$-closure can be found within the same time. Applying the result, we prove the existence of a polynomial-time algorithm for solving the isomorphism problem for schurian $\\\\frac{3}{2}$-homogeneous coherent configurations, that is the configurations naturally associated with $\\\\frac{3}{2}$-transitive groups.\",\"PeriodicalId\":8427,\"journal\":{\"name\":\"arXiv: Group Theory\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-10-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv: Group Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.17377/smzh.2019.60.208\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv: Group Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.17377/smzh.2019.60.208","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
$\mathbf{2}$-Closure of $\mathbf{\frac{3}{2}}$-transitive group in polynomial time.
Let $G$ be a permutation group on a finite set $\Omega$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\operatorname{Sym}(\Omega)$ having the same orbits as $G$ on the $k$-th Cartesian power $\Omega^k$ of $\Omega$. A group $G$ is called $\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_\alpha$ on the set $\Omega\setminus\{\alpha\}$ are of the same size greater than one. We prove that the $2$-closure $G^{(2)}$ of a $\frac{3}{2}$-transitive permutation group $G$ can be found in polynomial time in size of $\Omega$. In addition, if the group $G$ is not $2$-transitive, then for every positive integer $k$ its $k$-closure can be found within the same time. Applying the result, we prove the existence of a polynomial-time algorithm for solving the isomorphism problem for schurian $\frac{3}{2}$-homogeneous coherent configurations, that is the configurations naturally associated with $\frac{3}{2}$-transitive groups.