Datasets
Standard Dataset
Part-Walsh Spectrum and Data for IAC
- Citation Author(s):
- Submitted by:
- Jiongjiong Ren
- Last updated:
- Thu, 01/09/2025 - 20:45
- DOI:
- 10.21227/7904-ns52
- License:
5 Views- Categories:
- Keywords:
Abstract
According to the description in the paper, we have provided a total of 25 datasets corresponding to different Problems (including 14 publicly available challenges and 11 self-constructed ones). For the data of each Problem, it consists of three parts:
Problem: It stores the partial Walsh spectra of the Boolean function, that is, the set S. You can use the data in the "Problem" part and the source code we provided on GitHub to run the following two datasets.
Intermediate_parameters: It stores the key intermediate variables generated during the execution of the IAC algorithm, such as approximate solutions, the set P, etc.
Results: It stores the output of the IAC algorithm, that is, the real solutions.
The folders generated during program execution include (taking the open challenge 13.1 as an example):
Problem
Store the input of **IAC** algorithm, i.e. the set $S$. The first line of the .txt file should be $|S|$.
Intermediate_parameters
Store the Intermediate variables for **IAC** algorithm, including:
**Set_P.txt** : The set $P$ mentioned in the paper. The first line of the file is $|P|$.
**One_approximate_solution.txt** : The truth table of an approximate solution $f_2$.
**13.1A.txt** : The matrix $- 2\mathbf{H_n}^{\boldsymbol{f_2}}{({X_1},{P})}$ mentioned in the paper.
**13.1_S1.txt** : The set $S_1$ ,whose location set is $X_1$.
**13.1_output.txt** The output of Gurobi, need further enumeration and verification.
Results
**Final_solutions.txt** : Truth tables for Boolean functions satisfying $S$ and there may be duplication among them.
**Final_solutions_clear.txt** : Truth tables for Boolean functions satisfying $S$ without duplication. The output of **IAC** algorithm.
