๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Constructibility as a Criterion for Existence

โœ Scribed by Barkley Rosser


Book ID
124940660
Publisher
Association for Symbolic Logic
Year
1936
Tongue
English
Weight
458 KB
Volume
1
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


A simple existence criterion for (g < f)
โœ Katherine Heinrich; Pavol Hell; David G. Kirkpatrick; Guizhen Liu ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 312 KB

We simplify the criterion of Lovasz for the existence of a (g, f)-factor when g <f, or when the graph is bipartite. Moreover, we give a simple direct proof, implying an O(m. IQ) algorithm, for these cases. We then illustrate the convenience of the new criterion by deriving some old and some new fact