Repository navigation

feat(communication): nondeterministic complexity of equality, disjointness and inner product - #1962

Merged

SamuelSchlesinger merged 36 commits into

cslib-community:mainfrom

ott2:nondeterministic-functions

Oct 31, 2026

Merged

feat(communication): nondeterministic complexity of equality, disjointness and inner product#1962
SamuelSchlesinger merged 36 commits into
cslib-community:mainfrom
ott2:nondeterministic-functions

Commits on Oct 31, 2026
- feat(communication): nondeterministic communication complexity by covers
  
  ott2
  and
  claude
  committed
  90ce2e2
- feat(communication): nondeterministic complexity of equality, disjointness and inner product
  
  ott2
  and
  claude
  committed
  a2059b2
- doc(communication): cite Kushilevitz–Nisan Definition 2.3 and explain the rounding
  
  ott2
  and
  claude
  committed
  bfb161a
- Merge branch 'nondeterministic-communication' into nondeterministic-functions
  ott2
  committed
  488534c
- doc(communication): the IP cover bounds in the unrounded convention
  
  ott2
  and
  claude
  committed
  2a77a4b
- Merge branch 'nondeterministic-communication' into nondeterministic-functions
  ott2
  committed
  f3a6287
- doc(communication): cite Kushilevitz–Nisan Example 1.23; adapt to the generalised rectangle bound
  
  ott2
  and
  claude
  committed
  2e0c443
- refactor(communication): review nits for nondeterministic complexity
  
  ott2
  and
  claude
  committed
  d2f6935
- doc(communication): cite Kushilevitz–Nisan Example 1.25 for the inner product
  
  ott2
  and
  claude
  committed
  db63b2c
- doc(communication): cite Kushilevitz–Nisan only for the lower bound on equality
  
  ott2
  and
  claude
  committed
  29e3cd3
- doc(communication): Kushilevitz–Nisan Example 2.5 states N¹(EQ) = n
  
  ott2
  and
  claude
  committed
  4093e23
- Merge branch 'nondeterministic-communication' into nondeterministic-functions
  ott2
  committed
  1e155c8
- doc(communication): state the protocol conventions precisely
  
  ott2
  and
  claude
  committed
  9b5d806
- doc(communication): compare N¹(EQ) with D(EQ); gloss Lindsey's lemma
  
  ott2
  and
  claude
  committed
  4517ea7
- doc(communication): cite Jukna for Lindsey's lemma
  
  ott2
  and
  claude
  committed
  7b1b874
- doc(communication): explain the inner-product rectangle bound via Lindsey's lemma and over F2
  
  ott2
  and
  claude
  committed
  058da53
- doc(communication): mark the formal proof of the inner-product rectangle bound
  
  ott2
  and
  claude
  committed
  826d908
- doc(communication): locate Kushilevitz–Nisan Definition 2.3 and separate it from the extension
  
  ott2
  and
  claude
  committed
  d43f9e9
- Merge branch 'nondeterministic-communication' into nondeterministic-functions
  ott2
  committed
  4be78d3
- doc(communication): cite Kushilevitz–Nisan Definition 2.1(4) for the cover number
  
  ott2
  and
  claude
  committed
  90fff4b
- Merge branch 'nondeterministic-communication' into nondeterministic-functions
  ott2
  committed
  b9dddf6
- doc(communication): place the partial-function and relation forms relative to the source
  
  ott2
  and
  claude
  committed
  0ca85e0
- Merge branch 'nondeterministic-communication' into nondeterministic-functions
  ott2
  committed
  9687b40
- doc(communication): compare with Kushilevitz–Nisan's convention for illegal inputs
  
  ott2
  and
  claude
  committed
  2cc3627
- Merge branch 'nondeterministic-communication' into nondeterministic-functions
  ott2
  committed
  482a3ab
- doc(communication): why the relations have Boolean answers
  
  ott2
  and
  claude
  committed
  0d2293e
- Merge branch 'nondeterministic-communication' into nondeterministic-functions
  ott2
  committed
  bbe2612
- doc(communication): place the model between total functions and relations
  
  ott2
  and
  claude
  committed
  8edb0b4
- Merge branch 'nondeterministic-communication' into nondeterministic-functions
  ott2
  committed
  f9f5ade
- doc(communication): relations as in Kushilevitz–Nisan Definition 5.1, with Boolean answers
  
  ott2
  and
  claude
  committed
  7b1cc63
- Merge branch 'nondeterministic-communication' into nondeterministic-functions
  ott2
  committed
  60b455c
- doc(communication): cite Göös–Pitassi–Watson Definition 31 as the model for partial functions
  
  ott2
  and
  claude
  committed
  4dec289
- Merge branch 'nondeterministic-communication' into nondeterministic-functions
  ott2
  committed
  a65d288
- doc(communication): cite Göös–Pitassi–Watson by the journal numbering
  
  ott2
  and
  claude
  committed
  360c052
- Merge branch 'nondeterministic-communication' into nondeterministic-functions
  ott2
  committed
  1a77f4b
- Merge remote-tracking branch 'origin/main' into nondeterministic-functions
  ott2
  committed
  0bb64f5

Commits

Commits on Oct 31, 2026