Oxidation States and Their Assignment
A rusting nail, a battery driving a motor, and a chlorophyll molecule splitting water in a leaf all rely on the same bookkeeping trick. Each assigns a number to every atom. That number tracks how many electrons it has "gained" or "lost" relative to the free element. This number is the oxidation state. Despite looking like a simple integer, it encodes a complete electron-counting model. That model is built on electronegativity, Lewis structures, and formal ionic dissociation. Get the assignment wrong and every downstream redox calculation collapses. This includes balancing a half-reaction, reading a Latimer diagram, and predicting whether a complex is high-spin or low-spin. Oxidation states matter because they are the accounting currency of redox chemistry. Formal charge distributes bonding electrons evenly. Real partial charge is measured by X-ray photoelectron spectroscopy. The oxidation state, unlike both, is a formalism. Every bonding electron pair is awarded, in its entirety, to the more electronegative atom. This is a deliberate fiction — no electron actually sits wholly on one nucleus. But it is an extraordinarily useful fiction. It turns a continuous, hard-to-measure quantity — charge distribution — into a discrete, easy-to-track integer. That integer obeys simple conservation laws across a reaction. The big picture is this: oxidation number assignment is really just systematic Lewis-structure interpretation. Once you can draw a Lewis structure and rank atoms by electronegativity, you can assign oxidation states to anything. This ranges from O₂ to a hexacoordinate manganese complex. The subtlety lies entirely in edge cases. These include peroxides, superoxides, metal–metal bonds, non-innocent ligands, and multicenter delocalized systems. Here, the "give the pair to the more electronegative atom" rule needs careful, structure-based application. Blind formula-plugging will not work. This article builds the assignment machinery from first principles. It covers the ionic-dissociation model, the standard rule hierarchy, and its extension into coordination chemistry via the ionic (donor-pair) method. It works through fully-explicit worked examples. These include a classic mean-oxidation-state calculation, a coordination complex with a bridging peroxide, and a genuinely ambiguous non-innocent-ligand case. It closes with the traps that trip up even careful students. These include H in metal hydrides, O in OF₂, and Fe₃O₄. This groundwork is exactly what you need before tackling Balancing Redox Reactions by Half-Reactions or reading a Latimer Diagram.
- Oxidation state = the charge an atom would have if every bond were 100% ionic, with shared electrons awarded to the more electronegative partner.
- Assignment follows a strict rule hierarchy: free elements are 0; monatomic ions equal their charge; then fixed rules for F, O, H, halogens; the sum over a species equals its total charge.
- Peroxides (O = −1), superoxides (O = −1/2), and OF₂ (O = +2) are the classic exceptions that break the "oxygen is always −2" reflex.
- In coordination complexes, oxidation state is assigned to the metal by removing all ligands in their closed-shell donor forms (X-type ligands take their electron pair; L-type ligands leave both electrons behind).
- Oxidation state is a bookkeeping formalism, not a measured physical charge — it can even be a non-integer (average) or ambiguous when ligands are "non-innocent."
- Key idea: assign every shared electron pair, in full, to whichever atom is more electronegative — this single rule, applied bond-by-bond, generates the entire oxidation-number system.
Where this lives today
Oxidation state assignment is the indispensable first step in balancing any redox equation by the half-reaction method — you cannot identify which species is oxidized or reduced, nor how many electrons are transferred, without first tracking oxidation numbers atom by atom. It underlies the construction of Latimer Diagrams, which arrange a element's oxidation states by standard reduction potential to instantly reveal whether an intermediate species is prone to disproportionation. In coordination and organometallic chemistry, correctly assigning the metal oxidation state (via the L/X donor-pair method) is the entry point for predicting d-electron count, which in turn governs geometry preferences, magnetism, and catalytic reactivity — a Ni(0) d¹⁰ center behaves utterly differently from a Ni(IV) d⁶ center in catalysis, even though both might be drawn from the "same" ligand set under different (and sometimes ambiguous) electron-counting conventions, as the dithiolene example above illustrates. This matters directly in homogeneous catalysis: oxidative addition and reductive elimination steps in cross-coupling catalysis (Pd(0)/Pd(II) cycles in Suzuki and Negishi couplings) are literally named for the oxidation-state change they induce at the metal center. In bioinorganic chemistry, tracking oxidation states is central to understanding metalloenzyme mechanisms — the iron centers in cytochrome P450 cycle through Fe(III), Fe(IV) (as a ferryl-oxo, ["Compound I"]), and back, and correctly assigning these states (using exactly the peroxide-vs-superoxide logic worked through above) is essential to interpreting Mössbauer and EPR spectra used to characterize reaction intermediates. Photosystem II's oxygen-evolving complex cycles a tetramanganese cluster through a sequence of formal Mn oxidation states (the Kok cycle S-states) en route to water oxidation, and geochemists use iron and manganese oxidation-state ratios (Fe²⁺/Fe³⁺, Mn(II)/Mn(IV)) in minerals and sediments as proxies for ancient atmospheric oxygen levels, directly connecting this bookkeeping formalism to the deep history of Earth's atmosphere.
:::quiz[Using the ionic/donor-pair method, what is the oxidation state of chromium in [Cr(CO)₆]?]
- +6
- +3
- 0 ✓
- −6
Ask the tutor: How do I decide, for an unfamiliar ligand, whether it should be treated as L-type or X-type when assigning a metal's oxidation state?
The physical picture
Start from a Lewis structure — the same tool used for shapes and formal charges — but read it with a different rule. In formal charge, every bonding pair is split 50/50 between the two bonded atoms, regardless of which atom "deserves" it more. In oxidation-state bookkeeping the opposite convention is used: every bonding pair is assigned entirely to the more electronegative atom. Lone pairs already belong to their atom and are untouched. Once every bonding electron has been reassigned this way, the oxidation number of an atom is:
This is precisely how a monatomic ion's charge is generated by full ionic dissociation, extended to covalent and coordinate bonds by pretending they too fully ionize toward the more electronegative atom. For a homonuclear bond (identical electronegativities, as in Cl–Cl or C–C), the pair is split evenly since neither atom is "more" electronegative — this is why atoms in their elemental form, and identical atoms bonded to each other, always contribute 0 net oxidation-state shift from that bond. Consider ethanol, CH₃CH₂OH, redrawn bond-by-bond. Every C–H bond assigns both electrons to carbon (C is more electronegative than H, ΔEN ≈ 0.4), so each C–H bond contributes −1 to that carbon. The C–C bond is homonuclear and contributes 0 to both carbons. The C–O bond assigns both electrons to oxygen (O far more electronegative), contributing +1 to carbon and −1 to oxygen. The O–H bond assigns both electrons to oxygen, contributing −1 to oxygen and +1 to hydrogen. Working through both carbons, oxygen, and all six hydrogens reproduces the familiar result: the terminal CH₃ carbon is −3, the CH₂OH carbon is −1, oxygen is −2, and every hydrogen is +1 — summing to zero, as required for a neutral molecule. For coordination complexes the same idea is applied not bond-by-bond but ligand-by-bond: each ligand is stripped away from the metal in the closed-shell (even-electron, "ionic") form it would have as a free species, and whatever charge is left on the ligand is subtracted from the overall complex charge to find the metal's oxidation state. A chloride ligand leaves as Cl⁻ (it takes the bonding pair, being far more electronegative than most metals); an ammonia ligand leaves as neutral NH₃ (it donates a lone pair but is not stripped of any additional electron, since N–H and N–metal bonds are treated by the same electronegativity logic and the nitrogen already "owns" the lone pair being donated).
:::svg[Coordination complex: donor-pair method for [Co(NH₃)₅Cl]²⁺]
The core ideas
The master rule, stated compactly for any atom A in a Lewis structure:
where:
- is the number of valence electrons in the neutral free atom of element A,
- is the number of lone pairs residing on A in the Lewis structure,
- the sum runs over every bond involving A, with the number of electron pairs in that bond (1 for single, 2 for double, etc.),
- equals 1 if A is the more electronegative partner in that bond (A keeps the pair), 0 if the partner is more electronegative (A loses the pair), and if the two atoms are identical (homonuclear bond, split evenly).
Reading: this is nothing more than "valence electrons the free atom started with, minus valence electrons it ends up owning after every bond is forced fully ionic." A positive oxidation state means the atom ends up owning fewer electrons than it started with (it is formally "oxidized," having lost electron density to more electronegative partners); a negative one means it ends up owning more. The second governing relationship is the conservation law that makes oxidation states useful for balancing redox equations:
where:
- the sum runs over every atom in the molecule or ion,
- is the overall charge on the species (0 for a neutral molecule, the ionic charge for a polyatomic ion).
Reading: oxidation numbers are not independent of each other — they must always sum to the total charge actually present. This single constraint is what lets you back out an unknown oxidation state (e.g., the S in S₂O₃²⁻) once every other atom's value is fixed by convention.
Goal: show that the familiar memorized rules (H = +1, O = −2, F = −1, sum = charge) are not arbitrary — they fall directly out of applying the master electronegativity rule to the periodic table.
Step 1 — Fluorine is always −1 in compounds. Fluorine is the most electronegative element on the periodic table (Pauling EN = 3.98). In any bond F forms, it is never the less electronegative partner, so in every single case except elemental F₂ (homonuclear, split evenly, giving O.S. = 0). Fluorine is group 17, so , always with 3 lone pairs (6 electrons) and one bond. After reassignment F owns its 3 lone pairs (6 e⁻) plus both electrons of its one bond (2 e⁻) = 8 electrons total. So O.S.(F) = 7 − 8 = −1, universally, in every compound.
Step 2 — Oxygen is (almost) always −2. Oxygen (EN = 3.44) is more electronegative than every element except F. In a typical compound (water, CO₂, sulfate) oxygen forms two bonds (or the equivalent, e.g. one double bond) and wins every one of them. With , two lone pairs (4 e⁻) plus two full bonding pairs (4 e⁻) gives 8 owned electrons, so O.S.(O) = 6 − 8 = −2. This breaks down precisely when oxygen bonds to something equally or more electronegative (F, giving OF₂) or to another oxygen (peroxide/superoxide linkages), because then is no longer 1 for every oxygen bond — exactly the exceptions worked out below.
Step 3 — Hydrogen is +1 with nonmetals, −1 with metals. Hydrogen (EN = 2.20) is less electronegative than virtually every nonmetal it bonds to (C, N, O, halogens), so it loses its one bonding pair entirely: , owns 0 electrons after reassignment, O.S. = 1 − 0 = +1. But bonded to an active metal (Na, Ca) in a hydride, hydrogen is more electronegative than the metal, so it keeps the pair: it owns 2 electrons, O.S. = 1 − 2 = −1. The "H is +1" rule is therefore not fundamental — it is a consequence of which partner hydrogen happens to be facing.
Step 4 — the charge-sum rule is just conservation of charge. Reassigning bonding electrons never creates or destroys total electron count in the molecule — it only relabels which nucleus each electron is attributed to. Summing over every atom in the species must therefore reproduce (total valence electrons contributed by neutral atoms) − (total electrons actually present), which is exactly the overall ionic charge of the species. This is why always holds and can be used to solve for unknowns.
Go deeper · Derivation B · 2 minExtending the rule to coordination complexes — the ionic/donor-pair method
Goal: derive the metal oxidation state in a coordination complex by applying the same electronegativity-based reassignment to metal–ligand bonds, formalized as the "peel off the ligands" procedure.
Step 1 — classify each ligand as X-type or L-type. In the covalent (neutral, or "ionic") bonding classification, an X-type ligand (Cl⁻, O²⁻, CH₃⁻, H⁻) forms a bond in which, upon heterolytic cleavage, the ligand keeps both electrons — because it is the more electronegative fragment relative to the metal, mirroring exactly the assignment used for main-group atoms. An L-type ligand (NH₃, H₂O, CO, PPh₃) donates a lone pair to the metal in a dative bond; in the electronegativity-reassignment picture, the donor atom (N, O, C, P) is already more electronegative than the metal, so it was always going to keep "its" pair regardless of dative-bond formalism — the neutral ligand simply leaves with the same electron count it arrived with.
Step 2 — strip every ligand off in its designated form. For a complex , remove all neutral L-type ligands (each contributes 0 to the charge balance) and all anionic X-type ligands (each removes one unit of negative charge, i.e. each contributes −1, or more generally whatever charge that X-fragment carries as a closed-shell species, e.g. −2 for oxo O²⁻).
Step 3 — solve for the metal's oxidation state by charge conservation. Because overall charge must be conserved (the same conservation law derived above, now applied to the whole complex rather than atom-by-atom):
where is the total charge on the complex and the sum runs over all ligands, each assigned the charge it would carry as an isolated closed-shell species (0 for L-type, its formal anionic charge for X-type).
Step 4 — apply to . Five NH₃ are L-type, each contributing 0. One Cl is X-type, leaving as Cl⁻, contributing −1. Charge conservation gives
so cobalt is Co(III), consistent with the diagram above. This is exactly the same master rule used for main-group atoms — ligands are just "super-atoms" whose electronegativity relative to the metal is assessed once, in the form of the L/X donor classification, rather than bond-by-bond.
Worked examples
Example 1 (foundational): the mean oxidation state of sulfur in tetrathionate, S₄O₆²⁻. Oxygen takes its standard value of −2 (each O bonds only to S, and O is far more electronegative than S, so every oxygen wins all its bonds — no O–O or O–F links present to break the pattern). There are 6 oxygens, contributing . The charge-sum rule requires
This is the average oxidation state over all four sulfurs, and it is not an artifact — it is a genuinely non-integer bookkeeping result because tetrathionate's structure is : the two central sulfurs are bonded only to other sulfur (homonuclear, contributing 0 each, so they sit at O.S. = 0), while the two terminal sulfurs, each bonded to three oxygens and one sulfur, sit at O.S. = +5 (matching sulfonate-like sulfur). The mean of is indeed +2.5, confirming that the simple charge-sum formula, while algebraically correct, can mask real structural inequivalence between atoms of the same element. As a limiting-case check: if all four sulfurs were structurally equivalent (as in, say, a hypothetical symmetric tetra-sulfonate), the mean value +2.5 would also be each individual atom's true value — the discrepancy here specifically flags a structure with two chemically distinct sulfur environments.
Example 2 (applied): the metal oxidation state in a peroxo-bridged dicobalt complex, . This complex contains a bridging peroxide ligand, O₂²⁻, in which the two oxygens are joined by a single O–O bond (not a double bond as in free O₂) — the extra two electrons relative to neutral O₂ sit as a full negative charge of −2 spread over the ligand, i.e. each oxygen is at O.S. = −1, not the usual −2, because each oxygen now shares one of its bonds with an identical oxygen atom (homonuclear, , contributing 0 for that bond) rather than losing both bonds' worth of electrons to a more electronegative partner. Concretely: each oxygen in peroxide has 2 lone pairs (4 e⁻, unchanged), one O–O bond split evenly (contributing 1 e⁻ to each oxygen, since for a homonuclear bond), and one O–Co bond in which oxygen (EN 3.44) is far more electronegative than cobalt (EN ≈ 1.88), so oxygen keeps both electrons of that bond (2 e⁻). Total owned = 4 + 1 + 2 = 7 electrons, so O.S.(O) = 6 − 7 = −1 per oxygen, and −2 for the whole unit — exactly as the "peroxide" name implies. Using the donor-pair method on the whole complex: ten NH₃ ligands (five per cobalt) are L-type, contributing 0 each. The bridging peroxide is a single X₂-type ligand contributing −2 total. Charge conservation over the whole dimer (total charge +4, two cobalt centers, assumed equivalent by the molecule's symmetry):
Both cobalt centers are Co(III), and the bridging ligand is best described as peroxide (O₂²⁻) rather than superoxide (O₂⁻) — a distinction with real physical consequence, since the O–O bond length in the peroxo form (~1.47 Å, close to H₂O₂) is measurably longer than in the superoxo form (~1.3 Å, close to O₂⁻), providing an experimental check on the electron-counting assignment.
Example 3 (exam/competition level): resolving a non-innocent-ligand ambiguity in a dithiolene complex. Consider a nominally square-planar complex , a bis(dithiolene) nickel complex, overall neutral. The dithiolene ligand, 1,2-diphenyl-1,2-ethylenedithiolate, can exist in at least two electronically distinct closed-shell forms: the fully reduced enedithiolate (ene-1,2-dithiolate, , with a C=C double bond and two thiolate sulfurs, each S formally −1 as in a normal thiolate) or the fully oxidized dithioketone/dithiolene radical form, in which one electron has been removed to give a ligand-centered radical anion , or even the neutral dithioketone with a C=S-like resonance and an S–S-shortened, C–C-lengthened backbone. If both ligands in are assumed to be closed-shell dithiolate dianions ( each), charge conservation over the complex demands
giving an unusual, high-oxidation-state Ni(IV)- assignment. If instead both ligands are assumed fully oxidized to the neutral dithioketone form (0 each), the same conservation law gives
a Ni(0)- assignment — a difference of four full oxidation-state units between two chemically "reasonable" ways of drawing the same Lewis structure. This is the hallmark of a non-innocent ligand: because the frontier orbitals of the dithiolene sulfur/carbon π system lie extremely close in energy to the nickel 3d orbitals, the "true" electronic structure is a heavily mixed, partially covalent combination of these limiting resonance descriptions, and no single formal oxidation state is unambiguously "correct" from the Lewis structure alone. The resolution in practice, and the pedagogical lesson, is that oxidation-state assignment always presupposes a well-defined, localized Lewis structure with clear bond orders — X-ray crystallographic bond-length data (the C–C and C–S distances within the dithiolene backbone) and magnetic measurements are used experimentally to decide which resonance form dominates, and even then the assignment is often reported as an intermediate or ambiguous oxidation state (chemists commonly write "Ni(II)/Ni(III)/Ni(IV)" as a spread, or avoid formal oxidation states altogether for such complexes). This example is the sharp limiting case that shows oxidation number assignment is a model, not a direct observable, and the model can break down when donor and acceptor orbitals become nearly degenerate.
Limiting cases, scope & common traps
| Situation | Assignment | Why |
|---|---|---|
| Free element (O₂, Fe(s), P₄) | O.S. = 0 for every atom | All bonds homonuclear; every , so no net electron gain/loss |
| Monatomic ion (Fe³⁺, Cl⁻) | O.S. = ionic charge | No bonds to reassign; definition is direct |
| Peroxide (H₂O₂, Na₂O₂) | O = −1 | One O–O bond (homonuclear, contributes 0) plus one bond to a less-EN atom |
| Superoxide (KO₂) | O = −1/2 | O₂⁻ unit; charge −1 spread evenly over 2 equivalent O by symmetry, giving a formal fractional value |
| OF₂ | O = +2 | F is more electronegative than O, so O loses both O–F bonding pairs — reverses the usual sign |
| Metal hydrides (NaH, CaH₂) | H = −1 | H is more electronegative than the active metal; H keeps the bonding pair |
| Metal–metal bonded clusters (Mn₂(CO)₁₀, Hg₂²⁺) | M–M bond contributes 0 to each metal's O.S. | Homonuclear bond; oxidation state carried entirely by other ligands |
| Non-innocent ligands (dithiolenes, o-quinones, NO) | Formal O.S. ambiguous/model-dependent | Ligand and metal frontier orbitals near-degenerate; no single localized Lewis structure is clearly "correct" |
| Delocalized mixed-valence species (Fe₃O₄, Prussian blue) | Average/formal O.S. only | True electronic structure is delocalized over multiple equivalent-ish sites; formal value is a bookkeeping mean |
The chemist behind it
The systematic use of oxidation numbers as a redox bookkeeping tool crystallized gradually through the late nineteenth and early twentieth centuries, as chemists moved from purely empirical "equivalent weight" reasoning toward an electronic picture of valence. A pivotal figure in connecting electron-pair bonding to formal charge assignment was Gilbert N. Lewis, whose 1916 shared-electron-pair model of the covalent bond supplied the very structures — dot diagrams with explicit bonding and lone pairs — on which oxidation-state rules are read off. Before Lewis structures existed, "oxidation number" was essentially a name for the ionic charge inferred from stoichiometry and empirical valence rules (e.g., assuming a metal in an oxide simply took the charge needed to balance O²⁻), without any explicit electron-pair justification. The rigorous electronegativity-based definition — assign each shared pair to the more electronegative atom — became possible only once Linus Pauling formalized a quantitative electronegativity scale in the 1930s, giving chemists an operational way to decide, for any bond, which atom "wins" the pair rather than relying on memorized element-specific rules alone. IUPAC later codified the modern hierarchy of rules (elements = 0, fluorine always −1, standard values for O and H with explicit stated exceptions, charge-sum conservation) into the systematic recommendations still taught today, explicitly built on the Lewis-structure-plus-electronegativity foundation rather than treating oxidation number as a primitive, unexplained integer.
Origins · 1 minLinus Pauling and how this was discovered
Pauling's development of a quantitative electronegativity scale, published in The Nature of the Chemical Bond (1939), gave chemistry the missing ingredient needed to make oxidation-state assignment a derivable rule rather than a list of memorized exceptions. His scale (built from bond-energy deviations from the geometric mean of homonuclear bond energies) let chemists rank any two bonded atoms and thereby predict, from first principles, which one "wins" each shared electron pair — precisely the operation at the heart of oxidation number assignment.
Why do we assign the whole bonding pair to one atom instead of splitting it, as in formal charge?
Formal charge and oxidation state answer different questions. Formal charge asks "how does the electron count compare to a neutral free atom if bonding electrons are split evenly," which is useful for comparing resonance structures and predicting reactive sites. Oxidation state instead asks "what charge would this atom carry under complete ionic dissociation," which is the relevant question for redox bookkeeping — tracking electron transfer between species. Splitting the pair evenly (formal charge) would erase exactly the electronegativity information needed to say which atom is "oxidized" and which is "reduced," so oxidation state deliberately uses full-pair reassignment instead.
Can oxidation states be non-integer, and if so, is that a sign of an error?
Yes, and it is not necessarily an error. Fractional oxidation states arise naturally from the charge-sum formula when a molecule contains several chemically inequivalent atoms of the same element, and only the mean is calculable without further structural information — tetrathionate's S at +2.5 (really 0, 0, +5, +5) and superoxide's O at −1/2 (a genuinely symmetric −1 charge delocalized over two equivalent oxygens) are the two classic examples. The mean value is legitimate as a summary statistic but should never be treated as the oxidation state of any single, real atom unless the structure genuinely makes all such atoms equivalent by symmetry.
How does the oxidation state of a metal in a complex depend on how I classify the ligands?
Entirely — this is the single biggest source of confusion in coordination chemistry. A ligand's donor-pair classification (L-type, neutral donation, vs. X-type, anionic donation) fixes how much charge it "carries away" when stripped from the metal, and the metal's formal oxidation state is calculated purely from charge conservation using that classification. Standard ligands (NH₃, H₂O, CO, phosphines as L-type; halides, alkyls, oxo, hydride as X-type) have well-agreed classifications, but some ligands (NO, dithiolenes, some catecholates) can be drawn multiple self-consistent ways, each giving a different, equally defensible metal oxidation state — which is precisely the non-innocent ligand problem discussed above.
Is the oxidation state the same thing as the number of d-electrons on a transition metal?
Not quite — but they are directly linked. The d-electron count is found by subtracting the metal's oxidation state from its group number in the periodic table (using the convention that the neutral atom's group number equals its total valence (n)s + (n−1)d electron count for the transition series). For example, Fe in oxidation state +3 (group 8) is assigned d-electrons, written . Because d-electron count governs crystal-field stabilization, magnetism, and geometric preferences, getting the oxidation state right is a prerequisite for correctly predicting these properties, not a side calculation.
Why does the same "H = +1, O = −2" shortcut fail for metal hydrides and peroxides, and how do I know when to be careful?
The shortcut is a derived consequence of hydrogen and oxygen's typical bonding partners, not an independent axiom — see the derivation above. It fails whenever the atom in question is bonded to something that reverses the usual electronegativity ranking (an active metal for hydrogen, another oxygen or fluorine for oxygen). The practical habit to build is: before applying any memorized value, glance at what the atom is actually bonded to, and only fall back to the standard value when the bonding partner is a "typical" one (nonmetals more electronegative than H; almost anything except F or another O, for oxygen).
Does oxidation state assignment require me to know the true 3D structure of a molecule, or just its connectivity?
Just the connectivity (the bonding pattern, i.e., a valid Lewis structure) — you do not need bond angles, hybridization, or 3D geometry, only which atoms are bonded to which and with what bond order. This is why oxidation state can be assigned before doing any VSEPR geometry analysis, and is one reason it is taught immediately after Lewis structures and electronegativity rather than after molecular geometry. The one place true structural data becomes essential is in resolving genuine ambiguities (peroxide vs. superoxide bond lengths, dithiolene C–C/C–S distances), where crystallographic bond lengths are used to decide which Lewis structure is the physically correct one to apply the rule to.
How does this connect to balancing redox reactions?
Oxidation state assignment is the essential diagnostic step: by comparing an atom's oxidation state on the reactant side versus the product side, you identify which species is oxidized (oxidation state increases) and which is reduced (oxidation state decreases), and the magnitude of the change tells you exactly how many electrons must appear in each half-reaction. Every subsequent step in the half-reaction balancing method — splitting into oxidation and reduction half-reactions, balancing atoms and charge, combining with electrons multiplied to cancel — depends on having assigned oxidation states correctly first.