Unverified50% confidenceFactExact time
The incidence matrices of all bipartite graphs are totally unimodular; this property was first observed by König in 1916 and later rigorously proved by Hoffman and Kruskal in 1956.
1
Sources
50%
Confidence
Long-term
Relevance
8/18/2026
First Seen
Sources
匈牙利算法详解：原理、复杂度与工程实现指南
Related Claims
UnverifiedKL散度最早由Solomon Kullback和Richard Leibler在1951年提出，具有非对称性即KLD(P||Q) ≠ KLD(Q||P)64% similarVerifiedKL divergence was proposed by Solomon Kullback and Richard Leibler in 1951, originally used in statistical inference to compare the similarity of two probability distributions.61% similarUnverifiedThe finite state automaton (FSA) was formally proposed by mathematician Stephen Kleene in 1956 and is completely equivalent to regular expressions in expressive power.61% similarUnverifiedThe Koopman operator is an infinite-dimensional linear operator acting on a space of observable functions, capable of lifting a dynamical system into a linear evolution even when the underlying dynamical system is nonlinear.59% similarUnverifiedCross-modal correspondence can be traced back to the bouba/kiki effect proposed by Wolfgang Köhler in 1929.59% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/765818API
curl https://kongchang.com/api/v1/knowledge/claims/765818MCP
get_claim(id=765818)