algorithmicProperty
P79475
predicate
Indicates that a subject possesses a specific characteristic, behavior, or quality defined in terms of an algorithm or computational procedure.
Observed surface forms (6)
- computationalProperty ×3
- LSHAttentionProperty ×2
- algorithmicConstruction ×2
- hasAlgorithmProperty ×2
- algorithmicAspect ×1
- isAlgorithmic ×1
Sample triples (16)
| Subject | Object |
|---|---|
| Jacobi symbol | efficiently computable via Euclidean algorithm ⓘ |
| Jacobi symbol | computable in polynomial time in log n ⓘ |
| Kalman filter | online processing via predicate surface "computationalProperty" ⓘ |
| Kalman filter | real time capability via predicate surface "computationalProperty" ⓘ |
| Wirtinger presentation of knot groups | true via predicate surface "isAlgorithmic" ⓘ |
| Eulerian trail | Hierholzer's algorithm via predicate surface "algorithmicConstruction" NERFINISHED ⓘ |
| Eulerian trail | Fleury's algorithm via predicate surface "algorithmicConstruction" NERFINISHED ⓘ |
| Hermite normal form | can be computed in polynomial time in the size of the input matrix ⓘ |
| Hermite normal form | can be computed using elementary integer row operations ⓘ |
| Hermite normal form | can be computed using elementary integer column operations ⓘ |
| Kripke–Kleene semantics in logic programming | can be obtained by iterating an operator from the least interpretation via predicate surface "computationalProperty" ⓘ |
| Undirected connectivity in log-space | logarithmic space complexity via predicate surface "hasAlgorithmProperty" ⓘ |
| Undirected connectivity in log-space | polynomial time complexity via predicate surface "hasAlgorithmProperty" ⓘ |
| Lipton–Tarjan separator theorem | separator can be found in linear time for planar graphs via predicate surface "algorithmicAspect" ⓘ |
| Reformer: The Efficient Transformer | groups similar queries into buckets via predicate surface "LSHAttentionProperty" ⓘ |
| Reformer: The Efficient Transformer | computes attention only within buckets via predicate surface "LSHAttentionProperty" ⓘ |