Skip to content

feat(communication): nondeterministic communication complexity by covers #1913

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
SamuelSchlesinger merged 14 commits into from
Oct 31, 2026
Merged

feat(communication): nondeterministic communication complexity by covers #1913

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
90ce2e2
feat(communication): nondeterministic communication complexity by covers
ott2 Oct 31, 2026
bfb161a
doc(communication): cite Kushilevitz–Nisan Definition 2.3 and explain…
ott2 Oct 31, 2026
d2f6935
refactor(communication): review nits for nondeterministic complexity
ott2 Oct 31, 2026
9b5d806
doc(communication): state the protocol conventions precisely
ott2 Oct 31, 2026
d43f9e9
doc(communication): locate Kushilevitz–Nisan Definition 2.3 and separ…
ott2 Oct 31, 2026
90fff4b
doc(communication): cite Kushilevitz–Nisan Definition 2.1(4) for the …
ott2 Oct 31, 2026
0ca85e0
doc(communication): place the partial-function and relation forms rel…
ott2 Oct 31, 2026
2cc3627
doc(communication): compare with Kushilevitz–Nisan's convention for i…
ott2 Oct 31, 2026
0d2293e
doc(communication): why the relations have Boolean answers
ott2 Oct 31, 2026
8edb0b4
doc(communication): place the model between total functions and relat…
ott2 Oct 31, 2026
7b1cc63
doc(communication): relations as in Kushilevitz–Nisan Definition 5.1,…
ott2 Oct 31, 2026
4dec289
doc(communication): cite Göös–Pitassi–Watson Definition 31 as the mod…
ott2 Oct 31, 2026
360c052
doc(communication): cite Göös–Pitassi–Watson by the journal numbering
ott2 Oct 31, 2026
18fc9cf
doc(communication): cite verified author-copy pagination
SamuelSchlesinger Oct 31, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions Complexity.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -979,6 +979,7 @@ public import Complexity.Computability.Communication.Lifting.Gadget
public import Complexity.Computability.Communication.Lifting.Partition
public import Complexity.Computability.Communication.Lifting.Simulation
public import Complexity.Computability.Communication.Newman
public import Complexity.Computability.Communication.Nondeterministic.Basic
public import Complexity.Computability.Communication.Operations
public import Complexity.Computability.Communication.Protocol
public import Complexity.Computability.Communication.Randomized
Expand Down
Loading
Loading