Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-generatedprecheck passaudited 2026-09-05
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

3SAT polynomial-time many-one reduces to subset sum

Statement

There is a polynomial-time many-one reduction from 3-SAT to SUBSET SUM.

Facts & Assumptions

Given: An arbitrary INDEPENDENT SET instance (G,k), where V(G)={v1,,vn},E(G)={e1,,em}.

[L1]

There is a polynomial-time many-one reduction from 3-SAT to CLIQUE, by 3SAT polynomial-time many-one reduces to CLIQUE.

[L2]

CLIQUE, INDEPENDENT SET, and VERTEX COVER polynomial-time many-one reduce to one another, by CLIQUE, INDEPENDENT SET, and VERTEX COVER are polynomially interreducible.

[F1]

INDEPENDENT SET asks for k pairwise nonadjacent vertices, and SUBSET SUM asks for a subcollection of positive integers whose sum is a prescribed target, by Clique, independent set, and vertex cover decision problems and Subset sum and partition decision problems.

Proof

technique · direct
1.1

By [L1] and [L2], it is enough to reduce INDEPENDENT SET to SUBSET SUM. If k=0, map (G,k) to the fixed yes-instance consisting of the list (1) with target 1, because every graph has an independent set of size 0. If k>n, map (G,k) to the fixed no-instance consisting of the list (1) with target 2, because no graph on n vertices has an independent set of size greater than n. So assume from now on that 1kn. Set the base to B:=n+2.

L1L2F1givencases
2.1

For each vertex vi, form a base-B integer ai with m+1 digits: the leading digit is 1, and the digit in edge-column j is 1 exactly when ej is incident to vi. For each edge ej, form one slack integer bj whose only nonzero digit is a 1 in edge-column j. Let the target integer T have leading digit k and digit 1 in every edge-column. Since the leading-column sum is at most n<B and every edge-column sum is at most 3<B, no carries can occur in any valid sum.

F1step 1.1givenconstruct
3.1

If IV(G) is an independent set of size k, choose the vertex numbers ai with viI. For each edge ej that has no endpoint in I, also choose the slack number bj. Then the leading digit sums to k, and each edge-column sums to 1: an edge with one endpoint in I receives its 1 from the corresponding vertex number, while an edge with no endpoint in I receives its 1 from its slack number. Hence the chosen integers sum to T.

F1step 2.1construct
3.2

Conversely, suppose that some subcollection of the constructed integers sums to T. Because the slack numbers have leading digit 0, exactly k vertex numbers ai must be chosen. Consider any edge ej={u,v}. The target has digit 1 in column j, and there are no carries by step 2.1. Hence both endpoint numbers for u and v cannot both be chosen, because that would contribute at least 2 in column j. Therefore the chosen k vertices are pairwise nonadjacent, so they form an independent set.

F1step 2.1
4.1

The map in step 2.1 uses n+m integers with m+1 base-B digits, so its binary output size and construction time are polynomial in the size of (G,k). Steps 3.1 and 3.2 prove a polynomial-time many-one reduction from INDEPENDENT SET to SUBSET SUM. Composing that reduction with [L1] and [L2] yields a polynomial-time many-one reduction from 3-SAT to SUBSET SUM.

L1L2step 1.1step 2.1step 3.1step 3.2

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

12 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources