Copyright	(c) Masahiro Sakai 2018
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	provisional
Portability	non-portable
Safe Haskell	None
Language	Haskell2010
Extensions	MonoLocalBinds ScopedTypeVariables TypeFamilies KindSignatures ExplicitNamespaces ExplicitForAll

ToySolver.Converter.QUBO

Description

Documentation

qubo2pb :: Real a => Problem a -> (Formula, QUBO2PBInfo a) Source #

newtype QUBO2PBInfo a Source #

Constructors

QUBO2PBInfo Integer

Instances

Instances details

Eq (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods (==) :: QUBO2PBInfo a -> QUBO2PBInfo a -> Bool # (/=) :: QUBO2PBInfo a -> QUBO2PBInfo a -> Bool #
Read (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods readsPrec :: Int -> ReadS (QUBO2PBInfo a) # readList :: ReadS [QUBO2PBInfo a] # readPrec :: ReadPrec (QUBO2PBInfo a) # readListPrec :: ReadPrec [QUBO2PBInfo a] #
Show (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods showsPrec :: Int -> QUBO2PBInfo a -> ShowS # show :: QUBO2PBInfo a -> String # showList :: [QUBO2PBInfo a] -> ShowS #
(Eq a, Show a, Read a, Num a) => ObjValueBackwardTransformer (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueBackward :: QUBO2PBInfo a -> TargetObjValue (QUBO2PBInfo a) -> SourceObjValue (QUBO2PBInfo a) Source #
(Eq a, Show a, Read a, Real a) => ObjValueForwardTransformer (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueForward :: QUBO2PBInfo a -> SourceObjValue (QUBO2PBInfo a) -> TargetObjValue (QUBO2PBInfo a) Source #
(Eq a, Show a, Read a) => ObjValueTransformer (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type SourceObjValue (QUBO2PBInfo a) Source # type TargetObjValue (QUBO2PBInfo a) Source #
(Eq a, Show a, Read a) => BackwardTransformer (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformBackward :: QUBO2PBInfo a -> Target (QUBO2PBInfo a) -> Source (QUBO2PBInfo a) Source #
(Eq a, Show a, Read a) => ForwardTransformer (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformForward :: QUBO2PBInfo a -> Source (QUBO2PBInfo a) -> Target (QUBO2PBInfo a) Source #
(Eq a, Show a, Read a) => Transformer (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type Source (QUBO2PBInfo a) Source # type Target (QUBO2PBInfo a) Source #
type SourceObjValue (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type SourceObjValue (QUBO2PBInfo a) = a
type TargetObjValue (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type TargetObjValue (QUBO2PBInfo a) = Integer
type Source (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type Source (QUBO2PBInfo a) = Solution
type Target (QUBO2PBInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type Target (QUBO2PBInfo a) = Model

pb2qubo :: Real a => Formula -> ((Problem a, a), PB2QUBOInfo a) Source #

type PB2QUBOInfo a = ComposedTransformer PB2QUBOInfo' (PBAsQUBOInfo a) Source #

pbAsQUBO :: forall a. Real a => Formula -> Maybe (Problem a, PBAsQUBOInfo a) Source #

data PBAsQUBOInfo a Source #

Constructors

PBAsQUBOInfo !Integer

Instances

Instances details

Eq (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods (==) :: PBAsQUBOInfo a -> PBAsQUBOInfo a -> Bool # (/=) :: PBAsQUBOInfo a -> PBAsQUBOInfo a -> Bool #
Read (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods readsPrec :: Int -> ReadS (PBAsQUBOInfo a) # readList :: ReadS [PBAsQUBOInfo a] # readPrec :: ReadPrec (PBAsQUBOInfo a) # readListPrec :: ReadPrec [PBAsQUBOInfo a] #
Show (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods showsPrec :: Int -> PBAsQUBOInfo a -> ShowS # show :: PBAsQUBOInfo a -> String # showList :: [PBAsQUBOInfo a] -> ShowS #
Real a => ObjValueBackwardTransformer (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueBackward :: PBAsQUBOInfo a -> TargetObjValue (PBAsQUBOInfo a) -> SourceObjValue (PBAsQUBOInfo a) Source #
Num a => ObjValueForwardTransformer (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueForward :: PBAsQUBOInfo a -> SourceObjValue (PBAsQUBOInfo a) -> TargetObjValue (PBAsQUBOInfo a) Source #
ObjValueTransformer (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type SourceObjValue (PBAsQUBOInfo a) Source # type TargetObjValue (PBAsQUBOInfo a) Source #
BackwardTransformer (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformBackward :: PBAsQUBOInfo a -> Target (PBAsQUBOInfo a) -> Source (PBAsQUBOInfo a) Source #
ForwardTransformer (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformForward :: PBAsQUBOInfo a -> Source (PBAsQUBOInfo a) -> Target (PBAsQUBOInfo a) Source #
Transformer (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type Source (PBAsQUBOInfo a) Source # type Target (PBAsQUBOInfo a) Source #
type SourceObjValue (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type SourceObjValue (PBAsQUBOInfo a) = Integer
type TargetObjValue (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type TargetObjValue (PBAsQUBOInfo a) = a
type Source (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type Source (PBAsQUBOInfo a) = Model
type Target (PBAsQUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type Target (PBAsQUBOInfo a) = Solution

qubo2ising :: (Eq a, Show a, Fractional a) => Problem a -> (IsingModel a, QUBO2IsingInfo a) Source #

data QUBO2IsingInfo a Source #

Constructors

QUBO2IsingInfo a

Instances

Instances details

Eq a => Eq (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods (==) :: QUBO2IsingInfo a -> QUBO2IsingInfo a -> Bool # (/=) :: QUBO2IsingInfo a -> QUBO2IsingInfo a -> Bool #
Read a => Read (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods readsPrec :: Int -> ReadS (QUBO2IsingInfo a) # readList :: ReadS [QUBO2IsingInfo a] # readPrec :: ReadPrec (QUBO2IsingInfo a) # readListPrec :: ReadPrec [QUBO2IsingInfo a] #
Show a => Show (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods showsPrec :: Int -> QUBO2IsingInfo a -> ShowS # show :: QUBO2IsingInfo a -> String # showList :: [QUBO2IsingInfo a] -> ShowS #
(Eq a, Show a, Num a) => ObjValueBackwardTransformer (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueBackward :: QUBO2IsingInfo a -> TargetObjValue (QUBO2IsingInfo a) -> SourceObjValue (QUBO2IsingInfo a) Source #
(Eq a, Show a, Num a) => ObjValueForwardTransformer (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueForward :: QUBO2IsingInfo a -> SourceObjValue (QUBO2IsingInfo a) -> TargetObjValue (QUBO2IsingInfo a) Source #
ObjValueTransformer (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type SourceObjValue (QUBO2IsingInfo a) Source # type TargetObjValue (QUBO2IsingInfo a) Source #
(Eq a, Show a) => BackwardTransformer (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformBackward :: QUBO2IsingInfo a -> Target (QUBO2IsingInfo a) -> Source (QUBO2IsingInfo a) Source #
(Eq a, Show a) => ForwardTransformer (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformForward :: QUBO2IsingInfo a -> Source (QUBO2IsingInfo a) -> Target (QUBO2IsingInfo a) Source #
(Eq a, Show a) => Transformer (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type Source (QUBO2IsingInfo a) Source # type Target (QUBO2IsingInfo a) Source #
type SourceObjValue (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type SourceObjValue (QUBO2IsingInfo a) = a
type TargetObjValue (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type TargetObjValue (QUBO2IsingInfo a) = a
type Source (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type Source (QUBO2IsingInfo a) = Solution
type Target (QUBO2IsingInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type Target (QUBO2IsingInfo a) = Solution

ising2qubo :: (Eq a, Num a) => IsingModel a -> (Problem a, Ising2QUBOInfo a) Source #

data Ising2QUBOInfo a Source #

Constructors

Ising2QUBOInfo a

Instances

Instances details

Eq a => Eq (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods (==) :: Ising2QUBOInfo a -> Ising2QUBOInfo a -> Bool # (/=) :: Ising2QUBOInfo a -> Ising2QUBOInfo a -> Bool #
Read a => Read (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods readsPrec :: Int -> ReadS (Ising2QUBOInfo a) # readList :: ReadS [Ising2QUBOInfo a] # readPrec :: ReadPrec (Ising2QUBOInfo a) # readListPrec :: ReadPrec [Ising2QUBOInfo a] #
Show a => Show (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods showsPrec :: Int -> Ising2QUBOInfo a -> ShowS # show :: Ising2QUBOInfo a -> String # showList :: [Ising2QUBOInfo a] -> ShowS #
(Eq a, Show a, Num a) => ObjValueBackwardTransformer (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueBackward :: Ising2QUBOInfo a -> TargetObjValue (Ising2QUBOInfo a) -> SourceObjValue (Ising2QUBOInfo a) Source #
(Eq a, Show a, Num a) => ObjValueForwardTransformer (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformObjValueForward :: Ising2QUBOInfo a -> SourceObjValue (Ising2QUBOInfo a) -> TargetObjValue (Ising2QUBOInfo a) Source #
(Eq a, Show a) => ObjValueTransformer (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type SourceObjValue (Ising2QUBOInfo a) Source # type TargetObjValue (Ising2QUBOInfo a) Source #
(Eq a, Show a) => BackwardTransformer (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformBackward :: Ising2QUBOInfo a -> Target (Ising2QUBOInfo a) -> Source (Ising2QUBOInfo a) Source #
(Eq a, Show a) => ForwardTransformer (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Methods transformForward :: Ising2QUBOInfo a -> Source (Ising2QUBOInfo a) -> Target (Ising2QUBOInfo a) Source #
(Eq a, Show a) => Transformer (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO Associated Types type Source (Ising2QUBOInfo a) Source # type Target (Ising2QUBOInfo a) Source #
type SourceObjValue (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type SourceObjValue (Ising2QUBOInfo a) = a
type TargetObjValue (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type TargetObjValue (Ising2QUBOInfo a) = a
type Source (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type Source (Ising2QUBOInfo a) = Solution
type Target (Ising2QUBOInfo a) Source #
Instance details Defined in ToySolver.Converter.QUBO type Target (Ising2QUBOInfo a) = Solution