پروتکل حل مسئله‌ دشوار