ThatAIguyA world of ideas

THE CONSCIOUSNESS ATLAS
Read. Experiment. Follow the evidence.

ConsciousnessLearn · Explore · Joseph Anady
12 minute lessonReady to learn

Enumerate graph bipartitions

Represent each nonempty split once and inspect which connections cross it.

Course lessons · 3 of 5
Your goal

Count unique bipartitions, calculate a raw cut weight, and distinguish it from the laboratory’s normalized-cut score.

Useful background: Measure shared information

A bipartition has two nonempty sides

Choose a nonempty subset S of a node set V, leaving its nonempty complement on the other side. If the objective treats the two sides symmetrically, S and its complement represent the same split. Counting both wastes work and can distort reported totals.

For n labeled nodes, fix one anchor node on the first side. Each of the other n − 1 nodes chooses a side. Exclude the assignment that places every node with the anchor, leaving 2^(n − 1) − 1 unique nontrivial bipartitions.

N(n)=2n−1−1N(n)=2^{n-1}-1

Calculate the cut, then inspect its normalization

In a weighted undirected graph, the raw cut weight adds edges whose endpoints lie on different sides. Each crossing edge is counted once. The laboratory then computes normalized cut, NCut, by dividing that raw cut by each side’s volume and adding the two ratios.

A side’s volume is the sum of weighted node degrees on that side. An internal edge contributes twice to that volume, once through each endpoint; a crossing edge contributes once. Either side having zero volume makes this normalized objective undefined. A raw cut weight and an NCut score are different values, even for the same split.

The project’s normalized MIP benchmark uses conditional Gaussian entropies and an entropy normalizer, not this degree-volume formula. All three quantities must retain their definitions: raw edge cut, the laboratory’s NCut, and the manuscript’s normalized stochastic interaction.

NCut⁡(A,B)=cut⁡(A,B)vol⁡(A)+cut⁡(A,B)vol⁡(B)\operatorname{NCut}(A,B)=\frac{\operatorname{cut}(A,B)}{\operatorname{vol}(A)}+\frac{\operatorname{cut}(A,B)}{\operatorname{vol}(B)}

Inspect the split {A,B} | {C,D}

1Define a four-node chain

Use edges A–B of weight one, B–C of weight two, and C–D of weight three. All unlisted edges have weight zero.

2Find crossing edges

A–B stays on the first side, and C–D stays on the second side. Only B–C crosses the split.

3Sum each crossing edge once

The raw cut weight is two. In this worked chain, the first side has volume four and the second has volume eight, so its normalized-cut score is 2/4 + 2/8 = 0.75. Four nodes have seven unique nontrivial bipartitions.

cut⁡=2,NCut⁡=2/4+2/8=0.75,N(4)=7\operatorname{cut}=2,\quad\operatorname{NCut}=2/4+2/8=0.75,\quad N(4)=7

Make the idea respond

To reproduce a laboratory calculation, select 4 nodes, Chain, and bridge weight 2. This preset has edge weights 1, 2, 1, whereas the written example above uses 1, 2, 3. For the laboratory split {0,1} | {2,3}, the raw cut is 2, both side volumes are 4, and NCut = 2/4 + 2/4 = 1. Inspect the raw-cut and normalized-score columns separately.

Change one input at a time. Predict what should happen, then compare the computed result with your prediction.

Teaching model · computed in your browser

Find every graph partition

Change a tiny graph and examine every possible split. The minimum is computed by complete enumeration.

NCut⁡(A,B)=cut⁡(A,B)vol⁡(A)+cut⁡(A,B)vol⁡(B)\operatorname{NCut}(A,B)=\frac{\operatorname{cut}(A,B)}{\operatorname{vol}(A)}+\frac{\operatorname{cut}(A,B)}{\operatorname{vol}(B)}

A and B are nonempty complementary node sets. cut(A, B) is the sum of edge weights crossing the split, counted once. vol(A) is the sum of weighted degrees of nodes in A, including both ends of internal edges; vol(B) is defined likewise. A zero volume makes this objective undefined. This is a normalized-cut teaching example, not the manuscript’s normalized minimum information partition (MIP). It does not calculate integrated information or benchmark Queyranne, annealing, or QAOA.

Try this: lower the bridge weight to zero. Inspect both the minimum and any undefined partitions. Then switch from two clusters to a cycle.

Experiment controls

The default worked example is shown below.

Distinct bipartitions312^(6 − 1) − 1
Smallest defined NCut0.0645
Selected NCut0.0645This split attains the minimum
Minimizing splits1
Selected graph partitionNumbers on edges are weights. Letters inside circles identify nodes; the group label beneath each node identifies its part. All exact data appears in the tables below.1110.2111AGroup ABGroup ACGroup ADGroup BEGroup BFGroup B
Group A: A, B, C. Group B: D, E, F. Dashed edges cross the split; solid edges stay within a part. Edge numbers are weights.

For this split: cut(A, B) = 0.2; vol(A) = 6.2; vol(B) = 6.2. NCut = 0.2 / 6.2 + 0.2 / 6.2 = 0.0645. Every unordered, nonempty bipartition appears once because node A is fixed in the first part.

Every distinct bipartition — complete enumeration
Group AGroup BCutvol(A)vol(B)NCut
AB, C, D, E, F2210.41.1923
A, BC, D, E, F248.40.7381
A, CB, D, E, F2.24.28.20.7921
A, B, CD, E, F0.26.26.20.0645 · minimum
A, DB, C, E, F4.24.28.21.5122
A, B, DC, E, F4.26.26.21.3548
A, C, DB, E, F46.461.2917
A, B, C, DE, F28.440.7381
A, EB, C, D, F448.41.4762
A, B, EC, D, F466.41.2917
A, C, EB, D, F4.26.26.21.3548
A, B, C, ED, F2.28.24.20.7921
A, D, EB, C, F4.26.26.21.3548
A, B, D, EC, F4.28.24.21.5122
A, C, D, EB, F48.441.4762
A, B, C, D, EF210.421.1923
A, FB, C, D, E448.41.4762
A, B, FC, D, E466.41.2917
A, C, FB, D, E4.26.26.21.3548
A, B, C, FD, E2.28.24.20.7921
A, D, FB, C, E4.26.26.21.3548
A, B, D, FC, E4.28.24.21.5122
A, C, D, FB, E48.441.4762
A, B, C, D, FE210.421.1923
A, E, FB, C, D466.41.2917
A, B, E, FC, D484.41.4091
A, C, E, FB, D4.28.24.21.5122
A, B, C, E, FD2.210.22.21.2157
A, D, E, FB, C2.28.24.20.7921
A, B, D, E, FC2.210.22.21.2157
A, C, D, E, FB210.421.1923
Inspect the exact adjacency matrix
Symmetric edge-weight matrix; diagonal entries are zero
NodeABCDEF
A011000
B101000
C1100.200
D000.2011
E000101
F000110
Open the full lab

Your turn.

Try an answer before opening a hint. Feedback will explain the result, and you can practice again.

Interactive practice is loading. The lesson, worked example, and printable questions remain available below.

View printable practice and solutions

Use these questions when studying without interactive controls. Opening a written solution does not earn progress.

  1. How many unique nontrivial bipartitions does a four-node set have?

    Read the solution

    There are 8 assignments with the anchor fixed, minus the all-on-one-side assignment: 7.

  2. For the chain A–B = 1, B–C = 2, C–D = 3, what is the cut weight of {A,B} | {C,D}?

    Read the solution

    The crossing edge has weight two, so the cut weight is 2.

  3. Which pair describes the same unordered bipartition?

    • {A,B,C} | empty and {A} | {B,C}
    • Every pair of subsets describes the same split.
    • {A} | {B,C} and {B,C} | {A}
    • {A} | {B,C} and {B} | {A,C}
    Read the solution

    Swapping the two sides preserves an unordered bipartition.

  4. Does the laboratory’s degree-volume normalized cut compute the manuscript’s normalized stochastic interaction?

    • Only when its animation is running.
    • No; it teaches enumeration with a different explicit objective.
    • Yes; every graph cut is the same information measure.
    • Yes; both use the word partition.
    Read the solution

    The laboratory teaches enumeration and NCut. The manuscript defines a different normalized objective from conditional Gaussian entropies.

Follow the original record

Use the definitions you just practiced to read the project’s own notation, assumptions, and evidence.

The ideas to keep

  • Exclude empty sides and represent complementary cuts once.
  • Keep raw cut weight, side volume, and normalized-cut score separate.
  • The laboratory’s NCut and the manuscript’s normalized information objective use different definitions.

Reading completion is separate from your practice evidence.

Progress is kept in this browser. How learning works

Search equations, builds, manuscript text, and recovered sources.