Skip to content

Main content

Graph: Complement Graph Single Pair Membership Tool

Evaluate complement membership of one nonloop pair in an explicit simple undirected vertex universe; original membership is caller established.

Loading tool…

Description

Validate unique vertices and distinct from and to both listed.

Local graph quantities describe a vertex, an edge, or a small neighborhood. Their algebra often assumes a simple undirected graph; using the same expression for loops, multigraphs, or directed data can change its meaning.

Validate unique vertices and distinct from and to both listed.

When to use this tool

Use Graph: Complement Graph Single Pair Membership when you need a local graph quantity from explicitly supplied neighborhoods or counts.

How to use the tool and how it works

  1. Enter from, to, vertices, originalEdgePresent. Use the units and conventions below.
  2. Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
  3. Read result. Expand result to inspect the returned fields.

Validate unique vertices and distinct from and to both listed. Return complementEdge as the opposite of originalEdgePresent inside result.1

Input fieldMeaning and unitsAccepted input
fromFromRequired. Text. Implementation limit: 8192 Unicode code points and 16384 UTF-16 code units.
toToRequired. Text. Implementation limit: 8192 Unicode code points and 16384 UTF-16 code units.
verticesVerticesRequired. Array of text. Implementation limit: 128 items.
originalEdgePresentOriginal Edge PresentRequired. Boolean.
Output fieldInterpretationReturned shape
resultObject containing the calculated members; expand to inspect the fields below.Required. Object.
result.complementEdgeComplement EdgeCalculated result member: boolean.
json
{
  "input": {
    "from": "a",
    "to": "b",
    "vertices": [
      "a",
      "b"
    ],
    "originalEdgePresent": false
  },
  "output": {
    "result": {
      "complementEdge": true
    }
  }
}

Limitations and assumptions

  • This is a single loop-free pair under a supplied original-edge flag, not construction or verification of a complete complement graph.
  • Outputs are nested inside result. Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.

Alternative or Complementary methods

Inspect the actual graph or run a full traversal when the claim depends on global structure. Match the algorithm's graph model to direction, loops, multiplicity, and connectivity requirements.

References

  1. Calculation and input contract: graph/complement-graph-single-pair-membership — tool.io

Similar or alternative tools