{"title":"群论中的搜索和见证问题","authors":"V. Shpilrain","doi":"10.1515/gcc.2010.015","DOIUrl":null,"url":null,"abstract":"Abstract Decision problems are problems of the following nature: given a property and an object , find out whether or not the object has the property . On the other hand, witness problems are: given a property and an object with the property , find a proof of the fact that indeed has the property . On the third hand(?!), search problems are of the following nature: given a property and an object with the property , find something “material” establishing the property ; for example, given two conjugate elements of a group, find a conjugator. In this survey our focus is on various search problems in group theory, including the word search problem, the subgroup membership search problem, the conjugacy search problem, and others.","PeriodicalId":119576,"journal":{"name":"Groups Complex. Cryptol.","volume":"28 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"Search and witness problems in group theory\",\"authors\":\"V. Shpilrain\",\"doi\":\"10.1515/gcc.2010.015\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract Decision problems are problems of the following nature: given a property and an object , find out whether or not the object has the property . On the other hand, witness problems are: given a property and an object with the property , find a proof of the fact that indeed has the property . On the third hand(?!), search problems are of the following nature: given a property and an object with the property , find something “material” establishing the property ; for example, given two conjugate elements of a group, find a conjugator. In this survey our focus is on various search problems in group theory, including the word search problem, the subgroup membership search problem, the conjugacy search problem, and others.\",\"PeriodicalId\":119576,\"journal\":{\"name\":\"Groups Complex. Cryptol.\",\"volume\":\"28 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-10-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Groups Complex. Cryptol.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1515/gcc.2010.015\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Groups Complex. Cryptol.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1515/gcc.2010.015","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Abstract Decision problems are problems of the following nature: given a property and an object , find out whether or not the object has the property . On the other hand, witness problems are: given a property and an object with the property , find a proof of the fact that indeed has the property . On the third hand(?!), search problems are of the following nature: given a property and an object with the property , find something “material” establishing the property ; for example, given two conjugate elements of a group, find a conjugator. In this survey our focus is on various search problems in group theory, including the word search problem, the subgroup membership search problem, the conjugacy search problem, and others.