{"title":"三元函数分类的谱算法","authors":"D. M. Miller, Mathias Soeken","doi":"10.1109/ISMVL.2018.00042","DOIUrl":null,"url":null,"abstract":"The spectral representation and classification of 2-valued and multiple-valued functions has been previously studied and found to be useful in logic design and testing for conventional circuits. Spectral techniques also have potential application for reversible and quantum circuits. This paper addresses the classification of ternary functions into spectral translation equivalence classes. An efficient algorithm is presented that determines the spectral translations to map a given function to the representative function for the equivalence class containing the given function. Using this algorithm we show that the 2-variable ternary functions partition into 11 equivalence classes. While the number of spectral equivalence classes for ternary functions with 3 or more variables is very large, prohibiting full enumeration, we determine a lower bound of 167,275 classes for 3 variables. The algorithm can be used for a significant number of variables to quickly determine if two functions fall within the same equivalence class and, if they do, to find a sequence of spectral translations to map one to the other. Generalization of the approach to higher radix functions is briefly discussed.","PeriodicalId":434323,"journal":{"name":"2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL)","volume":"385 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"A Spectral Algorithm for Ternary Function Classification\",\"authors\":\"D. M. Miller, Mathias Soeken\",\"doi\":\"10.1109/ISMVL.2018.00042\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The spectral representation and classification of 2-valued and multiple-valued functions has been previously studied and found to be useful in logic design and testing for conventional circuits. Spectral techniques also have potential application for reversible and quantum circuits. This paper addresses the classification of ternary functions into spectral translation equivalence classes. An efficient algorithm is presented that determines the spectral translations to map a given function to the representative function for the equivalence class containing the given function. Using this algorithm we show that the 2-variable ternary functions partition into 11 equivalence classes. While the number of spectral equivalence classes for ternary functions with 3 or more variables is very large, prohibiting full enumeration, we determine a lower bound of 167,275 classes for 3 variables. The algorithm can be used for a significant number of variables to quickly determine if two functions fall within the same equivalence class and, if they do, to find a sequence of spectral translations to map one to the other. Generalization of the approach to higher radix functions is briefly discussed.\",\"PeriodicalId\":434323,\"journal\":{\"name\":\"2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL)\",\"volume\":\"385 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-05-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2018.00042\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2018.00042","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A Spectral Algorithm for Ternary Function Classification
The spectral representation and classification of 2-valued and multiple-valued functions has been previously studied and found to be useful in logic design and testing for conventional circuits. Spectral techniques also have potential application for reversible and quantum circuits. This paper addresses the classification of ternary functions into spectral translation equivalence classes. An efficient algorithm is presented that determines the spectral translations to map a given function to the representative function for the equivalence class containing the given function. Using this algorithm we show that the 2-variable ternary functions partition into 11 equivalence classes. While the number of spectral equivalence classes for ternary functions with 3 or more variables is very large, prohibiting full enumeration, we determine a lower bound of 167,275 classes for 3 variables. The algorithm can be used for a significant number of variables to quickly determine if two functions fall within the same equivalence class and, if they do, to find a sequence of spectral translations to map one to the other. Generalization of the approach to higher radix functions is briefly discussed.