{"title":"布尔弱碱的包含结构","authors":"Victor Lagerkvist, Biman Roy","doi":"10.1109/ISMVL.2019.00014","DOIUrl":null,"url":null,"abstract":"Strong partial clones are composition closed sets of partial operations containing all partial projections, characterizable as partial polymorphisms of sets of relations <tex>$\\Gamma(\\mathrm{pPol}(\\Gamma))$</tex>. If <tex>$\\mathcal{C}$</tex> is a clone it is known that the set of all strong partial clones whose total component equals <tex>$\\mathcal{C}$</tex>, has a greatest element <tex>$\\mathrm{pPo}1(\\Gamma_{w})$</tex>, where <tex>$\\Gamma_{w}$</tex> is called a weak base. Weak bases have seen applications in computer science due to their usefulness for proving complexity classifications for constraint satisfaction related problems. In this paper we completely describe the inclusion structure between <tex>$\\mathrm{pPol}(\\Gamma_{w}), \\mathrm{pPol}(\\Delta_{w})$</tex> for all Boolean weak bases <tex>$\\Gamma_{w}$</tex> and <tex>$\\Delta_{w}$</tex>.","PeriodicalId":329986,"journal":{"name":"2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL)","volume":"86 9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"The Inclusion Structure of Boolean Weak Bases\",\"authors\":\"Victor Lagerkvist, Biman Roy\",\"doi\":\"10.1109/ISMVL.2019.00014\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Strong partial clones are composition closed sets of partial operations containing all partial projections, characterizable as partial polymorphisms of sets of relations <tex>$\\\\Gamma(\\\\mathrm{pPol}(\\\\Gamma))$</tex>. If <tex>$\\\\mathcal{C}$</tex> is a clone it is known that the set of all strong partial clones whose total component equals <tex>$\\\\mathcal{C}$</tex>, has a greatest element <tex>$\\\\mathrm{pPo}1(\\\\Gamma_{w})$</tex>, where <tex>$\\\\Gamma_{w}$</tex> is called a weak base. Weak bases have seen applications in computer science due to their usefulness for proving complexity classifications for constraint satisfaction related problems. In this paper we completely describe the inclusion structure between <tex>$\\\\mathrm{pPol}(\\\\Gamma_{w}), \\\\mathrm{pPol}(\\\\Delta_{w})$</tex> for all Boolean weak bases <tex>$\\\\Gamma_{w}$</tex> and <tex>$\\\\Delta_{w}$</tex>.\",\"PeriodicalId\":329986,\"journal\":{\"name\":\"2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL)\",\"volume\":\"86 9 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2019.00014\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2019.00014","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Strong partial clones are composition closed sets of partial operations containing all partial projections, characterizable as partial polymorphisms of sets of relations $\Gamma(\mathrm{pPol}(\Gamma))$. If $\mathcal{C}$ is a clone it is known that the set of all strong partial clones whose total component equals $\mathcal{C}$, has a greatest element $\mathrm{pPo}1(\Gamma_{w})$, where $\Gamma_{w}$ is called a weak base. Weak bases have seen applications in computer science due to their usefulness for proving complexity classifications for constraint satisfaction related problems. In this paper we completely describe the inclusion structure between $\mathrm{pPol}(\Gamma_{w}), \mathrm{pPol}(\Delta_{w})$ for all Boolean weak bases $\Gamma_{w}$ and $\Delta_{w}$.