OAI/Computability/MaxCut/Encoding/
1235 declarations, 0 contain sorry, 0 declared as axioms; 48 files
Files
- ActualAdviceSampling.lean 22 declarations
- ActualAdviceUpper.lean 16 declarations
- ActualEvents.lean 13 declarations
- ActualGoodRows.lean 22 declarations
- ActualInputRows.lean 8 declarations
- AdjacencyBits.lean 1 declarations
- AdviceFibers.lean 39 declarations
- AdviceLaw.lean 65 declarations
- AffineWitnessFirstBit.lean 1 declarations
- BinaryCoordinates.lean 33 declarations
- BinaryParityReduction.lean 12 declarations
- BinaryRowTransport.lean 15 declarations
- Bit.lean 63 declarations
- BitCube.lean 24 declarations
- BitPairWeightQ.lean 16 declarations
- BitValue.lean 19 declarations
- Decoder.lean 25 declarations
- DimensionSelection.lean 16 declarations
- Encoding.lean 22 declarations
- Encoding2.lean 24 declarations
- FormulaEncoding.lean 40 declarations
- GameDecoder.lean 14 declarations
- GameEncodingSize.lean 4 declarations
- InputData.lean 60 declarations
- InputEncoding.lean 29 declarations
- KMSKernelOrbits.lean 4 declarations
- KMSKernelOrbitsFourier.lean 1 declarations
- MatrixCoordinates.lean 16 declarations
- MatrixGap.lean 1 declarations
- MatrixGapInverse.lean 1 declarations
- NameCompaction.lean 38 declarations
- PaddedLaw.lean 80 declarations
- PortTableEncoding.lean 12 declarations
- PositiveMultiplier.lean 14 declarations
- PrivateFourier.lean 63 declarations
- SelectedPolicies.lean 48 declarations
- Serialization.lean 23 declarations
- SparseLaw.lean 37 declarations
- SubdivisionEncoding.lean 7 declarations
- SurrogateFibers.lean 15 declarations
- TableKeys.lean 44 declarations
- TableKeysAddressGame.lean 38 declarations
- TableKeysCompleteness.lean 45 declarations
- TableKeysGame.lean 58 declarations
- ThreeBitTest.lean 13 declarations
- TransferredDecoding.lean 20 declarations
- VerticesBits.lean 13 declarations
- VisibleTransfer.lean 41 declarations