We need to make a collection of input repositories and generators, for future benchmarking purposes. The inputs need to be represented as QUBOs in general (pre-embedded) form.
They can have fixed structures, but should also have a random component for generating random weights; the user should be able to specify subsets of inputs that are wanted.
Proposed Solution
Build a standard circuit testbed for generating instances for Circuit-Satisfiability. This generator takes user specified parameters of which circuits to use, plus a description of a way to generate the (output) bitstrings that are part of the problem.
There is a standard circuit testbed set known as ISCAS-85 available in many places on the internet. It contains the c-series and the 74-series (these are combinational circuits):
Considered just storing a fixed bunch of QUBOs, but it needs to have a generator capable of generating one circuit with multiple bitstrings to create multiple QUBOs. The user should be able to specify which subset of circuits they want to use, and how many bitstrings to generate per circuit.
Additional Context
Early steps in building a larger repo of input generators for future benchmarking purposes.
Application
We need to make a collection of input repositories and generators, for future benchmarking purposes. The inputs need to be represented as QUBOs in general (pre-embedded) form. They can have fixed structures, but should also have a random component for generating random weights; the user should be able to specify subsets of inputs that are wanted.
Proposed Solution
Build a standard circuit testbed for generating instances for Circuit-Satisfiability. This generator takes user specified parameters of which circuits to use, plus a description of a way to generate the (output) bitstrings that are part of the problem.
There is a standard circuit testbed set known as ISCAS-85 available in many places on the internet. It contains the c-series and the 74-series (these are combinational circuits):
http://web.eecs.umich.edu/%7Ejhayes/iscas.restore/benchmark.html
Alternatives Considered
Considered just storing a fixed bunch of QUBOs, but it needs to have a generator capable of generating one circuit with multiple bitstrings to create multiple QUBOs. The user should be able to specify which subset of circuits they want to use, and how many bitstrings to generate per circuit.
Additional Context
Early steps in building a larger repo of input generators for future benchmarking purposes.