e-graph是一组等价类(e-classes),每个等价类都包含等价的 e-node。e-node是带有子节点的运算符,但子节点不是其他运算符或值,而是 e-class。在 egg 中,这些由 EGraph、EClass 和 Language(e-nodes)类型表示。 即使是小的e-graph也能表示大量的表达式,其数量与e-nodes的数量成指数关系。这种紧凑性使得e-gr...
E-graphs compactly contain all the terms that are generated by a set of equalities and make it fast to perform the operation of congruence closure. Congruence is the property that $a = b \rightarrow f(a) = f(b)$ for all functions $f$. Functions take equals to equals. Congruence closu...
egglog is a Python package that provides bindings to the Rust library egglog, allowing you to use e-graphs in Python for optimization, symbolic computation, and analysis. Please see the documentation for more information. Come say hello on the e-graphs Zulip or open an issue!About...
Add a description, image, and links to the egraphs topic page so that developers can more easily learn about it. Curate this topic Add this topic to your repo To associate your repository with the egraphs topic, visit your repo's landing page and select "manage topics." Learn more...
In this paper, we introduce a construction that produces graphs, called E -graphs, by replacing the edges in a core graph with a copy of a given graph. These graphs are generalizations of several graphs that have recently been presented as models for network designs, including the G -network...
Exact reliability optimization for series‐parallel graphs using convex envelopes Given its wide spectrum of applications, the classical problem of all‐terminal network reliability evaluation remains a highly relevant problem in network... J Barrera,E Moreno,G Muoz,... - 《Networks》 被引量: 0发表...
Identifying points on graphs We saw above that giving an x coordinate and a y coordinate locates a point in the cartesian plane. But we can turn the logic around: we could say that a point in the cartesian plane represents the simultaneous values of two quantities x and y. This interpretat...
Merge pull request #258 from egraphs-good/upgrade-egglog Browse files Browse the repository at this point in the history Upgrade egglog version main (#258) saulshanabrook authored Feb 17, 2025 Verified Verified This commit was created on GitHub.com and signed with GitHub’s verified...
Python bindings for the egg-smol rust library. Contribute to egraphs-good/egglog-python development by creating an account on GitHub.
Barnette identified two interesting classes of cubic polyhedral graphs for which he conjectured the existence of a Hamiltonian cycle. We examine these classes from the point of view of distance-two colourings. A distance-two r-colouring of a graph G is an assignment of r colours to the ver...