OAI/Combinatorics/LowSpaceSubsetSum/Streams/
801 declarations, 0 contain sorry, 0 declared as axioms; 70 files
Files
- BinaryPivot.lean 14 declarations
- BoundedDictionary.lean 10 declarations
- BufferReplay.lean 8 declarations
- CountedDictionaryCallback.lean 8 declarations
- CountedJoinOne.lean 3 declarations
- CountedParentJoin.lean 12 declarations
- CountedPrefixSearch.lean 5 declarations
- CountedRecordedDictionary.lean 6 declarations
- CountedSort.lean 11 declarations
- CountedStreamJoin.lean 8 declarations
- CountedTieGroup.lean 7 declarations
- CountedTrie.lean 11 declarations
- CyclicCursor.lean 21 declarations
- DictionaryCallback.lean 17 declarations
- DictionaryCompleted.lean 5 declarations
- DictionaryPrefixes.lean 6 declarations
- DictionaryProvenance.lean 4 declarations
- DictionaryStream.lean 21 declarations
- DistinctStreamCount.lean 6 declarations
- FilteredRow.lean 13 declarations
- FilteredStream.lean 21 declarations
- JoinOne.lean 12 declarations
- JoinReaderMap.lean 18 declarations
- JoinUserMap.lean 13 declarations
- MeasuredDistinctCount.lean 6 declarations
- MeasuredInitialization.lean 13 declarations
- MeasuredLog2.lean 6 declarations
- MeasuredMixerCount.lean 11 declarations
- MeasuredPivot.lean 9 declarations
- MeasuredRow.lean 18 declarations
- MeasuredSort.lean 9 declarations
- MeasuredSortSpace.lean 7 declarations
- MeasuredStoredRecords.lean 13 declarations
- MeasuredSumReader.lean 16 declarations
- MergeCorrectness.lean 7 declarations
- MergeOrdering.lean 6 declarations
- MergedReader.lean 17 declarations
- ModularCursor.lean 6 declarations
- ModularFilters.lean 5 declarations
- ModularRows.lean 11 declarations
- PaddedRows.lean 9 declarations
- PairCursor.lean 4 declarations
- ParentPrefixSearch.lean 7 declarations
- PrefixAccounting.lean 19 declarations
- PrefixCheckList.lean 5 declarations
- PrefixMachine.lean 15 declarations
- PrefixMachineRun.lean 5 declarations
- PrefixTaskCount.lean 10 declarations
- ReaderInitializationMap.lean 12 declarations
- ReaderMap.lean 34 declarations
- RecordedDictionary.lean 16 declarations
- RecordedJoin.lean 7 declarations
- ResidueFilters.lean 11 declarations
- ResidueSort.lean 11 declarations
- RowMerge.lean 20 declarations
- SliceCursor.lean 12 declarations
- SortedFind.lean 4 declarations
- StreamGroupFacts.lean 1 declarations
- StreamJoin.lean 10 declarations
- StreamJoinBounds.lean 7 declarations
- StreamJoinCorrectness.lean 7 declarations
- StreamPrimitiveWork.lean 12 declarations
- StreamWitness.lean 6 declarations
- SumReader.lean 21 declarations
- TieBuffer.lean 14 declarations
- TieGroup.lean 14 declarations
- TieReplay.lean 14 declarations
- Tournament.lean 29 declarations
- Trie.lean 18 declarations
- WeightEncoding.lean 27 declarations