• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Ahlswede–Daykin inequality     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatInequalities, within Data Space : dbpedia.org associated with source document(s)

Type: yago:Abstraction100002137yago:Attribute100024264yago:Difference104748836yago:Inequality104752221yago:Quality104723816yago:WikicatInequalities New Facet based on Instances of this Class

The Ahlswede–Daykin inequality, also known as the four functions theorem (or inequality), is a correlation-type inequality for four functions on a finite distributive lattice. It is a fundamental tool in statistical mechanics and probabilistic combinatorics (especially random graphs and the probabilistic method). The inequality states that if are nonnegative functions on a finite distributive lattice such that for all x, y in the lattice, then for all subsets X, Y of the lattice, where and For a proof, see the original article or.