reducesTo
P3630
predicate
Indicates that one expression, structure, or state can be transformed or simplified into another, typically more basic or canonical, form.
All labels observed (8)
| Label | Occurrences |
|---|---|
| reducesTo canonical | 64 |
| reductionType | 5 |
| usesReductionType | 3 |
| hasReductionTo | 2 |
| hasReductionFrom | 1 |
| logspaceReductionsUsedFor | 1 |
| reducedTo | 1 |
| reductionToChiSquared | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: reducesTo
Generated description
Indicates that one expression, structure, or state can be transformed or simplified into another, typically more basic or canonical, form.
Sample triples (78)
| Subject | Object |
|---|---|
| Max-3-SAT | Max-SAT via predicate surface "hasReductionTo" NERFINISHED ⓘ |
| Max-3-SAT | Max-Cut (via standard transformations in hardness proofs) via predicate surface "hasReductionTo" ⓘ |
| Poisson equation | Laplace equation when f = 0 ⓘ |
| Hodge Laplacian | Laplace–Beltrami operator on functions NERFINISHED ⓘ |
| Gauss hypergeometric function | polynomial when a or b is a nonpositive integer ⓘ |
|
TD(lambda)
surface form:
TD(λ)
|
TD(0) when λ = 0 ⓘ |
|
TD(lambda)
surface form:
TD(λ)
|
Monte Carlo evaluation when λ = 1 (under episodic tasks and certain conditions) ⓘ |
| Liouville–von Neumann equation | Schrödinger equation for pure states in state-vector form NERFINISHED ⓘ |
| q-Onsager algebra | Onsager algebra when q → 1 ⓘ |
| Hill equation | Langmuir isotherm when Hill coefficient n = 1 ⓘ |
|
complexity class NL
surface form:
NL
|
NL-completeness via predicate surface "logspaceReductionsUsedFor" ⓘ |
| SAT | polynomial-time many-one reduction via predicate surface "reductionType" ⓘ |
| 3-SAT | polynomial-time many-one reduction via predicate surface "reductionType" ⓘ |
| Navier boundary condition | no-slip condition when slip length is zero ⓘ |
| Navier boundary condition | perfect slip limit when slip length tends to infinity ⓘ |
| Jacobi manifold | Poisson structure when E = 0 ⓘ |
| Brans–Dicke theory | general relativity in a certain limit ⓘ |
| Wishart distribution | p = 1 via predicate surface "reductionToChiSquared" ⓘ |
| Mahalanobis distance | Euclidean distance when covariance matrix is identity ⓘ |
| M2-branes | fundamental strings under compactification of M-theory on a circle ⓘ |
| Primary Care Trusts in the NHS in England and Wales | 152 PCTs in England after 2006 reorganization via predicate surface "reducedTo" ⓘ |
| MOND | Newtonian dynamics at high accelerations ⓘ |
| q-Gaussian distribution | normal distribution when q = 1 ⓘ |
| Heisenberg–Euler effective Lagrangian | classical Maxwell Lagrangian in the weak‑field limit ⓘ |
| Mindlin plate theory | Kirchhoff–Love plate theory for very thin plates NERFINISHED ⓘ |
| Riemann–Liouville derivative | nth derivative when order is integer n ⓘ |
| Fortuin–Kasteleyn random cluster model | Bernoulli bond percolation when q = 1 ⓘ |
| van der Waals equation of state | ideal gas law at low pressure and high temperature ⓘ |