Effiziente Analyse von Zufriedenstellbarkeit und verwandten Eigenschaften durch neue Containerlemmas für Graphen und Hypergraphen

Neue Containerlemmas für Graphen und Hypergraphen können verwendet werden, um die Stichprobenkomplexität kanonischer Tester für Zufriedenstellbarkeit und verwandte Hypergraph-Eigenschaften wie Färbbarkeit effizient zu analysieren. Außerdem kann das Containerlemma für Graphen genutzt werden, um die Abfragekomplexität nicht-kanonischer Tester für die Eigenschaft unabhängiger Mengen zu verbessern.