Introduction

Imagine you have a list of n integers and you want to know: do any three of them add up to exactly zero?

This is the 3SUM problem, and at first glance it looks trivially easy. You can check every triple in O(n3)O(n^{3}) steps by brute force. With a sort-and-scan trick you can do it in O(n2)O(n^{2}) — sort the list, then for each element a, walk two pointers inward from both ends looking for b and c such that a + b + c = 0.

Can you do better? Nobody knows. For over 30 years, every attempt to break the n2n^{2} barrier has failed. No sub-quadratic algorithm has been found, and computer scientists conjecture that none exists.

That conjecture — the 3SUM Conjecture — would be just a curious open question, except for one thing: researchers found they could reduce dozens of computational geometry problems to 3SUM. Proving any of those problems is sub-quadratic would automatically disprove the 3SUM Conjecture, and vice versa. The conjecture became the bedrock of an entire web of conditional lower bounds, a way to say "this problem is at least as hard as 3SUM" without solving P vs NP first.

Try It

Below is a sorted list of integers. The classic two-pointer algorithm fixes each element a and scans the rest with two pointers — one from the left, one from the right — looking for b and c such that a + b + c = 0. Click Step to advance one outer iteration, or Run to finish instantly.

<p class="hint">A sorted list of integers. The two-pointer algorithm fixes <b>a</b> and scans for <b>b + c = −a</b> with left/right pointers. Click <b>Step</b> to advance one outer iteration, or <b>Run</b> to finish. A found triple is highlighted in green.</p>
<div id="array-row" class="array-row"></div>
<div class="info-row">
  <span id="info-a" class="badge badge-a">a = —</span>
  <span id="info-b" class="badge badge-b">b = —</span>
  <span id="info-c" class="badge badge-c">c = —</span>
  <span id="info-cmp" class="badge badge-cmp">comparisons: 0</span>
</div>
<div id="status" class="status">Press Step or Run to start.</div>
<div class="btns">
  <button id="btn-step" type="button">Step</button>
  <button id="btn-run"  type="button">Run</button>
  <button id="btn-reset" type="button" class="ghost">Reset</button>
</div>

* { box-sizing: border-box; }
body { font-family: system-ui, sans-serif; color: #222; margin: 0; }
.hint { font-size: .88rem; color: #444; margin: 0 0 .8rem; line-height: 1.5; }
.array-row { display: flex; gap: 5px; flex-wrap: wrap; margin: .5rem 0 .6rem; }
.cell {
  width: 44px; height: 44px; display: flex; align-items: center; justify-content: center;
  font: 700 14px ui-monospace, monospace; border-radius: 8px;
  border: 2px solid #c5cdd6; background: #edf1f5; color: #2b3a4a;
  transition: background .15s, border-color .15s;
}
.cell.fixed  { background: #dbe4ff; border-color: #7091e6; color: #1d3557; }
.cell.left   { background: #fff3cd; border-color: #f0a500; color: #5a3e00; }
.cell.right  { background: #fde8c8; border-color: #e07b39; color: #5a2500; }
.cell.found  { background: #c3f0ca; border-color: #2e9e51; color: #0a4020; }
.info-row { display: flex; gap: .4rem; flex-wrap: wrap; margin: .3rem 0; }
.badge { font: 600 12px ui-monospace, monospace; padding: .2rem .55rem; border-radius: 6px; }
.badge-a   { background: #dbe4ff; color: #1d3557; }
.badge-b   { background: #fff3cd; color: #5a3e00; }
.badge-c   { background: #fde8c8; color: #5a2500; }
.badge-cmp { background: #f0f0f0; color: #333; }
.status { font-size: .95rem; font-weight: 600; margin: .55rem 0; min-height: 1.4em; }
.status.ok  { color: #0a7d33; }
.status.bad { color: #c92f3c; }
.btns { display: flex; gap: .5rem; flex-wrap: wrap; }
button { font: 600 14px system-ui, sans-serif; padding: .45rem .95rem;
         border: 1px solid #1d3557; background: #1d3557; color: #fff;
         border-radius: 8px; cursor: pointer; }
button.ghost { background: #fff; color: #1d3557; }
button:disabled { opacity: .45; cursor: default; }

const fmt = (s, v) => s.replace(/%(\w+)%/g, (_, k) => String(v[k] ?? ''));
// 3SUM two-pointer algorithm:
// Given sorted array A, for each i, use pointers L=i+1, R=n-1 to find A[L]+A[R]==-A[i].
// Time: O(n^2).  We step through outer iterations one at a time so the user can watch.

const NUMS = [-7, -4, -3, 0, 2, 3, 5, 7];  // sorted; has triple (-4,-3,7) and (-3,0,3)
const n = NUMS.length;

let i, L, R, comparisons, done, foundTriple;

function reset() {
  i = 0; L = 1; R = n - 1; comparisons = 0; done = false; foundTriple = null;
  document.getElementById('btn-step').disabled = false;
  document.getElementById('btn-run').disabled  = false;
  setStatus('Press Step or Run to start.', '');
  updateBadges(-1, -1, -1);
  render(-1, -1, -1, []);
}

function render(fi, lb, rb, highlight) {
  const row = document.getElementById('array-row');
  row.innerHTML = '';
  NUMS.forEach((v, idx) => {
    const d = document.createElement('div');
    d.className = 'cell';
    if (highlight.includes(idx)) d.className += ' found';
    else if (idx === fi) d.className += ' fixed';
    else if (idx === lb) d.className += ' left';
    else if (idx === rb) d.className += ' right';
    d.textContent = v >= 0 ? '+' + v : '' + v;
    row.appendChild(d);
  });
}

function updateBadges(fi, lb, rb) {
  document.getElementById('info-a').textContent   = fi >= 0 ? fmt('a = %v%', { v: NUMS[fi] }) : 'a = —';
  document.getElementById('info-b').textContent   = lb >= 0 ? fmt('b = %v%', { v: NUMS[lb] }) : 'b = —';
  document.getElementById('info-c').textContent   = rb >= 0 ? fmt('c = %v%', { v: NUMS[rb] }) : 'c = —';
  document.getElementById('info-cmp').textContent = fmt('comparisons: %comparisons%', { comparisons: comparisons });
}

function setStatus(t, cls) {
  const s = document.getElementById('status');
  s.textContent = t; s.className = 'status ' + cls;
}

// Advance ONE full outer iteration (one fixed element i).
// Returns true if the outer loop has more work, false when done.
function stepOuter() {
  if (done) return;
  if (i >= n - 2) { done = true; return; }

  const a = NUMS[i];
  L = i + 1;
  R = n - 1;

  while (L < R) {
    comparisons++;
    const s = a + NUMS[L] + NUMS[R];
    if (s === 0) {
      foundTriple = [i, L, R];
      done = true;
      return;
    } else if (s < 0) {
      L++;
    } else {
      R--;
    }
  }
  i++;
}

document.getElementById('btn-step').addEventListener('click', () => {
  if (done) return;
  stepOuter();
  if (foundTriple) {
    render(-1, -1, -1, foundTriple);
    updateBadges(foundTriple[0], foundTriple[1], foundTriple[2]);
    setStatus(fmt('Found: %v% + %v2% + %v3% = 0  (%comparisons% comparisons)', { v: NUMS[foundTriple[0]], v2: NUMS[foundTriple[1]], v3: NUMS[foundTriple[2]], comparisons: comparisons }), 'ok');
    document.getElementById('btn-step').disabled = true;
    document.getElementById('btn-run').disabled  = true;
    console.log('3SUM found:', NUMS[foundTriple[0]], NUMS[foundTriple[1]], NUMS[foundTriple[2]], '| comparisons:', comparisons);
  } else if (done) {
    render(-1, -1, -1, []);
    updateBadges(-1, -1, -1);
    setStatus(fmt('No zero-sum triple found. (%comparisons% comparisons)', { comparisons: comparisons }), 'bad');
    document.getElementById('btn-step').disabled = true;
    document.getElementById('btn-run').disabled  = true;
  } else {
    render(i - 1, L, R, []);
    updateBadges(i - 1, L, R);
    setStatus(fmt('Fixing a = %v%, scanning with two pointers…', { v: NUMS[i - 1] }), '');
  }
});

document.getElementById('btn-run').addEventListener('click', () => {
  if (done) return;
  while (!done) stepOuter();
  if (foundTriple) {
    render(-1, -1, -1, foundTriple);
    updateBadges(foundTriple[0], foundTriple[1], foundTriple[2]);
    setStatus(fmt('Found: %v% + %v2% + %v3% = 0  (%comparisons% comparisons)', { v: NUMS[foundTriple[0]], v2: NUMS[foundTriple[1]], v3: NUMS[foundTriple[2]], comparisons: comparisons }), 'ok');
    console.log('3SUM found:', NUMS[foundTriple[0]], NUMS[foundTriple[1]], NUMS[foundTriple[2]], '| comparisons:', comparisons);
  } else {
    render(-1, -1, -1, []);
    updateBadges(-1, -1, -1);
    setStatus(fmt('No zero-sum triple found. (%comparisons% comparisons)', { comparisons: comparisons }), 'bad');
  }
  document.getElementById('btn-step').disabled = true;
  document.getElementById('btn-run').disabled  = true;
});

document.getElementById('btn-reset').addEventListener('click', reset);
reset();
Result
Console

Count the comparisons. For n numbers the algorithm makes at most n × n pointer steps — hence O(n2)O(n^{2}). Each time you add one more number, the worst-case work grows by an entire extra row. The open question is whether a fundamentally smarter strategy could trim that to, say, O(n1.9)O(n^{1.9}) — and so far, nobody has found one.

The Real Complexity

How hard is 3SUM, really?

  • Status: open conjecture. The 3SUM Conjecture — that no algorithm solves 3SUM in O(n2−ε)O(n^{2-\varepsilon}) time for any ε>0\varepsilon > 0 — has never been proven. It is a widely believed assumption, not a theorem.
  • Quadratic is the best known. The two-pointer algorithm (Gajentaan & Sharir, 1995) achieves O(n2)O(n^{2}) after sorting in O(nlog⁡n)O(n \log n). Subsequent work shaved off logarithmic factors; a 2014 result by Grønlund & Pettie reached O(n2/(log⁡n/log⁡log⁡n)2)O(n^{2} / (\log n / \log \log n)^2), but still quadratic in the big-O sense.
  • 3SUM-hard problems. Via reductions, at least dozens of problems in computational geometry are 3SUM-hard: deciding whether any three points among n are collinear, whether a set of n triangles cover a polygon, whether a query point is in the union of n triangles, and many more. A sub-quadratic algorithm for any of them would shatter the conjecture for all.
  • Fine-grained complexity. This is the broader program: assume a hard problem (3SUM, APSP, SETH) and derive conditional lower bounds for other problems. It gives us a precise complexity landscape without needing to resolve P vs NP.
  • Sub-quadratic for special inputs. For integer inputs in [−u, u], a randomized FFT-based algorithm runs in O~(n+u)\tilde{O}(n + u) time, which beats O(n2)O(n^{2}) when u is small. Real-number 3SUM over arbitrary inputs remains open.

The 3SUM Conjecture sits in the same philosophical territory as P vs NP: almost certainly true, enormously useful as an assumption, and frustratingly unproven.

Where It Matters

The 3SUM Conjecture is not just theoretical tidiness — it directly explains why practitioners hit quadratic walls in real systems:

  • Computational geometry: collinearity testing (are any 3 of n points on a line?), triangle containment queries, polygon union tests, and motion planning obstacles are all 3SUM-hard. The O(n2)O(n^{2}) algorithms you find in textbooks may genuinely be optimal.
  • Geographic information systems: spatial overlay operations — intersecting two layers of n polygons — reduce to 3SUM-style checks. A sub-quadratic breakthrough would transform GIS software.
  • Collision detection in games and robotics: detecting whether any three swept shapes intersect touches 3SUM-hard subproblems. The quadratic cost is a known engineering constraint.
  • Fine-grained algorithm design: the conjecture teaches algorithm designers why they can't seem to break a barrier, not just that they can't. It is a map of what is fundamentally hard versus what is merely hard to engineer.
  • Cryptographic hash functions: some constructions rely on sum-zero problems being hard in structured domains — a connection to the broader theory of subset sum and lattice problems.

Understand 3SUM-hardness and you understand why many of the fastest practical geometry algorithms stop improving — not for lack of effort, but because the conjecture says the floor may already be underfoot.

Conclusion

The 3SUM Conjecture is one of the most productive open questions in algorithm theory. Nobody has proven it, nobody has refuted it — but its shadow falls across dozens of computational geometry problems, each of them unable to escape the quadratic bound unless 3SUM itself does.

That is the power of fine-grained complexity: even without resolving P vs NP, we can map which problems are linked, which hardness is shared, and where the quadratic floor is most likely to hold. The next time a geometry algorithm refuses to go below O(n2)O(n^{2}), you may be hitting the 3SUM Conjecture in disguise — and no amount of clever engineering will help if the conjecture is true.

Share this article

Pick a channel — or use your device's native share sheet.

Comments

Loading comments...

https://www.kipuhub.com/en/article/3sum-hardness/Content licensed under CC BY-NC 4.0.