Методы доказательства эффективности различных решений